Coverage metrics for verification of concurrent SystemC designs using mutation testing.

Alper Sen Magdy S. Abadir

Published in: HLDVT (2010)

Keyphrases

mutation testing
test suite
test generation
test sequences
test cases
model checking
database applications
regression testing
static analysis
integration testing
software testing
finite state machines
evaluation metrics
testing process
case study
asynchronous circuits
test data
error rate