Assembling low-level tests to high-level symbolic test frames
Jervan, Gert
;
Markus, Antti
;
Raik, Jaan
;
Ubar, Raimund-Johannes
Proceedings [of the] 15th NORCHIP Conference, Tallinn, 10-11 November 1997
1997
/
p. 275-280: ill