{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:16:30Z","timestamp":1676006190857},"reference-count":13,"publisher":"Hindawi Limited","issue":"8","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090803","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T21:36:07Z","timestamp":1183930567000},"page":"659-682","source":"Crossref","is-referenced-by-count":0,"title":["Automated test generation and evaluation for real-time expert systems"],"prefix":"10.1155","volume":"9","author":[{"given":"Lee","family":"Becker","sequence":"first","affiliation":[]},{"given":"James","family":"Duckworth","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Green","sequence":"additional","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/int.4550090803-BIB1","author":"Morell","year":"1988","unstructured":"1988, \u201cUse of metaknowledge in the verification of knowledge-based systems,\u201d Proceedings of the IEA-AIE, 1988, pp. 847\u2013857."},{"key":"10.1002\/int.4550090803-BIB2","author":"Nguyen","year":"1985","unstructured":", , and , \u201cKnowledge base verification,\u201d Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 1985, pp. 375\u2013378."},{"key":"10.1002\/int.4550090803-BIB3","first-page":"16","volume":"3","author":"Suwa","year":"1982","journal-title":"Al Mag."},{"key":"10.1002\/int.4550090803-BIB4","author":"Krisnamurthy","year":"1987","unstructured":", , and , \u201cMethodology for testing and validating knowledge bases,\u201d Proceedings of the Third Conference of Artificial Intelligence for Space Applications, 1987, pp. 21\u201332."},{"key":"10.1002\/int.4550090803-BIB5","author":"Beltracchi","year":"1992","unstructured":"\u201cNRC research perspectives on verification and validation,\u201d Proceedings of the EPRI Conference on Methodologies, Tools and Standards for Cost-Effective, Reliable Software Verification and Validation, Palo Alto, CA, Electric Power Research Institute, 1992."},{"key":"10.1002\/int.4550090803-BIB6","volume-title":"Building Expert Systems","author":"Hayes-Roth","year":"1983","unstructured":", and , Eds., Building Expert Systems, Addison-Wesley, Reading, MA, 1983."},{"key":"10.1002\/int.4550090803-BIB7","author":"Weiss","year":"1984","unstructured":"and , A Practical Guide to Designing Expert Systems, Rowman & Alanhard, Totowa, NJ, 1984."},{"key":"10.1002\/int.4550090803-BIB8","volume-title":"Developing and Managing Expert Systems: Proven Techniques for Business and Industry","author":"Prerau","year":"1990","unstructured":"Developing and Managing Expert Systems: Proven Techniques for Business and Industry, Addison-Wesley, Reading, MA, 1990."},{"key":"10.1002\/int.4550090803-BIB9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/B978-0-934613-38-5.50009-X","volume-title":"Distributed Artificial Intelligence","volume":"1","author":"Green","year":"1987","unstructured":"\u201cAF: A framework for real-time cooperative problem solving,\u201d In Distributed Artificial Intelligence, Ed., Morgan Kaufmann, San Mateo, CA, Vol. 1, 1987, pp. 153\u2013175."},{"key":"10.1002\/int.4550090803-BIB10","volume-title":"User's Manual\u2014Activation Framework Operating System Environment\u2014AFC Version 2.5","year":"1991","unstructured":"the Real-Time Intelligent Systems Corporation, User's Manual\u2014Activation Framework Operating System Environment\u2014AFC Version 2.5, Worcester, MA, 1991."},{"key":"10.1002\/int.4550090803-BIB11","first-page":"63","volume-title":"Validation, Verification and Test of Knowledge-based Systems","author":"Ayel","year":"1991","unstructured":"and , \u201cSACCO-SYCOJET: Two different ways of verifying knowledge-based systems,\u201d In Validation, Verification and Test of Knowledge-based Systems, and , Eds., Wiley, Chichester, England, 1991, pp. 63\u201376."},{"key":"10.1002\/int.4550090803-BIB12","first-page":"335","volume-title":"Validating and Verifying Knowledge-Based Systems","author":"Hall","year":"1991","unstructured":"and , \u201cThe use of simulation techniques for expert system test and evaluation,\u201d In Validating and Verifying Knowledge-Based Systems, Ed., Los Alamitos, CA, IEEE Computer Society Press, 1991, pp. 335\u2013339."},{"key":"10.1002\/int.4550090803-BIB13","first-page":"119","volume-title":"Validation, Verification and Test of Knowledge-based Systems","author":"Mazas","year":"1991","unstructured":"\u201cDesign knowledge validation through experimentation: the SYSIFE system,\u201d In Validation, Verification and Test of Knowledge-based Systems, and , Eds., Wiley, Chichester, England, 1991, pp. 119\u2013145."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090803","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:25Z","timestamp":1675956865000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":13,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090803","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}