Validation and verification of expert systems or knowledge-based syste
ms is a critical issue in the development and deployment of robust sys
tems. This article is a comprehensive survey of the developments and t
rends in this field. More than 300 references are included in the Refe
rences and Additional Readings at the end of this article.