62 search results - page 13 / 13 » The Succinct Solver Suite |
SCP
2011
12 years 12 months ago
2011
Active libraries can be defined as libraries which play an active part in the compilation, in particular, the optimisation of their client code. This paper explores the implement...
TACAS
2012
Springer
12 years 14 days ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...