{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:17:16Z","timestamp":1725866236544},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465852"},{"type":"electronic","value":"9783319465869"}],"license":[{"start":{"date-parts":[[2016,9,24]],"date-time":"2016-09-24T00:00:00Z","timestamp":1474675200000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-46586-9_16","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T07:25:04Z","timestamp":1474615504000},"page":"201-211","source":"Crossref","is-referenced-by-count":0,"title":["Mutation Testing in Model Accuracy Assessment"],"prefix":"10.1007","author":[{"given":"Joanna","family":"Strug","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02546-4","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers, San Rafael (2012)"},{"doi-asserted-by":"crossref","unstructured":"Schamai, W., Helle, P., Fritzson, P., Christiaan, J., Paredis, J.: Virtual verification of system designs against system requirements. In: Models in Software Engineering. LNCS, vol. 6627, pp. 75\u201389. Springer, Heidelberg (2010)","key":"16_CR2","DOI":"10.1007\/978-3-642-21210-9_8"},{"unstructured":"Roman, A.: Testing and Software Quality. PWN, Warsaw (2015) (in polish)","key":"16_CR3"},{"doi-asserted-by":"crossref","unstructured":"Fernandez, J.-C., Mounier, L., Pachon, C.: A model-based approach for robustness testing. In: Testing of Communication Systems. LNCS, vol. 3502, pp. 333\u2013348. Springer, Heidelberg (2005)","key":"16_CR4","DOI":"10.1007\/11430230_23"},{"doi-asserted-by":"crossref","unstructured":"Strug, J.: Mutation testing approach to negative testing. J. Eng. 2016, 13 p. (2016)","key":"16_CR5","DOI":"10.1155\/2016\/6589140"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"543","DOI":"10.4028\/www.scientific.net\/KEM.572.543","volume":"572","author":"J Strug","year":"2014","unstructured":"Strug, J.: Mutation testing approach to evaluation of design models. Key Eng. Mater. 572, 543\u2013546 (2014)","journal-title":"Key Eng. Mater."},{"doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Stress testing real-time systems with genetic algorithms. In: Conference on Genetic and Evolutionary Computation, pp. 1021\u20131028, Washington, DC (2005)","key":"16_CR7","DOI":"10.1145\/1068009.1068183"},{"doi-asserted-by":"crossref","unstructured":"Reid, S.C.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: International Software Metrics Symposium, pp. 64\u201373, Albuquerque, NM (1997)","key":"16_CR8","DOI":"10.1109\/METRIC.1997.637166"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1002\/spe.487","volume":"32","author":"J Zhang","year":"2002","unstructured":"Zhang, J., Cheung, S.C.: Automated test case generation for the stress testing of multimedia systems. Softw. Pract. Exp. 32, 1411\u20131435 (2002)","journal-title":"Softw. Pract. Exp."},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1878","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11, 34\u201341 (1878)","journal-title":"Computer"},{"key":"16_CR11","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, 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"Bolazar, K., Fawcett, J.W.: Measuring component specification-implementation concordance with semantic mutation testing. In: International Conference on Computers and Their Applications, pp. 102\u2013107, New Orleans (2011)","key":"16_CR12"},{"doi-asserted-by":"crossref","unstructured":"Fraser, G., Wotawa, F.: Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. In: International Conference on Software Engineering Advances, pp. 16\u201321, Tahiti (2006)","key":"16_CR13","DOI":"10.1109\/ICSEA.2006.261272"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.scico.2016.01.003","volume":"120","author":"F Belli","year":"2016","unstructured":"Belli, F., Budnik, C.J., Hollmann, A., Tuglular, T., Wong, W.E.: Model-based mutation testing\u2014approach and case studies. Sci. Comput. Program. 120, 22\u201348 (2016)","journal-title":"Sci. Comput. Program."},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1002\/sys.10033","volume":"6","author":"T Bahill","year":"2003","unstructured":"Bahill, T., Daniels, J.: Using objected-oriented and UML tools for hardware design: a case study. Syst. Eng. 6, 28\u201348 (2003)","journal-title":"Syst. Eng."},{"unstructured":"Unified Modeling Language http:\/\/www.omg.org\/spec\/UML\/2.5","key":"16_CR16"},{"unstructured":"Object Constraint Language http:\/\/www.omg.org\/spec\/OCL\/2.4","key":"16_CR17"},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., Buttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"16_CR19","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, 80\u201386 (2010)","journal-title":"IEEE Softw."},{"key":"16_CR20","doi-asserted-by":"crossref","first-page":"539","DOI":"10.4028\/www.scientific.net\/KEM.572.539","volume":"572","author":"J Strug","year":"2014","unstructured":"Strug, J.: Classification of mutation operators applied to design models. Key Eng. Mater. 572, 539\u2013542 (2014)","journal-title":"Key Eng. Mater."},{"doi-asserted-by":"crossref","unstructured":"Ammann, P., Delamaro, M.E., Offutt, J.: Establishing theoretical minimal sets of mutants. In: IEEE International Conference on Software Testing, Verification and Validation, pp. 21\u201330, Cleveland Ohio, USA (2014)","key":"16_CR21","DOI":"10.1109\/ICST.2014.13"},{"doi-asserted-by":"crossref","unstructured":"Strug, J., Strug, B.: Machine learning approach in mutation testing. In: Software and Systems. LNCS, vol. 7641, pp. 200\u2013214. Springer, Heidelberg (2012)","key":"16_CR22","DOI":"10.1007\/978-3-642-34691-0_15"},{"key":"16_CR23","doi-asserted-by":"crossref","first-page":"546","DOI":"10.4028\/www.scientific.net\/AMM.378.546","volume":"378","author":"J Strug","year":"2013","unstructured":"Strug, J., Strug, B.: Using structural similarity to classify tests in mutation testing. Appl. Mech. Mater. 378, 546\u2013551 (2013)","journal-title":"Appl. Mech. Mater."},{"doi-asserted-by":"crossref","unstructured":"Strug, J., Strug, B.: Classifying mutants with decomposition kernel. In: Artificial Intelligence and Soft Computing. LNCS, vol. 9692, pp. 644\u2013654. Springer, Heidelberg (2016)","key":"16_CR24","DOI":"10.1007\/978-3-319-39378-0_55"},{"key":"16_CR25","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.2013.44","volume":"40","author":"L Madeyski","year":"2014","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, 23\u201342 (2014)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Advances in Intelligent Systems and Computing","Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2016 \u2013 Part II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46586-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T02:57:08Z","timestamp":1692500228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46586-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,24]]},"ISBN":["9783319465852","9783319465869"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46586-9_16","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016,9,24]]}}}