Symbolic Execution and Program Testing.

Published in: Commun. ACM (1976)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
test cases
neural network
simulated annealing
programming language
software testing
quality assurance