PPaperPicks
← All conferences
Editions202620252024

ISSTA 2025

A

ACM SIGSOFT International Symposium on Software Testing and Analysis

Official site ↗
146
accepted papers
695
authors
June 25-28, 2025
dates
Norway
location

146 / 146 papers

  1. 1
    A Cloud Native Tool for Testing Automation in Kubernetes
    Suqiong Zhang
    ,
    Dongyi Fan
    ,
    Lili He
    ,
    Wang Lin
    ,
    Zuohua Ding
  2. 2
    A Large-Scale Empirical Study on Fine-Tuning Large Language Models for Unit Testing
    Ye Shang
    ,
    Quanjun Zhang
    ,
    Chunrong Fang
    ,
    Siqi Gu
    ,
    Jianyi Zhou
    ,
    Zhenyu Chen
  3. 3
    A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
    Haining Wang
    ,
    Yi Xiang
    ,
    Han Huang
    ,
    Jie Cao
    ,
    Kaichen Chen
    ,
    Xiaowei Yang
  4. 4
    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
  5. 5
    Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
    Sourag Cherupattamoolayil
    ,
    Arunkumar Bhattar
    ,
    Connor Glosner
    ,
    Aravind Machiry
  6. 6
    AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
    He Ye
    ,
    Aidan Z. H. Yang
    ,
    Chang Hu
    ,
    Yanlin Wang
    ,
    Tao Zhang
    ,
    Claire Le Goues
  7. 7
    ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection
    Xuezixiang Li
    ,
    Sheng Yu
    ,
    Heng Yin
  8. 8
    An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
    Ravishka Rathnasuriya
    ,
    Nidhi Majoju
    ,
    Zihe Song
    ,
    Wei Yang
  9. 9
    Are Autonomous Web Agents Good Testers?
    Antoine Chevrot
    ,
    Alexandre Vernotte
    ,
    Jean-Rémy Falleri
    ,
    Xavier Blanc
    ,
    Bruno Legeard
    ,
    Aymeric Cretin
  10. 10
    Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles
    Dominik Frey
    ,
    Ulf Kargén
    ,
    Dániel Varró
  11. 11
    ASTRAL: A Tool for the Automated Safety Testing of Large Language Models
    Miriam Ugarte
    ,
    Pablo Valle
    ,
    José Antonio Parejo
    ,
    Sergio Segura
    ,
    Aitor Arrieta
  12. 12
    AudioTest: Prioritizing Audio Test Cases
    Yinghua Li
    ,
    Xueqi Dang
    ,
    Wendkûuni C. Ouédraogo
    ,
    Jacques Klein
    ,
    Tegawendé F. Bissyandé
  13. 13
    Automated Attack Synthesis for Constant Product Market Makers
    Sujin Han
    ,
    Jinseo Kim
    ,
    Sung-Ju Lee
    ,
    Insu Yun
  14. 14
    Automated Test Transfer across Android Apps using Large Language Models
    Benyamin Beyzaei
    ,
    Saghar Talebipour
    ,
    Ghazal Rafiei
    ,
    Nenad Medvidovic
    ,
    Sam Malek
  15. 15
    Best practice for supply chain in LLM-assisted medical applications
    Shengming Zhao
    ,
    Jiawei Wang
  16. 16
    Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
    Yifan Xia
    ,
    Zichen Xie
    ,
    Peiyu Liu
    ,
    Kangjie Lu
    ,
    Yan Liu
    ,
    Wenhai Wang
    ,
    Shouling Ji
  17. 17
    BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction
    Lian Gao
    ,
    Heng Yin
  18. 18
    BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
    Bolun Zhang
    ,
    Zeyu Gao
    ,
    Hao Wang
    ,
    Yuxin Cui
    ,
    Siliang Qin
    ,
    Chao Zhang
    ,
    Kai Chen
    ,
    Beibei Zhao
  19. 19
    Bridge the Islands: Pointer Analysis for Microservice Systems
    Teng Zhang
    ,
    Yufei Liang
    ,
    Ganlin Li
    ,
    Tian Tan
    ,
    Chang Xu
    ,
    Yue Li
  20. 20
    Bridging the Gaps between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
    Qingchen Yu
    ,
    Xin Liu
    ,
    Qingguo Zhou
    ,
    Chunming Wu
  21. 21
    Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code
    Stefania Piciorea
    ,
    ThanhVu Nguyen
  22. 22
    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
  23. 23
    Can LLMs Replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering
    Ruiqi Wang
    ,
    Jiyu Guo
    ,
    Cuiyun Gao
    ,
    Guodong Fan
    ,
    Chun Yong Chong
    ,
    Xin Xia
  24. 24
    Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation
    Zhenlan Ji
    ,
    Pingchuan Ma
    ,
    Zongjie Li
    ,
    Zhaoyu Wang
    ,
    Shuai Wang
  25. 25
    ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
    Pengyu Xue
    ,
    Linhao Wu
    ,
    Zhen Yang
    ,
    Chengyi Wang
    ,
    Xiang Li
    ,
    Yuxiang Zhang
    ,
    Jia Li
    ,
    Ruikai Jin
    ,
    Yifei Pei
    ,
    Zhaoyan Shen
    ,
    Xiran Lyu
    ,
    Jacky Wai Keung
  26. 26
    Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
    Weining Cao
    ,
    Guangyuan Wu
    ,
    Tangzhi Xu
    ,
    Yuan Yao
    ,
    Hengfeng Wei
    ,
    Taolue Chen
    ,
    Xiaoxing Ma
  27. 27
    Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
    Yubo Mai
    ,
    Zhipeng Gao
    ,
    Xing Hu
    ,
    Lingfeng Bao
    ,
    Jingyuan Chen
    ,
    Jianling Sun
  28. 28
    ConTested: Consistency-Aided Tested Code Generation with LLM
    Jinhao Dong
    ,
    Jun Sun
    ,
    Wenjie Zhang
    ,
    Jin Song Dong
    ,
    Dan Hao
  29. 29
    COOLer: A Language Support Extension for COOL in VS Code
    Linhan Li
    ,
    ThanhVu Nguyen
  30. 30
    Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
    Zexu Wang
    ,
    Jiachi Chen
    ,
    Tao Zhang
    ,
    Yu Zhang
    ,
    Weizhe Zhang
    ,
    Yuming Feng
    ,
    Zibin Zheng
  31. 31
    CrossProbe: LLM-Empowered Cross-Project Bug Detection for Deep Learning Frameworks
    Hao Guan
    ,
    Guangdong Bai
    ,
    Yepang Liu
  32. 32
    DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification
    Quan Hong
    ,
    Jiaqi Li
    ,
    Wen Zhang
    ,
    Lidong Zhai
  33. 33
    DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
    Wai Kin Wong
    ,
    Daoyuan Wu
    ,
    Huaijin Wang
    ,
    Zongjie Li
    ,
    Zhibo Liu
    ,
    Shuai Wang
    ,
    Qiyi Tang
    ,
    Sen Nie
    ,
    Shi Wu
  34. 34
    DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
    Yuan Xiao
    ,
    Yuchen Chen
    ,
    Shiqing Ma
    ,
    Haocheng Huang
    ,
    Chunrong Fang
    ,
    Yanwei Chen
    ,
    Weisong Sun
    ,
    Yunfeng Zhu
    ,
    Xiaofang Zhang
    ,
    Zhenyu Chen
  35. 35
    DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
    Cundi Fang
    ,
    Jie Liang
    ,
    Zhiyong Wu
    ,
    Jingzhou Fu
    ,
    Zhouyang Jia
    ,
    Chun Huang
    ,
    Yu Jiang
    ,
    Shanshan Li
  36. 36
    Detecting Isolation Anomalies in Relational DBMSs
    Rui Yang
    ,
    Ziyu Cui
    ,
    Wensheng Dou
    ,
    Yu Gao
    ,
    Jiansen Song
    ,
    Xudong Xie
    ,
    Jun Wei
  37. 37
    Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-orchestration
    Zhiling Zhu
    ,
    Tieming Chen
    ,
    Chengwei Liu
    ,
    Han Liu
    ,
    Qijie Song
    ,
    Zhengzi Xu
    ,
    Yang Liu
  38. 38
    Dynamically Fusing Python HPC Kernels
    Nader Al Awar
    ,
    Muhammad Hannan Naeem
    ,
    James Almgren-Bell
    ,
    George Biros
    ,
    Milos Gligoric
  39. 39
    Effective REST APIs Testing with Error Message Analysis
    Lixin Xu
    ,
    Huayao Wu
    ,
    Zhenyu Pan
    ,
    Tongtong Xu
    ,
    Shaohua Wang
    ,
    Xintao Niu
    ,
    Changhai Nie
  40. 40
    Enhanced Prompting Framework for Code Summarization with Large Language Models
    Minying Fang
    ,
    Xing Yuan
    ,
    Yuying Li
    ,
    Haojie Li
    ,
    Chunrong Fang
    ,
    Junwei Du
  41. 41
    Enhancing Smart Contract Security Analysis with Execution Property Graphs
    Kaihua Qin
    ,
    Zhe Ye
    ,
    Zhun Wang
    ,
    Weilin Li
    ,
    Liyi Zhou
    ,
    Chao Zhang
    ,
    Dawn Song
    ,
    Arthur Gervais
  42. 42
    Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
    Bozhi Wu
    ,
    Chengjie Liu
    ,
    Zhiming Li
    ,
    Yushi Cao
    ,
    Jun Sun
    ,
    Shangwei Lin
  43. 43
    Extended Reality Cybersickness Assessment via User Review Analysis
    Shuqing Li
    ,
    Qisheng Zheng
    ,
    Cuiyun Gao
    ,
    Jia Feng
    ,
    Michael R. Lyu
  44. 44
    Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models
    Yisong Xiao
    ,
    Aishan Liu
    ,
    Siyuan Liang
    ,
    Xianglong Liu
    ,
    Dacheng Tao
  45. 45
    FANDANGO: Evolving Language-Based Testing
    José Antonio Zamudio Amaya
    ,
    Marius Smytzek
    ,
    Andreas Zeller
  46. 46
    Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)
    Mingjie Shen
    ,
    Akul Abhilash Pillai
    ,
    Brian A. Yuan
    ,
    James C. Davis
    ,
    Aravind Machiry
  47. 47
    Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
    Lyuye Zhang
    ,
    Jiahui Wu
    ,
    Chengwei Liu
    ,
    Kaixuan Li
    ,
    Xiaoyu Sun
    ,
    Lida Zhao
    ,
    Chong Wang
    ,
    Yang Liu
  48. 48
    Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic
    Fanlang Zeng
    ,
    Rui Chang
    ,
    Hongjian Liu
  49. 49
    FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
    Peng Qian
    ,
    Xinlei Ying
    ,
    Jiashui Wang
    ,
    Long Liu
    ,
    Lun Zhang
    ,
    Jianhai Chen
    ,
    Qinming He
  50. 50
    From Large Language Models to Adversarial Malware: How far are we
    Shuai He
    ,
    Hao Yan
    ,
    Wenke Li
    ,
    Sheng Hong
    ,
    Xiaowei Guo
    ,
    Xiaofan Liu
    ,
    Cai Fu