@misc{indiciaebd030cc7706b,
  title = {Agentic Verification of Software Systems},
  author = {Haoxin Tu and Huan Zhao and Yahui Song and Mehtab Zafar and Ruijie Meng and Abhik Roychoudhury},
  year = {2026},
  doi = {10.1145/3808164},
  url = {https://arxiv.org/abs/2511.17330},
  note = {Source identifier: 2511.17330}
}