Software Engineering Empirical Research Radar
ISSTA 2025 Papers
ISSTA 2025 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| 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 0001 | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines. Haining Wang 0006; Yi Xiang 0002; Han Huang 0002; Jie Cao; Kaichen Chen; Xiaowei Yang 0003 | ISSTA | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability |
| ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection. Xuezixiang Li; Sheng Yu; Heng Yin 0001 | ISSTA | 2025 | Other |
| Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper). Sourag Cherupattamoolayil; Arunkumar Bhattar; Connor Glosner; Aravind Machiry | ISSTA | 2025 | Other |
| AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent. He Ye; Aidan Z. H. Yang; Chang Hu; Yanlin Wang 0001; Tao Zhang 0001; Claire Le Goues | ISSTA | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection. Ravishka Rathnasuriya; Nidhi Majoju; Zihe Song; Wei Yang 0013 | ISSTA | 2025 | Other |
| Are Autonomous Web Agents Good Testers? Antoine Chevrot; Alexandre Vernotte; Jean-Rémy Falleri; Xavier Blanc 0001; Bruno Legeard; Aymeric Cretin | ISSTA | 2025 | Mobile / Web / GUI / Android |
| Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles. Dominik Frey; Ulf Kargén; Dániel Varró | ISSTA | 2025 | Testing / QA |
| AudioTest: Prioritizing Audio Test Cases. Yinghua Li; Xueqi Dang; Wendkûuni C. Ouédraogo; Jacques Klein; Tegawendé F. Bissyandé | ISSTA | 2025 | Testing / QA |
| Automated Attack Synthesis for Constant Product Market Makers. Sujin Han; Jinseo Kim; Sung-Ju Lee; Insu Yun | ISSTA | 2025 | Security / Privacy / Vulnerability |
| Automated Test Transfer across Android Apps using Large Language Models. Benyamin Beyzaei; Saghar Talebipour; Ghazal Rafiei; Nenad Medvidovic; Sam Malek | ISSTA | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs. Yifan Xia; Zichen Xie; Peiyu Liu 0003; Kangjie Lu; Yan Liu 0069; Wenhai Wang; Shouling Ji | ISSTA | 2025 | Security / Privacy / Vulnerability |
| BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction. Lian Gao; Heng Yin 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval. Bolun Zhang; Zeyu Gao; Hao Wang 0226; Yuxin Cui; Siliang Qin; Chao Zhang 0008; Kai Chen 0012; Beibei Zhao | ISSTA | 2025 | Other |
| Bridge the Islands: Pointer Analysis for Microservice Systems. Teng Zhang; Yufei Liang; Ganlin Li; Tian Tan 0001; Chang Xu 0001; Yue Li 0006 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| Bridging the Gaps between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better. Qingchen Yu; Xin Liu 0050; Qingguo Zhou; Chunming Wu 0001 | ISSTA | 2025 | AI / LLM for SE |
| Can LLMs Replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering. Ruiqi Wang; Jiyu Guo; Cuiyun Gao 0001; Guodong Fan; Chun Yong Chong; Xin Xia 0001 | ISSTA | 2025 | AI / LLM for SE; Human / Empirical / Socio-technical |
| Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation. Zhenlan Ji; Pingchuan Ma 0004; Zongjie Li; Zhaoyu Wang 0006; Shuai Wang 0011 | ISSTA | 2025 | AI / LLM for SE |
| ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation. Pengyu Xue; Linhao Wu; Zhen Yang 0022; Chengyi Wang; Xiang Li 0202; Yuxiang Zhang; Jia Li 0011; Ruikai Jin; Yifei Pei; Zhaoyan Shen; Xiran Lyu; Jacky Wai Keung | ISSTA | 2025 | Other |
| Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference. Weining Cao; Guangyuan Wu; Tangzhi Xu; Yuan Yao 0001; Hengfeng Wei; Taolue Chen 0001; Xiaoxing Ma | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| ConTested: Consistency-Aided Tested Code Generation with LLM. Jinhao Dong; Jun Sun 0001; Wenjie Zhang 0007; Jin Song Dong 0001; Dan Hao 0001 | ISSTA | 2025 | AI / LLM for SE |
| Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts. Zexu Wang; Jiachi Chen; Tao Zhang 0001; Yu Zhang 0036; Weizhe Zhang; Yuming Feng 0002; Zibin Zheng | ISSTA | 2025 | Other |
| CrossProbe: LLM-Empowered Cross-Project Bug Detection for Deep Learning Frameworks. Hao Guan 0001; Guangdong Bai; Yepang Liu 0001 | ISSTA | 2025 | AI / LLM for SE |
| DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification. Quan Hong; Jiaqi Li 0014; Wen Zhang; Lidong Zhai | ISSTA | 2025 | Other |
| DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction. Yuan Xiao 0003; Yuchen Chen; Shiqing Ma; Haocheng Huang; Chunrong Fang; Yanwei Chen; Weisong Sun; Yunfeng Zhu; Xiaofang Zhang; Zhenyu Chen 0001 | ISSTA | 2025 | Other |
| DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code. Wai Kin Wong; Daoyuan Wu; Huaijin Wang 0001; Zongjie Li; Zhibo Liu 0001; Shuai Wang 0011; Qiyi Tang 0003; Sen Nie; Shi Wu | ISSTA | 2025 | AI / LLM for SE |
| DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems. Cundi Fang; Jie Liang 0006; Zhiyong Wu 0010; Jingzhou Fu; Zhouyang Jia; Chun Huang 0006; Yu Jiang 0001; Shanshan Li 0001 | ISSTA | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Detecting Isolation Anomalies in Relational DBMSs. Rui Yang 0039; Ziyu Cui; Wensheng Dou; Yu Gao 0002; Jiansen Song; Xudong Xie; Jun Wei 0001 | ISSTA | 2025 | Other |
| Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-orchestration. Zhiling Zhu; Tieming Chen; Chengwei Liu; Han Liu 0012; Qijie Song; Zhengzi Xu; Yang Liu 0003 | ISSTA | 2025 | Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| Dynamically Fusing Python HPC Kernels. Nader Al Awar; Muhammad Hannan Naeem; James Almgren-Bell; George Biros; Milos Gligoric 0001 | ISSTA | 2025 | Other |
| Effective REST APIs Testing with Error Message Analysis. Lixin Xu; Huayao Wu; Zhenyu Pan; Tongtong Xu; Shaohua Wang 0002; Xintao Niu; Changhai Nie | ISSTA | 2025 | Testing / QA |
| Enhanced Prompting Framework for Code Summarization with Large Language Models. Minying Fang; Xing Yuan; Yuying Li 0005; Haojie Li; Chunrong Fang; Junwei Du | ISSTA | 2025 | Other |
| Enhancing Smart Contract Security Analysis with Execution Property Graphs. Kaihua Qin; Zhe Ye 0002; Zhun Wang; Weilin Li; Liyi Zhou; Chao Zhang 0008; Dawn Song; Arthur Gervais | ISSTA | 2025 | Security / Privacy / Vulnerability |
| Enhancing Vulnerability Detection via Inter-procedural Semantic Completion. Bozhi Wu; Chengjie Liu; Zhiming Li; Yushi Cao; Jun Sun 0001; Shangwei Lin 0001 | ISSTA | 2025 | Other |
| Extended Reality Cybersickness Assessment via User Review Analysis. Shuqing Li 0001; Qisheng Zheng; Cuiyun Gao 0001; Jia Feng; Michael R. Lyu | ISSTA | 2025 | Other |
| FANDANGO: Evolving Language-Based Testing. José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models. Yisong Xiao; Aishan Liu; Siyuan Liang 0004; Xianglong Liu 0001; Dacheng Tao | ISSTA | 2025 | Other |
| 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 0001; Aravind Machiry | ISSTA | 2025 | Other |
| Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management. Lyuye Zhang; Jiahui Wu; Chengwei Liu; Kaixuan Li 0002; Xiaoyu Sun 0002; Lida Zhao; Chong Wang 0013; Yang Liu 0003 | ISSTA | 2025 | Security / Privacy / Vulnerability |
| 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 | ISSTA | 2025 | Testing / QA |
| Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic. Fanlang Zeng; Rui Chang; Hongjian Liu | ISSTA | 2025 | Other |
| GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs. Ruofan Liu; Xiwen Teoh; Yun Lin 0001; Guanjie Chen; Ruofei Ren; Denys Poshyvanyk; Jin Song Dong 0001 | ISSTA | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Gamifying Testing in IntelliJ: A Replicability Study. Philipp Straubinger; Tommaso Fulcini; Giacomo Garaccione; Luca Ardito; Gordon Fraser 0001 | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go. Wei Song 0003; Xiaofan Xu; Jeff Huang 0001 | ISSTA | 2025 | Other |
| Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis. Zhiyong Wu 0010; Jie Liang 0006; Jingzhou Fu; Mingzhe Wang; Yu Jiang 0001 | ISSTA | 2025 | Performance / Energy / Reliability |
| ICEPRE: ICS Protocol Reverse Engineering via Data-Driven Concolic Execution. Yibo Qu; Dongliang Fang; Zhen Wang 0043; Jiaxing Cheng; Shuaizong Si; Yongle Chen; Limin Sun 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation. Xiufeng Xu; Fuman Xie; Chenguang Zhu 0002; Guangdong Bai; Sarfraz Khurshid; Yi Li 0008 | ISSTA | 2025 | Other |
| Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing. Yanzhou Mu; Juan Zhai; Chunrong Fang; Xiang Chen 0005; Zhixiang Cao; Peiran Yang; Kexin Zhao; An Guo 0002; Zhenyu Chen 0001 | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning. Chun Li; Hui Li 0104; Zhong Li; Minxue Pan; Xuandong Li | ISSTA | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. Liangze Yin; Yiwei Li 0006; Kun Chen 0015; Wei Dong 0006; Ji Wang 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Intention-Based GUI Test Migration for Mobile Apps using Large Language Models. Shaoheng Cao; Minxue Pan; Yuanhong Lan; Xuandong Li | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android |
| KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis. Zhijie Liu; Qiyi Tang 0003; Sen Nie; Shi Wu; Liang Feng Zhang; Yutian Tang | ISSTA | 2025 | Other |
| KRAKEN: Program-Adaptive Parallel Fuzzing. Anshunkang Zhou; Heqing Huang 0002; Charles Zhang 0001 | ISSTA | 2025 | Testing / QA |
| LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation. Ziyao Zhang 0004; Chong Wang 0013; Yanlin Wang 0001; Ensheng Shi; Yuchi Ma; Wanjun Zhong; Jiachi Chen; Mingzhi Mao; Zibin Zheng | ISSTA | 2025 | AI / LLM for SE |
| LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models. Lingxiao Tang; Jiakun Liu; Zhongxin Liu 0002; Xiaohu Yang 0001; Lingfeng Bao | ISSTA | 2025 | Other |
| LogBase: A Large-Scale Benchmark for Semantic Log Parsing. Chenbo Zhang; Wenying Xu; Jinbu Liu; Lu Zhang 0060; Guiyang Liu; Jihong Guan; Qi Zhou 0001; Shuigeng Zhou | ISSTA | 2025 | Other |
| MLLM-Based UI2Code Automation Guided by UI Layout Information. Fan Wu; Cuiyun Gao 0001; Shuqing Li 0001; Xin-Cheng Wen; Qing Liao 0001 | ISSTA | 2025 | Mobile / Web / GUI / Android |
| MoDitector: Module-Directed Testing for Autonomous Driving Systems. Renzhi Wang; Mingfei Cheng; Xiaofei Xie; Yuan Zhou 0005; Lei Ma 0003 | ISSTA | 2025 | Testing / QA |
| Model Checking Guided Incremental Testing for Distributed Systems. Yu Gao 0002; Dong Wang 0048; Wensheng Dou; Wenhan Feng; Yu Liang; Yuan Feng; Jun Wei 0001 | ISSTA | 2025 | Testing / QA; Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph. Dezhen Kong; Jiakun Liu; Chao Ni 0001; David Lo 0001; Lingfeng Bao | ISSTA | 2025 | Maintenance / Evolution / Refactoring / Review |
| NADA: Neural Acceptance-Driven Approximate Specification Mining. Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng 0041; Guohui Xiao 0001; Yanan Liu | ISSTA | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture |
| No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups. Zhuo Wu; Zan Wang; Chuan Luo 0002; Xiaoning Du 0001; Junjie Chen 0003 | ISSTA | 2025 | Testing / QA |
| OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution. Lianghong Guo; Wei Tao 0003; Runhan Jiang; Yanlin Wang 0001; Jiachi Chen; Xilin Liu 0001; Yuchi Ma; Mingzhi Mao; Hongyu Zhang 0002; Zibin Zheng | ISSTA | 2025 | Human / Empirical / Socio-technical |
| OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine. Jie Ma; Ningyu He; Jinwen Xi; Mingzhe Xing; Haoyu Wang 0001; Ying Gao 0006; Yinliang Yue | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel. Rongkai Liu; Heyuan Shi; Shuning Liu; Chao Hu; Sisheng Li; Yuheng Shen; Runzhe Wang; Xiaohai Shi; Yu Jiang 0001 | ISSTA | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Pepper: Preference-Aware Active Trapping for Ransomware. Huan Zhang; Zhengkai Qin; Lixin Zhao; Aimin Yu; Lijun Cai; Dan Meng 0002 | ISSTA | 2025 | Other |
| Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS. Bo Zhou; Jiaqi Shi; Ying Wang 0038; Li Li 0029; Tsz On Li; Hai Yu 0001; Zhiliang Zhu 0001 | ISSTA | 2025 | Other |
| Preventing Disruption of System Backup against Ransomware Attacks. Yiwei Hou; Lihua Guo; Chijin Zhou; Quan Zhang 0003; Wenhuan Liu; Chengnian Sun; Yu Jiang 0001 | ISSTA | 2025 | Other |
| Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging. Siyuan Feng 0007; Jiawei Liu 0004; Ruihang Lai; Charlie Ruan; Yong Yu 0001; Lingming Zhang 0001; Tianqi Chen 0001 | ISSTA | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. Guangsheng Fan; Liqian Chen; Banghu Yin; Wenyu Zhang; Peisen Yao; Ji Wang 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Program Feature-Based Benchmarking for Fuzz Testing. Miao Miao 0001; Sriteja Kummita; Eric Bodden; Shiyi Wei | ISSTA | 2025 | Testing / QA |
| Protecting Privacy in Software Logs: What Should Be Anonymized? Roozbeh Aghili; Heng Li 0007; Foutse Khomh | ISSTA | 2025 | Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems |
| QTRAN: Extending Metamorphic-Oracle Based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support. Li Lin; Qinglin Zhu; Hongqiao Chen; Zhuangda Wang; Rongxin Wu; Xiaoheng Xie | ISSTA | 2025 | Testing / QA |
| Quantum Concolic Testing. Shangzhou Xia; Jianjun Zhao 0001; Fuyuan Zhang; Xiaoyu Guo 0007 | ISSTA | 2025 | Testing / QA; Program Analysis / Verification / Formal Methods |
| REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models. Jianlei Chi; Xiaotian Wang; Yuhan Huang; Lechen Yu; Di Cui; Jianguo Sun; Jun Sun 0001 | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Recurring Vulnerability Detection: How Far Are We? Yiheng Cao; Susheng Wu; Ruisi Wang; Bihuan Chen 0001; Yiheng Huang; Chenhao Lu; Zhuotong Zhou; Xin Peng 0001 | ISSTA | 2025 | Other |
| Reinforcement Learning-Based Fuzz Testing for the Gazebo Robotic Simulator. Zhilei Ren; Yitao Li; Xiaochen Li; Guanxiao Qi; Jifeng Xuan; He Jiang 0001 | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective. Mingyu Huang; Peili Mao; Ke Li 0001 | ISSTA | 2025 | Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| Robust Vulnerability Detection across Compilations: LLVM-IR vs. Assembly with Transformer Model. Rony Shir; Priyanka Prakash Surve; Yuval Elovici; Asaf Shabtai | ISSTA | 2025 | AI / LLM for SE; Performance / Energy / Reliability |
| RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search. Siao Wang; Zhen Dong; Hui Li; Liwei Shen; Xin Peng 0001; Dongdong She | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models. Xiaohan Yuan; Jinfeng Li; Dongxia Wang 0002; Yuefeng Chen; Xiaofeng Mao; Longtao Huang; Jialuo Chen; Hui Xue 0001; Xiaoxia Liu; Wenhai Wang; Kui Ren 0001; Jingyi Wang 0004 | ISSTA | 2025 | Other |
| STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs. Jinwei Liu; Chao Li 0078; Rui Chen 0042; Shaofeng Li; Bin Gu 0006; Mengfei Yang | ISSTA | 2025 | Testing / QA |
| SWE-GPT: A Process-Centric Language Model for Automated Software Improvement. Yingwei Ma; Rongyu Cao; Yongchang Cao; Yue Zhang 0004; Jue Chen; Yibo Liu; Yuchen Liu; Binhua Li; Fei Huang 0002; Yongbin Li 0001 | ISSTA | 2025 | AI / LLM for SE |
| Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs. Huan Li; Bei Wang 0010; Xing Hu 0008; Xin Xia 0001 | ISSTA | 2025 | Other |
| Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection. Lei Yu; Zhirong Huang; Hang Yuan; Shiqi Cheng; Li Yang 0015; Fengjun Zhang; Chenjie Shen; Jiajia Ma; Jingyuan Zhang; Junyi Lu; Chun Zuo | ISSTA | 2025 | AI / LLM for SE; Security / Privacy / Vulnerability |
| SoK: A Taxonomic Analysis of DeFi Rug Pulls: Types, Dataset, and Tool Assessment. Dianxiang Sun; Wei Ma 0014; Liming Nie; Yang Liu 0003 | ISSTA | 2025 | Other |
| Static Program Reduction via Type-Directed Slicing. Loi Ngo Duc Nguyen; Tahiatul Islam; Theron Wang; Sam Lenz; Martin Kellogg | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing. Qicai Chen; Kun Hu 0001; Sichen Gong; Bihuan Chen 0001; Zikui Kong; Haowen Jiang; Bingkun Sun; You Lu 0005; Xin Peng 0001 | ISSTA | 2025 | Testing / QA |
| TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle. Matthew C. Davis; Amy Wei; Brad A. Myers; Joshua Sunshine | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| Testing the Fault-Tolerance of Multi-sensor Fusion Perception in Autonomous Driving Systems. Haoxiang Tian 0001; Wenqiang Ding; Xingshuo Han; Guoquan Wu; An Guo 0002; Junqi Zhang; Wei Chen 0018; Jun Wei 0001; Tianwei Zhang 0004 | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation. Yingjie Fu; Bozhou Li; Linyi Li 0001; Wentao Zhang 0001; Tao Xie 0001 | ISSTA | 2025 | Other |
| The Incredible Shrinking Context... in a Decompiler Near You. Sifis Lagouvardos; Yannis Bollanos; Neville Grech; Yannis Smaragdakis | ISSTA | 2025 | Other |
| Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection. Niklas Risse; Jing Liu; Marcel Böhme | ISSTA | 2025 | AI / LLM for SE |
| Tracezip: Efficient Distributed Tracing via Trace Compression. Zhuangbin Chen; Junsong Pu; Zibin Zheng | ISSTA | 2025 | Cloud / Microservices / Distributed Systems |
| Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles. Davide Molinelli; Alberto Martin-Lopez; Elliott Zackrone; Beyza Eken; Michael D. Ernst; Mauro Pezzè | ISSTA | 2025 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Type-Alias Analysis: Enabling LLVM IR with Accurate Types. Jinmeng Zhou; Ziyue Pan; Wenbo Shen; Xingkai Wang; Kangjie Lu; Zhiyun Qian | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Uncovering API-Scope Misalignment in the App-in-App Ecosystem. Jiarui Che; Chenkai Guo; Naipeng Dong; Jiaqi Pei; Lingling Fan 0003; Xun Mi; Xueshuo Xie; Xiangyang Luo 0001; Zheli Liu; Renhong Cheng | ISSTA | 2025 | Mobile / Web / GUI / Android |
| Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection. Haodong Li; Xiao Cheng 0002; Yanjie Zhao 0001; Guosheng Xu 0001; Guoai Xu; Haoyu Wang 0001 | ISSTA | 2025 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Understanding Practitioners' Expectations on Clear Code Review Comments. Junkai Chen; Zhenhao Li 0002; Qiheng Mao; Xing Hu 0008; Kui Liu 0001; Xin Xia 0001 | ISSTA | 2025 | Maintenance / Evolution / Refactoring / Review |
| Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG. Zhiyu Zhang 0017; Longxing Li; Ruigang Liang; Kai Chen 0012 | ISSTA | 2025 | Testing / QA |
| Validating Network Protocol Parsers with Traceable RFC Document Interpretation. Mingwei Zheng; Danning Xie; Qingkai Shi; Chengpeng Wang 0001; Xiangyu Zhang 0001 | ISSTA | 2025 | Other |
| VerLog: Enhancing Release Note Generation for Android Apps using Large Language Models. Jiawei Guo; Haoran Yang 0002; Haipeng Cai | ISSTA | 2025 | DevOps / CI / Build / Release; Mobile / Web / GUI / Android |
| Walls Have Ears: Demystifying Notification Listener Usage in Android Apps. Jiapeng Deng; Tianming Liu 0002; Yanjie Zhao 0001; Chao Wang 0097; Lin Zhang 0062; Haoyu Wang 0001 | ISSTA | 2025 | Mobile / Web / GUI / Android |
| Wemby's Web: Hunting for Memory Corruption in WebAssembly. Oussama Draissi; Tobias Cloosters; David Klein 0001; Michael Rodler; Marius Musch; Martin Johns; Lucas Davi | ISSTA | 2025 | Mobile / Web / GUI / Android |
| What Happened in This Pipeline? Diffing Build Logs with CiDiff. Nicolas Hubner; Jean-Rémy Falleri; Raluca Uricaru; Thomas Degueule; Thomas Durieux | ISSTA | 2025 | DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems |
| Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain. Xiaoye Zheng; Zhiyuan Wan; David Lo 0001; Difan Xie; Xiaohu Yang 0001 | ISSTA | 2025 | Security / Privacy / Vulnerability |
| WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery. Wei-Cheng Wu; Stefan Nagy; Christophe Hauser | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects. Islem Bouzenia; Michael Pradel | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference. Yuchong Xie; Wenhui Zhang; Dongdong She | ISSTA | 2025 | Testing / QA; Security / Privacy / Vulnerability |
| xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition. Dongsong Yu; Yiyi Wang; Chao Zhang 0008; Yang Lan; Zhiyuan Jiang; Shuitao Gan; Zheyu Ma; Wende Tan | ISSTA | 2025 | Testing / QA |