4 papers
RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
Hyundong Jin, Joonghyuk Hahn, Yo-Sub Han
Large language models (LLMs) show strong performance across natural language processing (NLP), mathematical reasoning, and programming, and recent large reasoning models (LRMs) fur…
Repairing Regex Vulnerabilities via Localization-Guided Instructions
Sicheol Sung, Joonghyuk Hahn, Yo-Sub Han
Regular expressions (regexes) are foundational to modern computing for critical tasks like input validation and data parsing, yet their ubiquity exposes systems to regular expressi…
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…