A New Approach to Program Testing.

Published in: Programming Methodology (1974)

Keyphrases

test cases
symbolic execution
search based software testing
program execution
software testing
concurrent programs
statistical tests
test suite
genetic algorithm
data structure
user interface
special case
software engineering
static analysis
quality assurance
test generation