Identification and Test Generation for Primitive Faults.

Angela Krstic Kwang-Ting Cheng Srimat T. Chakradhar

Published in: ITC (1996)

Keyphrases

test generation
test cases
mutation testing
test sequences
design automation
symbolic execution
software testing
fault diagnosis
test data generation
fault detection
static analysis
regression testing
test suite
test set
testing process
code coverage
database