Random test generation using concurrent logic simulation.

Donald M. Schuler Ernst G. Ulrich Thomas E. Baker Susan P. Bryant

Published in: DAC (1975)

Keyphrases

test generation
test cases
test sequences
design automation
static analysis
mutation testing
logic programming
software testing
symbolic execution
databases
quality assurance
learning algorithm
decision trees
training data
regression testing