Cover Image

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tu, Haoxin, Lee, Seongmin, Li, Yuxian, Chen, Peng, Jiang, Lingxiao, Böhme, Marcel
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
by: Tu, Haoxin, et al.
Published: (2024)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
by: Tu, Haoxin, et al.
Published: (2023)

Can LLM Generate Regression Tests for Software Commits?
by: Liu, Jing, et al.
Published: (2025)

Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026)

ColorGo: Directed Concolic Execution
by: Li, Jia, et al.
Published: (2025)

CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)

Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)

Concolic Testing of JavaScript using Sparkplug
by: Li, Zhe, et al.
Published: (2024)

Influence-Guided Concolic Testing of Transformer Robustness
by: Hong, Chih-Duo, et al.
Published: (2025)

Concolic Testing on Individual Fairness of Neural Network Models
by: Huang, Ming-I, et al.
Published: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
by: Le, Cuong Chi, et al.
Published: (2025)

Fundamental Challenges in Cybersecurity and a Philosophy of Vulnerability-Guided Hardening
by: Böhme, Marcel
Published: (2024)

How and Why Agents Can Identify Bug-Introducing Commits
by: Risse, Niklas, et al.
Published: (2026)

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
by: Kim, Kieun, et al.
Published: (2025)

SHERPA: A Model-Driven Framework for Large Language Model Execution
by: Chen, Boqi, et al.
Published: (2025)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
by: Wang, Wansen, et al.
Published: (2024)

Scaling Mobile Chaos Testing with AI-Driven Test Execution
by: Marcano, Juan, et al.
Published: (2026)

Large Language Models for Mobile GUI Text Input Generation: An Empirical Study
by: Cui, Chenhui, et al.
Published: (2024)

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
by: Ding, Yepeng, et al.
Published: (2024)

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
by: Wolff, Dylan, et al.
Published: (2022)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models
by: Yang, Chen, et al.
Published: (2025)

On the Evaluation of Large Language Models in Unit Test Generation
by: Yang, Lin, et al.
Published: (2024)

Empirical Computation
by: Tang, Eric, et al.
Published: (2025)

Automatic High-Level Test Case Generation using Large Language Models
by: Hasan, Navid Bin, et al.
Published: (2025)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
by: Vaidya, Sairam, et al.
Published: (2025)

An Exploratory Study of Bayesian Prompt Optimization for Test-Driven Code Generation with Large Language Models
by: Tomar, Shlok, et al.
Published: (2025)

LLPut: Investigating Large Language Models for Bug Report-Based Input Generation
by: Hasan, Alif Al, et al.
Published: (2025)

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models
by: Abdulkarim, Samer, et al.
Published: (2026)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

Large Language Models for Software Testing Education: an Experience Report
by: Yang, Peng, et al.
Published: (2026)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation
by: Wang, Wenhan, et al.
Published: (2024)

Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization
by: Chen, Zhi, et al.
Published: (2024)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

Rethinking the Value of Agent-Generated Tests for LLM-Based Software Engineering Agents
by: Chen, Zhi, et al.
Published: (2026)

Exposing Go's Hidden Bugs: A Novel Concolic Framework
by: Gorna, Karolina, et al.
Published: (2025)

TestBench: Evaluating Class-Level Test Case Generation Capability of Large Language Models
by: Zhang, Quanjun, et al.
Published: (2024)

Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
by: Straubinger, Philipp, et al.
Published: (2025)