@misc{indiciaee2972fa64e63,
  title = {Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation},
  author = {Zhiyi Xue and Xiaohong Chen and Min Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.09762},
  note = {Source identifier: 2601.09762}
}