@misc{indiciae171ccbd5eb80,
  title = {LLM-based Code Auditing by Inferring and Evaluating Developer Assumptions},
  author = {Junming Liu and Marcel Böhme},
  year = {2026},
  url = {https://arxiv.org/abs/2610.15729},
  note = {Source identifier: 2610.15729}
}