Abeer El-Korany Ahmed A. Rafea Hoda Baraka Saad Eid A Structured Testing Methodology for Knowledge-Based Systems. 427-436 http://link.springer.de/link/service/series/0558/bibs/1873/18730427.htm 2000 conf/dexa/2000 DEXA db/conf/dexa/dexa2000.html#El-KoranyRBE00