{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:48:00Z","timestamp":1784137680730,"version":"3.55.0"},"reference-count":148,"publisher":"Elsevier","isbn-type":[{"value":"9780120121656","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1016\/s0065-2458(05)65004-8","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:21Z","timestamp":1295416581000},"page":"153-201","source":"Crossref","is-referenced-by-count":38,"title":["Verification and Validation and Artificial Intelligence"],"prefix":"10.1016","author":[{"given":"Tim","family":"Menzies","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charles","family":"Pecheur","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(05)65004-8_bib001","author":"Menzies"},{"key":"10.1016\/S0065-2458(05)65004-8_bib002","doi-asserted-by":"crossref","unstructured":"Bernard D., et al., \u201cSpacecraft autonomy flight experience: The DS1 Remote Agent experiment\u201d, in: Proceedings of the AIAA, 1999, Albuquerque, NM, 1999","DOI":"10.2514\/6.1999-4512"},{"issue":"4","key":"10.1016\/S0065-2458(05)65004-8_bib003","first-page":"16","article-title":"Completeness and consistency in rule-based expert systems","volume":"3","author":"Suwa","year":"1982","journal-title":"AI Magazine"},{"key":"10.1016\/S0065-2458(05)65004-8_bib004","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S026988890000624X","article-title":"Principles and practice in verifying rule-based systems","volume":"7","author":"Preece","year":"1992","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0065-2458(05)65004-8_bib005","unstructured":"Rousset M., \u201cOn the consistency of knowledge bases: the COVADIS system\u201d, in: Proceedings of the 8th European Conference on Artificial Intelligence (ECAI'88), 1988, pp. 79\u201384"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib006","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0957-4174(92)90026-O","article-title":"Verifying expert systems: A logical framework and a practical tool","volume":"5","author":"Preece","year":"1992","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0065-2458(05)65004-8_bib007","unstructured":"Preece A., Shinghal R., \u201cVerifying knowledge bases by anomaly detection: An experience report\u201d, in: ECAI '92, 1992"},{"key":"10.1016\/S0065-2458(05)65004-8_bib008","doi-asserted-by":"crossref","unstructured":"Prakash G., Subramanian E., Mahabala H., \u201cA methodology for systematic verification of ops5-based AI applications\u201d, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), 1991, pp. 3\u20138","DOI":"10.1109\/TENCON.1991.753885"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib009","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"Nguyen","year":"1987","journal-title":"AI Magazine"},{"key":"10.1016\/S0065-2458(05)65004-8_bib010","unstructured":"Meseguer P., \u201cIncremental verification of rule-based expert systems\u201d, in: Proceedings of the 10th European Conference on Artificial Intelligence, ECAI-92, 1992, pp. 840\u2013844"},{"key":"10.1016\/S0065-2458(05)65004-8_bib011","unstructured":"Meseguer P., \u201cVerification of multi-level rule-based expert systems\u201d, in: Proceedings of the 9th National Conference on Artificial Intelligence, 1991, pp. 323\u2013328"},{"key":"10.1016\/S0065-2458(05)65004-8_bib012","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(88)90012-4","article-title":"Automatic knowledge base refinement for classification systems","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib013","unstructured":"Evertsz R., \u201cThe automatic analysis of rule-based system based on their procedural semantics\u201d, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), 1991, pp. 22\u201327"},{"issue":"3","key":"10.1016\/S0065-2458(05)65004-8_bib014","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","article-title":"Report on the expert systems validation associate (EVA)","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0065-2458(05)65004-8_bib015","unstructured":"Ayel M., \u201cProtocols for consistency checking in expert system knowledge bases\u201d, in: Proceedings of the 8th European Conference on Artificial Intelligence (ECAI'88), 1988, pp. 220\u2013225"},{"key":"10.1016\/S0065-2458(05)65004-8_bib016","first-page":"227","article-title":"Expert system evaluation techniques: A selected bibliography","author":"Grogono","year":"1992","journal-title":"Expert Systems"},{"issue":"3","key":"10.1016\/S0065-2458(05)65004-8_bib017","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/64.215222","article-title":"Vvt terminology: A proposal","volume":"8","author":"Hoppe","year":"1993","journal-title":"IEEE Expert"},{"key":"10.1016\/S0065-2458(05)65004-8_bib018","unstructured":"Laurent J., \u201cProposals for a valid terminology in KBS validation\u201d, in: Proceedings of the 10th European Conference on Artificial Intelligence, ECAI-92, Vienna, Austria, 1992, pp. 829\u2013834"},{"issue":"3","key":"10.1016\/S0065-2458(05)65004-8_bib019","first-page":"119","article-title":"Knowledge based systems validation: A state of the art","volume":"5","author":"Lopez","year":"1990","journal-title":"Artificial Intelligence Communications"},{"issue":"3","key":"10.1016\/S0065-2458(05)65004-8_bib020","first-page":"119","article-title":"Towards a conceptual framework for expert system validation","volume":"5","author":"Meseguer","year":"1992","journal-title":"Artificial Intelligence Communications"},{"key":"10.1016\/S0065-2458(05)65004-8_bib021","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","article-title":"Expert system verification and validation: A survey and tutorial","volume":"7","author":"O'Keefe","year":"1993","journal-title":"Artificial Intelligence Review"},{"key":"10.1016\/S0065-2458(05)65004-8_bib022","first-page":"81","article-title":"Validating expert system performance","volume":"87","author":"R.O.R.M.","year":"1987","journal-title":"IEEE Expert"},{"key":"10.1016\/S0065-2458(05)65004-8_bib023","unstructured":"Rushby J., \u201cQuality measures and assurance for AI software\u201d, sRI-CSL-88-7R, SRI Project 4616 (1988)"},{"key":"10.1016\/S0065-2458(05)65004-8_bib024","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0957-4174(94)90034-5","article-title":"State of the art in automated validation of knowledge-based systems","volume":"7","author":"Zlatereva","year":"1994","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0065-2458(05)65004-8_bib025","unstructured":"Soloway E., Bachant J., Jensen K., \u201cAssessing the maintainability of XCON-in-rime: Coping with the problems of a very large rule-base\u201d, in: AAAI '87, 1987, pp. 824\u2013829"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib026","first-page":"21","article-title":"R1's formative years","volume":"2","author":"McDermott","year":"1981","journal-title":"AI Magazine"},{"key":"10.1016\/S0065-2458(05)65004-8_bib027","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0957-4174(91)90167-D","article-title":"State-of-the-practice in knowledge-based system verification and validation","volume":"3","author":"Hamilton","year":"1991","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0065-2458(05)65004-8_bib028","first-page":"21","article-title":"R1 Revisited: Four years in the trenches","author":"Bachant","year":"1984","journal-title":"AI Magazine"},{"key":"10.1016\/S0065-2458(05)65004-8_bib029","series-title":"Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project","author":"Buchanan","year":"1984"},{"key":"10.1016\/S0065-2458(05)65004-8_bib030","author":"McConnell"},{"key":"10.1016\/S0065-2458(05)65004-8_bib031","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.877854","article-title":"Safe and simple software cost analysis","author":"Boehm","year":"2000","journal-title":"IEEE Software"},{"key":"10.1016\/S0065-2458(05)65004-8_bib032","author":"Shull"},{"key":"10.1016\/S0065-2458(05)65004-8_bib033","series-title":"High-Assurance Systems Engineering Symposium","first-page":"95","article-title":"Disappearing formal methods","author":"Rushby","year":"2000"},{"key":"10.1016\/S0065-2458(05)65004-8_bib034","doi-asserted-by":"crossref","unstructured":"Brat G., Giannakopoulou D., Goldberg A., Havelund K., Lowry M., Pasareanu C., Venet A., Visser W., \u201cExperimental evaluation of verification and validation tools on Martian rover software\u201d, in: CMU\/SEI Software Model Checking Workshop, Pittsburg, USA, 2003; extended version to appear in Formal Methods in System Design","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"key":"10.1016\/S0065-2458(05)65004-8_bib035","series-title":"SPIN Model Checking and Software Verification","first-page":"323","article-title":"The temporal rover and the ATG rover","volume":"vol. 1885","author":"Drusinsky","year":"2000"},{"issue":"4","key":"10.1016\/S0065-2458(05)65004-8_bib036","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","article-title":"Eraser: A dynamic data race detector for multithreaded programs","volume":"15","author":"Savage","year":"1997","journal-title":"ACM Transactions on Computer Systems"},{"key":"10.1016\/S0065-2458(05)65004-8_bib037","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00253-1","article-title":"Monitoring Java programs with Java PathExplorer","volume":"55","author":"Havelund","year":"2001","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S0065-2458(05)65004-8_bib038","series-title":"Abstract State Machines (ASM'03)","first-page":"87","article-title":"Experiments with test case generation and runtime analysis","volume":"vol. 2589","author":"Artho","year":"2003"},{"key":"10.1016\/S0065-2458(05)65004-8_bib039","doi-asserted-by":"crossref","unstructured":"Barringer H., Goldberg A., Havelund K., Sen K., \u201cRule-based runtime verification\u201d, in: 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), Venice, Italy, 2004","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"10.1016\/S0065-2458(05)65004-8_bib040","series-title":"Principles of Program Analysis","author":"Nielson","year":"1999"},{"key":"10.1016\/S0065-2458(05)65004-8_bib041","author":"Deutsch"},{"key":"10.1016\/S0065-2458(05)65004-8_bib042","series-title":"Proceedings of the International Conference on Programming Language Design and Implementation (PLDI04)","first-page":"231","article-title":"Precise and efficient static array bound checking for large embedded C programs","author":"Venet","year":"2004"},{"key":"10.1016\/S0065-2458(05)65004-8_bib043","series-title":"International Symposium on Programming","first-page":"337","article-title":"Specification and verification of concurrent systems is CESAR","volume":"vol. 137","author":"Queille","year":"1982"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib044","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0065-2458(05)65004-8_bib045","first-page":"77","article-title":"Software model checking with Spin","volume":"vol. 65","author":"Holzmann","year":"2005"},{"issue":"5","key":"10.1016\/S0065-2458(05)65004-8_bib046","doi-asserted-by":"crossref","DOI":"10.1109\/32.588521","article-title":"The model checker SPIN","volume":"23","author":"Holzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib047","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","article-title":"Symbolic model checking: 1020 states and beyond","volume":"98","author":"Burch","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S0065-2458(05)65004-8_bib048","doi-asserted-by":"crossref","unstructured":"Cimatti A., Clarke E., Giunchiglia F., Roveri M., \u201cNuSMV: A new symbolic model verifier\u201d, in: Proceedings of International Conference on Computer-Aided Verification, 1999","DOI":"10.1007\/3-540-48683-6_44"},{"key":"10.1016\/S0065-2458(05)65004-8_bib049","series-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"10.1016\/S0065-2458(05)65004-8_bib050","series-title":"Systems and Software Verification: Model-Checking Techniques and Tools","author":"B\u00e9rard","year":"2001"},{"key":"10.1016\/S0065-2458(05)65004-8_bib051","unstructured":"Garavel H., Jorgensen M., Mateescu R., Pecheur C., Sighireanu M., Vivien B., \u201cCadp'97\u2014status, applications and perspectives\u201d, in: Lovrek I. (Ed.), Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia), 1997"},{"key":"10.1016\/S0065-2458(05)65004-8_bib052","doi-asserted-by":"crossref","unstructured":"Corbett J., Dwyer M., Hatcliff J., Laubach S., Pasareanu C., \u201cBandera: Extracting finite-state models from Java source code\u201d, in: Proceedings ICSE2000, Limerick, Ireland, 2000, pp. 439\u2013448","DOI":"10.1145\/337180.337234"},{"key":"10.1016\/S0065-2458(05)65004-8_bib053","doi-asserted-by":"crossref","unstructured":"Visser W., Havelund K., Brat G., Park S., \u201cModel checking programs\u201d, in: Proceedings of the IEEE International Conference on Automated Software Engineering, 2000, pp. 3\u201312","DOI":"10.1109\/ASE.2000.873645"},{"key":"10.1016\/S0065-2458(05)65004-8_bib054","author":"Heitmeyer"},{"issue":"3","key":"10.1016\/S0065-2458(05)65004-8_bib055","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","article-title":"Automated consistency checking of requirements specifications","volume":"5","author":"Heitmeyer","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0065-2458(05)65004-8_bib056","unstructured":"Heitmeyer C., Labaw B., Kiskis D., \u201cConsistency checking of SCR-style requirements specifications\u201d, in: International Symposium on Requirements Engineering, York, England, March 26\u201327, 1995"},{"key":"10.1016\/S0065-2458(05)65004-8_bib057","author":"Menzies"},{"key":"10.1016\/S0065-2458(05)65004-8_bib058","series-title":"Proceedings of 1st Goddard Workshop on Formal Approaches to Agent-Based Systems","article-title":"From Livingstone to SMV: Formal verification for autonomous spacecrafts","volume":"vol. 1871","author":"Pecheur","year":"2000"},{"key":"10.1016\/S0065-2458(05)65004-8_bib059","author":"Dwyer"},{"key":"10.1016\/S0065-2458(05)65004-8_bib060","doi-asserted-by":"crossref","unstructured":"Dwyer M., Avrunin G., Corbett J., \u201cPatterns in property specifications for finite-state verification\u201d, in: ICSE98: Proceedings of the 21st International Conference on Software Engineering, 1998","DOI":"10.1145\/302405.302672"},{"key":"10.1016\/S0065-2458(05)65004-8_bib061","series-title":"Proceedings of SPIN 2004, Barcelona, Spain","article-title":"Verification of java programs using symbolic execution and invariant generation","volume":"vol. 2989","author":"Pasareanu","year":"2004"},{"key":"10.1016\/S0065-2458(05)65004-8_bib062","series-title":"Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99)","first-page":"193","article-title":"Symbolic model checking without BDDs","volume":"vol. 1579","author":"Biere","year":"1999"},{"issue":"5","key":"10.1016\/S0065-2458(05)65004-8_bib063","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","article-title":"Model checking and abstraction","volume":"16","author":"Clarke","year":"1994","journal-title":"ACM Transactions on Programming Languages Systems"},{"key":"10.1016\/S0065-2458(05)65004-8_bib064","series-title":"Conference on Computer Aided Verification CAV'96","article-title":"Verifying invariants using theorem proving","volume":"vol. 1102","author":"Graf","year":"1996"},{"key":"10.1016\/S0065-2458(05)65004-8_bib065","series-title":"Fifth International Conference on Computer Aided Verification","article-title":"Exploiting symmetry in temporal logic model checking","author":"Clarke","year":"1993"},{"issue":"1\/2","key":"10.1016\/S0065-2458(05)65004-8_bib066","first-page":"41","article-title":"Better verification through symmetry","volume":"9","author":"Ip","year":"1996","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/S0065-2458(05)65004-8_bib067","unstructured":"Clarke E., Long D.E., \u201cCompositional model checking\u201d, in: 4th Annual Symposium on Logic in Computer Science, 1989"},{"key":"10.1016\/S0065-2458(05)65004-8_bib068","unstructured":"Clancy D., Kuipers B., \u201cModel decomposition and simulation: A component based qualitative simulation algorithm\u201d, in: AAAI-97, 1997"},{"key":"10.1016\/S0065-2458(05)65004-8_bib069","doi-asserted-by":"crossref","unstructured":"Giannakopoulou D., Pasareanu C., Barringer H., \u201cAssumption generation for software component verification\u201d, in: Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), Edinburgh, UK, 2002","DOI":"10.1109\/ASE.2002.1114984"},{"key":"10.1016\/S0065-2458(05)65004-8_bib070","unstructured":"Havelund K., Lowry M., Park S., Pecheur C., Penix J., Visser W., White J.L., \u201cFormal analysis of the remote agent before and after flight\u201d, in: Proceedings of 5th NASA Langley Formal Methods Workshop, Williamsburg, Virginia, 2000"},{"key":"10.1016\/S0065-2458(05)65004-8_bib071","doi-asserted-by":"crossref","unstructured":"Giannakopoulou D., Pasareanu C., Barringer H., \u201cAssumption generation for software component verification\u201d, in: Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), Edinburgh, UK, 2002","DOI":"10.1109\/ASE.2002.1114984"},{"key":"10.1016\/S0065-2458(05)65004-8_bib072","series-title":"Proceedings of the 8th International Conference on Computer Aided Verification","first-page":"411","article-title":"PVS: Combining specification, proof checking, and model checking","author":"Owre","year":"1996"},{"issue":"3","key":"10.1016\/S0065-2458(05)65004-8_bib073","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1145\/287000.287023","article-title":"Formalizing space shuttle software requirements: four case studies","volume":"7","author":"Crow","year":"1998","journal-title":"ACM Transactions Software Engineering Methodology"},{"key":"10.1016\/S0065-2458(05)65004-8_bib074","series-title":"Tools and Algorithms for the Construction and Analysis of Systems TACAS '97, Enschede, The Netherlands","first-page":"366","article-title":"Integration in PVS: tables, types, and model checking","volume":"vol. 1217","author":"Owre","year":"1997"},{"key":"10.1016\/S0065-2458(05)65004-8_bib075","doi-asserted-by":"crossref","unstructured":"de Moura L., Owre S., Ruess H., Rushby J., Shankar N., \u201cThe ICS decision procedures for embedded deduction\u201d, July 2004","DOI":"10.1007\/978-3-540-25984-8_14"},{"key":"10.1016\/S0065-2458(05)65004-8_bib076","series-title":"Prolog Programming for Artificial Intelligence","author":"Bratko","year":"2001"},{"key":"10.1016\/S0065-2458(05)65004-8_bib077","series-title":"Automated Reasoning with OTTER","author":"Kalman","year":"2002"},{"key":"10.1016\/S0065-2458(05)65004-8_bib078","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(92)90168-F","article-title":"A Prolog technology theorem prover: A new exposition and implementation in Prolog","volume":"104","author":"Stickel","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0065-2458(05)65004-8_bib079","series-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference","first-page":"1194","article-title":"Pushing the envelope: Planning, propositional logic and stochastic search","author":"Kautz","year":"1996"},{"key":"10.1016\/S0065-2458(05)65004-8_bib080","author":"Nayak"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib081","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0004-3702(79)90014-6","article-title":"Interactive transfer of expertise: Acquisition of new inference rules","volume":"12","author":"Davis","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib082","doi-asserted-by":"crossref","unstructured":"Groce A., Visser W., \u201cHeuristic model checking for Java programs\u201d, in: Proceedings of SPIN 2002, Grenoble, France, 2002","DOI":"10.1007\/3-540-46017-9_21"},{"key":"10.1016\/S0065-2458(05)65004-8_bib083","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.774","article-title":"Conformant planning via symbolic model checking","volume":"13","author":"Cimatti","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S0065-2458(05)65004-8_bib084","unstructured":"Williams B.C., Nayak P.P., \u201cA model-based approach to reactive self-configuring systems\u201d, in: Proceedings of AAAI-96, 1996"},{"key":"10.1016\/S0065-2458(05)65004-8_bib085","unstructured":"Clancy D., Larson W., Pecheur C., Engrand P., Goodrich C., \u201cAutonomous control of an in-situ propellant production plant\u201d, in: Proceedings of Technology 2009 Conference, Miami, 1999"},{"key":"10.1016\/S0065-2458(05)65004-8_bib086","unstructured":"Cimatti A., Pecheur C., Cavada R., \u201cFormal verification of diagnosability via symbolic model checking\u201d, in: Proceedings of IJCAI'03, Acapulco, Mexico, 2003"},{"key":"10.1016\/S0065-2458(05)65004-8_bib087","author":"Feather"},{"issue":"1\u20132","key":"10.1016\/S0065-2458(05)65004-8_bib088","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","article-title":"Remote agent: To boldly go where no AI system has gone before","volume":"103","author":"Muscettola","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib089","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/ijhc.1996.0010","article-title":"Structure-preserving specification languages for knowledge-based systems","volume":"44","author":"van Harmelen","year":"1996","journal-title":"International Journal of Human\u2013Computer Studies"},{"key":"10.1016\/S0065-2458(05)65004-8_bib090","series-title":"Cognitive Patterns: Problem-Solving Frameworks for Object Technology","author":"Gardner","year":"1998"},{"key":"10.1016\/S0065-2458(05)65004-8_bib091","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/1042-8143(92)90013-Q","article-title":"KADS: a modeling approach to knowledge engineering","volume":"4","author":"Wielinga","year":"1992","journal-title":"Knowledge Acquisition"},{"issue":"6","key":"10.1016\/S0065-2458(05)65004-8_bib092","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/64.363263","article-title":"CommonKADS: a comprehensive methodology for KBS development","volume":"9","author":"Schreiber","year":"1994","journal-title":"IEEE Expert"},{"key":"10.1016\/S0065-2458(05)65004-8_bib093","series-title":"Knowledge Engineering and Management: The CommonKADS Methodology","year":"1999"},{"key":"10.1016\/S0065-2458(05)65004-8_bib094","doi-asserted-by":"crossref","unstructured":"Swartout B., Gill Y., \u201cFlexible knowledge acquisition through explicit representation of knowledge roles\u201d, in: 1996 AAAI Spring Symposium on Acquisition, Learning, and Demonstration: Automating Tasks for Users, 1996","DOI":"10.21236\/ADA459767"},{"key":"10.1016\/S0065-2458(05)65004-8_bib095","unstructured":"Gil Y., Melz E., \u201cExplicit representations of problem-solving strategies to support knowledge acquisition\u201d, in: Proceedings AAAI' 96, 1996"},{"key":"10.1016\/S0065-2458(05)65004-8_bib096","series-title":"Domain Knowledge for Interactive System Design","article-title":"Domain and task modelling in MIKE","author":"Angele","year":"1996"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib097","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0004-3702(94)00040-9","article-title":"Task modeling with reusable problem-solving methods","volume":"79","author":"Eriksson","year":"1995","journal-title":"Artificial Intelligence"},{"issue":"9","key":"10.1016\/S0065-2458(05)65004-8_bib098","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/130994.131002","article-title":"Task structure analysis for knowledge modeling","volume":"35","author":"Chandrasekaran","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0065-2458(05)65004-8_bib099","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/64.143235","article-title":"Easy programming: Empowering people to build their own applications","author":"Marques","year":"1992","journal-title":"IEEE Expert"},{"key":"10.1016\/S0065-2458(05)65004-8_bib100","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90037-X","article-title":"Model construction operators","volume":"53","author":"Clancey","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib101","first-page":"29","article-title":"Components of expertise","volume":"11","author":"Steels","year":"1990","journal-title":"AI Magazine"},{"issue":"2","key":"10.1016\/S0065-2458(05)65004-8_bib102","first-page":"93","article-title":"Problem-solving methods for diagnosis and their role in knowledge acquisition","volume":"8","author":"Benjamins","year":"1995","journal-title":"International Journal of Expert Systems: Research and Applications"},{"key":"10.1016\/S0065-2458(05)65004-8_bib103","series-title":"The CommonKADS Library for Expertise Modelling","year":"1994"},{"key":"10.1016\/S0065-2458(05)65004-8_bib104","unstructured":"Motta E., Zdrahal Z., \u201cParametric design problem solving\u201d, in: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop, 1996"},{"key":"10.1016\/S0065-2458(05)65004-8_bib105","series-title":"Knowledge-Based Systems Analysis and Design","author":"Tansley","year":"1993"},{"key":"10.1016\/S0065-2458(05)65004-8_bib106","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MEX.1986.4306978","article-title":"The taming of R1","author":"de Brug","year":"1986","journal-title":"IEEE Expert"},{"key":"10.1016\/S0065-2458(05)65004-8_bib107","unstructured":"Gil Y., Tallis M., \u201cA script-based approach to modifying knowledge bases\u201d, in: Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97), 1997"},{"key":"10.1016\/S0065-2458(05)65004-8_bib108","series-title":"Software Reliability: Measurement, Prediction, Application","author":"Musa","year":"1987"},{"issue":"4","key":"10.1016\/S0065-2458(05)65004-8_bib109","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/24.556576","article-title":"Sensitivity of reliability-growth models to operational profile errors vs testing accuracy","volume":"45","author":"Pasquini","year":"1996","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/S0065-2458(05)65004-8_bib110","unstructured":"Muscettola N.A.R.C.N., Personal communication (2000)"},{"key":"10.1016\/S0065-2458(05)65004-8_bib111","author":"Smith"},{"key":"10.1016\/S0065-2458(05)65004-8_bib112","unstructured":"Selman B., Levesque H., Mitchell D., \u201cA new method for solving hard satisfiability problems\u201d, in: AAAI '92, 1992, pp. 440\u2013446"},{"key":"10.1016\/S0065-2458(05)65004-8_bib113","series-title":"Soft Computing in Software Engineering","article-title":"Many maybes mean (mostly) the same thing","author":"Menzies","year":"2003"},{"key":"10.1016\/S0065-2458(05)65004-8_bib114","unstructured":"Crawford J., Baker A., \u201cExperimental results on the application of satisfiability algorithms to scheduling problems\u201d, in: AAAI '94, 1994"},{"key":"10.1016\/S0065-2458(05)65004-8_bib115","doi-asserted-by":"crossref","DOI":"10.1007\/BF01530750","article-title":"An se-tree-based prime implicant generation algorithm","volume":"11","author":"Rymon","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib116","doi-asserted-by":"crossref","unstructured":"Rymon R., \u201cAn SE-tree based characterization of the induction problem\u201d, in: International Conference on Machine Learning, 1993, pp. 268\u2013275","DOI":"10.1016\/B978-1-55860-307-3.50041-1"},{"key":"10.1016\/S0065-2458(05)65004-8_bib117","author":"Lutz"},{"key":"10.1016\/S0065-2458(05)65004-8_bib118","author":"Parkes"},{"key":"10.1016\/S0065-2458(05)65004-8_bib119","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1613\/jair.711","article-title":"Backbone fragility and the local search cost peak","volume":"12","author":"Singer","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S0065-2458(05)65004-8_bib120","author":"Williams"},{"key":"10.1016\/S0065-2458(05)65004-8_bib121","author":"Josephson"},{"key":"10.1016\/S0065-2458(05)65004-8_bib122","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"DeKleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib123","series-title":"IEEE Joint Conference On Requirements Engineering ICRE'02 and RE'02, 9\u201313 September","article-title":"Converging on the optimal attainment of requirements","author":"Feather","year":"2002"},{"key":"10.1016\/S0065-2458(05)65004-8_bib124","series-title":"Software Engineering with Computational Intelligence","article-title":"Condensing uncertainty via incremental treatment learning","author":"Menzies","year":"2003"},{"key":"10.1016\/S0065-2458(05)65004-8_bib125","series-title":"Proceedings of the 2nd Workshop on Computer-Aided Verification (Rutgers, New Jersey, USA)","first-page":"25","article-title":"A stubborn attack on state explosion","volume":"vol. 3","author":"Valmari","year":"1990"},{"key":"10.1016\/S0065-2458(05)65004-8_bib126","article-title":"Partial-Order Methods for the Verification of Concurrent Systems\u2014An Approach to the State-Explosion Problem","volume":"vol. 1032","author":"Godefroid","year":"1996"},{"key":"10.1016\/S0065-2458(05)65004-8_bib127","doi-asserted-by":"crossref","unstructured":"Godefroid P., \u201cOn the costs and benefits of using partial-order methods for the verification of concurrent systems (invited papers)\u201d, in: The 1996 DIMACS Workshop on Partial Order Methods in Verification, July 24\u201326, 1996, 1997, pp. 289\u2013303","DOI":"10.1090\/dimacs\/029\/16"},{"key":"10.1016\/S0065-2458(05)65004-8_bib128","unstructured":"Schneider F., Easterbrook S., Callahan J., Holzmann G., \u201cValidating requirements for fault tolerant systems using model checking\u201d, in: 3rd IEEE International Conference On Requirements Engineering, 1998"},{"key":"10.1016\/S0065-2458(05)65004-8_bib129","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","article-title":"Explanation-based generalisation = partial evaluation","author":"van Harmelen","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0065-2458(05)65004-8_bib130","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00116250","article-title":"Explanation-based generalization: A unifying view","volume":"1","author":"Mitchell","year":"1986","journal-title":"Machine Learning"},{"key":"10.1016\/S0065-2458(05)65004-8_bib131","series-title":"Genetic Algorithms in Search, Optimization, and Machine Learning","author":"Goldberg","year":"1989"},{"key":"10.1016\/S0065-2458(05)65004-8_bib132","first-page":"220","article-title":"Optimization by simulated annealing","volume":"4598","author":"Kirkpatrick","year":"1983","journal-title":"Science"},{"key":"10.1016\/S0065-2458(05)65004-8_bib133","series-title":"C4.5: Programs for Machine Learning","isbn-type":"print","author":"Quinlan","year":"1992","ISBN":"https:\/\/id.crossref.org\/isbn\/1558602380"},{"key":"10.1016\/S0065-2458(05)65004-8_bib134","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/32.345828","article-title":"Machine learning approaches to estimating software development effort","author":"Srinivasan","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0065-2458(05)65004-8_bib135","author":"Bouckaert"},{"key":"10.1016\/S0065-2458(05)65004-8_bib136","author":"Liu"},{"key":"10.1016\/S0065-2458(05)65004-8_bib137","author":"Liu"},{"key":"10.1016\/S0065-2458(05)65004-8_bib138","author":"Liu"},{"key":"10.1016\/S0065-2458(05)65004-8_bib139","series-title":"Data Mining: Practical Machine Learning Tools and Techniques with Java Implementations","author":"Witten","year":"1999"},{"issue":"14","key":"10.1016\/S0065-2458(05)65004-8_bib140","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1016\/S0950-5849(01)00192-6","article-title":"Can genetic programming improve software effort estimation? A comparative evaluation","volume":"43","author":"Burgess","year":"2001","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0065-2458(05)65004-8_bib141","author":"Taylor"},{"key":"10.1016\/S0065-2458(05)65004-8_bib142","unstructured":"Hu Y., \u201cTreatment learning: Implementation and application\u201d, Masters Thesis, Department of Electrical Engineering, University of British Columbia, 2003"},{"key":"10.1016\/S0065-2458(05)65004-8_bib143","author":"Menzies"},{"key":"10.1016\/S0065-2458(05)65004-8_bib144","author":"Menzies"},{"key":"10.1016\/S0065-2458(05)65004-8_bib145","author":"Menzies"},{"key":"10.1016\/S0065-2458(05)65004-8_bib146","article-title":"Just enough learning (of association rules): The TAR2 treatment learner","author":"Menzies","year":"2004","journal-title":"Artificial Intelligence Review"},{"key":"10.1016\/S0065-2458(05)65004-8_bib147","doi-asserted-by":"crossref","DOI":"10.1109\/MC.2003.1244531","article-title":"Data mining for very busy people","author":"Menzies","year":"2003","journal-title":"IEEE Computer"},{"key":"10.1016\/S0065-2458(05)65004-8_bib148","author":"Menzies"}],"container-title":["Advances in Computers"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T22:33:42Z","timestamp":1740868422000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245805650048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9780120121656"],"references-count":148,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(05)65004-8","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2005]]}}}