Automatic test generation for predicates.

Amit M. Paradkar Kuo-Chung Tai Mladen A. Vouk

Published in: ISSRE (1996)

Keyphrases

test generation
test cases
design automation
test sequences
symbolic execution
mutation testing
quality assurance
real world
static analysis
user defined
software testing
database
data sets
image processing
test set
test data generation