Detectable perturbations: a paradigm for technology-specific multi-fault test generation.

Andrej Zemva Franc Brglez

Published in: VTS (1995)

Keyphrases

test generation
test cases
design automation
symbolic execution
case study
test sequences
high level
fault diagnosis
fault detection
static analysis
quality assurance
databases
machine learning
cooperative
software testing
mutation testing