@misc{indiciaec75362b139ab,
  title = {U-Turn: Enhancing Incorrectness Analysis by Reversing Direction},
  author = {Flavio Ascari and Roberto Bruni and Roberta Gori and Azalea Raad},
  year = {2025},
  doi = {10.1145/3776688},
  url = {https://arxiv.org/abs/2510.09292},
  note = {Source identifier: 2510.09292}
}