Mixed Level Hierarchical Test Generation for Transition Faults and Overcurrent Related Defects.

Uwe Gläser Uwe Hübner Heinrich Theodor Vierhaus

Published in: ITC (1992)

Keyphrases

test generation
test cases
mutation testing
test sequences
design automation
symbolic execution
fault diagnosis
software testing
artificial intelligence
case study
information technology
static analysis
quality assurance
test data generation