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

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