An experimental evaluation of a symbolic execution system.

Moheb R. Girgis

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

Keyphrases

symbolic execution
experimental evaluation
static analysis
test data generation
test generation
specification language
source code
data flow
genetic algorithm
test cases
orders of magnitude
database
metadata
open source
formal specification