Title: Validation, verification, and test of knowledge-based systems
Subjects: Expert systems (Computer science)