BDD-FTEST: Fast, Backtrack-Free Test Generator Based on Binary Decision Diagram Representation.

Bechir Ayari, Bozena Kaminska

Browse the full ISCAS paper archive.