Intelligent support for expert system verification and testing in object-oriented programming environments : (preprint)Trausan-Matu, S.; Tepandi, Jaak; Barbuceanu, M.1990 Validation, verification and testing of OOPTrausan-Matu, S.; Tepandi, Jaak; Barbuceanu, M.Proc. of East Europe 91, Praha1991 / p. 62-71