Building and modifying knowledge-based systems requires testing of the knowledge for quality assurance, such as verification and validation. This is especially important when reverse engineering is applied to a system that needs to be remodeled or renewed. However, the modification of a knowledge-based system is a difficult process. Commonly, the documentation is poor, and the original domain expertise is lacking. Therefore, testing must be applied on existing knowledge to be able to verify the changed knowledge. To this objective we apply an automated test generation system to verify the operation of the modified system.
2007. 8- p.