Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sung, Sicheol, Aditi, kim, Dogyu, Han, Yo-Sub, Ko, Sang-Ki
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
by: Lim, Soohan, et al.
Published: (2025)

CodeComplex: Dataset for Worst-Case Time Complexity Prediction
by: Baik, Seung-Yeop, et al.
Published: (2024)

SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs
by: Aditi, et al.
Published: (2025)

CodeHacker: Automated Test Case Generation for Detecting Vulnerabilities in Competitive Programming Solutions
by: Shi, Jingwei, et al.
Published: (2026)

Can LLMs Generate Reliable Test Case Generators? A Study on Competition-Level Programming Problems
by: Cao, Yuhan, et al.
Published: (2025)

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
by: Chen, Zirong, et al.
Published: (2025)

CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation
by: Li, Kefan, et al.
Published: (2025)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
by: Kim, Seongmin, et al.
Published: (2026)

ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
by: Kim, Su-Hyeon, et al.
Published: (2025)

MEC$^3$O: Multi-Expert Consensus for Code Time Complexity Prediction
by: Hahn, Joonghyuk, et al.
Published: (2025)

The Future of Software Testing: AI-Powered Test Case Generation and Validation
by: Baqar, Mohammad, et al.
Published: (2024)

RESTestBench: A Benchmark for Evaluating the Effectiveness of LLM-Generated REST API Test Cases from NL Requirements
by: Kogler, Leon, et al.
Published: (2026)

Klear-CodeTest: Scalable Test Case Generation for Code Reinforcement Learning
by: Fu, Jia, et al.
Published: (2025)

Domain Adaptation for Code Model-based Unit Test Case Generation
by: Shin, Jiho, et al.
Published: (2023)

Large Language Models as Test Case Generators: Performance Evaluation and Enhancement
by: Li, Kefan, et al.
Published: (2024)

Automated Unit Test Case Generation: A Systematic Literature Review
by: Wang, Jason, et al.
Published: (2025)

Fuzzy Inference System for Test Case Prioritization in Software Testing
by: Karatayev, Aron, et al.
Published: (2024)

AutoTest: Evolutionary Code Solution Selection with Test Cases
by: Duan, Zhihua, et al.
Published: (2024)

Automated User Story Generation with Test Case Specification Using Large Language Model
by: Rahman, Tajmilur, et al.
Published: (2024)

LLM-Based Test Case Generation in DBMS through Monte Carlo Tree Search
by: Chen, Yujia, et al.
Published: (2026)

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
by: Cao, Clinton, et al.
Published: (2024)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
by: Xue, Zhiyi, et al.
Published: (2026)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
by: Wang, Xiaoyin, et al.
Published: (2024)

AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study
by: Smolic, Ema, et al.
Published: (2026)

Repairing Regex Vulnerabilities via Localization-Guided Instructions
by: Sung, Sicheol, et al.
Published: (2025)

Reinforcement Learning Integrated Agentic RAG for Software Test Cases Authoring
by: Hariharan, Mohanakrishnan
Published: (2025)

TCProF: Time-Complexity Prediction SSL Framework
by: Hahn, Joonghyuk, et al.
Published: (2025)

LLM Test Generation via Iterative Hybrid Program Analysis
by: Gu, Sijia, et al.
Published: (2025)

Static Program Analysis Guided LLM Based Unit Test Generation
by: Roychowdhury, Sujoy, et al.
Published: (2025)

Utilizing LLMs for Industrial Process Automation: A Case Study on Modifying RAPID Programs
by: Fares, Salim, et al.
Published: (2025)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
by: Isaku, Erblin, et al.
Published: (2024)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
by: Wang, Shuai, et al.
Published: (2025)

Toward Automated Validation of Language Model Synthesized Test Cases using Semantic Entropy
by: Taherkhani, Hamed, et al.
Published: (2024)

Using Quality Attribute Scenarios for ML Model Test Case Generation
by: Brower-Sinning, Rachel, et al.
Published: (2024)

No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows
by: Raghavan, Siddeshwar, et al.
Published: (2026)

On the Effectiveness of LLMs for Manual Test Verifications
by: Peixoto, Myron David Lucena Campos, et al.
Published: (2024)

CPRet: A Dataset, Benchmark, and Model for Retrieval in Competitive Programming
by: Deng, Han, et al.
Published: (2025)

Understanding Conversational Patterns in Multi-agent Programming: A Case Study on Fibonacci Game Development
by: Basu, Srijita, et al.
Published: (2026)

System Test Case Design from Requirements Specifications: Insights and Challenges of Using ChatGPT
by: Bhatia, Shreya, et al.
Published: (2024)

Hallucination in LLM-Based Code Generation: An Automotive Case Study
by: Pavel, Marc, et al.
Published: (2025)