APA (7th ed.) Citation

Xue, Z., Chen, X., & Zhang, M. (2026). Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation.

Chicago Style (17th ed.) Citation

Xue, Zhiyi, Xiaohong Chen, and Min Zhang. Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation. 2026.

MLA (9th ed.) Citation

Xue, Zhiyi, et al. Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation. 2026.