{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:52Z","timestamp":1750306492614,"version":"3.41.0"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2015,11,11]],"date-time":"2015-11-11T00:00:00Z","timestamp":1447200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2015,11,11]]},"abstract":"<jats:p>This paper presents a symbolic-execution-based approach and its implementation by POM\/JLEC for checking the logical equivalence between two programs in the system replacement context. The primary contributions lie in the development of POM\/JLEC, a fully automatic equivalence checker for Java enterprise systems. POM\/JLEC consists of three main components: Domain Specific Pre-Processor for extracting the target code from the original system and adjusting it to a suitable scope for verification, Symbolic Execution for generating symbolic summaries, and solver-based EQuality comparison for comparing the symbolic summaries together and returning counter examples in the case of non-equivalence. We have evaluated POM\/JLEC with a large-scale benchmark created from the function layer code of an industrial enterprise system. The evaluation result with 54% test cases passed shows the feasibility for deploying its mature version into software development industry.<\/jats:p>","DOI":"10.1145\/2830719.2830731","type":"journal-article","created":{"date-parts":[[2015,11,13]],"date-time":"2015-11-13T14:19:41Z","timestamp":1447424381000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["POM\/JLEC"],"prefix":"10.1145","volume":"40","author":[{"given":"Phan Thi","family":"Thanh Huyen","sequence":"first","affiliation":[]},{"given":"Daisuke","family":"Shimbara","sequence":"additional","affiliation":[{"name":"Hitachi, Ltd., Research &amp; Development Group, Center for Technology Innovation - Systems Engineering, Kanagawa-ken, Japan"}]},{"given":"Shinya","family":"Sakaida","sequence":"additional","affiliation":[{"name":"Hitachi, Ltd., Research &amp; Development Group, Center for Technology Innovation - Systems Engineering, Kanagawa-ken, Japan"}]},{"given":"Hideto","family":"Ogawa","sequence":"additional","affiliation":[{"name":"Hitachi, Ltd., Research &amp; Development Group, Center for Technology Innovation - Systems Engineering, Kanagawa-ken, Japan"}]}],"member":"320","published-online":{"date-parts":[[2015,11,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_7"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486925"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.63"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.40"},{"volume-title":"Proc. of FOSE","year":"2014","author":"Ichii M.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348256"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2830719.2830731","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2830719.2830731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2830719.2830731"}},"subtitle":["An Automatic Program Equivalence Checker for Java Enterprise Systems"],"short-title":[],"issued":{"date-parts":[[2015,11,11]]},"references-count":9,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,11,11]]}},"alternative-id":["10.1145\/2830719.2830731"],"URL":"https:\/\/doi.org\/10.1145\/2830719.2830731","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2015,11,11]]},"assertion":[{"value":"2015-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}