{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:02:36Z","timestamp":1755993756204,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,22]],"date-time":"2024-02-22T00:00:00Z","timestamp":1708560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"IIT BHILAI INNOVATION AND TECHNOLOGY FOUNDATION (IBITF) Department of Science and Technology (DST) Government of India"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,22]]},"DOI":"10.1145\/3641399.3641427","type":"proceedings-article","created":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T18:15:26Z","timestamp":1708452926000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6169-6334","authenticated-orcid":false,"given":"Sangharatna","family":"Godboley","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, NITMiner Technologies, National Institute of Technology, Warangal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2764-2818","authenticated-orcid":false,"given":"P. Radha","family":"Krishna","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, NITMiner Technologies, National Institute of Technology, Warangal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7699-1783","authenticated-orcid":false,"given":"Ritesh Kumar","family":"Jha","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, NITMiner Technologies, National Institute of Technology, Warangal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IEC 61131-3. 2003. Programmable Controllers \u2013 Programming Languages (2.0 ed.). International Electrotechnical Commission."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/836258"},{"key":"e_1_3_2_1_3_1","article-title":"Development and application of a white box approach to integration testing","volume":"4","author":"Allen\u00a0Haley Stuart\u00a0Zweben","year":"1984","unstructured":"Stuart\u00a0Zweben Allen\u00a0Haley. 1984. Development and application of a white box approach to integration testing. Journal of Systems and Software Volume 4, Issue 4 (November 1984), 309\u2013315.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351741"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.anucene.2016.09.024"},{"key":"e_1_3_2_1_6_1","volume-title":"A review of software testing. Information and Software Technology","author":"Coward David","year":"1988","unstructured":"P.\u00a0David Coward. 1988. A review of software testing. Information and Software Technology Volume 30, Issue 3 (April 1988), 189\u2013198."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 33rd Annual ACM Symposium on Applied Computing, ACM","author":"Dimitri\u00a0Bohlender Stefan\u00a0Kowalewski","year":"2018","unstructured":"Stefan\u00a0Kowalewski Dimitri\u00a0Bohlender, Daniel\u00a0Hamm. 2018. Cycle-bounded model checking of PLC software via dynamic large-block encoding. SAC \u201918: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, ACM, 1891\u20131898."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464841"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering -","volume":"353","author":"Godboley S.","unstructured":"S. Godboley and P. Krishna. 2023. SmartMuVerf: A Mutant Verifier for Smart Contracts. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE. SciTePress, 346\u2013353."},{"key":"e_1_3_2_1_10_1","volume-title":"Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique. In Lean and Agile Software Development. LASD","author":"Godboley S.","year":"2022","unstructured":"S. Godboley and D.P. Mohapatra. 2022. Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique. In Lean and Agile Software Development. LASD 2022. Springer, 169\u2013176."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2405"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578527.3578546"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3244991"},{"key":"e_1_3_2_1_14_1","volume-title":"Cyber Incident Blamed for Nuclear Power Plant Shutdown. Washington Post (June 5","author":"Krebs B.","year":"2008","unstructured":"B. Krebs. 2008. Cyber Incident Blamed for Nuclear Power Plant Shutdown. Washington Post (June 5 2008)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2017.34"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103116"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A.M.\u00a0Moreno N.\u00a0Juristo. 2003. Lecture notes on empirical software engineering. World Scientific.","DOI":"10.1142\/9789812795588"},{"key":"e_1_3_2_1_19_1","volume-title":"Non-specification-based approaches to logic testing for software. Information and Software Technology","author":"Noritaka\u00a0Kobayashi Tohru\u00a0Kikuno","year":"2002","unstructured":"Tohru\u00a0Kikuno Noritaka\u00a0Kobayashi, Tatsuhiro\u00a0Tsuchiya. 2002. Non-specification-based approaches to logic testing for software. Information and Software Technology Volume 44, Issue 2 (February 2002), 113\u2013121."},{"key":"e_1_3_2_1_20_1","volume-title":"Test automatique de programmes Lustre\/SCADE (Automatic testing of Lustre\/SCADE programs). Universite Joseph-Fourier \u2013 Grenoble I","author":"Papailiopoulou V.","year":"2010","unstructured":"V. Papailiopoulou. 2010. Test automatique de programmes Lustre\/SCADE (Automatic testing of Lustre\/SCADE programs). Universite Joseph-Fourier \u2013 Grenoble I (2010), 38\u201345. http:\/\/tel.archives-ouvertes.fr\/tel-00454409"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Virginia Papailiopoulou Besnik Seljimi and Ioannis Parissis. 2011. Automatic Testing of LUSTRE\/SCADE Programs.","DOI":"10.1201\/b11321-8"},{"key":"e_1_3_2_1_22_1","volume-title":"Detailed Analysis Report for Stuxnet. IBM Korea","author":"Park HK","year":"2010","unstructured":"HK Park. 2010. Detailed Analysis Report for Stuxnet. IBM Korea (2010)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2008.4736071"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993548"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_30"},{"key":"e_1_3_2_1_26_1","unstructured":"J.\u00a0R. Thomson. 2012. Nuclear Power Plant Cybersecurity Incidents. (2012). https:\/\/www.safetyinengineering.com\/FileUploads\/Nuclearcybersecurityincidents_1349551766_2.pdf"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.18429\/JACoW-ICALEPCS2021-MOPV042"}],"event":{"name":"ISEC 2024: 17th Innovations in Software Engineering Conference","acronym":"ISEC 2024","location":"Bangalore India"},"container-title":["Proceedings of the 17th Innovations in Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641399.3641427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641399.3641427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:11:27Z","timestamp":1755915087000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641399.3641427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,22]]},"references-count":27,"alternative-id":["10.1145\/3641399.3641427","10.1145\/3641399"],"URL":"https:\/\/doi.org\/10.1145\/3641399.3641427","relation":{},"subject":[],"published":{"date-parts":[[2024,2,22]]},"assertion":[{"value":"2024-02-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}