Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.

Shady Copty Itai Jaeger Yoav Katz Michael Vinov

Published in: DAC (2007)

Keyphrases

test generation
symbolic execution
test cases
test sequences
static analysis
design automation
database systems
data sets
information systems
software testing
quality assurance