A Program Testing Assistant.

Published in: Commun. ACM (1982)

Keyphrases

test cases
symbolic execution
concurrent programs
test bed
static analysis
test suite
relational databases
computer programs
databases
real world
information retrieval
decision making
software testing
programming environment
test generation
set of test cases