State of the art in automated validation of knowledge-based systems☆

Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project

Telematics and Informatics · 1986 · 1.7K citations

Computing, Computer Science, Artificial Intelligence +11

An Evaluation of Random Testing

Joe W. Duran, Simeon Ntafos · IEEE Transactions on Software Engineering · 1984 · 686 citations

Computing, Computer Engineering, Computer Science +9

Validating Expert System Performance

Robert M. O’Keefe, Eric P. Smith · IEEE Expert · 1987 · 359 citations

Computing, Computer Science, Systems Engineering +9

EXPERT: a system for developing consultation models

Sholom M. Weiss, Casimir A. Kulikowski · International Joint Conference on Artificial Intelligence · 1979 · 183 citations

Computing, Medical Education, Clinical Decision Support +16

Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency & redundancy

Allen Ginsberg · National Conference on Artificial Intelligence · 1988 · 180 citations

Computing, Computer Science, Formal Methods +12