Abstract is missing.
- PatchScope - A Modular Tool for Annotating and Analyzing ContributionsJakub Narebski, Mikolaj Fejzer, Krzysztof Stencel, Piotr Przymus. 1-5 [doi]
- ReGraph: A Tool for Binary Similarity IdentificationLi Zhou, Marc Dacier, Charalambos Konstantinou. 6-10 [doi]
- COOLer: A Language Support Extension for COOL in VS CodeLinhan Li, ThanhVu Nguyen. 11-15 [doi]
- Teaching Software Testing and Debugging with the Serious Game Sojourner under SabotagePhilipp Straubinger, Tim Greller, Gordon Fraser 0001. 16-20 [doi]
- Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing TechniquesYuanmin Xie, ZhenYang Xu, Yongqiang Tian 0001, Min Zhou, Xintong Zhou, Chengnian Sun. 21-25 [doi]
- A Cloud Native Tool for Testing Automation in KubernetesSuqiong Zhang, Dongyi Fan, Lili He, Wang Lin, Zuohua Ding. 26-30 [doi]
- ASTRAL: A Tool for the Automated Safety Testing of Large Language ModelsMiriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura, Aitor Arrieta. 31-35 [doi]
- GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in GoXiaofan Xu, Wei Song, Jeff Huang. 36-40 [doi]
- InfraFix: Technology-Agnostic Repair of Infrastructure as CodeNuno Saavedra, João F. Ferreira 0001, Alexandra Mendes. 41-45 [doi]
- XAVIER: Grammar-Based Testing for XML Injection AttacksPaul Kalbitzer, José Antonio Zamudio Amaya, Andreas Zeller. 46-50 [doi]
- Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS CodeStefania Piciorea, ThanhVu Nguyen. 51-55 [doi]
- LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM GeneratorTong Qiu, Jiaxin Zhu, Wei Chen 0018, Jun Wei 0001. 56-60 [doi]
- BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing TechniquesM. M. Abid Naziri, Aman Kumar Singh, Benjamin Wu, Feiran (Alex) Qin, Saikat Dutta, Marcelo d'Amorim. 61-65 [doi]
- TBFV4J: An Automated Testing-Based Formal Verification Tool for Javaai Liu, Yang Liu, Shaoying Liu. 66-70 [doi]
- Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code SnippetsYubo Mai, Zhipeng Gao, Xing Hu 0008, Lingfeng Bao, Jingyuan Chen, Jianling Sun. 71-75 [doi]
- On the Brittleness of Legacy Web UI Testing: A Pragmatic PerspectiveHaonan Zhang. 76-79 [doi]
- Reversing Programs for Error Reachability AnalysisAdéla Stepková. 80-81 [doi]
- When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and SolutionsLinxiao Bai. 82-85 [doi]
- Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper)Stephan Neuhaus, José Antonio Zamudio Amaya, Andreas Zeller. 86-91 [doi]
- Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper)Emilio Coppa, Daniel Sokolowski, Guido Salvaneschi. 92-97 [doi]
- Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)Stefanos Chaliasos, Imam Al-Fath, Alastair Donaldson. 98-104 [doi]
- Shepherd: High-Precision Coverage Inference for Response-guided Blackbox Fuzzing (Registered Report)Takuya Shimizu, Ryuichi Yoshizawa, Kaoru Otsuka, Yudai Fujiwara, Yuichi Sugiyama. 105-115 [doi]
- On the Applicability of Benford's Law to Detect Saturation in Fuzzing (Registered Report)Jungwoo Lee, Haeun Lee, Sangjun Park, Sang Kil Cha. 116-123 [doi]
- 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 0001, Geguang Pu. 124-132 [doi]
- MQueez: Specification-Driven Fuzzing for MQTT Broker (Registered Report)Xinpeng Liu 0010, Qinying Wang, Peiyu Liu 0003, Wenhai Wang, Shouling Ji. 133-142 [doi]
- Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report)Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham. 143-152 [doi]
- On Benchmarking Code LLMs for Android Malware AnalysisYiling He, Hongyu She, Xingzhi Qian, Xinran Zheng, Zhuo Chen, Zhan Qin, Lorenzo Cavallaro. 153-160 [doi]
- A Preliminary Study of Large Language Models for Multilingual Vulnerability DetectionJunji Yu, Honglin Shu, Michael Fu, Dong Wang 0044, Chakkrit Tantithamthavorn, Yasutaka Kamei, Junjie Chen 0003. 161-168 [doi]
- Large Language Model Supply Chain: Open Problems From the Security PerspectiveQiang Hu, Xiaofei Xie, Sen Chen 0001, Lili Quan, Lei Ma 0003. 169-173 [doi]
- Best practice for supply chain in LLM-assisted medical applicationsShengming Zhao, Jiawei Wang. 174-177 [doi]
- From Large Language Models to Adversarial Malware: How far are weShuai He, Hao Yan, Wenke Li, Sheng Hong, Xiaowei Guo, Xiaofan Liu, Cai Fu. 178-182 [doi]
- FuseApplyBench: Multilingual Benchmark for Trustworthy Code Edit Applying TaskMing Liang, Qingyu Zhang, Zhipeng Zuo, Shaoqiang Zheng, Dajun Chen, Wei Jiang 0011, Yong Li. 183-189 [doi]
- TestFlow: Advancing Mobile UI Testing through Multi-Step Reinforcement LearningXiaoxuan Tang, Xinfang Chen, Dajun Chen, Sheng Zhou, Wei Jiang, Yong Li. 190-194 [doi]
- Patch the Leak: Strengthening CodeLLMs Against Privacy Extraction ThreatsYongjian Guo, Wanlun Ma, Xi Xiao, Sheng Wen, Peng Di, Xiaogang Zhu 0001. 195-199 [doi]
- Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary EvaluationPei Xu, Yulei Sui, Mark Staples. 200-209 [doi]