{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:20:10Z","timestamp":1742955610701,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679783"},{"type":"electronic","value":"9783540444695"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44469-6_40","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T04:57:23Z","timestamp":1181365043000},"page":"427-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Structured Testing Methodology for Knowledge-Based Systems"],"prefix":"10.1007","author":[{"given":"Abeer","family":"El-Korany","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Rafea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoda","family":"Baraka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saad","family":"Eid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"40_CR1","unstructured":"Abdelhamid, Y., Hassan, H., Rafea, A., [1997] \u201cAn Approach to Automatic KBS Construction From Reusable Domain-Specific Components\u201d Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE\u201997), Madrid."},{"key":"40_CR2","unstructured":"Avelino J. G., Douglas D., [1993]. \u201cThe engineering of knowledge-based systems,Theory and practice\u201d, Prentice-Hall International Edition.A simon & schuster company, New Jersey."},{"key":"40_CR3","unstructured":"Ayel, M., Laurent, J.P. [1991] \u201cForeword Validation, Verification, and test of knowledge-based systems\u201d, John Wiley & Sons, New York."},{"issue":"3","key":"40_CR4","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","volume":"1","author":"C. L Chang","year":"1990","unstructured":"Chang, C. L, Combs, J. B. and Stachowitz R. A. [1990]. \u201cA report on the Expert Systems Validation Associate (EVA)\u201d. Expert Systems with Applications (US), 1(3):217\u2013230.","journal-title":"Expert Systems with Applications (US)"},{"key":"40_CR5","unstructured":"El-Korany A., Shaalan K., Baraka H., Rafea A., [1998]. \u201c An Approach for Automating the verification of KADS-based Expert Systems\u201d, New Review of Applied Expert Systems, Vol. 4, pp. 107\u2013124, Taylor Graham, UK."},{"key":"40_CR6","unstructured":"Laurent, J.P., [1992] \u201cProposal for Valid Terminology in KBS validation\u201d, Proc.10th European Conf. on Artificial intelligence. John Wiley & Sons, New York."},{"key":"40_CR7","unstructured":"Mazas, P., [1991]. \u201cDesign knowledge validation through experimentation: the SYSIFE system\u201d. In M. yel & P. laurent (Eds.) Validation, verification and test of knowledge based systems (pp. 119-145)."},{"key":"40_CR8","unstructured":"Mengshoel, O. J., Delab, S. [1993] \u201cknowledge validation: principles and practice\u201d IEEE expert.Leibiitz (Eds.), Managing expert systems. Harrisburg, PA: Idea Group."},{"key":"40_CR9","doi-asserted-by":"publisher","first-page":"p3","DOI":"10.1007\/BF00849196","volume":"7","author":"R. M. O\u2019Keefe","year":"1993","unstructured":"O\u2019Keefe R. M., O\u2019Leary D. E., [1993]. \u201cExpert systems verification and validation: A survey and tutorial\u201d. Artificial intelligence Review 7, p3\u201342.","journal-title":"Artificial intelligence Review"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"O\u2019 Keefe, R.M., Balci, O., Smith, e.p, [1987]. \u201cValidating expert system performance\u201d. IEEE expert,Vol. 2, No. 4, winter, pp 81\u201390","DOI":"10.1109\/MEX.1987.5006538"},{"key":"40_CR11","unstructured":"Preece, A.D, [1998]. Building the Right System Right. AAAI-98 Workshop on Verification and Validation of Knowledge-Based Systems, Technical Report WS-98-11, AAAI."},{"issue":"3","key":"40_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0164-1212(94)00106-W","volume":"29","author":"A.D Preece","year":"1995","unstructured":"Preece, A.D, [1995]. \u201cTowards a Quality Assessment Framework for Knowledge-Based Systems\u201d. Journal of Systems and Software, 29(3), 219\u2013234.","journal-title":"Journal of Systems and Software"},{"key":"40_CR13","unstructured":"Rafea, A., El-Azhari, S., Ibrahim I., Edres, S., Mahmoud, M., [1995] \u201cExperience with the development and Deployment of Expert Systems in Agriculture\u201d Proceedings of IAAI-95 Conference, Montreal, 19\u201325 August 1995, Canada."},{"key":"40_CR14","unstructured":"Rushby, J., [1988] \u201cQuality measures and assurance for AI software\u201d, (NASA Contractor report CR-4187). Menlo ParkCA: SRI International."},{"key":"40_CR15","unstructured":"Shafer. J, [1998]. \u201cRegression Testing Basics\u201d."},{"key":"40_CR16","unstructured":"Smith, S. & Kandel, A., [1993]. \u201cVerification and validation of rule-based expert systems\u201d CRC Press."},{"key":"40_CR17","unstructured":"Vale, A., Ramos, C.m Fernanda, M., [1998]. \u201cKnowledge based systems for power system control centers\u201d. Validation and verification. Proceeding of 1998 European meeting on Validation and Verification of KBSs, Trento, Italy."},{"key":"40_CR18","unstructured":"Vermesan A. [1998], \u201cFoundation and application of expert system verification and validation\u201d The handbook of Applied expert system"},{"key":"40_CR19","doi-asserted-by":"crossref","unstructured":"Vicat, C., Brezillon, P. & Nottola, C., [1995]. \u201cKnowledge validation in the building of knowledge based systems\u201d. Expert system with application, Vol. 8, 391\u2013397.","DOI":"10.1016\/0957-4174(94)E0030-X"},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"Wielinga B. J. and Schreiber A. Th., and Breuker, Eds, [1992]. \u201cKADS: A modeling approach to knowledge engineering, Knowledge Acquisition\u201d. (Special issue: The KADS approach to knowledge engineering). March, 4(1) pp. 5\u201353.","DOI":"10.1016\/1042-8143(92)90013-Q"},{"key":"40_CR21","doi-asserted-by":"crossref","unstructured":"Zlatareva, N., and Preece, A., [1994]. \u201cState of the art in automated validation of knowledge-based systems\/rd. Expert Systems with Applications, 7(2), 151\u2013167.","DOI":"10.1016\/0957-4174(94)90034-5"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44469-6_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T19:16:15Z","timestamp":1585854975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44469-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679783","9783540444695"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44469-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"28 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}