Generating Single-Stuck-Fault Coverage from a Collapsed-Fault Set. - Mark A. Heap; William A. Rogers (Computer, 1989)

STarS: a target switching algorithm for sequential test generation. - Mark A. Heap; William A. Rogers; William B. Burns (VTS, 1991)

A Synthesis Algorithm for Two-Level XOR Based Circuits. - Mark A. Heap; William A. Rogers; M. Ray Mercer (ICCD, 1992)

On the exact ordered binary decision diagram size of totally symmetric functions. - Mark A. Heap (J. Electron. Test., 1993)

Least Upper Bounds an OBDD Sizes. - Mark A. Heap; M. Ray Mercer (IEEE Trans. Computers, 1994)