DOI,IST REx ID,Research Group,Title of publication
10.1109/ICSE55347.2025.00092,20024,ToHe,Cooperative software verification via dynamic program splitting