@misc{indiciae9ea6ea518bd8,
  title = {LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software},
  author = {Tasmim Rashid and Muhammad Zubair Malik},
  year = {2026},
  url = {https://arxiv.org/abs/2607.18555},
  note = {Source identifier: 2607.18555}
}