Cover Image

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Jun, Xie, Yuanyuan, Yan, Jiwei, Huang, Jinhao, Yan, Jun, Zhang, Jian
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
by: Liu, Jun, et al.
Published: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
by: Yan, Jiwei, et al.
Published: (2024)

Exception-aware Lifecycle Model Construction for Framework APIs
by: Yan, Jiwei, et al.
Published: (2024)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
by: Souza, Beatriz, et al.
Published: (2026)

Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
by: Sun, Shuo, et al.
Published: (2025)

DocChecker: Bootstrapping Code Large Language Model for Detecting and Resolving Code-Comment Inconsistencies
by: Dau, Anh T. V., et al.
Published: (2023)

Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)

FuncDroid: Towards Inter-Functional Flows for Comprehensive Mobile App GUI Testing
by: He, Jinlong, et al.
Published: (2026)

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
by: Ang, Kian Kai, et al.
Published: (2025)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

Vibe Checker: Aligning Code Evaluation with Human Preference
by: Zhong, Ming, et al.
Published: (2025)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
by: Yang, Chenyuan, et al.
Published: (2025)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)

LLMEffiChecker: Understanding and Testing Efficiency Degradation of Large Language Models
by: Feng, Xiaoning, et al.
Published: (2022)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
by: Hassnain, Muhammad, et al.
Published: (2025)

Guiding AI to Fix Its Own Flaws: An Empirical Study on LLM-Driven Secure Code Generation
by: Yan, Hao, et al.
Published: (2025)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
by: Dai, Yuxuan, et al.
Published: (2025)

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs
by: Yang, Qizhe, et al.
Published: (2024)

WebChecker: A Versatile EVL Plugin for Validating HTML Pages with Bootstrap Frameworks
by: Cherukuri, Milind
Published: (2025)

MUCOCO: Automated Consistency Testing of Code LLMs
by: Chou, Chua Jin, et al.
Published: (2026)

HACMony: Automatically Detecting Hopping-related Audio-stream Conflict Issues on HarmonyOS
by: He, Jinlong, et al.
Published: (2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
by: Chakraborty, Soham, et al.
Published: (2025)

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
by: Liu, Chenxu, et al.
Published: (2025)

Optimizing Token Consumption in LLMs: A Nano Surge Approach for Code Reasoning Efficiency
by: Hu, Junwei, et al.
Published: (2025)

ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation
by: Dong, Jinhao, et al.
Published: (2024)

A Comparative Study on the Impact of Test-Driven Development (TDD) and Behavior-Driven Development (BDD) on Enterprise Software Delivery Effectiveness
by: Cui, Jun
Published: (2024)

REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
by: Chi, Jianlei, et al.
Published: (2024)

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring
by: Tan, Ivan, et al.
Published: (2024)

Testing Question Answering Software with Context-Driven Question Generation
by: Liu, Shuang, et al.
Published: (2025)

Test-Driven Development for Code Generation
by: Mathews, Noble Saji, et al.
Published: (2024)

Automating Code Generation for Semiconductor Equipment Control from Developer Utterances with LLMs
by: Kim, Youngkyoung, et al.
Published: (2025)

Intention is All You Need: Refining Your Code from Your Intention
by: Guo, Qi, et al.
Published: (2025)

Invariant-Driven Automated Testing
by: Ribeiro, Ana Catarina
Published: (2026)

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

BitsAI-CR: Automated Code Review via LLM in Practice
by: Sun, Tao, et al.
Published: (2025)

CodeChemist: Functional Knowledge Transfer for Low-Resource Code Generation via Test-Time Scaling
by: Wang, Kaixin, et al.
Published: (2025)

Test Oracle Automation in the era of LLMs
by: Molina, Facundo, et al.
Published: (2024)

On-Demand Scenario Generation for Testing Automated Driving Systems
by: Yan, Songyang, et al.
Published: (2025)