Validation, verification and testing of object-oriented programs
Tepandi, Jaak
;
Trausan-Matu, S.
Studies and researches in computers and informatics
1990
/
1, p. 113-128