{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T19:33:32Z","timestamp":1778787212641,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728548","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:08:09Z","timestamp":1753729689000},"page":"227-237","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Testing of COBOL to Java Transformation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4986-0688","authenticated-orcid":false,"given":"Sandeep","family":"Hans","sequence":"first","affiliation":[{"name":"IBM Research, Gurugram, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8359-2798","authenticated-orcid":false,"given":"Atul","family":"Kumar","sequence":"additional","affiliation":[{"name":"IBM Research, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4884-3922","authenticated-orcid":false,"given":"Toshiaki","family":"Yasue","sequence":"additional","affiliation":[{"name":"IBM Research, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1695-6652","authenticated-orcid":false,"given":"Kouichi","family":"Ono","sequence":"additional","affiliation":[{"name":"IBM Research, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0995-6573","authenticated-orcid":false,"given":"Saravanan","family":"Krishnan","sequence":"additional","affiliation":[{"name":"IBM Research, Bengaluru, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8907-6874","authenticated-orcid":false,"given":"Devika","family":"Sondhi","sequence":"additional","affiliation":[{"name":"IBM Research, AI, Bengaluru, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5052-9872","authenticated-orcid":false,"given":"Fumiko","family":"Satoh","sequence":"additional","affiliation":[{"name":"IBM Research, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1085-9687","authenticated-orcid":false,"given":"Gerald","family":"Mitchell","sequence":"additional","affiliation":[{"name":"IBM, Durham, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1104-7631","authenticated-orcid":false,"given":"Sachin","family":"Kumar","sequence":"additional","affiliation":[{"name":"IBM Software, Bengaluru, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1583-5479","authenticated-orcid":false,"given":"Diptikalyan","family":"Saha","sequence":"additional","affiliation":[{"name":"IBM Research, Bengaluru, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Cobol check. https:\/\/openmainframeproject.org\/projects\/cobol-check\/. [Accessed 24-06-2024]."},{"key":"e_1_3_2_1_2_1","unstructured":"CVC5 Solver. https:\/\/cvc5.github.io\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Easymock. https:\/\/github.com\/easymock\/easymock\/. [Accessed 24-06-2024]."},{"key":"e_1_3_2_1_4_1","unstructured":"General insurance application (genapp) for ibm cics ts. https:\/\/github.com\/cicsdev\/cics-genapp. [Accessed 27-06-2024]."},{"key":"e_1_3_2_1_5_1","unstructured":"Ibm watsonx code assistant for z documentation. https:\/\/www.ibm.com\/docs\/en\/watsonx-code-assistant-4z. [Accessed 27-06-2024]."},{"key":"e_1_3_2_1_6_1","unstructured":"Jmockit. https:\/\/jmockit.github.io\/. [Accessed 24-06-2024]."},{"key":"e_1_3_2_1_7_1","unstructured":"Tasty mocking framework for unit tests in java. https:\/\/site.mockito.org\/. [Accessed 24-06-2024]."},{"key":"e_1_3_2_1_8_1","unstructured":"Test4z: Unit testing for mainframe with confidence. https:\/\/mainframe.broadcom.com\/test4z. [Accessed 24-06-2024]."},{"key":"e_1_3_2_1_9_1","unstructured":"Wiremock. https:\/\/wiremock.org\/. [Accessed 24-06-2024]."},{"key":"e_1_3_2_1_10_1","unstructured":"Yices SMT Solver. https:\/\/yices.csl.sri.com\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Z3 Theorem Prover. https:\/\/github.com\/Z3Prover\/z3."},{"key":"e_1_3_2_1_12_1","volume-title":"https:\/\/www.youtube.com\/watch?v=aqF_agNP-lU","author":"Demo Z Validation","year":"2024","unstructured":"WCA4Z Validation Demo. https:\/\/www.youtube.com\/watch?v=aqF_agNP-lU, 2024. [Online; accessed 10-10-2024]."},{"key":"e_1_3_2_1_13_1","volume-title":"https:\/\/github.com\/sandeephans\/validation-c2j","author":"Inputs Z Validation","year":"2024","unstructured":"WCA4Z Validation Inputs. https:\/\/github.com\/sandeephans\/validation-c2j, 2024. [Online; accessed 10-10-2024]."},{"key":"e_1_3_2_1_14_1","first-page":"468","volume-title":"2022 IEEE International Conference on Software Maintenance and Evolution (ICSME)","author":"Ali Mir Sameed","unstructured":"Mir Sameed Ali, Nikhil Manjunath, and Sridhar Chimalakonda. Cobrex: A tool for extracting business rules from cobol. In 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME), pages 464\u2013468. IEEE, 2022."},{"key":"e_1_3_2_1_15_1","volume-title":"X-COBOL: A dataset of COBOL repositories. CoRR, abs\/2306.04892","author":"Ali Mir Sameed","year":"2023","unstructured":"Mir Sameed Ali, Nikhil Manjunath, and Sridhar Chimalakonda. X-COBOL: A dataset of COBOL repositories. CoRR, abs\/2306.04892, 2023."},{"key":"e_1_3_2_1_16_1","volume-title":"Camil Demetrescu, and Irene Finocchi. A survey of symbolic execution techniques. ACM Comput. Surv., 51(3)","author":"Baldoni Roberto","year":"2018","unstructured":"Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, and Irene Finocchi. A survey of symbolic execution techniques. ACM Comput. Surv., 51(3), 2018."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_18_1","first-page":"224","volume-title":"Proceedings of the 8th USENIX Conf. on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar Cristian","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conf. on Operating Systems Design and Implementation (OSDI'08), pages 209\u2013224. USENIX Association, 2008."},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved October 7th","author":"Cassel David","year":"2024","unstructured":"David Cassel. Cobol is everywhere. who will maintain it? https:\/\/thenewstack.io\/cobol-everywhere-will-maintain\/, 2017. Retrieved October 7th, 2024."},{"key":"e_1_3_2_1_20_1","volume-title":"Checking the execution of SQL statements by using SQL-CODE and SQLSTATE. https:\/\/www.ibm.com\/docs\/en\/db2-for-zos\/13?topic=cess-checking-execution-sql-statements-by-using-sqlcode-sqlstate","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. Checking the execution of SQL statements by using SQL-CODE and SQLSTATE. https:\/\/www.ibm.com\/docs\/en\/db2-for-zos\/13?topic=cess-checking-execution-sql-statements-by-using-sqlcode-sqlstate, 2024."},{"key":"e_1_3_2_1_21_1","volume-title":"Cobol data types. https:\/\/www.ibm.com\/docs\/en\/cobol-zos\/6.4?topic=clause-symbols-used-in-picture","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. Cobol data types. https:\/\/www.ibm.com\/docs\/en\/cobol-zos\/6.4?topic=clause-symbols-used-in-picture, 2024."},{"key":"e_1_3_2_1_22_1","volume-title":"Cobol data types. https:\/\/www.ibm.com\/docs\/en\/cobol-zos\/6.4?topic=entry-redefines-clause","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. Cobol data types. https:\/\/www.ibm.com\/docs\/en\/cobol-zos\/6.4?topic=entry-redefines-clause, 2024."},{"key":"e_1_3_2_1_23_1","volume-title":"The get unique (gu) call. https:\/\/www.ibm.com\/docs\/en\/ims\/15.3.0?topic=management-gughu-call","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. The get unique (gu) call. https:\/\/www.ibm.com\/docs\/en\/ims\/15.3.0?topic=management-gughu-call, 2024."},{"key":"e_1_3_2_1_24_1","volume-title":"Ibm cics transaction server for z\/os. https:\/\/www.ibm.com\/products\/cics-transaction-server","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. Ibm cics transaction server for z\/os. https:\/\/www.ibm.com\/products\/cics-transaction-server, 2024."},{"key":"e_1_3_2_1_25_1","volume-title":"IBM information management system. https:\/\/www.ibm.com\/products\/ims","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. IBM information management system. https:\/\/www.ibm.com\/products\/ims, 2024."},{"key":"e_1_3_2_1_26_1","volume-title":"https:\/\/www.ibm.com\/docs\/en\/db2-for-zos\/13?topic=codes-success-warning-sql","author":"IBM Corporation","year":"2024","unstructured":"IBM Corporation. Success (\u03b8) and warning (+) SQL codes. https:\/\/www.ibm.com\/docs\/en\/db2-for-zos\/13?topic=codes-success-warning-sql, 2024."},{"key":"e_1_3_2_1_27_1","volume-title":"Anh Tuan Nguyen, Hieu Trung Tran, Phong X Nguyen, and Nghi DQ Bui. Xmainframe: A large language model for mainframe modernization. arXiv preprint arXiv:2408.04660","author":"Dau Anh TV","year":"2024","unstructured":"Anh TV Dau, Hieu Trung Dao, Anh Tuan Nguyen, Hieu Trung Tran, Phong X Nguyen, and Nghi DQ Bui. Xmainframe: A large language model for mainframe modernization. arXiv preprint arXiv:2408.04660, 2024."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_29_1","volume-title":"Retrieved October 7th","author":"Delaney John","year":"2024","unstructured":"John Delaney. Cobol programmers are back in demand. seriously. https:\/\/cacm.acm.org\/news\/244370-cobol-programmers-are-back-in-demand-seriously\/fulltext, 2020. Retrieved October 7th, 2024."},{"key":"e_1_3_2_1_30_1","volume-title":"The llama 3 herd of models. arXiv preprint arXiv:2407.21783","author":"Dubey Abhimanyu","year":"2024","unstructured":"Abhimanyu Dubey, Abhinav Jauhri, Abhinav Pandey, Abhishek Kadian, Ahmad Al-Dahle, Aiesha Letman, Akhil Mathur, Alan Schelten, Amy Yang, Angela Fan, et al. The llama 3 herd of models. arXiv preprint arXiv:2407.21783, 2024."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.11309\/jssst.32.2_114"},{"key":"e_1_3_2_1_32_1","volume-title":"Demo. IEEE","author":"Kumar Atul","year":"2024","unstructured":"Atul Kumar, Diptikalya Saha, Toshikai Yasue, Kouichi Ono, Saravanan Krishnan, Sandeep Hans, Fumiko Satoh, Gerald Mitchell, and Sachin Kumar. Automated validation of cobol to java transformation. In Accepted at 2024 39th IEEE\/ACM International Conference on Automated Software Engineering (ASE), Demo. IEEE, 2024."},{"key":"e_1_3_2_1_33_1","volume-title":"Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu, Yuxiang Wei, et al. Starcoder 2 and the stack v2: The next generation. arXiv preprint arXiv:2402.19173","author":"Lozhkov Anton","year":"2024","unstructured":"Anton Lozhkov, Raymond Li, Loubna Ben Allal, Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu, Yuxiang Wei, et al. Starcoder 2 and the stack v2: The next generation. arXiv preprint arXiv:2402.19173, 2024."},{"key":"e_1_3_2_1_34_1","first-page":"82","volume-title":"Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2012) Workshops","author":"Sasaki Yusuke","unstructured":"Yusuke Sasaki, Yoshiharu Maeda, Kenichi Kobayashi, and Akihiko Matsuo. Applying test data generation using SMT solver to COBOL. In Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2012) Workshops, page 82. IEEE Computer Society, November 2012. 10.1109\/ISSREW.2012.18"},{"key":"e_1_3_2_1_35_1","first-page":"236","volume-title":"Proceedings of the eighteenth international symposium on Software testing and analysis","author":"Saxena Prateek","year":"2009","unstructured":"Prateek Saxena, Pongsin Poosankam, Stephen McCamant, and Dawn Song. Loop-extended symbolic execution on binary programs. In Proceedings of the eighteenth international symposium on Software testing and analysis, pages 225\u2013236, 2009."},{"issue":"2","key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0167-6423(02)00061-8","article-title":"Restructuring of cobol\/cics legacy systems","volume":"45","author":"Sellink Alex","year":"2002","unstructured":"Alex Sellink, Harry Sneed, and Chris Verhoef. Restructuring of cobol\/cics legacy systems. Science of Computer Programming, 45(2):193\u2013243, 2002. Special Issue on Software Maintenance and Reengineering (CSMR 99).","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_38_1","first-page":"7","volume-title":"2010 IEEE International Conference on Software Maintenance","author":"Sneed Harry M.","unstructured":"Harry M. Sneed. Migrating from cobol to java. In 2010 IEEE International Conference on Software Maintenance, pages 1\u20137. IEEE, 2010."},{"key":"e_1_3_2_1_39_1","first-page":"240","volume-title":"2013 17th European Conference on Software Maintenance and Reengineering (CSMR)","author":"Harry","unstructured":"Harry M. Sneed and Katalin Erdoes. Migrating as400-cobol to java: A report from the field. In 2013 17th European Conference on Software Maintenance and Reengineering (CSMR), pages 231\u2013240. IEEE, 2013."},{"key":"e_1_3_2_1_40_1","first-page":"83","volume-title":"Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17\u201320, 2017, Proceedings 9","author":"Sneed Harry M","unstructured":"Harry M Sneed and Chris Verhoef. Validating converted java code via symbolic execution. In Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17\u201320, 2017, Proceedings 9, pages 70\u201383. Springer, 2017."},{"key":"e_1_3_2_1_41_1","volume-title":"Retrieved","author":"Taulli Tom","year":"2022","unstructured":"Tom Taulli. Cobol language: Call it a comeback? https:\/\/www.forbes.com\/sites\/tomtaulli\/2020\/07\/13\/cobol-language-call-it-a-comeback\/?sh=7ed22be77d0f, 2020. Retrieved January 13, 2022."},{"issue":"1","key":"e_1_3_2_1_42_1","first-page":"257","article-title":"Automatic validation of code-improving transformations on low-level program representations. Science of Computer Programming","volume":"52","author":"van Engelen Robert","year":"2004","unstructured":"Robert van Engelen, David Whalley, and Xin Yuan. Automatic validation of code-improving transformations on low-level program representations. Science of Computer Programming, Special Issue on Program Transformation, 52(1):257\u2013280, 2004.","journal-title":"Special Issue on Program Transformation"},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. ACM Program. Lang., 8(PLDI)","author":"Yi Qiuping","year":"2024","unstructured":"Qiuping Yi, Yifan Yu, and Guowei Yang. Compatible branch coverage driven symbolic execution for efficient bug finding. Proc. ACM Program. Lang., 8(PLDI), June 2024."},{"key":"e_1_3_2_1_44_1","first-page":"250","volume-title":"Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004","author":"Zhang Jian","year":"2004","unstructured":"Jian Zhang, Chen Xi, and Xiaoliang Wang. Path-oriented test data generation using symbolic execution and constraint solving techniques. In Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004), pages 242\u2013250, Beijing, China, September 2004. 10.1109\/SEFM.2004.30"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the Tenth International Conference on Learning Representations (ICLR 2022","author":"Zhang Jie","year":"2022","unstructured":"Jie Zhang and Mark Harman. Leveraging automated unit tests for unsupervised code translation. In Proceedings of the Tenth International Conference on Learning Representations (ICLR 2022), 04 2022. 10.48550\/arXiv.2110.06773"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:15:50Z","timestamp":1753730150000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":45,"alternative-id":["10.1145\/3696630.3728548","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728548","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}