Essential systems analysis
AI Magazine
AI Expert
Qualitative reasoning: modeling and simulation with incomplete knowledge
Automatica (Journal of IFAC)
Creating expert systems for business and industry
Creating expert systems for business and industry
SACCO-SYCOJET: two different ways of verifying knowledge-based systems
Validation, verification and test of knowledge-based systems
MELODIA: logical methods for checking knowledge bases
Validation, verification and test of knowledge-based systems
Validating and Verifying Knowledge-Based Systems
Validating and Verifying Knowledge-Based Systems
Art of Software Testing
Structural Testing Strategies Applied to Knowledge-Based Systems
IEA/AIE '92 Proceedings of the 5th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Information systems research at RWTH Aachen
ACM SIGMOD Record
Hi-index | 0.00 |
Special features of process control expert systems (PCX) make it both necessary and feasible to test them in a comprehensive manner. FAITH, an automated regression testing environment for PCX, integrates five specially adapted testing techniques, exploiting external specifications gained from the process control environment. FAITH also offers a set of metrics which can be used to predict testability during the early phases of PCX development. FAITH has been developed for a major German chemicals company where it is routinely used for certifying PCX, and for guiding design-for-testability.