Intelligent support for expert system verification and testing in object-oriented programming environments : (preprint)Trausan-Matu, S.; Tepandi, Jaak; Barbuceanu, M.1990

Transactions of the Faculty of EconomicsAmitan, Irina; Võhandu, Leo; Tepandi, Jaak; Trausan-Matu, S.; Parmakson, Priit; Henno, Jaak; Õunapuu, Enn; Kuusik, Rein, inform.; Võhandu, Priit; Regi, Kai; Lumberg, Tõnu; Elmik, Lea; Vapper, Tiit; Roost, Mart1989 https://www.ester.ee/record=b1211387*est

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

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 OOPTrausan-Matu, S.; Tepandi, Jaak; Barbuceanu, M.Proc. of East Europe 91, Praha1991 / p. 62-71