Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
AI Magazine
International Journal of Man-Machine Studies
Expert systems for configuration at Digital: XCON and beyond
Communications of the ACM
Issues in the verification of knowledge in rule-based systems
International Journal of Man-Machine Studies
Design, development and validation of expert systems: a survey of developers
Validation, verification and test of knowledge-based systems
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
A descriptive model of predicates for verifying production systems
Validation, verification and test of knowledge-based systems
Using interactive concept learning for knowledge-base validation and verification
Validation, verification and test of knowledge-based systems
Judging knowledge-base quality
Validation, verification and test of knowledge-based systems
Verification of multi-level rule-based expert systems: theory and practice
International Journal of Expert Systems - Special issue on verification and validation
The state of knowledge-based systems
Communications of the ACM
Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases
International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Evaluation of expert system testing methods
Communications of the ACM
Validating and Verifying Knowledge-Based Systems
Validating and Verifying Knowledge-Based Systems
Software Testing Techniques
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Complex Knowledge Base Verification Using Matrices
IEA/AIE '92 Proceedings of the 5th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Quality Measures and Assurance for AI (Artificial Intelligence) Software
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A semantic validation of conceptual graphs
Knowledge-Based Systems
A knowledge engineering approach to knowledge management
Information Sciences: an International Journal
Value-added treatment inference model for rule-based certainty knowledge
Expert Systems with Applications: An International Journal
Conflicting treatment model for certainty rule-based knowledge
Expert Systems with Applications: An International Journal
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Behavior bounding: an efficient method for high-level behavior comparison
Journal of Artificial Intelligence Research
HalVA - rule analysis framework for XTT2 rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Performance index assessment of intelligent computing methods in EMG-based neuromuscular diseases
International Journal of Knowledge Engineering and Soft Data Paradigms
Selection of good practices for small software development teams: a knowledge-based approach
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Knowledge-based systems (KBS) are being used in many applications areas where their failures can be costly because of the losses in services, property, or even life. To ensure their reliability and dependability, it is therefore important that these systems are verified and validated before they are deployed. This paper provides perspectives on issues and problems that impact the verification and validation (V&V) of KBS. Some of the reasons V&V of KBS is difficult are presented. The paper also provides an overview of different techniques and tools that have been developed for performing V&V activities. Finally, some of the research issues that are relevant for future work in this field are discussed.