{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:35:17Z","timestamp":1777656917896,"version":"3.51.4"},"reference-count":21,"publisher":"Walter de Gruyter GmbH","issue":"5","funder":[{"name":"DFG","award":["SCHA 1635\/12-1, VO 937\/31-1"],"award-info":[{"award-number":["SCHA 1635\/12-1, VO 937\/31-1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the addition or removal of POUs or the mutation of Structured Text and Sequential Functional Charts. Moreover, operations can be combined to create higher-order changes, such as Type III code clones. The mutation framework can be used to evaluate and improve development tools for supporting the evolution of manufacturing systems, such as regression test suite generators or clone detectors.<\/jats:p>","DOI":"10.1515\/auto-2022-0125","type":"journal-article","created":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T00:37:00Z","timestamp":1683333420000},"page":"380-390","source":"Crossref","is-referenced-by-count":1,"title":["A model-based mutation framework for IEC61131-3 manufacturing systems"],"prefix":"10.1515","volume":"71","author":[{"given":"Kamil","family":"Rosiak","sequence":"first","affiliation":[{"name":"Institute of Software Engineering and Automotive Informatics , Technische Universit\u00e4t Braunschweig , Braunschweig , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Linsbauer","sequence":"additional","affiliation":[{"name":"Institute of Software Engineering and Automotive Informatics , Technische Universit\u00e4t Braunschweig , Braunschweig , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[{"name":"Institute of Automation and Information Systems , Technische Universit\u00e4t M\u00fcnchen , Munich , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Institute of Information Security and Dependability , Karlsruhe Institute of Technology , Karlsruhe , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"2023050600365680703_j_auto-2022-0125_ref_001","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser, A. Fay, I. Schaefer, and M. Tichy, \u201cEvolution of software in automated production systems: challenges and research directions,\u201d J. Syst. Software, vol.\u00a0110, pp.\u00a054\u201384, 2015. https:\/\/doi.org\/10.1016\/j.jss.2015.08.026.","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"2023050600365680703_j_auto-2022-0125_ref_002","doi-asserted-by":"crossref","unstructured":"Z. Durdik, B. Klatt, H. Koziolek, K. Krogmann, J. Stammel, and R. Weiss, \u201cTowards sustainability guidelines for long-living software systems,\u201d in ICSM, 2012, pp.\u00a0517\u2013526.","DOI":"10.1109\/ICSM.2012.6405316"},{"key":"2023050600365680703_j_auto-2022-0125_ref_003","doi-asserted-by":"crossref","unstructured":"J. Rubin and M. Chechik, \u201cQuality of merge-refactorings for product lines,\u201d in FASE, Springer, 2013, pp.\u00a083\u201398.","DOI":"10.1007\/978-3-642-37057-1_7"},{"key":"2023050600365680703_j_auto-2022-0125_ref_004","unstructured":"C. Kumar Roy and J. R. Cordy, \u201cA survey on software clone detection research,\u201d in Queen\u2019s School of Computing Technical Report, vol. 541, 2007, pp. 64\u201368."},{"key":"2023050600365680703_j_auto-2022-0125_ref_005","doi-asserted-by":"crossref","unstructured":"C. K. Roy and J. R. Cordy, \u201cBenchmarks for software clone detection: a ten-year retrospective,\u201d in 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2018, pp.\u00a026\u201337.","DOI":"10.1109\/SANER.2018.8330194"},{"key":"2023050600365680703_j_auto-2022-0125_ref_006","doi-asserted-by":"crossref","unstructured":"Y. Jia and M. Harman, \u201cAn analysis and survey of the development of mutation testing,\u201d IEEE Trans. Software Eng., vol.\u00a037, no.\u00a05, pp.\u00a0649\u2013678, 2010. https:\/\/doi.org\/10.1109\/tse.2010.62.","DOI":"10.1109\/TSE.2010.62"},{"key":"2023050600365680703_j_auto-2022-0125_ref_007","doi-asserted-by":"crossref","unstructured":"R. Geist, A. J. Offutt, F. C. Harris, and J. Rickc, \u201cEstimation and enhancement of real-time software reliability through mutation analysis,\u201d IEEE Trans. Comput., vol.\u00a041, no.\u00a05, pp.\u00a0550\u2013558, 1992. https:\/\/doi.org\/10.1109\/12.142681.","DOI":"10.1109\/12.142681"},{"key":"2023050600365680703_j_auto-2022-0125_ref_008","doi-asserted-by":"crossref","unstructured":"M. Mondal, C. K. Roy, and K. A. Schneider, \u201cA survey on clone refactoring and tracking,\u201d J. Syst. Software (JSS), vol. 159, pp. 110\u2013429, 2020. https:\/\/doi.org\/10.1016\/j.jss.2019.110429.","DOI":"10.1016\/j.jss.2019.110429"},{"key":"2023050600365680703_j_auto-2022-0125_ref_009","doi-asserted-by":"crossref","unstructured":"E. Juergens, F. Deissenboeck, B. Hummel, and S. Wagner, \u201cDo code clones matter?\u201d in 2009 IEEE 31st International Conference on Software Engineering, IEEE, 2009, pp.\u00a0485\u2013495.","DOI":"10.1109\/ICSE.2009.5070547"},{"key":"2023050600365680703_j_auto-2022-0125_ref_010","doi-asserted-by":"crossref","unstructured":"N. Saini, S. Singh, and Suman, \u201cCode clones: detection and management,\u201d Procedia Comput. Sci., vol.\u00a0132, pp.\u00a0718\u2013727, 2018. https:\/\/doi.org\/10.1016\/j.procs.2018.05.080.","DOI":"10.1016\/j.procs.2018.05.080"},{"key":"2023050600365680703_j_auto-2022-0125_ref_011","unstructured":"International Electrotechnical Commision, \u201cProgramming Languages,\u201d in Programmable Logic Controllers \u2013 Part 3, Geneva, Switzerland, International Electrotechnical Commision, 2009."},{"key":"2023050600365680703_j_auto-2022-0125_ref_012","doi-asserted-by":"crossref","unstructured":"K. Rosiak, A. Schlie, L. Linsbauer, B. Vogel-Heuser, and I. Schaefer, \u201cCustom-tailored clone detection for iec 61131-3 programming languages,\u201d J. Syst. Software, vol.\u00a0182, p.\u00a0111070, 2021. https:\/\/doi.org\/10.1016\/j.jss.2021.111070.","DOI":"10.1016\/j.jss.2021.111070"},{"key":"2023050600365680703_j_auto-2022-0125_ref_013","doi-asserted-by":"crossref","unstructured":"J. Svajlenko and C. K. Roy, \u201cEvaluating modern clone detection tools,\u201d in 2014 IEEE International Conference on Software Maintenance and Evolution, IEEE, 2014, pp.\u00a0321\u2013330.","DOI":"10.1109\/ICSME.2014.54"},{"key":"2023050600365680703_j_auto-2022-0125_ref_014","unstructured":"D. M. W. Powers, \u201cEvaluation: from precision, recall and f-measure to roc, informedness, markedness and correlation,\u201d J. Mach. Learn. Technol., vol. 2, no. 1, pp. 37\u201363, 2011."},{"key":"2023050600365680703_j_auto-2022-0125_ref_015","unstructured":"Birgit Vogel-Heuser, Bougouffa Safa, and Michael Sollfrank, Technical University in Munich, Germany \u2013 Institute of Automation and Information Systems, \u201cResearching evolution in industrial plant automation: Scenarios and documentation of the pick and place uni,\u201d Technical Report No. TUM-AIS-TR-02-18-06, 2018."},{"key":"2023050600365680703_j_auto-2022-0125_ref_016","doi-asserted-by":"crossref","unstructured":"B. Vogel-Heuser, S. Feldmann, J. Folmer, et al.., \u201cSelected challenges of software evolution for automated production systems,\u201d in 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), IEEE, 2015, pp.\u00a0314\u2013321.","DOI":"10.1109\/INDIN.2015.7281753"},{"key":"2023050600365680703_j_auto-2022-0125_ref_017","unstructured":"B. Vogel-Heuser, C. Legat, J. Folmer, and S. Feldmann, \u201cResearching evolution in industrial plant automation: scenarios and documentation of the pick and place unit,\u201d Institute of Automation and Information Systems, Technische Universit\u00e4t M\u00fcnchen, Technical Report, 2014."},{"key":"2023050600365680703_j_auto-2022-0125_ref_018","doi-asserted-by":"crossref","unstructured":"J. Svajlenko, C. K. Roy, and S. Duszynski, \u201cForksim: generating software forks for evaluating cross-project similarity analysis tools,\u201d in 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013, pp.\u00a037\u201342.","DOI":"10.1109\/SCAM.2013.6648182"},{"key":"2023050600365680703_j_auto-2022-0125_ref_019","doi-asserted-by":"crossref","unstructured":"L. Ma, F. Zhang, J. Sun, et al.., \u201cDeepmutation: mutation testing of deep learning systems,\u201d in 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), IEEE, 2018, pp.\u00a0100\u2013111.","DOI":"10.1109\/ISSRE.2018.00021"},{"key":"2023050600365680703_j_auto-2022-0125_ref_020","doi-asserted-by":"crossref","unstructured":"E. Martin and T. Xie, \u201cA fault model and mutation testing of access control policies,\u201d in Proceedings of the 16th International Conference on World Wide Web, 2007, pp.\u00a0667\u2013676.","DOI":"10.1145\/1242572.1242663"},{"key":"2023050600365680703_j_auto-2022-0125_ref_021","doi-asserted-by":"crossref","unstructured":"W. E. Wong and A. P. Mathur, \u201cReducing the cost of mutation testing: an empirical study,\u201d J. Syst. Software, vol.\u00a031, no.\u00a03, pp.\u00a0185\u2013196, 1995. https:\/\/doi.org\/10.1016\/0164-1212(94)00098-0.","DOI":"10.1016\/0164-1212(94)00098-0"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0125\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0125\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T00:37:42Z","timestamp":1683333462000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0125\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,1]]},"references-count":21,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2023,5,8]]},"published-print":{"date-parts":[[2023,5,25]]}},"alternative-id":["10.1515\/auto-2022-0125"],"URL":"https:\/\/doi.org\/10.1515\/auto-2022-0125","relation":{},"ISSN":["0178-2312","2196-677X"],"issn-type":[{"value":"0178-2312","type":"print"},{"value":"2196-677X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,1]]}}}