Functional Level Primitives in Test Generation.

Melvin A. Breuer Arthur D. Friedman

Published in: IEEE Trans. Computers (1980)

Keyphrases

test generation
test cases
symbolic execution
test sequences
data sets
low level
design automation
static analysis
case study
relational databases
source code