{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:31:16Z","timestamp":1725481876244},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584513"},{"type":"electronic","value":"9783540488040"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0014026","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:12:19Z","timestamp":1132733539000},"page":"205-220","source":"Crossref","is-referenced-by-count":6,"title":["Testing of object-oriented programming systems (OOPS): A fault-based approach"],"prefix":"10.1007","author":[{"given":"Jane Huffman","family":"Hayes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"14_CR1","unstructured":"Barnes, M., P, Bishop, B. Bjarland, G. Dahll, D. Esp, J. Lahti, H. Valisuo, P. Humphreys. \u201cSoftware Testing and Evaluation Methods (The STEM Project).\u201d OECD Halden Reactor Project Report, No. HWR-210, May 1987."},{"key":"14_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, Boris. Software Testing Techniques. Second Edition. New York, Van Nostrand Reinhold, 1990.","edition":"Second Edition"},{"key":"14_CR3","first-page":"10","volume-title":"Essays on Object-Oriented Software Engineering","author":"E. V. Berard","year":"1993","unstructured":"Berard, Edward V. Essays on Object-Oriented Software Engineering. Prentice-Hall, Englewood Cliffs, New Jersey, 1993, p. 10."},{"key":"14_CR4","volume-title":"Graph and Hypergraphs","author":"C. Berge","year":"1973","unstructured":"Berge, C. Graph and Hypergraphs. North-Holland, Amsterdam, The Netherlands, 1973."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Chung, Chi-Ming and Ming-Chi Lee. \u201cObject-Oriented Programming Testing Methodology\u201d, published in Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering, IEEE Computer Society Press, 15\u201320 June 1992, pp. 378\u2013385.","DOI":"10.1109\/SEKE.1992.227965"},{"key":"14_CR6","volume-title":"Software Requirements: Analysis and Specification","author":"A. Davis","year":"1990","unstructured":"Davis, A. Software Requirements: Analysis and Specification. New York, Prentice-Hall, Inc., 1990."},{"key":"14_CR7","volume-title":"Software Defect Removal","author":"R.H. Dunn","year":"1984","unstructured":"Dunn, R.H. Software Defect Removal. New York, McGraw-Hill, 1984."},{"key":"14_CR8","unstructured":"Firesmith, Donald G. \u201cTesting Object-Oriented Software,\u201d published in Proceedings of TOOLS. 19 March 1993."},{"issue":"2","key":"14_CR9","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.1980.230467","volume":"SE-6","author":"W. E. Howden","year":"1980","unstructured":"Howden, W. E., \u201cFunctional Program Testing,\u201d IEEE Transactions on Software Engineering. SE-6(2): March 1980, 162\u2013169.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR10","unstructured":"IEEE 729\u20131983, \u201cGlossary of Software Engineering Terminology,\u201d September 23, 1982."},{"key":"14_CR11","volume-title":"Software Engineering","author":"R.W. Jensen","year":"1979","unstructured":"Jensen, R.W. and C.C. Tonies. Software Engineering. Englewood Cliffs, NJ, Prentice-Hall, 1979."},{"issue":"No.9","key":"14_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/83880.84459","volume":"33","author":"T. Korson","year":"1990","unstructured":"Korson, Tim, and John D. McGregor. \u201cUnderstanding Object-Oriented: A Unifying Paradigm.\u201d Communications of the ACM. Volume 33, No. 9, September 1990, pp. 40\u201360.","journal-title":"Communications of the ACM"},{"key":"14_CR13","unstructured":"Llinas, J., S. Rizzi, and M. McCown, \u201cThe Test and Evaluation Process for Knowledge-Based Systems.\u201d SAIC final contract report, Contract #F30602-85-G-0313 (Task 86001-01), prepared for Rome Air Development Center, 1987."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"McCabe, T.J. \u201cStructured Testing: A Testing Methodology Using the McCabe Complexity Metric,\u201d NBS Special Publication, Contract NB82NAAK5518, U.S. Department of Commerce, National Bureau of Standards, 1982.","DOI":"10.6028\/NBS.SP.500-99"},{"key":"14_CR15","first-page":"59","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, Bertrand. Object-oriented Software Construction. Prentice-Hall, New York, NY, 1988, p. 59, 62."},{"key":"14_CR16","first-page":"17","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, Bertrand. Eiffel: The Language. Prentice-Hall, New York, NY, 1992, p. 17."},{"key":"14_CR17","unstructured":"Miller, Edwin. \u201cBetter Software Testing\u201d Proceedings of Third International Conference on Software for Strategic Systems. 27\u201328 February 1990, Huntsville, AL, 1\u20137."},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0957-4174(90)90006-G","volume":"1","author":"L. A. Miller","year":"1990","unstructured":"Miller, Lance A., \u201cDynamic Testing of Knowledge Bases Using the Heuristic Testing Approach.\u201d in Expert Systems with Applications: An International Journal. 1990, 1, 249\u2013269.","journal-title":"Expert Systems with Applications: An International Journal"},{"key":"14_CR19","unstructured":"Miller, Lance A., Groundwater, Elizabeth, and Steven Mirsky. Survey and Assessment of Conventional Software Verification and Validation Methods (NUREG\/CR-6018). U.S. Nuclear Regulatory Commission, April 1993, p. 9, 33, 35."},{"key":"14_CR20","unstructured":"Miller, Lance A., Hayes, Jane E., and Steven Mirsky. Task 7: Guidelines for the Verification and Validation of Artificial Intelligence Software Systems. Prepared for United States Nuclear Regulatory Commission and the Electric Power Research Institute. Prepared by Science Applications International Corporation, May 28, 1993."},{"key":"14_CR21","unstructured":"Miller, Lance A. Personal communication. September 1993."},{"key":"14_CR22","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J. The Art of Software Testing. Wiley, New York, New York, 1979."},{"key":"14_CR23","unstructured":"NBS 500-93. \u201cSoftware Validation, Verification, and Testing Technique and Tool Reference Guide,\u201d September 1982."},{"volume-title":"Modern Software Engineering: Foundations and Current Perspectives","year":"1990","key":"14_CR24","unstructured":"Ng, P. and R. Yeh (Eds.). Modern Software Engineering: Foundations and Current Perspectives. New York, Van Nostrand Reinhold, 1990."},{"key":"14_CR25","unstructured":"NUREG\/CR-4227, Gilmore, W., \u201cHuman Engineering Guidelines for the Evaluation and Assessment of Video Display Units.\u201d July 1985."},{"issue":"5","key":"14_CR26","first-page":"13","volume":"2","author":"D. E. Perry","year":"1990","unstructured":"Perry, DeWayne E. and Gail E. Kaiser. \u201cAdequate Testing and Object-Oriented Programming,\u201d Journal of Object-Oriented Programming, 2(5):13\u201319, 1990.","journal-title":"Journal of Object-Oriented Programming"},{"issue":"Number3","key":"14_CR27","first-page":"10","volume":"4","author":"J.A. Purchase","year":"1991","unstructured":"Purchase, J.A. and R.L. Winder. \u201cDebugging Tools for Object-Oriented Programming,\u201d Journal of Object-Oriented Programming, Volume 4, Number 3, June 1991, pp. 10\u201327.","journal-title":"Journal of Object-Oriented Programming"},{"key":"14_CR28","unstructured":"Rushby, J., \u201cQuality Measures and Assurance for AI Software.\u201d NASA Contractor Report No. 4187, prepared for Langley Research Center under Contract NAS1-17067, October 1988."},{"key":"14_CR29","unstructured":"Smith, M.D. and D.J. Robson. \u201cA Framework for Testing Object-Oriented Programs,\u201d Journal of Object-Oriented Programming, June 1992, pp. 45\u201353."},{"key":"14_CR30","unstructured":"Tung, C., \u201cOn Control Flow Error Detection and Path Testing,\u201d Proceedings of Third International Conference Software for Strategic Systems, Huntsville, AL, 27\u201328 February 1990, 144\u2013153."},{"key":"14_CR31","first-page":"302","volume-title":"The State-based Testing of Object-Oriented Programs","author":"C.D. Turner","year":"1993","unstructured":"Turner, C.D. and D.J. Robson. \u201cThe State-based Testing of Object-Oriented Programs,\u201d Proceeding of the 1993 IEEE Conference on Software Maintenance (CSM-93). Montreal, Quebec, Canada, September 27\u201330, 1993, David Card-editor, pp. 302\u2013310."},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Voas, Jeffrey M. \u201cPIE: A Dynamic Failure-Based Technique.\u201d IEEE Transactions on Software Engineering, Volume 18, No. 8, August 1992.","DOI":"10.1109\/32.153381"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Wallace, Dolores R. and Roger U. Fujii. \u201cSoftware Verification and Validation: An Overview.\u201d IEEE Software. Vol. 6, No. 3, May 1989.","DOI":"10.1109\/52.28119"},{"issue":"6","key":"14_CR34","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1145\/62959.62963","volume":"31","author":"E. J. Weyuker","year":"1988","unstructured":"Weyuker, Elaine J. \u201cThe Evaluation of Program-Based Software Test Data Adequacy Criteria,\u201d Communications of the ACM, 31:6, June 1988, pp. 668\u2013675.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Methodologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T11:14:45Z","timestamp":1549365285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584513","9783540488040"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/bfb0014026","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}