Automated test program synthesis for digital systems with high-level decision diagrams
Ubar, Raimund-Johannes
Proc. of 7th International Conference
2005
/
p. 171-180