Symbolic execution systems-a review.

P. David Coward

Published in: Softw. Eng. J. (1988)

Keyphrases

symbolic execution
multi objective
distributed systems
database
data sets
real world
test generation