1. Assessing model-driven mutation testing of Java bytecode
   2026/07/24 by Freya Ancona, Christoph Bockisch, Daniel Neufeld +1 · 1 voice
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
2. Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
   2025/12/05 by Sairam Vaidya, Vaidya, Sairam, Marcel Böhme +4 · 1 voice
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques #cs.LG #cs.PL #cs.SE
3. The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
   2025/11/30 by Pierre Dantas, PIerre Dantas, Dantas, PIerre +7 · 8 voices
   Computer Science · #Software Engineering Research #Security and Verification in Computing #Software Testing and Debugging Techniques
4. EvilGenie: A Reward Hacking Benchmark
   2025/11/26 by Jonathan Gabor, Jayson Lynch, Gabor, Jonathan +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #I.2.7 #Logic, programming, and type systems #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
5. Optimization-Aware Test Generation for Deep Learning Compilers
   2025/11/24 by Shen, Qingchao, Wang, Zan, Ma, Haoyang +5 · 1 citation
   Computer Science · #Software Testing and Debugging Techniques #Security and Verification in Computing #Adversarial Robustness in Machine Learning
6. Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
   2025/11/14 by Noor Nashid, Daniel D. Ding, Nashid, Noor +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
7. Data Provenance as Automatic Differentiation
   2025/11/12 by Robert Atkey, Atkey, Robert, Roly Perera +1 · 3 voices
   Computer Science · Decision Sciences · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Scientific Computing and Data Management #Software Engineering Research #Software Testing and Debugging Techniques #cs.PL
8. Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
   2025/11/06 by Nguyen, Quang-Dung, Tran, Tri-Dung, Chu, Thanh-Hieu +3 · 1 citation
   Computer Science · Engineering · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #D.2.3 #FOS: Computer and information sciences #I.2.6 #I.2.7 #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
9. CodeAlignBench: Assessing Code Generation Models on Developer-Preferred Code Adjustments
   2025/10/31 by Forough Mehralian, Ryan Shar, Mehralian, Forough +5 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
10. Extracting alignment data in open models
    2025/10/21 by Federico Barbero, Xiangming Gu, Barbero, Federico +15 · 3 voices
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Testing and Debugging Techniques #Topic Modeling #cs.AI
11. PEACE: Towards Efficient Project-Level Efficiency Optimization via Hybrid Code Editing
    2025/10/20 by Xiaoxue Ren, Ren, Xiaoxue, Jun Wan +13 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
12. CodeCRDT: Observation-Driven Coordination for Multi-Agent LLM Code Generation
    2025/10/18 by Sergey Pugachev, Pugachev, Sergey · 1 citation
    Computer Science · #Software Engineering Research #Logic, programming, and type systems #Software Testing and Debugging Techniques
13. Scaling Long-Horizon LLM Agent via Context-Folding
    2025/10/13 by Weiwei Sun, Sun, Weiwei, Miao Lu +10 · 11 citations
    Computer Science · Decision Sciences · Engineering · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Modular Robots and Swarm Intelligence #Scientific Computing and Data Management #Software Testing and Debugging Techniques
14. Literate Tracing
    2025/10/10 by Matthew Sotoudeh, Sotoudeh, Matthew · 5 voices
    Computer Science · #Software Engineering Research #Logic, programming, and type systems #Software Testing and Debugging Techniques
15. A Systematic Study on Generating Web Vulnerability Proof-of-Concepts Using Large Language Models
    2025/10/11 by Mengyao Zhao, Kaixuan Li, Zhao, Mengyao +10 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
16. Scaling Instruction-Selection Verification against Authoritative ISA Semantics
    2025/10/09 by Michael McLoughlin, A. Sheng, Chris Fallin +3 · 2 voices
    Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Software Testing and Debugging Techniques
17. AutoPentester: An LLM Agent-based Framework for Automated Pentesting
    2025/10/07 by Yasod Ginige, Akila Niroshan, Ginige, Yasod +5 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Testing and Debugging Techniques #Topic Modeling
18. TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture
    2025/09/30 by Y. F. Chen, Chen, Yongchao, J.-C. CHEN +14 · 3 citations
    Computer Science · Engineering · #Software Testing and Debugging Techniques #Real-time simulation and control systems #Software System Performance and Reliability
19. Automatically Generating Web Applications from Requirements Via Multi-Agent Test-Driven Development
    2025/09/29 by Yajuan Wan, Wan, Yuxuan, T. Jake Liang +9 · 5 citations
    Computer Science · #Software Testing and Debugging Techniques #Service-Oriented Architecture and Web Services #Web Applications and Data Management
20. RPG: A Repository Planning Graph for Unified and Scalable Codebase Generation
    2025/09/19 by Xin Zhang, Luo, Jane, Zhang, Xin +24 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Software Testing and Debugging Techniques
21. GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
    2025/09/17 by Savini Kashmira, Jayanaka Dantanarayana, Kashmira, Savini +12 · 1 voice · 1 citation
    Computer Science · #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques #Software Testing and Debugging Techniques #cs.LG #cs.PL #cs.SE
22. An Empirical Study on Failures in Automated Issue Solving
    2025/09/17 by Simiao Liu, Fang Liu, Liu, Simiao +11 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
23. Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
    2025/09/16 by Robert Tjarko Lange, Qi Sun, Lange, Robert Tjarko +8 · 12 citations
    Computer Science · #Software Testing and Debugging Techniques #Parallel Computing and Optimization Techniques #Model-Driven Software Engineering Techniques
24. Arguzz: Testing zkVMs for Soundness and Completeness Bugs
    2025/09/13 by Christoph Hochrainer, Hochrainer, Christoph, Valentin Wüstholz +3 · 1 voice · 1 citation
    Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques #cs.CR #cs.PL #cs.SE
25. EchoLeak: The First Real-World Zero-Click Prompt Injection Exploit in a Production LLM System
    2025/09/06 by M. Pavan Reddy, Aditya Sanjay Gujral, Reddy, Pavan +1 · 2 citations
    Computer Science · Physics and Astronomy · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Particle Detector Development and Performance #Software Testing and Debugging Techniques #VLSI and Analog Circuit Testing
26. Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
    2025/09/03 by Yangtao Deng, Deng, Yangtao, Lei Zhang +29 · 4 citations
    Computer Science · #Software System Performance and Reliability #Software Testing and Debugging Techniques #Distributed systems and fault tolerance
27. Locus: Agentic Predicate Synthesis for Directed Fuzzing
    2025/08/29 by Jie Zhu, Zhu, Jie, Chihao Shen +9 · 3 citations
    Computer Science · #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques #Web Application Security Vulnerabilities
28. Learning to Generate Unit Test via Adversarial Reinforcement Learning
    2025/08/28 by Dongjun Lee, Chang Ho Hwang, Lee, Dongjun +3 · 2 citations
    Computer Science · #Software Testing and Debugging Techniques #Teaching and Learning Programming #Machine Learning and Algorithms
29. MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols
    2025/08/17 by Yixuan Yang, Yang, Yixuan, Gao, Cuifeng +6 · 10 citations
    Computer Science · Social Sciences · #Access Control and Trust #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software System Performance and Reliability #Software Testing and Debugging Techniques
30. EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
    2025/08/16 by Mahdi Mostajabdaveh, Yazdani, Milad, Mostajabdaveh, Mahdi +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Reinforcement Learning in Robotics #Software Testing and Debugging Techniques

more