On the Correctness of Software Merge (ASE2025) On the Correctness of Software Merge

2025年11月に韓国で開催される国際会議 The 40th IEEE/ACM International Conference on Automated Software Engineering の研究論文トラックにおいて産業技術総合研究所との共同研究の成果をまとめた論文が採択されました。（2026年1月追記：プロシーディングスが出版されました。）

https://conf.researchr.org/details/ase-2025/ase-2025-papers/210/On-the-Correctness-of-Software-Merge

A. Mori and M. Hashimoto, “On the Correctness of Software Merge,” In Proc. 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025, pp. 2338-2349, doi: 10.1109/ASE63991.2025.00193.