@misc{indiciae7f87cd9eaf4f,
  title = {WiseSpec: Requirements-Driven Agents for Code Generation},
  author = {Zhao Tian},
  year = {2026},
  url = {https://arxiv.org/abs/2609.00568},
  note = {Source identifier: 2609.00568}
}