{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:07:04Z","timestamp":1743037624625,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406539"},{"type":"electronic","value":"9783642406546"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40654-6_13","type":"book-chapter","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T16:40:07Z","timestamp":1382546407000},"page":"207-227","source":"Crossref","is-referenced-by-count":0,"title":["Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing"],"prefix":"10.1007","author":[{"given":"Pantelis Stylianos","family":"Yiasemis","sequence":"first","affiliation":[]},{"given":"Andreas S.","family":"Andreou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Software Testing","author":"R Patton","year":"2006","unstructured":"Patton, R.: Software Testing, 2nd edn. Sams Publishing, Indianapolis (2006)","edition":"2"},{"key":"13_CR2","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software Testing. Wiley-Interscience, New York (1979)"},{"key":"13_CR3","unstructured":"Weiser, M.D.: Program slices: formal psychological and practical investigations of an automatic abstraction method. Ph.D. thesis, University of Michigan, USA (1979)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Reps, T., Bricker, T.: Illustrating interference in interfering versions of programs. In: Proceedings of the Second International Workshop on Software Configuration Management (1989)","DOI":"10.1145\/72910.73347"},{"key":"13_CR5","unstructured":"Agrawal, H., Horgan, J.R., London, S., Wong, W.E.: Fault localization using execution slices and dataflow tests. In: Sixth International Symposium on Software Reliability Engineering, vol. 24(27), pp. 143\u2013151 (1995)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, White Plains, New York, U.S.A., pp. 246\u2013256, ACM Press (1990)","DOI":"10.1145\/93548.93576"},{"key":"13_CR7","unstructured":"Black, S., Counsell, S., Hall, T., Wernick, P.: Using program slicing to identify faults in software. In: Dagstuhl, Seminar N\u00ba, vol. 05451 (2005)"},{"issue":"4","key":"13_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"RG Hamlet","year":"1977","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. 3(4), 279\u2013290 (1977)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. IEEE Comput. 11(4), 34\u201341 (1978)","journal-title":"IEEE Comput."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Langdon, W.B.: Strong higher order mutation-base test data generation. In: ESEC\/FSE\u201911, Szeged, Hungary, 5\u20139 Sept 2011","DOI":"10.1145\/2025113.2025144"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Nica, M., Nica, S., Wotawa, F.: On the use of mutations and testing for debugging. Softw.-Pract. Exp. (2012) (Article published online)","DOI":"10.1002\/spe.1142"},{"key":"13_CR12","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"DE Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley, Upper Saddle River (1989)"},{"issue":"12","key":"13_CR13","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1016\/j.infsof.2007.11.001","volume":"50","author":"T Jiang","year":"2008","unstructured":"Jiang, T., Gold, N., Harman, M., Li, Z.: Locating dependence structures using search based slicing. J. Inf. Softw. Technol. 50(12), 1189\u20131209 (2008)","journal-title":"J. Inf. Softw. Technol."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: IEEE Congress on Evolutionary Computation IEEE World Congress on Computational Intelligence, pp. 162\u2013168 (2008)","DOI":"10.1109\/CEC.2008.4630793"},{"issue":"5","key":"13_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/1735223.1735249","volume":"53","author":"W Weimer","year":"2010","unstructured":"Weimer, W., Forrest, S., Le Goues, C., Nguyen, T.: Automatic program repair with evolutionary computation. Commun. ACM Res. Highlight 53(5), 109\u2013116 (2010)","journal-title":"Commun. ACM Res. Highlight"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Offutt, A.J.: The coupling effect: fact or fiction. In: ACM SIGSOFT \u201889\u2014Third symposium on Software Testing, Analysis, and Verification. ACM, New York (1989)","DOI":"10.1145\/75308.75324"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Fraser, G., Zeller, A.: Generating parameterized unit tests. In: International Symposium on Software Testing and Analysis (ISSTA\u201911), Toronto, Canada, 17\u201321 July 2011","DOI":"10.1145\/2001420.2001464"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Untch, R.H.: Mutation 2000: uniting the orthogonal. In: 1st Workshop on Mutation Analysis (MUTATION\u201900), San Jose, California, pp. 34\u201344 (2001)","DOI":"10.1007\/978-1-4757-5939-6_7"},{"issue":"7","key":"13_CR19","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1002\/spe.4380210704","volume":"21","author":"KN King","year":"1991","unstructured":"King, K.N., Offutt, J.: A Fortran language system for mutation-based software testing. Softw. Pract. Exp. 21(7), 686\u2013718 (1991)","journal-title":"Softw. Pract. Exp."},{"issue":"7","key":"13_CR20","first-page":"686","volume":"21","author":"D Binkley","year":"1991","unstructured":"Binkley, D., Danicic, S., Gyimothy, T., Harman, M., Kiss, A., Korel, B.: Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360, 23\u201341 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"J Offutt","year":"2005","unstructured":"Offutt, J., Ma, Y.S., Kwon, Y.R.: MuJava: an automated class mutation system. Softw. Test. Verif. Reliab. 15, 97\u2013133 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"13_CR22","unstructured":"Ma, Y.S., Offutt, J.: Description of method-level mutation operators for Java. (2005) http:\/\/cs.gmu.edu\/~offutt\/mujava\/mutopsMethod.pdf"},{"key":"13_CR23","unstructured":"Wang, T., Roychoudhury, A.: Using compressed bytecode traces for slicing Java programs. In: ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 512\u2013521 (2004)"},{"key":"13_CR24","unstructured":"DeYong, J.: Program slicing for Java 1.6. Master Thesis, Eindhoven University of Technology, Eindhoven, Holland (2011)"},{"key":"13_CR25","first-page":"XX","volume-title":"ICEIS 2012. LNBIP","author":"P Yiasemis","year":"2012","unstructured":"Yiasemis, P., Andreou, A.: Dynamic Localisation and Automatic\nCorrection of Software Faults Using Evolutionary Mutation Testing. In: Cordeiro, J., Maciaszek, L.A., Filipe, J. (eds.) ICEIS 2012. LNBIP, vol. 141, pp. XX\u2013YY. Springer, Heidelberg (2012)"},{"key":"13_CR26","unstructured":"Nica, S., Ramler, R., Wotawa, F.: Is mutation testing scalable for real-world software projects? In: VALID Third International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain (2011)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40654-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T07:08:19Z","timestamp":1669014499000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-40654-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406539","9783642406546"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40654-6_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}