@misc{indiciae08fda2d3fbf1, title = {ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution}, author = {Lars Gröninger and Beatriz Souza and Michael Pradel}, year = {2025}, url = {https://arxiv.org/abs/2410.16092}, note = {Source identifier: 2410.16092} }