Validation, verification and testing of object-oriented programs
Tepandi, Jaak
;
Trausan-Matu, S.
Research report Institute for Computers and Informatics
1989
/
p. 1-22