Minimizability of Random Boolean Functions. - Harold Fleisher; John Giraldi; R. Phoenix; Morton Tavel (IEEE Trans. Computers, 1989)

EST: The New Frontier in Automatic Test-Pattern Generation. - John Giraldi; Michael L. Bushnell (DAC, 1990)

Search State Equivalence for Redundancy Identification and Test Generation. - John Giraldi; Michael L. Bushnell (ITC, 1991)

A Functional Decomposition Method for Redundancy Identification and Test Generation. - Michael L. Bushnell; John Giraldi (J. Electron. Test., 1997)