A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools.

Mickaël Delahaye Nikolai Kosmatov

Published in: RV (2013)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
test cases
data flow
real world
query processing