SELECT - a formal system for testing and debugging programs by symbolic execution.

Robert S. Boyer Bernard Elspas Karl N. Levitt

Published in: Reliable Software (1975)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
software testing
specification language
source code
formal specification
data flow
test cases
neural network
quality assurance
databases
software development
general purpose
case study
artificial intelligence
data sets
programs written