{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:39:46Z","timestamp":1766579986702,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"This work is sponsored under the grant PRAYAS Scheme, DST, Government of India given to NITMINER Tech. Pvt. Ltd. All rights reserved between NITMINER Tech. Pvt. Ltd. and IBITF, IIT Bhilai, Government of India.","award":["Dated: 07\/04\/2022"],"award-info":[{"award-number":["Dated: 07\/04\/2022"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,20]]},"DOI":"10.1145\/3717383.3717384","type":"proceedings-article","created":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T11:44:31Z","timestamp":1745235871000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Sol-Repairer: Solidity Smart Contract Dead Code Repairer"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6169-6334","authenticated-orcid":false,"given":"Sangharatna","family":"Godboley","sequence":"first","affiliation":[{"name":"NITMiner Technologies, Department of Computer Science and Engineering, National Institute of Technology Warangal, Warangal, Telangana, 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":"NITMiner Technologies, Department of Computer Science and Engineering, National Institute of Technology Warangal, Warangal, Telangana, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,4,21]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59762-7_16"},{"key":"e_1_3_3_2_4_2","unstructured":"V. Buterin. 2014. A next-generation smart contract and decentralized application platform. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"e_1_3_3_2_5_2","unstructured":"C. Cachin and M. Vukolic. 2017. Blockchains consensus protocols in the wild. arXiv preprint (2017). arXiv:https:\/\/arXiv.org\/abs\/1707.01873"},{"key":"e_1_3_3_2_6_2","series-title":"(OSDI\u201908)","first-page":"209","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California) (OSDI\u201908). USENIX Association, USA, 209\u2013224."},{"key":"e_1_3_3_2_7_2","unstructured":"Ting Chen et\u00a0al. Year. GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts. IEEE Transactions on Emerging Topics in Computing (Year). To be published."},{"key":"e_1_3_3_2_8_2","unstructured":"T. Chen X. Li X. Luo and X. Zhang. 2020. Under-Optimized Smart Contracts Devour Your Money. (Nov 2020). arxiv:https:\/\/arXiv.org\/abs\/1703.03994v2"},{"key":"e_1_3_3_2_9_2","unstructured":"John Chilenski. 2001. An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion. (01 2001)."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"John Chilenski and Steven\u00a0P. Miller. 1994. Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9 (1994) 193\u2013200.","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_3_2_11_2","unstructured":"Richey\u00a0LA Chilenski\u00a0J. 1997. Definition for a masking form of modified condition decision coverage (MCDC). (1997)."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","unstructured":"C.\u00a0D. Clack. 2018. Smart contract templates : Legal semantics and code validation. Journal of Digital Banking 2 4 (2018) 338\u2013352.","DOI":"10.69554\/XYVT7035"},{"key":"e_1_3_3_2_13_2","unstructured":"C.\u00a0D. Clack V.\u00a0A. Bakshi and L. Braine. 2016. Smart contract templates: foundations design landscape and research directions. arXiv preprint (2016). arXiv:https:\/\/arXiv.org\/abs\/1608.00771"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","unstructured":"Avijit Das and Rajib Mall. 2013. Automatic generation of MC\/DC test data. Software Engineering 2 (01 2013). 10.2316\/Journal.213.2013.2.213-1037","DOI":"10.2316\/Journal.213.2013.2.213-1037"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886883"},{"key":"e_1_3_3_2_16_2","unstructured":"Thomas Durieux Joao\u00a0F. Ferreira Rui Abreu and Pedro Cruz. [n. d.]. SmartBugs execution results. https:\/\/github.com\/smartbugs\/smartbugs-results"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Thomas Durieux Jo\u00e3o\u00a0F. Ferreira Rui Abreu and Pedro Cruz. 2020. Empirical Review of Automated Analysis Tools on 47 587 Ethereum Smart Contracts. (Feb 2020). arxiv:https:\/\/arXiv.org\/abs\/1910.10601v2","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/INDICON.2017.8487566"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Arpita Dutta Saksham\u00a0Sahai Srivastava Sangharatna Godboley and Durga\u00a0Prasad Mohapatra. 2021. Combi-FL: Neural network and SBFL based fault localization using mutation analysis. Journal of Computer Languages 66 (2021) 101064. 10.1016\/j.cola.2021.101064","DOI":"10.1016\/j.cola.2021.101064"},{"key":"e_1_3_3_2_20_2","unstructured":"Free\u00a0Software Foundation. 2010. gcov-a Test Coverage Program in: Using the GNU Compiler Collection (GCC). (02 2010)."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.31"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"Sangharatna Godboley Arpita Dutta Durga Mohapatra and Rajib Mall. 2017. GECOJAP: A novel source-code preprocessing technique to improve code coverage. Computer Standards & Interfaces 55 (04 2017). 10.1016\/j.csi.2017.04.003","DOI":"10.1016\/j.csi.2017.04.003"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159774"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICEMIS.2016.7745368"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Tharaka Hewa Mika Ylianttila and Madhusanka Liyanage. 2021. Survey on blockchain based smart contracts: Applications opportunities and challenges. Journal of Network and Computer Applications 177 (2021) 102857.","DOI":"10.1016\/j.jnca.2020.102857"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Falk Howar Malte Isberner Maik Merten Bernhard Steffen Dirk Beyer and Corina\u00a0S. P\u0103s\u0103reanu. 2014. Rigorous Examination of Reactive Systems. Int. J. Softw. Tools Technol. Transf. 16 5 (Oct. 2014) 457\u2013464. 10.1007\/s10009-014-0337-y","DOI":"10.1007\/s10009-014-0337-y"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00118"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_28"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"e_1_3_3_2_30_2","volume-title":"ICSEng","author":"Kandl S.","year":"2014","unstructured":"S. Kandl. 2014. Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems. In ICSEng."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2013.6913231"},{"key":"e_1_3_3_2_32_2","unstructured":"Janne Kauttio. 2013. MC\/DC Based Test Selection for Dynamic Symbolic Execution."},{"key":"e_1_3_3_2_33_2","volume-title":"A Practical Tutorial on Modified Condition\/Decision Coverage","author":"Kelly\u00a0J. Hayhurst","year":"2001","unstructured":"Hayhurst Kelly\u00a0J., Veerhusen Dan\u00a0S., Chilenski John\u00a0J., and Rierson Leanna\u00a0K.2001. A Practical Tutorial on Modified Condition\/Decision Coverage. Technical Report."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","unstructured":"Daniel Kroening and Michael Tautschnig. 2014. CBMC \u2013 C Bounded Model Checker Vol.\u00a08413. 389\u2013391. 10.1007\/978-3-642-54862-8_26","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"e_1_3_3_2_35_2","unstructured":"Hoyt Lougee. 2001. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION."},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","unstructured":"G.\u00a0C. Morrison C.\u00a0P. Inggs and W.\u00a0C. Visser. 2012. Automated Coverage Calculation and Test Case Generation(SAICSIT \u201912). Association for Computing Machinery New York NY USA 84\u201393. 10.1145\/2389836.2389847","DOI":"10.1145\/2389836.2389847"},{"key":"e_1_3_3_2_37_2","unstructured":"S. Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5016-6"},{"key":"e_1_3_3_2_39_2","unstructured":"M. Ortner and S. Eskandari. [n. d.]. Smart Contract Sanctuary. https:\/\/github.com\/tintinweb\/smart-contract-sanctuary"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","unstructured":"Liang Shi Baowen Xu and Lin Chen. 2005. Measuring C program coverage based on binary decision diagrams. Journal of Electronics (china) 22 (01 2005) 90\u201393. 10.1007\/BF02687957","DOI":"10.1007\/BF02687957"},{"key":"e_1_3_3_2_41_2","unstructured":"Sol-Repairer. [n. d.]. Sol-Repairer Videocast and files. https:\/\/figshare.com\/s\/2f7620b21c4c1172bbcd?file=38814882"},{"key":"e_1_3_3_2_42_2","unstructured":"Solc-0.8. [n. d.]. Solc-0.8: SMTChecker and Formal Verification. https:\/\/docs.soliditylang.org\/en\/latest\/smtchecker.html"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","unstructured":"Ioannis Stamelos. 2003. Detecting Associative Shift Faults in Predicate Testing. 66 1 (April 2003) 57\u201363. 10.1016\/S0164-1212(02)00063-8","DOI":"10.1016\/S0164-1212(02)00063-8"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","unstructured":"Xiao\u00a0Liang Yu Omar Al-Bataineh David Lo and Abhik Roychoudhury. 2020. Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. 1 1 (May 2020) 32. 10.1145\/3388429","DOI":"10.1145\/3388429"},{"key":"e_1_3_3_2_45_2","unstructured":"Pengcheng Zhang Feng Xiao and Xiapu Luo. 2019. SolidityCheck: Quickly detecting smart contract problems through regular expressions. arXiv preprint (2019). arXiv:https:\/\/arXiv.org\/abs\/1911.09425"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","unstructured":"W. Zou et\u00a0al. 2021. Smart Contract Development: Challenges and Opportunities. IEEE Transactions on Software Engineering 47 10 (Oct 2021) 2084\u20132106. 10.1109\/TSE.2019.2942301","DOI":"10.1109\/TSE.2019.2942301"}],"event":{"name":"ISEC 2025: 18th Innovations in Software Engineering Conference","acronym":"ISEC 2025","location":"Kurukshetra India"},"container-title":["Proceedings of the 18th Innovations in Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717383.3717384","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3717383.3717384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:55Z","timestamp":1750295935000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717383.3717384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,20]]},"references-count":45,"alternative-id":["10.1145\/3717383.3717384","10.1145\/3717383"],"URL":"https:\/\/doi.org\/10.1145\/3717383.3717384","relation":{},"subject":[],"published":{"date-parts":[[2025,2,20]]},"assertion":[{"value":"2025-04-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}