Test generation for multiple faults based on parallel vector pair analysis.

Seiji Kajihara Tetsuji Sumioka Kozo Kinoshita

Published in: ICCAD (1993)

Keyphrases

test generation
multiple faults
databases
case study
static analysis
machine learning
dynamic programming
open source