Feasibility of structurally synthesized BDD models for test generationRaik, Jaan; Ubar, Raimund-JohannesProceedings of the IEEE European Test Workshop, Barcelona, Spain, May 27-29, 19981998 / p. 145-146