Symbolic Execution: A Semantic Approach.

Published in: Sci. Comput. Program. (1991)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
semantic information
specification language
high level
neural network
domain specific
domain ontology
data flow
case study
object oriented
test cases