A Late Treatment of C Precondition in Dynamic Symbolic Execution.

Mickaël Delahaye Nikolai Kosmatov

Published in: ICST Workshops (2013)

Keyphrases

symbolic execution
test data generation
high level
error rate
test generation
databases
neural network
optimal solution
simulated annealing