2025
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
IJCAI 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 specifications or generate effective c