| 2025 | An Evaluation Framework for Software Unit Tests Generated by Large Language Models. | Steven T. Nguyen, Smita Bharath, Hajar Homayouni |
| 2025 | Anomaly Detection Techniques for Enhanced Open Radio Access Network Cybersecurity. | Francisco Hugo Costa Neto, Paulo Ricardo Branco da Silva, Erika Costa Alves, Thomas William do Prado Paiva, Joo Vitor Bruniera Labres, Ramon A. S. Carvalho |
| 2025 | Software Reliability Forecasting Using Anomalies in Profiles of Resource Usage. | Vitor Silva Montes, Caio Guimares Herrera, Thiago de Jesus Oliveira Dures, Alexandre C. B. Delbem, Simone do Rcio Senger de Souza, Paulo Sergio Lopes de Souza |
| 2025 | SimFuzz: Conflict-Aware Parallel Fuzzing via Incremental Path Similarity Clustering. | Xuan Meng, Danjun Liu, Xu Zhou, Peihong Lin, Chenyifan Liu, Lei Zhou, Wei Xie, Baosheng Wang, Peng Wang |
| 2025 | HFSD Workshop Keynote: ISSREW 2025. | Rafael Maiani de Mello |
| 2025 | Bug Whispering: Towards Audio Bug Reporting. | Elena Masserini, Daniela Micucci, Leonardo Mariani |
| 2025 | Towards the Assessment of Task-based Chatbots: From the TOFU-R Snapshot to the BRASATO Curated Dataset. | Elena Masserini, Diego Clerissi, Daniela Micucci, Joo R. Campos, Leonardo Mariani |
| 2025 | Understanding Recommendation System Robustness Against Silent Data Corruption: An Empirical Study. | Dongning Ma, Xun Jiao, Fan Fred Lin, Daniel Moore, Sriram Sankar |
| 2025 | High-Availability Machine Learning Systems: N-version Architecture and Rejuvenation. | Fumio Machida |
| 2025 | Linking Medical Device Assurance Cases. | Tiago de Moraes Machado, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | A Reinforcement Learning-Based Approach to Enhancing Concurrency Software Failure Reproduction Rate. | Xiaoyu Lu, Kun Qiu, Yuxiang Hu, Jiajia Wang |
| 2025 | Automatic Data Repair without Format Specifications. | Zijian Luo, Lukas Kirschner, Ezekiel O. Soremekun, Rahul Gopinath |
| 2025 | MDPMorph: An MDP-Based Metamorphic Testing Framework for Deep Reinforcement Learning Agents. | Jiapeng Li, Zheng Zheng, Yuning Xing, Daixu Ren, Steven Cho, Valerio Terragni |
| 2025 | Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. | Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang |
| 2025 | CodeQUEST: Evaluation and Improvement of Code Quality Using LLMs. | Rundong Liu, Andre Frade, Amal Vaidya, Maxime Labonne, Marcus Kaiser, Bismayan Chakrabarti, Jonathan Budd, John F. Buford, Xiaomin Lin |
| 2025 | Enhancing Reliability Assurance for DNN against Numerical Defect with Large Language Models. | Jinyu Liu, Jun Ai, Haoran Su, Tao Shi |
| 2025 | From Theory to Practice: Blackbox Testing in an Industrial Telecom Environment. | Darshana Das K, Krishnahari P, Libna Kuriakose T, Parvathy C. M, P. Ezudheen, Rahul Gopinath, Abraham Jacob |
| 2025 | X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees. | Maximilian Kodetzki |
| 2025 | V-Models: LLMS for the Development Lifecycle of Safety-Critical Systems. | Amel Jelidi, Amer Kajmakovic, Alexander Palmisano, Franz Sentobe, Kay Rmer |
| 2025 | Detecting Stealthy Data Poisoning Attacks in AI Code Generators. | Cristina Improta |
| 2025 | ShadowGuard: Cryptographic Shadow Stack Protection with XOR Obfuscation and HMAC Integrity. | Sirine Ilahi, Adebayo Omotosho, Christian Hammer |
| 2025 | ChaosLLM: A Dependability Testing Approach for Tool-Calling Agents. | Antonio Ken Iannillo |
| 2025 | Two Requirements Scenarios That Trigger Human Errors in Software Development: a Case Study in the Aviation Industry. | Fuqun Huang, Yichen Wang, Yikun Wang |
| 2025 | MALPRE: Malware Protocol Reverse Engineering through Code Slicing and Agentic Workflow. | Yuyao Huang, Fei Kang, Hui Shu, Guoyu Huo |
| 2025 | CSLParser: A Collaborative Framework Using Small and Large Language Models for Log Parsing. | Weijie Hong, Yifan Wu, Lingzhe Zhang, Chiming Duan, Pei Xiao, Minghua He, Xixuan Yang, Ying Li |