@misc{indiciae4e41322dd19a,
  title = {Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles},
  author = {João Pascoal Faria and Emanuel Trigo and Vinicius Honorato and Rui Abreu},
  year = {2026},
  url = {https://arxiv.org/abs/2601.12845},
  note = {Source identifier: 2601.12845}
}