{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:52:52Z","timestamp":1756385572458,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["957212"],"award-info":[{"award-number":["957212"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577698","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1476-1485","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6992-9200","authenticated-orcid":false,"given":"Mikael","family":"Ebrahimi Salari","sequence":"first","affiliation":[{"name":"Academy for Innovation, Design and Technology (IDT), Malardalen University, V\u00e4ster\u00e5s, V\u00e4stmanland, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2416-4205","authenticated-orcid":false,"given":"Eduard Paul","family":"Enoiu","sequence":"additional","affiliation":[{"name":"Academy for Innovation, Design and Technology (IDT), Malardalen University, V\u00e4ster\u00e5s, V\u00e4stmanland, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0611-2655","authenticated-orcid":false,"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[{"name":"Academy for Innovation, Design and Technology (IDT), Malardalen University, V\u00e4ster\u00e5s, V\u00e4stmanland, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2870-2680","authenticated-orcid":false,"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[{"name":"Academy for Innovation, Design and Technology (IDT), Malardalen University, V\u00e4ster\u00e5s, V\u00e4stmanland, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-3-319-66299-2_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Acm international conference proceeding series","volume":"162","author":"Bell Ron","year":"2006","unstructured":"Ron Bell . 2006 . Introduction to IEC 61508 . In Acm international conference proceeding series , Vol. 162 . Citeseer, 3--12. Ron Bell. 2006. Introduction to IEC 61508. In Acm international conference proceeding series, Vol. 162. Citeseer, 3--12."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s10703-009-0082-0"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/s10009-014-0355-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_6_1","volume-title":"Pynguin: Automated Unit Test Generation for Python. arXiv preprint arXiv:2202.05218","author":"Lukasczyk Stephan","year":"2022","unstructured":"Stephan Lukasczyk and Gordon Fraser . 2022 . Pynguin: Automated Unit Test Generation for Python. arXiv preprint arXiv:2202.05218 (2022). Stephan Lukasczyk and Gordon Fraser. 2022. Pynguin: Automated Unit Test Generation for Python. arXiv preprint arXiv:2202.05218 (2022)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/978-3-030-59762-7_2"},{"key":"e_1_3_2_1_8_1","volume-title":"An Empirical Study of Automated Unit Test Generation for Python. arXiv preprint arXiv:2111.05003","author":"Lukasczyk Stephan","year":"2021","unstructured":"Stephan Lukasczyk , Florian Kroi\u00df , and Gordon Fraser . 2021. An Empirical Study of Automated Unit Test Generation for Python. arXiv preprint arXiv:2111.05003 ( 2021 ). Stephan Lukasczyk, Florian Kroi\u00df, and Gordon Fraser. 2021. An Empirical Study of Automated Unit Test Generation for Python. arXiv preprint arXiv:2111.05003 (2021)."},{"volume-title":"Programming python. \" O'Reilly Media","author":"Lutz Mark","unstructured":"Mark Lutz . 2001. Programming python. \" O'Reilly Media , Inc .\". Mark Lutz. 2001. Programming python. \" O'Reilly Media, Inc.\".","key":"e_1_3_2_1_9_1"},{"volume-title":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. 815--816.","author":"Pacheco Carlos","unstructured":"Carlos Pacheco and Michael D Ernst . 2007. Randoop: feedback-directed random testing for Java . In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. 815--816. Carlos Pacheco and Michael D Ernst. 2007. Randoop: feedback-directed random testing for Java. In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. 815--816.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/ICSE.2007.37"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/ICST.2015.7102604"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/TSE.2017.2663435"},{"volume-title":"IEC 61131-3: Programming industrial automation systems","author":"Tiegelkamp Michael","unstructured":"Michael Tiegelkamp and Karl-Heinz John . 2010. IEC 61131-3: Programming industrial automation systems . Vol. 166 . Springer . Michael Tiegelkamp and Karl-Heinz John. 2010. IEC 61131-3: Programming industrial automation systems. Vol. 166. Springer.","key":"e_1_3_2_1_15_1"},{"unstructured":"Marcel Christian Werner and Klaus Schneider. [n. d.]. From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. ([n. d.]).  Marcel Christian Werner and Klaus Schneider. [n. d.]. From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. ([n. d.]).","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5516\/NET.04.2012.085"}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC '23","name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","location":"Tallinn Estonia"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577698","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:24Z","timestamp":1750183704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":16,"alternative-id":["10.1145\/3555776.3577698","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577698","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}