Functional program testing.

William E. Howden

Published in: COMPSAC (1978)

Keyphrases

test cases
symbolic execution
concurrent programs
program execution
software testing
static analysis
test generation
search based software testing
artificial intelligence
information systems
data mining
machine learning
image processing
case study
computer programs
functional properties