Program Testing [Guest editor's introduction].

Edward F. Miller Jr.

Published in: Computer (1978)

Keyphrases

test cases
symbolic execution
search based software testing
software testing
program execution
test data
set of test cases
concurrent programs
test suite
virtual machine
high level
genetic algorithm
data mining
data sets
test set
software engineering
static analysis
image processing
decision making