Layout-driven test generation.

Phil Nigh Wojciech Maly

Published in: ICCAD (1989)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
mutation testing
software testing
quality assurance
relational databases
test data generation
information technology
real world
information systems
image processing
error rate