Structured Functional Level Test Generation Using Binary Decision Diagrams.

Hongtao P. Chang, William A. Rogers, Jacob A. Abraham

Browse the full ITC paper archive.