Test generation for technology-specific multi-faults based on detectable perturbations.

Andrej Zemva Baldomir Zajc

Published in: Microelectron. Reliab. (2005)

Keyphrases

test generation
test cases
mutation testing
case study
symbolic execution
machine learning
design automation
high level
databases
database
fault diagnosis
source code
software testing
model based diagnosis
high quality
information systems
real world
data sets