SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents - Mündler, Niels; Müller, Mark Niklas; He, Jingxuan; Vechev, Martin (Advances in Neural Information Processing Systems, 2024)