| 2025 | A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro |
| 2025 | A Taxonomy of Failures in Tool-Augmented LLMs. Cailin Winston, René Just |
| 2025 | ASTRAL: Automated Safety Testing of Large Language Models. Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura, Aitor Arrieta |
| 2025 | Acceptance Test Generation with Large Language Models: An Industrial Case Study. Margarida Ferreira, Luís Viegas, João Pascoal Faria, Bruno Lima |
| 2025 | Adaptive Probabilistic Operational Testing for Large Language Models Evaluation. Ali Asgari, Antonio Guerriero, Roberto Pietrantuono, Stefano Russo |
| 2025 | An Adaptive Testing Approach Based on Field Data. Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino |
| 2025 | AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model. Severin Primbs, Benedikt Fein, Gordon Fraser |
| 2025 | Automated Test Generation for Integration Testing. Elson Kurian, Giovanni Denaro, Pietro Braione, Luca Guglielmo |
| 2025 | Automated Test Generation from Program Documentation Encoded in Code Comments. Giovanni Denaro, Luca Guglielmo |
| 2025 | Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic. Clinton Cao, Annibale Panichella, Sicco Verwer |
| 2025 | Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing. Anne Borcherding, Mark Giraud, Johannes Häring |
| 2025 | Exceptional Behaviors: How Frequently Are They Tested? André C. Hora, Gordon Fraser |
| 2025 | IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2025, Ottawa, ON, Canada, April 28-29, 2025 Andy Zaidman, Francesca Lonetti, Ina Schieferdecker, Rajesh Subramanyan |
| 2025 | Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning. Kush Jain, Kiran Kate, Jason Tsay, Claire Le Goues, Martin Hirzel |
| 2025 | Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java. Rosmaël Zidane Lekeufack Foulefack, Alessandro Marchetto |
| 2025 | Simulink Mutation Testing using CodeBERT. Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh, Shiva Nejati |
| 2025 | What Types of Automated Tests do Developers Write? Marko Ivankovic, Luka Rimanic, Ivan Budiselic, Goran Petrovic, Gordon Fraser, René Just |