High quality test generation for digital systems
Ubar, Raimund-Johannes
;
Aarna, Margit
;
Kruus, Helena
;
Raik, Jaan
Romanian journal of information science and technology
2005
/
1, p. 73-84 : ill