Parallel Algorithms For Test Generation And Fault Simulation - Srinivas Patil; The Pennsylvania State University CiteSeerX Archives (http://www.ece.nwu.edu/cpdc/ProperCAD/phd90.p.ps.Z, 1990)