#automated test generation
topicautomated test generation
3 papers · 1 filter
cs.SE2026
PROGRESS: Property-Guided Regression Search for Semantic Falsification
Davis Tocheuk Mo, Noshin Ulfat, Matthew B. Dwyer +1
PROGRESS combines property‑based testing with coverage‑guided, search‑based regression test generation to automatically create tests that reach deep program states and expose bugs…
cs.AI2026
GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
Xin Xin, Jincheng Lou, Junhui Li +11
GoGoTB is an agentic framework that uses large language models to automatically generate complete verification environments for RTL designs and achieve specification‑grounded cover…
cs.SE2026
UniCode: Augmenting Evaluation for Code Reasoning
Xinyue Zheng, Haowei Lin, Shaofei Cai +3
The paper presents UniCode, a generative evaluation framework that augments seed coding problems and automatically generates tests to more rigorously assess large language models'…