{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T06:12:48Z","timestamp":1673244768346},"reference-count":58,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Human-Computer Studies"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1006\/ijhc.1999.0328","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T18:21:32Z","timestamp":1034014892000},"page":"757-781","source":"Crossref","is-referenced-by-count":7,"title":["Knowledge-based systems' validation: when to stop running test cases"],"prefix":"10.1006","volume":"51","author":[{"given":"JUAN P.","family":"CARA\u00c7A-VALENTE","sequence":"first","affiliation":[]},{"given":"JOS\u00c9 L.","family":"MORANT","sequence":"additional","affiliation":[]},{"given":"LUIS","family":"GONZ\u00c1LEZ","sequence":"additional","affiliation":[]},{"given":"J.","family":"PAZOS","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1006\/ijhc.1999.0328_RF1","article-title":"Evaluation in knowledge engineering classifying, comparative and metric criteria","author":"LONSO","year":"1990"},{"key":"10.1006\/ijhc.1999.0328_RF2","article-title":"Benchmarks: an objective metric for knowledge engineers","author":"ALONSO","year":"1992"},{"key":"10.1006\/ijhc.1999.0328_RF3","series-title":"Holy Bible","year":"1978"},{"key":"10.1006\/ijhc.1999.0328_RF4","series-title":"Una Interpretaci\u00f3n Algebraica de la Verificaci\u00f3n de Sistemas Basados en el Conocimiento","author":"ANTONIO","year":"1994"},{"key":"10.1006\/ijhc.1999.0328_RF5","first-page":"357","article-title":"SYCOJET and SACCO, two tools for verifying expert systems","volume":"6","author":"AYEL","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"10.1006\/ijhc.1999.0328_RF6","doi-asserted-by":"crossref","first-page":"1533","DOI":"10.1109\/21.478441","article-title":"How the testing techniques for a decision support system changed over nine years","volume":"25","author":"BAHILL","year":"1995","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1006\/ijhc.1999.0328_RF7","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1145\/6592.6597","article-title":"Expert systems: perils and promise","volume":"29","author":"BOBROW","year":"1986","journal-title":"Communications of the ACM"},{"key":"10.1006\/ijhc.1999.0328_RF8","first-page":"127","article-title":"Constructing an expert systems","author":"BUCHANAN","year":"1983"},{"key":"10.1006\/ijhc.1999.0328_RF9","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","article-title":"A report on the expert systems validation associate (EVA)","volume":"1","author":"CHANG","year":"1990","journal-title":"Expert Systems with Applications"},{"key":"10.1006\/ijhc.1999.0328_RF10","series-title":"Empirical Methods for Artificial Intelligence","author":"COHEN","year":"1995"},{"key":"10.1006\/ijhc.1999.0328_RF11","series-title":"Discurso sobre el Espirit\u00fa Positivo","author":"COMPTE","year":"1984"},{"key":"10.1006\/ijhc.1999.0328_RF12","article-title":"Planning and expert systems","author":"DAVIES","year":"1984"},{"key":"10.1006\/ijhc.1999.0328_RF13","series-title":"Sample Size Methodology","author":"DESU","year":"1990"},{"key":"10.1006\/ijhc.1999.0328_RF14","first-page":"1016","article-title":"Validation process","volume":"II","author":"FERN\u00c1NDEZ","year":"1996"},{"key":"10.1006\/ijhc.1999.0328_RF15","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/69.506708","article-title":"Testing expert systems in process control","volume":"8","author":"FINKE","year":"1996","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1006\/ijhc.1999.0328_RF16","article-title":"Using formal specifications to design verifiable Hybrid KBS","author":"GAMBLE","year":"1994"},{"key":"10.1006\/ijhc.1999.0328_RF17","first-page":"241","article-title":"Evaluation of expert systems: issues and case studies","author":"GASCHNIG","year":"1983"},{"key":"10.1006\/ijhc.1999.0328_RF18","first-page":"12","article-title":"Verification & validation of expert systems","author":"GEISSMAN","year":"1991"},{"key":"10.1006\/ijhc.1999.0328_RF19","article-title":"Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy","volume":"2","author":"GINSBERG","year":"1988"},{"key":"10.1006\/ijhc.1999.0328_RF20","first-page":"20","article-title":"Verification & validation of expert systems","author":"GREEN","year":"1991"},{"key":"10.1006\/ijhc.1999.0328_RF21","article-title":"A review of expert systems evaluation techniques","author":"GROGONO","year":"1993"},{"key":"10.1006\/ijhc.1999.0328_RF22","series-title":"Validating and verifying knowledge based systems","author":"GUPTA","year":"1991"},{"key":"10.1006\/ijhc.1999.0328_RF23","series-title":"Expert Systems: Artificial Intelligence in Business","author":"HARMON","year":"1986"},{"key":"10.1006\/ijhc.1999.0328_RF24","doi-asserted-by":"crossref","DOI":"10.1109\/69.43407","article-title":"Towards benchmarks for knowledge systems and their implications for data engineering","volume":"1","author":"HAYES-ROTH","year":"1989","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1006\/ijhc.1999.0328_RF25","first-page":"53","article-title":"The problem of extracting the knowledge of experts from the perspective of experimental psychology","author":"HOFFMAN","year":"1987","journal-title":"AI Magazine"},{"key":"10.1006\/ijhc.1999.0328_RF26","article-title":"Issues in the reliability of expert systems","author":"HOLLNAGEL","year":"1989"},{"key":"10.1006\/ijhc.1999.0328_RF27","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.1006\/ijhc.1999.0328_RF28","article-title":"A common framework for conventional and knowledge-based software validation and verification","author":"JURISTO","year":"1997"},{"key":"10.1006\/ijhc.1999.0328_RF29","first-page":"1032","article-title":"An empirical validation of the explanation-generation approach for decision rules induced","volume":"II","author":"KIM","year":"1996"},{"key":"10.1006\/ijhc.1999.0328_RF30","article-title":"Quick planner for verification and validation of distributed hybrid systems","author":"KISS","year":"1995"},{"key":"10.1006\/ijhc.1999.0328_RF31","series-title":"Vidas de Fil\u00f3sofos","author":"LAERCIO","year":"1976"},{"key":"10.1006\/ijhc.1999.0328_RF32","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1002\/int.4550090902","article-title":"A formal model for knowledge based systems verification","volume":"9","author":"LAITA","year":"1994","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1006\/ijhc.1999.0328_RF33","article-title":"Proposal for a valid terminology in KBS validation","author":"LAURENT","year":"1992"},{"key":"10.1006\/ijhc.1999.0328_RF34","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1109\/32.24728","article-title":"An evaluation of expert systems for software engineering management","volume":"15","author":"LOGGIA RAMSEY","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1006\/ijhc.1999.0328_RF35","article-title":"Using paper models in validation, verification and testing","volume":"6","author":"LONG","year":"1993","journal-title":"International Journal in Expert Systems"},{"key":"10.1006\/ijhc.1999.0328_RF36","series-title":"Ingenier\u0131́a del Conocimiento","author":"MAT\u00c9","year":"1988"},{"key":"10.1006\/ijhc.1999.0328_RF37","article-title":"KVAT: a tool for incremental knowledge validation in a knowledge engineering workbench","author":"MENGSHOEL","year":"1991"},{"key":"10.1006\/ijhc.1999.0328_RF38","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0095055","article-title":"Lower bounds on the size of test data sets","author":"MENZIES","year":"1998"},{"key":"10.1006\/ijhc.1999.0328_RF39","article-title":"Critical examples of subsumption anomalies in hybrid systems","author":"MUKHERJEE","year":"1995"},{"key":"10.1006\/ijhc.1999.0328_RF40","series-title":"The Art of Software Testing","author":"MYERS","year":"1979"},{"key":"10.1006\/ijhc.1999.0328_RF41","first-page":"143","article-title":"Knowledge-based system verification, validation and testing: The evolution of a discipline","volume":"6","author":"NAZARETH","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"10.1006\/ijhc.1999.0328_RF42","first-page":"2","article-title":"Validating expert system performance","author":"O'KEEFE","year":"1991"},{"key":"10.1006\/ijhc.1999.0328_RF43","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1111\/j.1540-5915.1987.tb01536.x","article-title":"Validation of expert systems","volume":"18","author":"O'LEARY","year":"1987","journal-title":"Decision Sciences"},{"key":"10.1006\/ijhc.1999.0328_RF44","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1287\/inte.18.6.72","article-title":"Methods of validating expert systems","volume":"18","author":"O'LEARY","year":"1988","journal-title":"Interfaces"},{"key":"10.1006\/ijhc.1999.0328_RF45","author":"O'LEARY","year":"1994"},{"key":"10.1006\/ijhc.1999.0328_RF46","first-page":"237","article-title":"Models of consensus for validation of expert systems","volume":"6","author":"O'LEARY","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"10.1006\/ijhc.1999.0328_RF47","first-page":"69","article-title":"Workshop report on the 7th workshop on the validation and verification of knowledge-based systems (AAAI\u201994)","volume":"16","author":"PLANT","year":"1995","journal-title":"AI Magazine"},{"key":"10.1006\/ijhc.1999.0328_RF48","article-title":"The role of specifications in expert system evaluation","author":"PREECE","year":"1990"},{"key":"10.1006\/ijhc.1999.0328_RF49","author":"PREECE","year":"1993"},{"key":"10.1006\/ijhc.1999.0328_RF50","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1006\/ijhc.1997.0152","article-title":"Evaluation of verification tools for knowledge-based systems","volume":"47","author":"PREECE","year":"1997","journal-title":"International Journal of Human-Computer Studies"},{"key":"10.1006\/ijhc.1999.0328_RF51","first-page":"44","article-title":"A method for evaluating candidates","author":"SLAGEL","year":"1988","journal-title":"AI Magazine"},{"key":"10.1006\/ijhc.1999.0328_RF52","doi-asserted-by":"crossref","first-page":"893","DOI":"10.1002\/int.4550090908","article-title":"The JIPDEC checklist-based guideline for expert system evaluation","volume":"9","author":"TERANO","year":"1994","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1006\/ijhc.1999.0328_RF53","series-title":"Treatise on Natural Philosophy","author":"THOMPSON","year":"1903"},{"key":"10.1006\/ijhc.1999.0328_RF54","article-title":"A modelling approach to KBS verification","author":"VANTHIENEN","year":"1995"},{"key":"10.1006\/ijhc.1999.0328_RF55","article-title":"Specification Refinement of object-oriented KBSs","author":"VERMESAN","year":"1995"},{"key":"10.1006\/ijhc.1999.0328_RF56","article-title":"A formally based methodology for deriving verifiable expert systems from specifications","author":"VERMESAN","year":"1994"},{"key":"10.1006\/ijhc.1999.0328_RF57","series-title":"An Introduction to Mathematics","author":"WHITEHEAD","year":"1948"},{"key":"10.1006\/ijhc.1999.0328_RF58","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"}],"container-title":["International Journal of Human-Computer Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1071581999903282?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1071581999903282?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T09:24:21Z","timestamp":1557221061000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1071581999903282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":58,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["S1071581999903282"],"URL":"https:\/\/doi.org\/10.1006\/ijhc.1999.0328","relation":{},"ISSN":["1071-5819"],"issn-type":[{"value":"1071-5819","type":"print"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}