TY - RPRT TI - SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs AU - Aditi AU - Hyunwoo Park AU - Sicheol Sung AU - Yo-Sub Han AU - Sang-Ki Ko PY - 2025 UR - https://arxiv.org/abs/2506.11081 ID - 2506.11081 ER -