Robert H. Klenke Ronald D. Williams James H. Aylor Parallel-Processing Techniques for Automatic Test Pattern Generation. 71-84 1992 25 IEEE Computer 1 db/journals/computer/computer25.html#KlenkeWA92