4 papers
ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
Seongmin Kim, Hyunjoon Cheon, Su-Hyeon Kim +2
Existing Programming-By-Example (PBE) systems often rely on simplified benchmarks that fail to capture the high structural complexity of real-world regexes, such as deeper nesting…
TRAPDOC: Deceiving LLM Users by Injecting Imperceptible Phantom Tokens into Documents
Hyundong Jin, Sicheol Sung, Shinwoo Park +2
The reasoning, writing, text-editing, and retrieval capabilities of proprietary large language models (LLMs) have advanced rapidly, providing users with an ever-expanding set of fu…
SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs
Aditi, Hyunwoo Park, Sicheol Sung +2
Grammar-based test case generation has proven effective for competitive programming problems, but generating valid and general grammars from natural language specifications remains…
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Sicheol Sung, Aditi, Dogyu kim +2
Automated Test Case Generation (ATCG) is crucial for evaluating software reliability, particularly in competitive programming where robust algorithm assessments depend on diverse a…