Login / Signup
Test Generation for CMP Designs.
Padmaraj Singh
David L. Landis
Published in:
MTV (2010)
Keyphrases
</>
test generation
test cases
test sequences
symbolic execution
design automation
quality assurance
mutation testing
static analysis
software testing
test data generation
code coverage
information systems