{"id":"https://openalex.org/W4403536897","doi":"https://doi.org/10.1145/3691620.3695365","title":"Automated Validation of COBOL to Java Transformation","display_name":"Automated Validation of COBOL to Java Transformation","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536897","doi":"https://doi.org/10.1145/3691620.3695365"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695365","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695365","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3691620.3695365","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101801074","display_name":"Atul Kumar","orcid":"https://orcid.org/0000-0002-8359-2798"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Atul Kumar","raw_affiliation_strings":["IBM Research - India, Bangalore, India"],"raw_orcid":"https://orcid.org/0000-0002-8359-2798","affiliations":[{"raw_affiliation_string":"IBM Research - India, Bangalore, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010368277","display_name":"Diptikalyan Saha","orcid":"https://orcid.org/0000-0002-1583-5479"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Diptikalyan Saha","raw_affiliation_strings":["IBM Research - India, Bangalore, India"],"raw_orcid":"https://orcid.org/0000-0002-1583-5479","affiliations":[{"raw_affiliation_string":"IBM Research - India, Bangalore, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023880412","display_name":"Toshiaki Yasue","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145865","display_name":"IBM Research - Tokyo","ror":"https://ror.org/04915qk43","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210145865"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toshiaki Yasue","raw_affiliation_strings":["IBM Research - Tokyo, Toyko, Japan"],"raw_orcid":"https://orcid.org/0009-0006-4884-3922","affiliations":[{"raw_affiliation_string":"IBM Research - Tokyo, Toyko, Japan","institution_ids":["https://openalex.org/I4210145865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052384879","display_name":"Kohichi Ono","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145865","display_name":"IBM Research - Tokyo","ror":"https://ror.org/04915qk43","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210145865"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kohichi Ono","raw_affiliation_strings":["IBM Research - Tokyo, Toyko, Japan"],"raw_orcid":"https://orcid.org/0009-0008-1695-6652","affiliations":[{"raw_affiliation_string":"IBM Research - Tokyo, Toyko, Japan","institution_ids":["https://openalex.org/I4210145865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051277688","display_name":"Saravanan Krishnan","orcid":"https://orcid.org/0009-0000-6281-4470"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Saravanan Krishnan","raw_affiliation_strings":["IBM Research - India, Bangalore, India"],"raw_orcid":"https://orcid.org/0009-0000-6281-4470","affiliations":[{"raw_affiliation_string":"IBM Research - India, Bangalore, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039554087","display_name":"Sandeep Hans","orcid":"https://orcid.org/0000-0003-4986-0688"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sandeep Hans","raw_affiliation_strings":["IBM Research - India, Gurgaon, India"],"raw_orcid":"https://orcid.org/0000-0003-4986-0688","affiliations":[{"raw_affiliation_string":"IBM Research - India, Gurgaon, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011124818","display_name":"Fumiko Satoh","orcid":"https://orcid.org/0000-0002-5052-9872"},"institutions":[{"id":"https://openalex.org/I4210145865","display_name":"IBM Research - Tokyo","ror":"https://ror.org/04915qk43","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210145865"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fumiko Satoh","raw_affiliation_strings":["IBM Research - Tokyo, Toyko, Japan"],"raw_orcid":"https://orcid.org/0000-0002-5052-9872","affiliations":[{"raw_affiliation_string":"IBM Research - Tokyo, Toyko, Japan","institution_ids":["https://openalex.org/I4210145865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085841746","display_name":"Gerald Mitchell","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gerald Mitchell","raw_affiliation_strings":["IBM Software, Armonk, New York, USA"],"raw_orcid":"https://orcid.org/0009-0003-1085-9687","affiliations":[{"raw_affiliation_string":"IBM Software, Armonk, New York, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":null,"display_name":"Sachin Kumar","orcid":"https://orcid.org/0009-0006-1104-7631"},"institutions":[{"id":"https://openalex.org/I4210129961","display_name":"IBM (India)","ror":"https://ror.org/034ahpr11","country_code":"IN","type":"company","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210129961"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sachin Kumar","raw_affiliation_strings":["IBM Software, Bangalore, India"],"raw_orcid":"https://orcid.org/0009-0006-1104-7631","affiliations":[{"raw_affiliation_string":"IBM Software, Bangalore, India","institution_ids":["https://openalex.org/I4210129961"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2415","last_page":"2418"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cobol","display_name":"COBOL","score":0.9222609996795654},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8061965107917786},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7109832763671875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7107921838760376},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5958356857299805},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47809264063835144}],"concepts":[{"id":"https://openalex.org/C128595289","wikidata":"https://www.wikidata.org/wiki/Q131140","display_name":"COBOL","level":2,"score":0.9222609996795654},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8061965107917786},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7109832763671875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7107921838760376},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5958356857299805},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47809264063835144},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695365","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695365","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3691620.3695365","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695365","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1987756902","https://openalex.org/W2044436475","https://openalex.org/W3207298656","https://openalex.org/W6727732156"],"related_works":["https://openalex.org/W1840931092","https://openalex.org/W2991765713","https://openalex.org/W4251738056","https://openalex.org/W568969596","https://openalex.org/W2336409323","https://openalex.org/W825067173","https://openalex.org/W1980886828","https://openalex.org/W277324147","https://openalex.org/W1996991246","https://openalex.org/W2091999763"],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2],"Large":[3],"Language":[4],"Model":[5],"(LLM)":[6],"based":[7],"Generative":[8],"AI":[9,89],"techniques":[10],"have":[11,94],"made":[12],"it":[13],"feasible":[14],"to":[15,25,48,61,87,91,100,131],"translate":[16,50],"enterpriselevel":[17],"code":[18,44,78],"from":[19],"legacy":[20],"languages":[21,27],"such":[22,28],"as":[23,29,126],"COBOL":[24,67,108,127],"modern":[26],"Java":[30],"or":[31],"Python.":[32],"While":[33],"the":[34,42,51,64,77,88,106,113],"results":[35,72],"of":[36,66],"LLM-based":[37],"automatic":[38],"transformation":[39],"are":[40,81],"encouraging,":[41],"resulting":[43],"cannot":[45],"be":[46],"trusted":[47],"correctly":[49],"original":[52,136],"code.":[53],"We":[54,93,117],"propose":[55],"a":[56,59,96],"framework":[57],"and":[58,68,84,128,137],"tool":[60],"help":[62,75],"validate":[63],"equivalence":[65,134],"translated":[69,138],"Java.":[70],"The":[71],"can":[73],"also":[74,111],"repair":[76],"if":[79],"there":[80],"some":[82],"issues":[83],"provide":[85],"feedback":[86],"model":[90],"improve.":[92],"developed":[95],"symbolic-execution-based":[97],"test":[98,121],"generation":[99],"automatically":[101],"generate":[102,118],"unit":[103],"tests":[104],"for":[105],"source":[107],"programs":[109],"which":[110],"mocks":[112],"external":[114],"resource":[115],"calls.":[116],"equivalent":[119,124],"JUnit":[120],"cases":[122],"with":[123],"mocking":[125],"run":[129],"them":[130],"check":[132],"semantic":[133],"between":[135],"programs.":[139],"Demo":[140],"Video:":[141],"https://youtu.be/aqF_agNP-lU":[142]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}