@misc{indiciae62e83178589e,
  title = {DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model},
  author = {Hao Yu and Tianyu Chen and Jiaming Huang and Zongyang Li and Dezhi Ran and Xinyu Wang and Ying Li and Assaf Marron and David Harel and Yuan Xie and Tao Xie},
  year = {2025},
  url = {https://arxiv.org/abs/2501.02901},
  note = {Source identifier: 2501.02901}
}