Structured Functional Level Test Generation Using Binary Decision Diagrams. - Hongtao P. Chang; William A. Rogers; Jacob A. Abraham (ITC, 1986)

Use of High-Level Descriptions in Fault Simulation and Test Generation - Hongtao P. Chang (1987)