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