Cover Image

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cai, Yuandao, Fu, Shuhao, Tang, Wensheng, Wen, Cheng, Qin, Shengchao, Zhang, Charles
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Push Your Agent: Measuring and Enforcing Quantitative Goal Persistence in Long-Horizon LLM Agents
by: Cai, Yuandao, et al.
Published: (2026)

Deep Learning Based Concurrency Bug Detection and Localization
by: Feng, Zuocheng, et al.
Published: (2025)

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
by: Wang, Yongchao, et al.
Published: (2025)

Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents
by: Cai, Yuandao, et al.
Published: (2026)

MuMuTestUp: Mutation-based Multi-Agent Test Case Update
by: Tian, Dawei, et al.
Published: (2026)

CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
by: Zhang, Yuwei, et al.
Published: (2025)

BinCoFer: Three-Stage Purification for Effective C/C++ Binary Third-Party Library Detection
by: Zou, Yayi, et al.
Published: (2025)

Effective Random Test Generation for Deep Learning Compilers
by: Ren, Luyao, et al.
Published: (2023)

KTester: Leveraging Domain and Testing Knowledge for More Effective LLM-based Test Generation
by: Li, Anji, et al.
Published: (2025)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
by: Konstantinou, Michael, et al.
Published: (2025)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
by: Glock, Johann, et al.
Published: (2025)

Test smells in LLM-Generated Unit Tests
by: Ouédraogo, Wendkûuni C., et al.
Published: (2024)

Test vs Mutant: Adversarial LLM Agents for Robust Unit Test Generation
by: Chang, Pengyu, et al.
Published: (2026)

Testing with AI Agents: An Empirical Study of Test Generation Frequency, Quality, and Coverage
by: Yoshimoto, Suzuka, et al.
Published: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
by: Fu, An, et al.
Published: (2024)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
by: Zhang, Ke, et al.
Published: (2025)

EmbC-Test: How to Speed Up Embedded Software Testing Using LLMs and RAG
by: Harnot, Maximilian, et al.
Published: (2026)

ChatUniTest: A Framework for LLM-Based Test Generation
by: Chen, Yinghao, et al.
Published: (2023)

Reactive Bottom-Up Testing
by: Muralee, Siddharth, et al.
Published: (2025)

Detecting Non-Optimal Decisions of Embodied Agents via Diversity-Guided Metamorphic Testing
by: Wu, Wenzhao, et al.
Published: (2025)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
by: Wei, Chao, et al.
Published: (2026)

Moral Testing of Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

Leveraging LLM Agents for Automated Video Game Testing
by: Wang, Chengjia, et al.
Published: (2025)

On the Effectiveness of Modular Testing in EvoSuite
by: Dinella, Elizabeth
Published: (2026)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
by: Qin, Feiran, et al.
Published: (2025)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Verify Linearizability of Concurrent Stacks
by: Wen, Tangliu
Published: (2021)

Are Coding Agents Generating Over-Mocked Tests? An Empirical Study
by: Hora, Andre, et al.
Published: (2026)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
by: Tsimpourlas, Foivos, et al.
Published: (2024)

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

Quantum-Guided Test Case Minimization for LLM-Based Code Generation
by: Zhang, Huixiang, et al.
Published: (2025)

CasModaTest: A Cascaded and Model-agnostic Self-directed Framework for Unit Test Generation
by: Ni, Chao, et al.
Published: (2024)

ATGen: Adversarial Reinforcement Learning for Test Case Generation
by: Li, Qingyao, et al.
Published: (2025)

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

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
by: Zhou, Zhichao, et al.
Published: (2023)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
by: Qi, Binhang, et al.
Published: (2026)

Test Plan Generation for Live Testing of Cloud Services
by: Jebbar, Oussama, et al.
Published: (2025)