{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T05:26:28Z","timestamp":1747459588841,"version":"3.40.3"},"publisher-location":"Cham","reference-count":76,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197550"},{"type":"electronic","value":"9783031197567"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19756-7_17","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T07:02:54Z","timestamp":1666162974000},"page":"301-323","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On Technical Debt in\u00a0Software Testing - Observations from\u00a0Industry"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5070-9312","authenticated-orcid":false,"given":"Sigrid","family":"Eldh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"17_CR1","unstructured":"CodeChecker at github. https:\/\/github.com\/Ericsson\/codechecker. Accessed 05 May 2022"},{"key":"17_CR2","unstructured":"Ericsson Smart Mining web-page and report. https:\/\/www.ericsson.com\/en\/enterprise\/reports\/connected-mining. Accessed 08 Aug 2022"},{"key":"17_CR3","unstructured":"ETSI, European Standard. https:\/\/www.etsi.org. Accessed 05 May 2022"},{"key":"17_CR4","unstructured":"Github tool. https:\/\/github.com. Accessed 05 May 2022"},{"key":"17_CR5","unstructured":"ISO: ISO\/IEC 25000: 2014, Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - Guide to SQuaRE webpage. https:\/\/www.iso.org\/standard\/35733.html. Accessed 08 Aug 2022"},{"key":"17_CR6","unstructured":"ITU-T TTCN-3 Z-series Z.161-Z.169. https:\/\/www.itu.int\/rec\/T-REC-Z\/en. Accessed 08 Aug 2022"},{"key":"17_CR7","unstructured":"Jenkins tool. https:\/\/www.jenkins.io\/. Accessed 05 May 2022"},{"key":"17_CR8","unstructured":"Maven tool. https:\/\/maven.apache.org. Accessed 05 June 2022"},{"key":"17_CR9","unstructured":"SonarCube tool. Accessed 08 May 2022"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Agarwal, A., Gupta, S., Choudhury, T.: Continuous and integrated software development using DevOps. In: 2018 International Conference on Advances in Computing and Communication Engineering (ICACCE), pp. 290\u2013293. IEEE (2018)","DOI":"10.1109\/ICACCE.2018.8458052"},{"key":"17_CR11","unstructured":"Ahmad, A., Leifler, O., Sandahl, K.: Empirical analysis of factors and their effect on test flakiness-practitioners\u2019 perceptions. arXiv preprint arXiv:1906.00673 (2019)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"173524","DOI":"10.1109\/ACCESS.2019.2956770","volume":"7","author":"AS Al-Ahmad","year":"2019","unstructured":"Al-Ahmad, A.S., Kahtan, H., Hujainah, F., Jalab, H.A.: Systematic literature review on penetration testing for mobile cloud computing applications. IEEE Access 7, 173524\u2013173540 (2019)","journal-title":"IEEE Access"},{"issue":"6","key":"17_CR13","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TSE.2009.52","volume":"36","author":"S Ali","year":"2009","unstructured":"Ali, S., Briand, L.C., Hemmati, H., Panesar-Walawege, R.K.: A systematic review of the application and empirical investigation of search-based test case generation. IEEE Trans. Software Eng. 36(6), 742\u2013762 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR14","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-030-85347-1_3","volume-title":"Quality of Information and Communications Technology","author":"M Barboni","year":"2021","unstructured":"Barboni, M., Bertolino, A., De Angelis, G.: What we talk about when we talk about software test flakiness. In: Paiva, A.C.R., Cavalli, A.R., Ventura Martins, P., P\u00e9rez-Castillo, R. (eds.) QUATIC 2021. CCIS, vol. 1439, pp. 29\u201339. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85347-1_3"},{"key":"17_CR15","unstructured":"Battina, D.S.: Artificial intelligence in software test automation: a systematic literature review. Int. J. Emerging Technol. Innov. Res. (2019). https:\/\/www.jetir.org. UGC and ISSN Approved. ISSN 2349-5162"},{"issue":"6","key":"17_CR16","doi-asserted-by":"publisher","first-page":"1809","DOI":"10.1007\/s10664-013-9263-y","volume":"19","author":"E Bjarnason","year":"2014","unstructured":"Bjarnason, E., et al.: Challenges and practices in aligning requirements with verification and validation: a case study of six companies. Empir. Softw. Eng. 19(6), 1809\u20131855 (2014)","journal-title":"Empir. Softw. Eng."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"van Bladel, B., Demeyer, S.: A novel approach for detecting type-IV clones in test code. In: 2019 IEEE 13th International Workshop on Software Clones (IWSC), pp. 8\u201312. IEEE (2019)","DOI":"10.1109\/IWSC.2019.8665855"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"van Bladel, B., Demeyer, S.: Clone detection in test code: an empirical evaluation. In: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 492\u2013500. IEEE (2020)","DOI":"10.1109\/SANER48275.2020.9054798"},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3143561","volume":"51","author":"TY Chen","year":"2018","unstructured":"Chen, T.Y., et al.: Metamorphic testing: a review of challenges and opportunities. ACM Comput. Surv. (CSUR) 51(1), 1\u201327 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Collins, E., Dias-Neto, A., de Lucena, V.F., Jr.: Strategies for agile software testing automation: an industrial experience. In: 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops, pp. 440\u2013445. IEEE (2012)","DOI":"10.1109\/COMPSACW.2012.84"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Cordy, J.R., Roy, C.K.: The NiCad clone detector. In: 2011 IEEE 19th International Conference on Program Comprehension, pp. 219\u2013220. IEEE (2011)","DOI":"10.1109\/ICPC.2011.26"},{"key":"17_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-57633-6_16","volume-title":"Agile Processes in Software Engineering and Extreme Programming","author":"P Diebold","year":"2017","unstructured":"Diebold, P., Mayer, U.: On the usage and benefits of agile methods & practices. In: Baumeister, H., Lichter, H., Riebisch, M. (eds.) XP 2017. LNBIP, vol. 283, pp. 243\u2013250. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57633-6_16"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Dietrich, J., Rasheed, S., Tahir, A.: Flaky test sanitisation via on-the-fly assumption inference for tests with network dependencies. arXiv preprint arXiv:2208.01106 (2022)","DOI":"10.1109\/SCAM55253.2022.00037"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.jss.2016.06.013","volume":"119","author":"K Dikert","year":"2016","unstructured":"Dikert, K., Paasivaara, M., Lassenius, C.: Challenges and success factors for large-scale agile transformations: a systematic literature review. J. Syst. Softw. 119, 87\u2013108 (2016)","journal-title":"J. Syst. Softw."},{"key":"17_CR25","unstructured":"Eldh, S.: On test design. Ph.D. thesis, M\u00e4lardalen University (2011)"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Eldh, S.: Test automation improvement model-TAIM 2.0. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 334\u2013337. IEEE (2020)","DOI":"10.1109\/ICSTW50294.2020.00060"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-73066-8_6","volume-title":"Testing of Software and Communicating Systems","author":"S Eldh","year":"2007","unstructured":"Eldh, S., Punnekkat, S., Hansson, H., J\u00f6nsson, P.: Component testing is not enough - a study of software faults in telecom middleware. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) FATES\/TestCom -2007. LNCS, vol. 4581, pp. 74\u201389. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73066-8_6"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Engelman, C.: MATHLAB: a program for on-line machine assistance in symbolic computations. In: Proceedings of the November 30\u2013December 1, 1965, Fall Joint Computer Conference, Part II: Computers: Their Impact on Society, pp. 117\u2013126 (1965)","DOI":"10.1145\/1464013.1464034"},{"key":"17_CR29","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-319-97925-0_42","volume-title":"Systems, Software and Services Process Improvement","author":"J Estdale","year":"2018","unstructured":"Estdale, J., Georgiadou, E.: Applying the ISO\/IEC 25010 quality models to software product. In: Larrucea, X., Santamaria, I., O\u2019Connor, R.V., Messnarz, R. (eds.) EuroSPI 2018. CCIS, vol. 896, pp. 492\u2013503. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-97925-0_42"},{"key":"17_CR30","unstructured":"ETSI: Methods for Testing and Specification (MTS); UML 2.0 action syntax feasibility study TR 102 205 v1.1.1 (2003\u20132005)"},{"key":"17_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/bs.adcom.2015.11.003","volume":"101","author":"M Felderer","year":"2016","unstructured":"Felderer, M., B\u00fcchler, M., Johns, M., Brucker, A.D., Breu, R., Pretschner, A.: Security testing: a survey. Adv. Comput. 101, 1\u201351 (2016)","journal-title":"Adv. Comput."},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Feldt, R.: Do system test cases grow old? In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp. 343\u2013352. IEEE (2014)","DOI":"10.1109\/ICST.2014.47"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Florea, R., Stray, V.: A global view on the hard skills and testing tools in software testing. In: 2019 ACM\/IEEE 14th International Conference on Global Software Engineering (ICGSE), pp. 143\u2013151. IEEE (2019)","DOI":"10.1109\/ICGSE.2019.00035"},{"issue":"5","key":"17_CR34","doi-asserted-by":"publisher","first-page":"1354","DOI":"10.1016\/j.jss.2012.12.051","volume":"86","author":"V Garousi","year":"2013","unstructured":"Garousi, V., Zhi, J.: A survey of software testing practices in Canada. J. Syst. Softw. 86(5), 1354\u20131376 (2013)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"17_CR35","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"J Grabowski","year":"2003","unstructured":"Grabowski, J., Hogrefe, D., R\u00e9thy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An introduction to the testing and test control notation (TTCN-3). Comput. Netw. 42(3), 375\u2013403 (2003)","journal-title":"Comput. Netw."},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"Grindal, M., Offutt, J., Mellin, J.: On the testing maturity of software producing organizations. In: Testing: Academic & Industrial Conference-Practice and Research Techniques (TAIC PART 2006), pp. 171\u2013180. IEEE (2006)","DOI":"10.1109\/TAIC-PART.2006.20"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Haindl, P., Pl\u00f6sch, R.: Towards continuous quality: measuring and evaluating feature-dependent non-functional requirements in DevOps. In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 91\u201394. IEEE (2019)","DOI":"10.1109\/ICSA-C.2019.00024"},{"key":"17_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25231-0_1","volume-title":"Empirical Software Engineering and Verification","author":"M Harman","year":"2012","unstructured":"Harman, M., McMinn, P., de Souza, J.T., Yoo, S.: Search based software engineering: techniques, taxonomy, tutorial. In: Meyer, B., Nordio, M. (eds.) LASER 2008-2010. LNCS, vol. 7007, pp. 1\u201359. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-25231-0_1"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Hasanain, W., Labiche, Y., Eldh, S.: An analysis of complex industrial test code using clone analysis. In: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 482\u2013489. IEEE (2018)","DOI":"10.1109\/QRS.2018.00061"},{"key":"17_CR40","unstructured":"Jonsson, L.: Machine Learning-Based Bug Handling in Large-Scale Software Development, vol. 1936. Link\u00f6ping University Electronic Press (2018)"},{"issue":"4","key":"17_CR41","doi-asserted-by":"publisher","first-page":"1533","DOI":"10.1007\/s10664-015-9401-9","volume":"21","author":"L Jonsson","year":"2016","unstructured":"Jonsson, L., Borg, M., Broman, D., Sandahl, K., Eldh, S., Runeson, P.: Automated bug assignment: ensemble-based machine learning in large scale industrial contexts. Empir. Softw. Eng. 21(4), 1533\u20131578 (2016)","journal-title":"Empir. Softw. Eng."},{"key":"17_CR42","doi-asserted-by":"crossref","unstructured":"Jonsson, L., Broman, D., Sandahl, K., Eldh, S.: Towards automated anomaly report assignment in large complex systems using stacked generalization. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 437\u2013446. IEEE (2012)","DOI":"10.1109\/ICST.2012.124"},{"key":"17_CR43","unstructured":"Karris, S.T.: Introduction to Simulink with Engineering Applications. Orchard Publications (2006)"},{"key":"17_CR44","doi-asserted-by":"crossref","unstructured":"Kaur, K., Jajoo, A., et al.: Applying agile methodologies in industry projects: benefits and challenges. In: 2015 International Conference on Computing Communication Control and Automation, pp. 832\u2013836. IEEE (2015)","DOI":"10.1109\/ICCUBEA.2015.166"},{"key":"17_CR45","doi-asserted-by":"crossref","unstructured":"Kintis, M., Papadakis, M., Malevris, N.: Evaluating mutation testing alternatives: a collateral experiment. In: 2010 Asia Pacific Software Engineering Conference, pp. 300\u2013309. IEEE (2010)","DOI":"10.1109\/APSEC.2010.42"},{"key":"17_CR46","doi-asserted-by":"crossref","unstructured":"Kitanov, S., Monteiro, E., Janevski, T.: 5G and the fog-survey of related technologies and research directions. In: 2016 18th Mediterranean Electrotechnical Conference (MELECON), pp. 1\u20136. IEEE (2016)","DOI":"10.1109\/MELCON.2016.7495388"},{"key":"17_CR47","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: International Symposium on Code Generation and Optimization, CGO 2004, pp. 75\u201386. IEEE (2004)"},{"key":"17_CR48","doi-asserted-by":"crossref","unstructured":"Malm, J., Causevic, A., Lisper, B., Eldh, S.: Automated analysis of flakiness-mitigating delays. In: Proceedings of the IEEE\/ACM 1st International Conference on Automation of Software Test, pp. 81\u201384 (2020)","DOI":"10.1145\/3387903.3389320"},{"key":"17_CR49","unstructured":"Marick, B.: How to misuse code coverage. https:\/\/www.exampler.com\/testing-com\/writings\/coverage.pdf. Accessed 05 May 2022"},{"key":"17_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-319-69926-4_26","volume-title":"Product-Focused Software Process Improvement","author":"T M\u00e5rtensson","year":"2017","unstructured":"M\u00e5rtensson, T., St\u00e5hl, D., Bosch, J.: Exploratory testing of large-scale systems \u2013 testing in the continuous integration and delivery pipeline. In: Felderer, M., M\u00e9ndez Fern\u00e1ndez, D., Turhan, B., Kalinowski, M., Sarro, F., Winkler, D. (eds.) PROFES 2017. LNCS, vol. 10611, pp. 368\u2013384. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69926-4_26"},{"issue":"2","key":"17_CR51","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Softw. Test. Verif. Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"17_CR52","volume-title":"VHDL: Analysis and Modeling of Digital Systems","author":"Z Navabi","year":"1993","unstructured":"Navabi, Z.: VHDL: Analysis and Modeling of Digital Systems, vol. 2. McGraw-Hill, New York (1993)"},{"key":"17_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74970-7_38"},{"key":"17_CR54","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/bs.adcom.2018.03.015","volume":"112","author":"M Papadakis","year":"2019","unstructured":"Papadakis, M., Kintis, M., Zhang, J., Jia, Y., Le Traon, Y., Harman, M.: Mutation testing advances: an analysis and survey. Adv. Comput. 112, 275\u2013378 (2019)","journal-title":"Adv. Comput."},{"issue":"1","key":"17_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3476105","volume":"31","author":"O Parry","year":"2021","unstructured":"Parry, O., Kapfhammer, G.M., Hilton, M., McMinn, P.: A survey of flaky tests. ACM Trans. Softw. Eng. Methodol. (TOSEM) 31(1), 1\u201374 (2021)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"17_CR56","doi-asserted-by":"crossref","unstructured":"Petrovi\u0107, G., Ivankovi\u0107, M., Fraser, G., Just, R.: Does mutation testing improve testing practices? In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), pp. 910\u2013921. IEEE (2021)","DOI":"10.1109\/ICSE43902.2021.00087"},{"key":"17_CR57","doi-asserted-by":"crossref","unstructured":"Pietrantuono, R., Bertolino, A., De Angelis, G., Miranda, B., Russo, S.: Towards continuous software reliability testing in DevOps. In: 2019 IEEE\/ACM 14th International Workshop on Automation of Software Test (AST), pp. 21\u201327. IEEE (2019)","DOI":"10.1109\/AST.2019.00009"},{"key":"17_CR58","unstructured":"Planning, S.: The economic impacts of inadequate infrastructure for software testing. National Institute of Standards and Technology, p. 1 (2002)"},{"key":"17_CR59","doi-asserted-by":"crossref","unstructured":"Porkol\u00e1b, Z., Brunner, T.: The codecompass comprehension framework. In: Proceedings of the 26th Conference on Program Comprehension, pp. 393\u2013396 (2018)","DOI":"10.1145\/3196321.3196352"},{"key":"17_CR60","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, P., Markkula, J., Oivo, M., Turula, K.: Survey on agile and lean usage in Finnish software industry. In: Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 139\u2013148. IEEE (2012)","DOI":"10.1145\/2372251.2372275"},{"issue":"115","key":"17_CR61","first-page":"64","volume":"541","author":"CK Roy","year":"2007","unstructured":"Roy, C.K., Cordy, J.R.: A survey on software clone detection research. Queen\u2019s Sch. Comput. TR 541(115), 64\u201368 (2007)","journal-title":"Queen\u2019s Sch. Comput. TR"},{"issue":"10","key":"17_CR62","first-page":"1145","volume":"1","author":"P Saxena","year":"2014","unstructured":"Saxena, P.: OSI reference model - a seven layered architecture of OSI model. Int. J. Res. 1(10), 1145\u20131156 (2014)","journal-title":"Int. J. Res."},{"issue":"1","key":"17_CR63","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/2490301.2451151","volume":"41","author":"E Schulte","year":"2013","unstructured":"Schulte, E., DiLorenzo, J., Weimer, W., Forrest, S.: Automated repair of binary and assembly programs for cooperating embedded devices. ACM SIGARCH Comput. Archit. News 41(1), 317\u2013328 (2013)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"issue":"9","key":"17_CR64","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1109\/TSE.2016.2532875","volume":"42","author":"S Segura","year":"2016","unstructured":"Segura, S., Fraser, G., Sanchez, A.B., Ruiz-Cort\u00e9s, A.: A survey on metamorphic testing. IEEE Trans. Software Eng. 42(9), 805\u2013824 (2016)","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR65","doi-asserted-by":"publisher","first-page":"3909","DOI":"10.1109\/ACCESS.2017.2685629","volume":"5","author":"M Shahin","year":"2017","unstructured":"Shahin, M., Babar, M.A., Zhu, L.: Continuous integration, delivery and deployment: a systematic review on approaches, tools, challenges and practices. IEEE Access 5, 3909\u20133943 (2017)","journal-title":"IEEE Access"},{"issue":"1","key":"17_CR66","first-page":"27","volume":"62","author":"JZ Szab\u00f3","year":"2007","unstructured":"Szab\u00f3, J.Z., Cs\u00f6ndes, T.: Titan, TTCN-3 test execution environment. Infocommun. J. 62(1), 27\u201331 (2007)","journal-title":"Infocommun. J."},{"key":"17_CR67","doi-asserted-by":"crossref","unstructured":"Tillmann, N., De Halleux, J., Xie, T., Gulwani, S., Bishop, J.: Teaching and learning programming and software engineering via interactive gaming. In: 2013 35th International Conference on Software Engineering (ICSE), pp. 1117\u20131126. IEEE (2013)","DOI":"10.1109\/ICSE.2013.6606662"},{"key":"17_CR68","unstructured":"Van Deursen, A., Moonen, L., Van Den Bergh, A., Kok, G.: Refactoring test code. In: Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes in Software Engineering (XP2001), pp. 92\u201395. Citeseer (2001)"},{"issue":"14","key":"17_CR69","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Inf. Softw. Technol. 43(14), 841\u2013854 (2001)","journal-title":"Inf. Softw. Technol."},{"issue":"5","key":"17_CR70","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 53(5), 109\u2013116 (2010)","journal-title":"Commun. ACM"},{"key":"17_CR71","doi-asserted-by":"crossref","unstructured":"Wiklund, K., Eldh, S., Sundmark, D., Lundqvist, K.: Technical debt in test automation. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 887\u2013892. IEEE (2012)","DOI":"10.1109\/ICST.2012.192"},{"key":"17_CR72","doi-asserted-by":"crossref","unstructured":"Xie, T., Tillmann, N., De Halleux, J.: Educational software engineering: where software engineering, education, and gaming meet. In: 2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS), pp. 36\u201339. IEEE (2013)","DOI":"10.1109\/GAS.2013.6632588"},{"key":"17_CR73","doi-asserted-by":"crossref","unstructured":"Yang, J., Zhikhartsev, A., Liu, Y., Tan, L.: Better test cases for better automated program repair. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp. 831\u2013841 (2017)","DOI":"10.1145\/3106237.3106274"},{"key":"17_CR74","doi-asserted-by":"crossref","unstructured":"Zaidman, A., Van Rompaey, B., Demeyer, S., Van Deursen, A.: Mining software repositories to study co-evolution of production & test code. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 220\u2013229. IEEE (2008)","DOI":"10.1109\/ICST.2008.47"},{"key":"17_CR75","unstructured":"Zeller, A., Gopinath, R., B\u00f6hme, M., Fraser, G., Holler, C.: The fuzzing book (2019)"},{"issue":"4","key":"17_CR76","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A., May, J.H.: Software unit test coverage and adequacy. ACM Comput. Surv. (CSUR) 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv. (CSUR)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19756-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T02:33:27Z","timestamp":1728182007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19756-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197550","9783031197567"],"references-count":76,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19756-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}