Informed Test Generation Guidance Using Partially Specified Fanout Constraints.

Ki Soo Hwang M. Ray Mercer

Published in: ITC (1986)

Keyphrases

test generation
test cases
test sequences
symbolic execution
software testing
design automation
mutation testing
relational databases
static analysis
database
databases
real world
quality assurance