{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:31:17Z","timestamp":1763663477816},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319396385"},{"type":"electronic","value":"9783319396392"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39639-2_9","type":"book-chapter","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T03:25:00Z","timestamp":1466133900000},"page":"97-108","source":"Crossref","is-referenced-by-count":6,"title":["Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs"],"prefix":"10.1007","author":[{"given":"Anna","family":"Derezi\u0144ska","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,18]]},"reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"9_CR2","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/MS.2010.79","volume":"27","author":"MP Usaola","year":"2010","unstructured":"Usaola, M.P., Mateo, P.R.: Mutation testing cost reduction techniques: a survey. IEEE Softw. 27(3), 80\u201386 (2010)","journal-title":"IEEE Softw."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Jia, Y., Harman, M., Le Traon, Y.: Trivial compiler equivalence: a large scale empirical study of a simple, fast and effective equivalent mutant detection technique. In: 37th IEEE International Conference on Software Engineering, pp. 936\u2013946, IEEE\/ACM (2015)","DOI":"10.1109\/ICSE.2015.103"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Madeyski, L., Orzeszyna, W., Torkar, R., J\u00f3zala, M.: Overcoming the equivalent mutant problem: a systematic literature review and a comparative experiment of second order mutation. IEEE Trans. Softw. Eng. 40(1), 23\u201342 (2014)","DOI":"10.1109\/TSE.2013.44"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Untch, R.: On reduced neighborhood mutation analysis using a single mutagenic operator. In: ACM Southeast Regional Conference, pp. 19\u201321 (2009)","DOI":"10.1145\/1566445.1566540"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Deng, L., Offutt, J., Li, N.: Empirical evaluation of the statement deletion mutation operator. In: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST 2013), pp. 84\u201393, IEEE (2013)","DOI":"10.1109\/ICST.2013.20"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Delmaro, M.E., Offut, J., Ammann, P.: Designing deletion mutation operators. In: IEEE International Conference on Software Testing, Verification, and Validation (ICST), pp. 11\u201320, IEEE (2014)","DOI":"10.1109\/ICST.2014.12"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Delmaro, M.E., Deng, L., Durelli, V.H.S., Offut, J.: Experimental evaluation of SDL and one-op mutation for C. In: IEEE International Conference on Software Testing, Verification, and Validation (ICST), pp. 203\u2013212, IEEE (2014)","DOI":"10.1109\/ICST.2014.33"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Rani, S., Suri, B.: An approach for test data generation based on genetic algorithm and delete mutation operators. In: 2nd International Conference on Advances in Computing and Communication Engineering, pp. 714\u2013718, IEEE (2015)","DOI":"10.1109\/ICACCE.2015.145"},{"issue":"1","key":"9_CR10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00625279","volume":"18","author":"TA Budd","year":"1982","unstructured":"Budd, T.A., Angluin, D.: Two notions of correctness and their relation to testing. Acta Informatica 18(1), 31\u201345 (1982)","journal-title":"Acta Informatica"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"1379","DOI":"10.1016\/j.infsof.2009.04.016","volume":"51","author":"Y Jia","year":"2009","unstructured":"Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51, 1379\u20131393 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"9","key":"9_CR12","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"RA DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, J.: Constraint-based automatic test data generation. IEEE Trans. Software Eng. 17(9), 900\u2013910 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR13","unstructured":"Be\u0142z, A.: Improving visual mutator\u2014a visual studio add-in implementing mutation testing for C#. Bechelor thesis, Warsaw University of Technology (2016)"},{"key":"9_CR14","unstructured":"VisualMutator. http:\/\/visualmutator.github.io\/web\/"},{"key":"9_CR15","unstructured":"Ma, Y-S., Kwon, Y-R., Offutt, J.: Inter-class mutation operators for Java, In: Proc. of the 13th International Symposium on Software Reliability Engineering, ISSRE\u201902, pp. 352\u2013363, IEEE Computer Society (2002)"},{"key":"9_CR16","unstructured":"Ma, Y-S., Offut, J.: Description of class mutation operators for Java. muJava Home Page. https:\/\/cs.gmu.edu\/~offutt\/mujava\/ . Accessed Jan 2016"},{"issue":"1","key":"9_CR17","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1049\/iet-sen.2008.0038","volume":"4","author":"L Madeyski","year":"2010","unstructured":"Madeyski, L., Radyk, N.: Judy\u2014a mutation testing tool for Java. IET Softw. 4(1), 32\u201342 (2010)","journal-title":"IET Softw."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Derezi\u0144ska, A.: Advanced mutation operators applicable in C# programs. In: Sacha, K. (ed.) IFIP vol. 227, Software Engineering Techniques: Design for Quality, pp. 283\u2013288. Springer, Boston (2006)","DOI":"10.1007\/978-0-387-39388-9_27"},{"key":"9_CR19","series-title":"LNCS","first-page":"42","volume-title":"Tools Europe 2012","author":"A Derezi\u0144ska","year":"2012","unstructured":"Derezi\u0144ska, A., Rudnik, M.: Quality evaluation of object-oriented and standard mutation operators applied to C# programs. In: Furia, C.A., Nanz, S. (eds.) Tools Europe 2012. LNCS, vol. 7304, pp. 42\u201357. Springer, Berlin (2012)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Delgado-Perrez, P., Medina-Bulo, I., Domingues-Jimenez, J.J., Garcia-Dominguez, A., Palomo-Lozano, F.: Class mutation operators for C++ object-oriented systems. Ann. Telecommun. 70(3), 137\u2013148 (2015) (Springer)","DOI":"10.1007\/s12243-014-0445-4"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Hu, J., Li, N., Offutt, J.: An analysis of OO mutation operators. In: 4th International Conference on Software Testing, Verification and Validation Workshops, pp. 334\u2013341 (2011)","DOI":"10.1109\/ICSTW.2011.47"},{"key":"9_CR22","unstructured":"Derezi\u0144ska, A.: Classification of Advanced Mutation Operators of C# Language, Borzemski, L. et al. (Eds.) Information Systems Architecture and Technology, New Developments in Web-Age Information Systems, pp. 261\u2013271. Oficyna Wydawnicza Politechniki Wroc\u0142awskiej, Wroc\u0142aw Poland (2010)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Derezi\u0144ska, A. Trzpil, P: Mutation testing process combined with test-driven development in .NET environment. In: Zamojski, W.,\u00a0Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J.\u00a0(eds.) DepCoS-RELCOMEX 2015. AISC, vol. 365, pp. 131\u2013140. Springer, Heidelberg (2015)","DOI":"10.1007\/978-3-319-19216-1_13"},{"issue":"2","key":"9_CR24","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C.: An experimental determination of sufficient mutant operators. ACM T. Softw. Eng. Methodol. 5(2), 99\u2013118 (1996)","journal-title":"ACM T. Softw. Eng. Methodol."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Ammann, P., Delmaro, M. E., Offut, J.: Establishing theoretical minimal sets of mutants. In: IEEE International Conference on Software Testing, Verification, and Validation (ICST), pp. 21\u201330, IEEE (2014)","DOI":"10.1109\/ICST.2014.13"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Derezi\u0144ska, A., Szustek, A.: Object-Oriented testing capabilities and performance evaluation of the C# mutation system. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) CEE-SET 2009. LNCS, vol. 7054, pp. 229\u2013242 (2012)","DOI":"10.1007\/978-3-642-28038-2_18"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Hays, M., Hayes, J.H., Bathke, A.C.: Validation of software testing experiments. In: IEEE International Conference on Software Testing, Verification, and Validation (ICST), pp. 333\u2013342, IEEE (2014)","DOI":"10.1109\/ICST.2014.46"}],"container-title":["Advances in Intelligent Systems and Computing","Dependability Engineering and Complex Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39639-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T17:37:35Z","timestamp":1568050655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39639-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319396385","9783319396392"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39639-2_9","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}