Applications of Symbolic Execution to Program Testing.

John A. Darringer James C. King

Published in: Computer (1978)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
test cases
data flow
test set
data sets
test suite
programming language
simulated annealing algorithm
genetic algorithm
databases
genetic programming
open source
artificial intelligence