@misc{indiciae27baf37dde6d,
  title = {Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning},
  author = {Yiwei Fang and Yichen Liu and Ze Jin and Haoqiang Wang and Qixu Liu and Luyi Xing},
  year = {2026},
  url = {https://arxiv.org/abs/2609.10537},
  note = {Source identifier: 2609.10537}
}