자동화된 테스트 케이스 생성(ATCG)은 소프트웨어 신뢰성 평가에 중요하며, 특히 강력한 알고리즘 평가가 다양하고 정확한 테스트 케이스에 의존하는 경쟁 프로그래밍에서 그 중요성이 더욱 커진다. 하지만 기존 ATCG 방법들은 복잡한 명세를 충족시키지 못하거나 효과적인 예외 케이스를 생성하지 못하는 경우가 많아 유용성이 제한적이다. 본 연구에서는 입력 명세의 구문 및 의미 구조를 모두 포착하는 형식인 카운터가 있는 문맥 자유 문법(CCFGs)을 제시한다. 미세 조정된 CodeT5 모델을 사용하여 자연어 입력 명세를 CCFG로 변환함으로써 체계적으로 고품질 테스트 케이스를 생성할 수 있다. CodeContests 데이터셋에 대한 실험 결과, CCFG 기반 테스트 케이스는 기존 방법보다 잘못된 알고리즘을 식별하는 데 더 뛰어나며, 유효성 및 효율성이 크게 향상됨을 보여준다. 본 연구의 접근 방식은 경쟁 프로그래밍 평가 향상을 위한 확장 가능하고 신뢰할 수 있는 문법 기반 프레임워크를 제공한다.