Infeasible path generalization in dynamic symbolic execution.

Mickaël Delahaye Bernard Botella Arnaud Gotlieb

Published in: Inf. Softw. Technol. (2015)

Keyphrases

symbolic execution
test generation
databases
test data generation
artificial intelligence
search algorithm
orders of magnitude