DECIDER : a decision diagram based hierarchical test generation system

Jervan, G., Markus, A., Raik, J., Ubar, R. DECIDER : a decision diagram based hierarchical test generation system // Proceedings of the 2nd International Workshop on Design and Diagnostics of Electronic Circuits and Systems, Szczyrk, Poland, September 2-4, 1998. [S.l.], 1998. p. 269-273. https://www.ida.liu.se/labs/eslab/publications/pap/db/DDECS98.pdf