| 2025 | ReGraph: A Tool for Binary Similarity Identification. | Li Zhou, Marc Dacier, Charalambos Konstantinou |
| 2025 | Best practice for supply chain in LLM-assisted medical applications. | Shengming Zhao, Jiawei Wang |
| 2025 | A Cloud Native Tool for Testing Automation in Kubernetes. | Suqiong Zhang, Dongyi Fan, Lili He, Wang Lin, Zuohua Ding |
| 2025 | On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective. | Haonan Zhang |
| 2025 | A Preliminary Study of Large Language Models for Multilingual Vulnerability Detection. | Junji Yu, Honglin Shu, Michael Fu, Dong Wang, Chakkrit Tantithamthavorn, Yasutaka Kamei, Junjie Chen |
| 2025 | Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation. | Pei Xu, Yulei Sui, Mark Staples |
| 2025 | GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go. | Xiaofan Xu, Wei Song, Jeff Huang |
| 2025 | Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). | Yihua Xu, Chengyu Zhang, Geguang Pu |
| 2025 | Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques. | Yuanmin Xie, Zhenyang Xu, Yongqiang Tian, Min Zhou, Xintong Zhou, Chengnian Sun |
| 2025 | ASTRAL: A Tool for the Automated Safety Testing of Large Language Models. | Miriam Ugarte, Pablo Valle, Jos Antonio Parejo, Sergio Segura, Aitor Arrieta |
| 2025 | TestFlow: Advancing Mobile UI Testing through Multi-Step Reinforcement Learning. | Xiaoxuan Tang, Xinfang Chen, Dajun Chen, Sheng Zhou, Wei Jiang, Yong Li |
| 2025 | Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage. | Philipp Straubinger, Tim Greller, Gordon Fraser |
| 2025 | Reversing Programs for Error Reachability Analysis. | Adla Stepkov |
| 2025 | Shepherd: High-Precision Coverage Inference for Response-guided Blackbox Fuzzing (Registered Report). | Takuya Shimizu, Ryuichi Yoshizawa, Kaoru Otsuka, Yudai Fujiwara, Yuichi Sugiyama |
| 2025 | InfraFix: Technology-Agnostic Repair of Infrastructure as Code. | Nuno Saavedra, Joo F. Ferreira, Alexandra Mendes |
| 2025 | LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator. | Tong Qiu, Jiaxin Zhu, Wei Chen, Jun Wei |
| 2025 | Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code. | Stefania Piciorea, ThanhVu Nguyen |
| 2025 | Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report). | Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham |
| 2025 | Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper). | Stephan Neuhaus, Jos Antonio Zamudio Amaya, Andreas Zeller |
| 2025 | BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques. | M. M. Abid Naziri, Aman Kumar Singh, Benjamin Wu, Feiran (Alex) Qin, Saikat Dutta, Marcelo d'Amorim |
| 2025 | PatchScope - A Modular Tool for Annotating and Analyzing Contributions. | Jakub Narebski, Mikolaj Fejzer, Krzysztof Stencel, Piotr Przymus |
| 2025 | Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets. | Yubo Mai, Zhipeng Gao, Xing Hu, Lingfeng Bao, Jingyuan Chen, Jianling Sun |
| 2025 | TBFV4J: An Automated Testing-Based Formal Verification Tool for Java. | Ai Liu, Yang Liu, Shaoying Liu |
| 2025 | COOLer: A Language Support Extension for COOL in VS Code. | Linhan Li, ThanhVu Nguyen |
| 2025 | FuseApplyBench: Multilingual Benchmark for Trustworthy Code Edit Applying Task. | Ming Liang, Qingyu Zhang, Zhipeng Zuo, Shaoqiang Zheng, Dajun Chen, Wei Jiang, Yong Li |