DOI,IST REx ID,Research Group,Title of publication
10.18420/se2026_45,22622,ToHe,Off-the-Shelf cooperative software verification by splitting programs dynamically