ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution. - Lars Gröninger; Beatriz Souza; Michael Pradel (Proc. ACM Softw. Eng., 2025)