Test Generation for Interconnect Opens.

Xijiang Lin Janusz Rajski

Published in: ITC (2008)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
high speed
static analysis
quality assurance
software testing
mutation testing
machine learning
database systems
pattern matching