default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th ISSTA 2025: Trondheim, Norway - Companion Volume
- Mike Papadakis, Myra B. Cohen, Paolo Tonella:
Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025. ACM 2025, ISBN 979-8-4007-1474-0 - Jakub Narebski
, Mikolaj Fejzer, Krzysztof Stencel, Piotr Przymus:
PatchScope - A Modular Tool for Annotating and Analyzing Contributions. 1-5 - Li Zhou, Marc Dacier, Charalambos Konstantinou:
ReGraph: A Tool for Binary Similarity Identification. 6-10 - Linhan Li, ThanhVu Nguyen:
COOLer: A Language Support Extension for COOL in VS Code. 11-15 - Philipp Straubinger, Tim Greller, Gordon Fraser:
Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage. 16-20 - Yuanmin Xie, Zhenyang Xu, Yongqiang Tian, Min Zhou, Xintong Zhou, Chengnian Sun:
Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques. 21-25 - Suqiong Zhang, Dongyi Fan, Lili He, Wang Lin, Zuohua Ding:
A Cloud Native Tool for Testing Automation in Kubernetes. 26-30 - Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura, Aitor Arrieta:
ASTRAL: A Tool for the Automated Safety Testing of Large Language Models. 31-35 - Xiaofan Xu, Wei Song, Jeff Huang:
GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go. 36-40 - Nuno Saavedra, João F. Ferreira, Alexandra Mendes:
InfraFix: Technology-Agnostic Repair of Infrastructure as Code. 41-45 - Paul Kalbitzer, José Antonio Zamudio Amaya, Andreas Zeller:
XAVIER: Grammar-Based Testing for XML Injection Attacks. 46-50 - Stefania Piciorea, ThanhVu Nguyen:
Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code. 51-55 - Tong Qiu, Jiaxin Zhu, Wei Chen, Jun Wei:
LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator. 56-60 - M. M. Abid Naziri, Aman Kumar Singh, Benjamin Wu, Feiran (Alex) Qin, Saikat Dutta, Marcelo d'Amorim:
BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques. 61-65 - Ai Liu, Yang Liu, Shaoying Liu:
TBFV4J: An Automated Testing-Based Formal Verification Tool for Java. 66-70 - Yubo Mai, Zhipeng Gao, Xing Hu, Lingfeng Bao, Jingyuan Chen, Jianling Sun:
Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets. 71-75 - Haonan Zhang:
On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective. 76-79 - Adéla Stepková:
Reversing Programs for Error Reachability Analysis. 80-81 - Linxiao Bai:
When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and Solutions. 82-85 - Stephan Neuhaus, José Antonio Zamudio Amaya, Andreas Zeller:
Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper). 86-91 - Emilio Coppa, Daniel Sokolowski, Guido Salvaneschi:
Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper). 92-97 - Stefanos Chaliasos, Imam Al-Fath, Alastair F. Donaldson:
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). 98-104 - Takuya Shimizu, Ryuichi Yoshizawa, Kaoru Otsuka, Yudai Fujiwara, Yuichi Sugiyama:
Shepherd: High-Precision Coverage Inference for Response-guided Blackbox Fuzzing (Registered Report). 105-115 - Jungwoo Lee, Haeun Lee, Sangjun Park, Sang Kil Cha:
On the Applicability of Benford's Law to Detect Saturation in Fuzzing (Registered Report). 116-123 - Yihua Xu, Chengyu Zhang, Geguang Pu:
Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). 124-132 - Xinpeng Liu, Qinying Wang, Peiyu Liu, Wenhai Wang, Shouling Ji:
MQueez: Specification-Driven Fuzzing for MQTT Broker (Registered Report). 133-142 - Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham:
Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report). 143-152 - Yiling He, Hongyu She, Xingzhi Qian, Xinran Zheng, Zhuo Chen, Zhan Qin, Lorenzo Cavallaro:
On Benchmarking Code LLMs for Android Malware Analysis. 153-160 - Junji Yu, Honglin Shu, Michael Fu, Dong Wang, Chakkrit Tantithamthavorn, Yasutaka Kamei, Junjie Chen:
A Preliminary Study of Large Language Models for Multilingual Vulnerability Detection. 161-168 - Qiang Hu, Xiaofei Xie, Sen Chen, Lili Quan, Lei Ma:
Large Language Model Supply Chain: Open Problems From the Security Perspective. 169-173 - Shengming Zhao, Jiawei Wang:
Best practice for supply chain in LLM-assisted medical applications. 174-177 - Shuai He, Hao Yan, Wenke Li, Sheng Hong, Xiaowei Guo, Xiaofan Liu, Cai Fu:
From Large Language Models to Adversarial Malware: How far are we. 178-182 - Ming Liang, Qingyu Zhang, Zhipeng Zuo, Shaoqiang Zheng, Dajun Chen, Wei Jiang, Yong Li:
FuseApplyBench: Multilingual Benchmark for Trustworthy Code Edit Applying Task. 183-189 - Xiaoxuan Tang, Xinfang Chen, Dajun Chen, Sheng Zhou, Wei Jiang, Yong Li:
TestFlow: Advancing Mobile UI Testing through Multi-Step Reinforcement Learning. 190-194 - Yongjian Guo, Wanlun Ma, Xi Xiao, Sheng Wen, Peng Di, Xiaogang Zhu:
Patch the Leak: Strengthening CodeLLMs Against Privacy Extraction Threats. 195-199 - Pei Xu, Yulei Sui, Mark Staples:
Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation. 200-209
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-12 22:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
