Search-Space Pruning Heuristics for Path Sensitization in Test Pattern Generation (1993)

by João P. Marques Silva, Karem A. Sakallah, João P. Marques Silva, Karem A. Sakallah