TY  - RPRT
TI  - U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
AU  - Flavio Ascari
AU  - Roberto Bruni
AU  - Roberta Gori
AU  - Azalea Raad
PY  - 2025
DO  - 10.1145/3776688
UR  - https://arxiv.org/abs/2510.09292
ID  - 2510.09292
ER  -