An Incremental Algorithm for Test Generation in Illinois Scan Architecture Based Designs.

Amit R. Pandey Janak H. Patel

Published in: DATE (2002)

Keyphrases

test generation
test cases
design automation
symbolic execution
mutation testing
test sequences
static analysis
software architecture
database
design principles
quality assurance
code coverage