Automated Software Testing

Ask about this topic

Momentum

5 papers in the last four weeks, up 25% on the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 96

All topics
CardsList

  1. QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents

    Oct 7, 2026Yujin Song, Kaining Zhang, Qixin Zhang +3Fault DetectionAutomated Software Testing

    Nanyang Technological University, Singapore · Hong Kong University of Science and Technology, Hong Kong, China · Zhejiang University of Technology, Hangzhou, China

  2. TestGRAD: Evolving Test Suites via Failure Pattern Momentum for SWE-Agent Ensemble

    Oct 7, 2026Pengfei He, Jiayuan Zhou, Shaowei Wang +1Automated Test GenerationAutomated Software Testing

    University of Manitoba, Winnipeg, Canada · Huawei Canada, Markham, Canada · Huawei Technologies, Hangzhou, China

  3. Multi-Label Perceptual Bug Detection in Video Games using Deep Learning on Gameplay Footage

    Oct 6, 2026Nahian Rifaat, Felix Morosov, Loutfouz ZamanAutomated Software TestingMulti-Label Classification

    Ontario Tech University Oshawa, Ontario, Canada · Universität Osnabrück Osnabrück, Niedersachsen, Germany

  4. FastCI: Efficient GPU-Intensive CI for LLM Training Frameworks

    Oct 1, 2026Tianshuo Qiao, Naiqian Zheng, Xiaopeng Liu +4Automated Software Testing

    Peking University · ByteDance Seed

  5. Do Agent Benchmarks Do What They Say? An Executable-Contract Audit of Tool-Using Agent Environments

    Sep 29, 2026Rohith Reddy Bellibatlu, Zichong Wang, Wenbin ZhangTool-Use EvaluationAutomated Software Testing

    Florida International University, Miami, FL, USA

  6. Scenario-Driven Neuroevolution: Using Models to Guide Test Generation for Games

    Sep 23, 2026Gijs van Cuyck, Patric Feldmeier, Jan Tretmans +1Automated Software TestingAutomated Test Generation

    Radboud University, Institute iCIS, Nijmegen, The Netherlands · University of Passau, Germany · TNO-ESI, Eindhoven, The Netherlands

  7. FairTest: Search-Based Fairness Testing for Multi-Agent Reinforcement Learning Systems

    Sep 23, 2026Xiaotong Wang, Xuan XieAutomated Software TestingAlgorithmic Fairness

    School of Computer Science and Engineering, Macau University of Science and Technology, Macao SAR, China

  8. IWC-Bench: Evaluating Web Application Generation from a Software Testing Perspective

    Sep 14, 2026Chenxu Liu, Zilu Zou, Peizhong Gao +9Automated Software TestingWeb Application Generation

    Hunyuan Team, Tencent · Tsinghua University · Peking University

  9. The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents

    Aug 28, 2026Achint MehtaAutomated Software TestingAI Coding Agents

  10. LLM-Assisted Dynamic Threat Analysis for Attacker-Reachable Software Weaknesses in Autonomous Vehicles

    Aug 13, 2026Md Wasiul Haque, Sagar Dasgupta, Mizanur Rahman +1Automated Software TestingSoftware Vulnerability Detection

    Department of Civil, Construction & Environmental Engineering, The University of Alabama 2009 Smart Communities and Innovation Building (SCIB), 28 Kirkbride Lane, Tuscaloosa, AL 35487-0288 · Department of Computer Science, The University of Alabama 3017 Cyber Hall, 248 Kirkbride Lane, Tuscaloosa, AL 35487-0288

  11. A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family

    Aug 13, 2026Rishi Shah, Rishav ShresthaAutomated Software TestingFormal Verification

    E3A Healthcare

  12. Do Not Forget the Obvious - RISC: A Risk-Informed Slice-Coverage Protocol for Safe Autonomous Driving

    Aug 12, 2026Fabian HügerAutomated Software TestingAutonomous Driving Safety Evaluation

    CARIAD SE, 38440 Wolfsburg, Germany

  13. Directed Neuro-Symbolic Stochastic Execution for Verification of Distributed Parallel AI Programs

    Aug 8, 2026Gautham Koorma, Vikas Sharma, George Edwards +1Automated Software TestingFormal Verification

    Quandary Peak Research, Los Angeles, CA, USA

  14. WebGrader: Training LLMs for Web Development with Self-Evolving Programmatic Grader

    Aug 6, 2026Boshui Chen, Huiping Liu, Shaolei ZhangRL for Code GenerationAutomated Software Testing

    Beijing Institute of Technology, China · Beijing Jiaotong University, China · Renmin University of China, China

  15. IcFuzz: Fuzzing Isaac Sim with Semantic Stage Guidance and Multi-level Mutation

    Aug 6, 2026Zhixiang Chen, Zhuangbin Chen, Ruoxi Jia +4Automated Software TestingRobotics Simulation

    Sun Yat-sen University Zhuhai, China · Zhuhai Key Laboratory of Trusted Large Language Models, Sun Yat-sen University, Zhuhai, China · Nanyang Technological University Singapore, Singapore +1

  16. JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software

    Aug 6, 2026Wenyao Xue, Jiandi Wang, Yichen WangSoftware EngineeringAutomated Software Testing

    Beihang University, Beijing, China

  17. Can LLMs Test Terminal User Interfaces?

    Aug 4, 2026Chao Peng, Ruida Hu, Ajitha Rajan +3Automated Software TestingAutomated Test Generation

    University of Edinburgh · United Kingdom · Harbin Institute of Technology +3

  18. Coding Agents as Test-Suite Auditors: Finding What Official Suites Miss While Approaching What They Catch

    Aug 3, 2026Shuyang Xie, Shuxiao Xie, Feng Zhu +2Automated Software TestingBenchmark Auditing

    Harbin Institute of Technology · Fudan University · Sun Yat-sen University

  19. Validation Evidence in LLM Repair Agents: How Much of What Passes Actually Tests the Bug?

    Jul 30, 2026Xiaonan Xu, Wenjing WuAutomated Software TestingAutomated Program Repair

    College of Computing, Georgia Institute of Technology, Atlanta, GA, 30332, USA. · Department of Computer Science, University of Colorado Boulder, Boulder, CO, 80309, USA.

  20. DragonCrawl: A Generative, Intent-Based Framework for Scalable Mobile End-to-End Testing

    Jul 30, 2026Sowjanya Puligadda, Mengdie Zhang, Ali Zamani +3Mobile GUI AutomationAutomated Software Testing

    Uber Technologies, Inc. San Francisco, CA, USA

  21. Agentic Method for Deterministic Validation of Legacy Code Migration

    Jul 30, 2026Andras Ferenczi, Jordan Docherty, Mariya Bessonov +2Code TranslationAutomated Software Testing

    American Express

  22. Evaluating VLMs for Autonomous Agent-Driven Geometry Clipping Detection in Video Game QA

    Jul 28, 2026Carlos Celemin, Benedict Wilkins, Adrián Barahona-Ríos +2VLM EvaluationVLM Robustness

    Sony Interactive Entertainment, London, United Kingdom

  23. KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models

    Jul 28, 2026Fuyuan Xia, Qixin Zhang, Chenhao Ying +5Automated Software TestingLLMs for Cybersecurity

    1Shanghai Jiao Tong University · 2Nanyang Technological University · 3Hong Kong University of Science and Technology +1

  24. Adversarial Test-Hardening for AI-Written Code: An Instrument Autopsy and a Pre-Registered Causal Estimate of the Critic Loop

    Jul 25, 2026Jeff OttersonAutomated Software TestingLLM Auditing

    W. P. Carey School of Business, Arizona State University

  25. Do Coverage and Mutation Scores of LLM-Generated Test Suites Correlate with Their Effectiveness? (Replicability Study)

    Jul 24, 2026Junda Zhao, Shurui Zhou, Eldan CohenLLM EvaluationAutomated Software Testing

    University of Toronto, Department of Mechanical and Industrial Engineering, Toronto, Canada · University of Toronto, Department of Electrical and Computer Engineering, Toronto, Canada

  26. From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs

    Jul 23, 2026Kaiwen Zhang, Guanjun LiuAutomated Software TestingLLM-Based Program Synthesis

    Tongji University Shanghai,China

  27. Test Case Prioritization for DNNs via Neural Collapse Instability

    Jul 22, 2026Chunyu Liu, Mingyuan Li, Yang Li +4Automated Software Testing

    State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, China · National Engineering Research Center of Disaster Backup and Recovery, Beijing University of Posts and Telecommunications, China · Information Security Center, Beijing University of Posts and Telecommunications, China

  28. Beyond Fail-to-Pass: Iterative Hardening of Co-Generated Bug Reproduction Tests and Fixes

    Jul 22, 2026Yuhao Tan, Zhibang Yang, Fangkai Yang +9Automated Software TestingAutomated Program Repair

    1Nanjing University · 2Peking University · 3Microsoft

  29. Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications

    Jul 20, 2026Mansur Arief, Nur Ahmad Khatim, Ali Akarma +1Requirements EngineeringAutomated Software Testing

    Industrial and Systems Engineering, King Fahd University of Petroleum and Minerals (KFUPM), Saudi Arabia · Division of Information Science, Nara Institute of Science and Technology (NAIST), Japan · Faculty of Computer and Information Systems Islamic University of Madinah Madinah, Saudi Arabia +1

  30. Faithful Autoformalization of Natural Language Assertions

    Jul 14, 2026Hongyi Liu, Madhusudan Parthasarathy, Adithya MuraliAutomated Software TestingLLM-Based Program Synthesis

    University of Wisconsin-Madison · University of Illinois at Urbana-Champaign