Hongtao P. Chang, William A. Rogers, Jacob A. Abraham. Structured Functional Level Test Generation Using Binary Decision Diagrams. In Proceedings International Test Conference 1986, Washington, D.C., USA, September 1986. pages 97-104, IEEE Computer Society, 1986.
Abstract is missing.