Dogyu Kim

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming

2025

Automated Test Case Generation (ATCG) is crucial for evaluating software reliability, particularly in competitive programming where robust algorithm assessments depend on diverse and accurate test cases. However, existing ATCG methods often fail to meet complex …