{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T13:00:53Z","timestamp":1699966853571},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T00:00:00Z","timestamp":1040083200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1007\/s10009-002-0099-9","type":"journal-article","created":{"date-parts":[[2004,3,20]],"date-time":"2004-03-20T15:40:18Z","timestamp":1079797218000},"page":"90-103","source":"Crossref","is-referenced-by-count":25,"title":["A mutation analysis tool for Java programs"],"prefix":"10.1007","volume":"5","author":[{"given":"P.","family":"Chevalley","sequence":"first","affiliation":[]},{"given":"P.","family":"Th\u00e9venod-Fosse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,17]]},"reference":[{"key":"99_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/stvr.226","volume":"11","author":"Barbosa,","year":"2001","unstructured":"Barbosa, E.F., Maldonado, J.C., Rizzo Vincenzi, A.M.: Toward the determination of sufficient mutant operators for C. Software Test Verification Reliab 11: 113\u2013136, 2001","journal-title":"Software Test Verification Reliab"},{"key":"99_CR2","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The unified modeling language user guide. Object Technology Series. Addison-Wesley, Reading, Mass., USA, 1999"},{"key":"99_CR3","doi-asserted-by":"crossref","unstructured":"Chevalley, P., Th\u00e9venod-Fosse, P.: An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study. In: Proc. 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, China, November 2001, pp. 254\u2013263","DOI":"10.1109\/ISSRE.2001.989479"},{"key":"99_CR4","doi-asserted-by":"crossref","unstructured":"Daran, M., Th\u00e9venod-Fosse, P.: Software error analysis: a real case study involving real faults and mutations. In: Proc. 1996 International Symposium on Software Testing and Analysis (ISSTA\u201996), San Diego, Calif., USA, January 1996, pp. 158\u2013171","DOI":"10.1145\/229000.226313"},{"key":"99_CR5","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"DeMillo,","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11:34\u201341, April 1978","journal-title":"Computer"},{"key":"99_CR6","unstructured":"DeMillo, R.A., Martin, R.J., McCracken, W.M., Passafiume, J.S.: Software testing and evaluation. Benjamin-Cummings, Menlo Park, Calif., USA, 1987"},{"key":"99_CR7","unstructured":"Golm, M., Klein\u00f6der, J.: Jumping to the meta level: behavioral reflection can be fast and flexible. In: Proc. 2nd International Conference on Metalevel Architectures and Reflection (Reflection\u201999), Lecture Notes in Computer Science, vol. 1616. Springer, Berlin Heidelberg New York, 1996, pp. 22\u201339"},{"key":"99_CR8","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3","volume":"9","author":"Hierons,","year":"1999","unstructured":"Hierons, R.M., Harman, M., Danicic, S.: Using program slicing to assist in the detection of equivalent mutants. Software Test Verification Reliab 9: 233\u2013262, 1999","journal-title":"Software Test Verification Reliab"},{"key":"99_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(200003)10:1<3::AID-STVR196>3.0.CO;2-P","volume":"10","author":"How","year":"2000","unstructured":"How Tai Wah, K.S.: A theoretical study of fault coupling. Software Test Verification Reliab 10: 3\u201345, 2000","journal-title":"Software Test Verification Reliab"},{"key":"99_CR10","unstructured":"Kim, S., Clark, J.A., McDermid, J.A.: Class mutation: mutation testing for object-oriented programs. In: Proc. Net.ObjectDays Conference on Object-Oriented Software Systems, Erfurt, Germany, 2000"},{"key":"99_CR11","first-page":"Mutation","volume":"2000","author":"Kim,","year":"2000","unstructured":"Kim, S., Clark, J.A., McDermid, J.A.: Investigating the effectiveness of object-oriented testing strategies with the mutation method. In: Proc. Mutation 2000: Mutation Testing in the Twentieth and the Twenty-First Centuries, San Jose, Calif., USA, 2000","journal-title":"Mutation"},{"key":"99_CR12","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"King,","year":"1991","unstructured":"King, K.N., Offutt, A.J.: A Fortran language system for mutation-based software testing. Software Pract Exper 21: 685\u2013718, 1991","journal-title":"Software Pract Exper"},{"key":"99_CR13","doi-asserted-by":"crossref","unstructured":"Laprie , J.-C. (ed): Dependability: basic concepts and terminology, vol. 5. Springer, Berlin Heidelberg New York, 1992","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"99_CR14","doi-asserted-by":"crossref","unstructured":"Miller , S.P.: Specifying the mode logic of a flight guidance system in CoRE and SCR. In: Proc. 2nd Workshop on Formal Methods in Software Practice (FMSP\u201998), Clearwater Beach, Fla., USA, 1998","DOI":"10.1145\/298595.298856"},{"key":"99_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/125489.125473","volume":"1","author":"Offutt,","year":"1992","unstructured":"Offutt, A.J.: Investigations of the software testing coupling effect. ACM Trans Software Eng Methodol 1: 3\u201318, 1992","journal-title":"ACM Trans Software Eng Methodol"},{"key":"99_CR16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"Offutt,","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf , C.: An experimental determination of sufficient mutant operators. ACM Trans Software Eng Methodol 5: 99\u2013118, 1996","journal-title":"ACM Trans Software Eng Methodol"},{"key":"99_CR17","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U","volume":"7","author":"Offutt,","year":"1997","unstructured":"Offutt, A.J., Pan, J.: Automatically detecting equivalent mutants and infeasible paths. Software Test Verification Reliab 7: 165\u2013192, 1997","journal-title":"Software Test Verification Reliab"},{"key":"99_CR18","unstructured":"The Open University, Milton Keynes, UK. M301 Case Study. http:\/\/m301.open.ac.uk\/html\/case_study\/, 2002"},{"key":"99_CR19","doi-asserted-by":"crossref","unstructured":"Tatsubori, M., Chiba, S., Killijian, M.-O., Itano, K.: OpenJava: a class-based macro system for Java. In: Reflection and Software Engineering, Lecture Notes in Computer Science, vol. 1826. Springer, Berlin Heidelberg New York, June 2000, pp. 117\u2013133","DOI":"10.1007\/3-540-45046-7_7"},{"key":"99_CR20","unstructured":"Th\u00e9venod-Fosse, P., Waeselynck, H.: Software statistical testing based on structural and functional criteria. In: Proc. 11th International Software Quality Week (QW\u201998), San Francisco, Calif., USA, May 1998"},{"key":"99_CR21","doi-asserted-by":"crossref","unstructured":"Th\u00e9venod-Fosse, P., Waeselynck, H., Crouzet, Y.: Software statistical testing. In: Randell, B., Laprie, J.-C., Kopetz, H., Littlewood , B.(eds) Predictably dependable computing systems. Springer, Berlin Heidelberg New York, 1995, pp. 253\u2013272","DOI":"10.1007\/978-3-642-79789-7_15"},{"key":"99_CR22","unstructured":"Welch, I., Stroud, R.: From Dalang to Kava \u2013 the evolution of a reflective Java extension. In: Proc. 2nd International Conference on Metalevel Architectures and Reflection (Reflection\u201999), Lecture Notes in Computer Science, vol. 1616. Springer, Berlin Heidelberg New York, 1999, pp. 2\u201321"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-002-0099-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-002-0099-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-002-0099-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T18:11:20Z","timestamp":1585678280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-002-0099-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,17]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["99"],"URL":"https:\/\/doi.org\/10.1007\/s10009-002-0099-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12,17]]}}}