Using symbolic execution to characterize behavior.

Donald Cohen William R. Swartout Robert Balzer

Published in: Rapid Prototyping (1982)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
pattern matching
data flow
artificial intelligence
decision trees
hybrid algorithm