ISSTA 2026
Proceedings of the ACM on Software Engineering, Volume 3, Number ISSTA

Title Page


Article: issta26foreword-fm000-p doi:

Editorial Message


Article: issta26foreword-fm001-p doi:

Sponsors


Article: issta26foreword-fm003-p doi:

Testing Computation Pushdown in Distributed Database Systems
Jinsheng Ba, Zuming Jiang, and Zhendong Su
(ETH Zurich, Switzerland; University of Hong Kong, Hong Kong)
Computation pushdown is a critical technique in distributed database management systems (DBMSs), enabling certain operations to be executed closer to the data to reduce network overhead and improve performance. However, its behavior depends on multiple factors beyond the input query itself, such as data distribution and resource utilization. This makes it difficult to validate correctness using only input queries in a black-box manner. Existing testing methods that rely solely on query manipulation cannot effectively control or predict pushdown behavior, and are therefore insufficient. In this paper, we introduce Controlled Pushdown Execution (CPE), a white-box method that enables systematic validation of computation pushdown. CPE modifies the source code of DBMSs to forbid a specific pushdown operator and compares the results. Any discrepancy reveals a bug. Our study shows that CPE can control all supported operators across different systems. We applied CPE to three production-grade distributed DBMSs: CockroachDB, TiDB, and YugabyteDB. CPE found 25 previously unknown and unique bugs, 14 of which are logic bugs---incorrect results. CPE finds 3x more bugs than historical bugs and can reproduce all historical bugs. Beyond computation pushdown, the core insight of controllable execution can generalize to other contexts (e.g., transaction schedule), providing a systematic way to uncover subtle logic bugs.

Article Search Article: issta26main-p12-p doi:10.1145/3832092

Do Coverage and Mutation Scores of LLM-Generated Test Suites Correlate with Their Effectiveness? (Replicability Study)
Junda Zhao, Shurui Zhou, and Eldan Cohen
(University of Toronto, Canada)


Article Search Article: issta26main-p17-p doi:10.1145/3832093

BashCoder-R1: Towards Robust and Explainable Bash Script Generation with Robustness-Aware Group Relative Policy Optimization
Lei Yu, Peng Wang, Jia Xu, Jingyuan Zhang, Xin Wang, Jiajia Ma, Li Yang, Changzhi Deng, Zenghua Wang, and Fengjun Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


Article Search Article: issta26main-p29-p doi:10.1145/3832094

XSearch: Explainable Code Search via Concept-to-Code Alignment
Yiming Liu, Ruofan Liu, Yun Lin, Zicong Zhang, Weiyu Kong, Pengnian Qi, Xiao Cheng, Weinan Zhang, Qianxiang Wang, and Linpeng Huang
(Shanghai Jiao Tong University, China; Shanghai Innovation Institute, China; National University of Singapore, Singapore; Huawei Technologies, China)


Article Search Article: issta26main-p35-p doi:10.1145/3832095

E4R-Reviewer: Effective and Explainable Automated Code Review via End-to-End Reasoning-Guided Alignment
Yifei Liu, Xizhi Hou, Li Yang, Huan Liu, Chen Zhu, Fengjun Zhang, and Chun Zuo
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Sinosoft, China)


Article Search Article: issta26main-p40-p doi:10.1145/3832096

Automated Classification, Root Cause Analysis, and Repair Recommendations for Failed Mobile Testing by Specialized LLM
Chun Li, Fei Wang, Minxue Pan, Zhong Li, Mengliang Zeng, Bin Zhang, Xuejiao Yu, Boyun Wang, Kaijian Hua, and Xuandong Li
(Nanjing University, China; OPPO, China)


Article Search Article: issta26main-p48-p doi:10.1145/3832097

LLMutantKiller: Using Large Language Models to Generate Tests That Kill Mutants
Farideh Khalili, Aidan Domondon, Harshit Garg, and Frank Tip
(Northeastern University, USA; Amazon Web Services, USA)


Article Search Article: issta26main-p63-p doi:10.1145/3832098

Industrial Practice of LLM-Based Test Case Carving and Assertion Generation (Experience Paper)
Haozhen You, Zhen Dong, Jingjing Wang, Qiang Li, and Xin Peng
(Fudan University, China; ByteDance, China)


Article Search Article: issta26main-p73-p doi:10.1145/3832099

Sifting the Noise: A Comparative Study of LLM Agents in Vulnerability False Positive Filtering
Yunpeng Xiong and Ting Zhang
(Monash University, Australia)


Article Search Article: issta26main-p86-p doi:10.1145/3832100

Datura: Progressive Red Teaming Testing for Tool Invocation Chain in LLM Agents
Yuchen Shao, Ziqun Bao, Yuheng Huang, Yuling Shi, Mingyu Weng, Yiwen Sun, Long Yang, Lei Ma, Ting Su, and Chengcheng Wan
(East China Normal University, China; Shanghai Innovation Institute, China; University of Tokyo, Japan; Shanghai Jiao Tong University, China; University of Alberta, Canada)


Article Search Article: issta26main-p90-p doi:10.1145/3832101

Learning from the Test: Self-Referential Differential Testing for Deep RL Agents
Junda He, Jieke Shi, Zhou Yang, Mingfei Cheng, and David Lo
(Singapore Management University, Singapore; University of Alberta, Canada; Alberta Machine Intelligence Institute, Canada)


Article Search Article: issta26main-p101-p doi:10.1145/3832102

CLASScanner: Efficient C++ Class Recovery from Binaries Driven by Object Flow Graphs
JiaMing Wang, GongMing Wang, Songtao Yang, Xi Cao, and Chao Zhang
(Tsinghua University, China; Huazhong University of Science and Technology, China; Zhongguancun Laboratory, China; Science City (Guangzhou) Digital Technology Group, China)


Article Search Article: issta26main-p107-p doi:10.1145/3832103

Metamorphic Coverage
Jinsheng Ba, Yuancheng Jiang, and Manuel Rigger
(Chinese University of Hong Kong, Shenzhen, China; National University of Singapore, Singapore)


Article Search Article: issta26main-p108-p doi:10.1145/3832104

RPCSpecter: Detecting Blockchain RPC Bugs through a Specification-Driven, Constraint-Aware Fuzzing Approach
Yuming Xiao, Yuhong Nan, Zhijie Zhong, Mingxi Ye, and Zibin Zheng
(Sun Yat-sen University, China)


Article Search Article: issta26main-p118-p doi:10.1145/3832105

TrapHunter: Exposing Covert Pathways in Trap Token Contracts
Yin Wu, Yixuan Liu, Yi Li, Chenyang Peng, Hao Wu, Ming Fan, Ting Liu, and Haijun Wang
(Xi'an Jiaotong University, China; Nanyang Technological University, Singapore)


Article Search Article: issta26main-p151-p doi:10.1145/3832106

SimiFuzz: Seed–Worker Scheduling for Parallel Fuzzing via Contextual Bandits
Yijia Guo, Zhiguo Ding, Hong Liang, Ming Zhong, Dandan Zhao, Xuhong Zhang, Bo Zhang, Shouling Ji, and Hao Peng
(Zhejiang Normal University, China; Zhejiang University, China; China Electric Power Research Institute, China)


Article Search Article: issta26main-p153-p doi:10.1145/3832107

From Natural Language to Executable Properties for Property-Based Testing of Mobile Apps (Experience Paper)
Yiheng Xiong, Ting Su, Jingling Sun, Jue Wang, Qin Li, Geguang Pu, and Zhendong Su
(East China Normal University, China; University of Electronic Science and Technology of China, China; Nanjing University, China; ETH Zurich, Switzerland)


Article Search Article: issta26main-p167-p doi:10.1145/3832108

DDOR: Delta Debugging for Explainable Overrefusal Testing and Repair
Qinyan Zhou, Peixin Zhang, Jun Sun, Haonan Zhang, and Dongxia Wang
(Southeast University, China; Singapore Management University, Singapore; Zhejiang University, China)


Article Search Article: issta26main-p170-p doi:10.1145/3832109

Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs
Ranit Debnath Akash, Ashish Kumar, Gang Tan, and Saeid Tizpaz-Niari
(University of Illinois at Chicago, USA; Pennsylvania State University, USA)


Article Search Article: issta26main-p172-p doi:10.1145/3832110

SyzDiversity: Diversity-Guided Linux Kernel Fuzzing
Kun Hu, Jiaji Qin, Chaofeng Sha, Bihuan Chen, Shuoran Bai, Qicai Chen, Chenglin Wang, Xin Peng, and Wenyun Zhao
(Fudan University, China; Harbin Engineering University, China)


Article Search Article: issta26main-p188-p doi:10.1145/3832111

Sakura: An Approach for Generating Complex Tests from Natural Language Test Descriptions
Tyler Stennett, Rangeet Pan, Bridget McGinn, Alessandro Orso, and Saurabh Sinha
(Georgia Institute of Technology, USA; IBM Research, USA; University of Georgia, USA)


Article Search Article: issta26main-p192-p doi:10.1145/3832112

To Run or Not to Run: Analyzing the Cost-Effectiveness of Code Execution in Code Agents
Zhihao Lin, Junhua Zhu, Mingyi Zhou, Xin Wang, Zhensu Sun, Renyu Yang, David Lo, and Li Li
(Beihang University, China; Wuhan University, China; Singapore Management University, Singapore)


Article Search Article: issta26main-p200-p doi:10.1145/3832113

LLM-Based Repair of Static Nullability Errors
Nima Karimipour, Pascal Joos, Michael Pradel, Martin Kellogg, and Manu Sridharan
(University of California at Riverside, USA; CISPA Helmholtz Center for Information Security, Germany; New Jersey Institute of Technology, USA)


Article Search Article: issta26main-p228-p doi:10.1145/3832114

How Much Static Structure Do Code Agents Need? A Study of Deterministic Anchoring
Zhihao Lin, Mingyi Zhou, Yizhuo Yang, and Li Li
(Beihang University, China)


Article Search Article: issta26main-p241-p doi:10.1145/3832115

The Fix Is Right at Hand: Fixing Incompatibility Errors Guided by Library Knowledge for Automatic Library Upgrade
Zhuotong Zhou, Susheng Wu, Junpeng Zhao, Bihuan Chen, YenQin Hoo, Yiheng Huang, Yiheng Cao, and Xin Peng
(Fudan University, China)


Article Search Article: issta26main-p242-p doi:10.1145/3832116

SWE-PDB: Teaching LLMs to Leverage Debugging Tools via Agentic Training
Jiaxing Liu, Xing Hu, and Xin Xia
(Zhejiang University, China)


Article Search Article: issta26main-p266-p doi:10.1145/3832117

PackMonitor: Towards Zero Package Hallucinations via Decoding-Time Monitoring
Xiting Liu, Yuetong Liu, Yitong Zhang, Jia Li, and Shi-Min Hu
(Tsinghua University, China; Beihang University, China)


Article Search Article: issta26main-p273-p doi:10.1145/3832118

TensorLock: Recovering Model Dependency for Model Supply Chain
Susheng Wu, Ziqian Chen, Chengyuan Li, Kaifeng Huang, Zekai Chen, Yijian Wu, Bihuan Chen, Yiheng Cao, Zhuotong Zhou, Yiheng Huang, and Xin Peng
(Fudan University, China; Tongji University, China)


Article Search Article: issta26main-p276-p doi:10.1145/3832119

SEER: Self-Enhancing Chain-of-Thought Compression for Reasoning Models
Kerui Huang, Shuhan Liu, Xing Hu, Tongtong Xu, Lingfeng Bao, and Xin Xia
(Zhejiang University, China; Nanjing University, China)


Article Search Article: issta26main-p277-p doi:10.1145/3832120

NSync: Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
Zhenning Yang, Hui Guan, Victor Nicolet, Brandon Paulsen, Joey Dodds, Daniel Kroening, and Ang Chen
(University of Michigan, USA; Amazon, USA)


Article Search Article: issta26main-p281-p doi:10.1145/3832121

Test vs Mutant: Adversarial LLM Agents for Robust Unit Test Generation
Pengyu Chang, Yixiong Fang, Silin Chen, Yuling Shi, Beijun Shen, and Xiaodong Gu
(Shanghai Jiao Tong University, China)


Article Search Article: issta26main-p285-p doi:10.1145/3832122

Guarding the Lifeline: A First Look and Automated Defect Diagnosis for ROS Central Index
Weijie Sun, Huiyan Wang, Ying Wang, and Chang Xu
(Nanjing University, China; Northeastern University, China)


Article Search Article: issta26main-p297-p doi:10.1145/3832123

Scitix: Scalable Constraint-Based Type Inference for Code Snippets with Missing Types
Yiwen Dong, Zhenyang Xu, Yongqiang Tian, Edward Lee, Ondřej Lhoták, and Chengnian Sun
(University of Waterloo, Canada; Monash University, Australia; University of Toronto at Scarborough, Canada)


Article Search Article: issta26main-p303-p doi:10.1145/3832124

Beyond Similarity Scores: Evidence-Based Third-Party Library Detection for C/C++ Binaries
Chengyue Liu, Zhengzi Xu, Lyuye Zhang, Jiahui Wu, Kaixuan Li, and Yang Liu
(Nanyang Technological University, Singapore; Imperial Global Singapore, Singapore)


Article Search Article: issta26main-p308-p doi:10.1145/3832125

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
Dimitrios Stamatios Bouras and Sergey Mechtaev
(Peking University, China)


Article Search Article: issta26main-p310-p doi:10.1145/3832126

Tracing the Shadows: Automatic Tracking and Analysis of Crypto Money Laundering via Transaction Semantic Analysis
Hao Wu, Haijun Wang, Shangwang Li, Yin Wu, Ming Fan, Ting Liu, and Xiapu Luo
(Xi'an Jiaotong University, China; Hong Kong Polytechnic University, China)


Article Search Article: issta26main-p329-p doi:10.1145/3832127

PropCov: Effective Coverage Reporting for Property-Based Testing
Jesse Coultas, Joseph Wiseman, and Luís Pina
(University of Illinois at Chicago, USA)


Article Search Article: issta26main-p344-p doi:10.1145/3832128

Uniting Bounded Verification and Transformer-Based Learning for Proactive IoT Security
Md Rashedul Hasan and Hamid Bagheri
(University of Nebraska-Lincoln, USA)


Article Search Article: issta26main-p346-p doi:10.1145/3832129

Don’t Use a Cannon to Kill a Fly: Lightweight Model Editing for LLMs to Correct Deprecated API Recommendations
Guancheng Lin, Xiao Yu, Jacky Keung, Xing Hu, Xin Xia, and Alex X. Liu
(City University of Hong Kong, Hong Kong; Zhejiang University, China; Midea Group, China)


Article Search Article: issta26main-p348-p doi:10.1145/3832130

ScratchNet: A Multi-modal Benchmark for Evaluating and Advancing LLMs on Scratch Programming Tasks
Yuan Si, Simeng Han, Daming Li, Hanyuan Shi, and Jialu Zhang
(University of Waterloo, Canada; Stanford University, USA; Independent Researcher, USA; Independent Researcher, China)


Article Search Article: issta26main-p356-p doi:10.1145/3832131

MG-Fuzz: Model-Guided Fuzzing for Unsafe Scenario Discovery in Autonomous Driving Systems
Yulong Lyu, Ruiqi Hong, Jiawan Wang, Jun Sun, and Lei Bu
(Nanjing University, China; Singapore Management University, Singapore)


Article Search Article: issta26main-p364-p doi:10.1145/3832132

Mind the Gap: An Empirical Study of Synchronization Gaps, Delays, and Missed Opportunities in Software Forks
Jiaying Zhu, Lyuye Zhang, Jiahui Wu, Chengyue Liu, and Yang Liu
(Nanyang Technological University, Singapore)


Article Search Article: issta26main-p366-p doi:10.1145/3832133

PoCE: Automated Proof-of-Concept Synthesis using Large Language Models for Robust Validation
Tanusree Das Tithy, Lamia Hasan Rodoshi, Ayman Rafid Azahar, Amlan Abhidarshi, Tabassum Faruk, Fahmid Al Rifat, and Faysal Hossain Shezan
(University of Texas at Arlington, USA; University of Texas at Austin, USA)


Article Search Article: issta26main-p367-p doi:10.1145/3832134

Branch-Level Fault Localization in ADS Planning via Temporal Coverage Analysis
Sangmin Woo, Dohyun Kim, Donghwan Shin, and Yongdae Kim
(KAIST, Republic of Korea; University of Sheffield, UK)


Article Search Article: issta26main-p368-p doi:10.1145/3832135

Better Call Grep: Evaluating and Improving Grep-Like Lexical Retrieval for Repository-Level Code Completion
Baoyi Wang, Xingliang Wang, Guochang Li, Chen Zhi, Junxiao Han, Xinkui Zhao, Nan Wang, Shuiguang Deng, and Jianwei Yin
(Zhejiang University, China; Hangzhou City University, China; Shenzhou Aerospace Software Technology, China)


Article Search Article: issta26main-p388-p doi:10.1145/3832136

Beyond the Surface: Towards Feature-Driven Fuzzing on the Browser
Chaoyuan Peng, Muhui Jiang, Yajin Zhou, and Lei Wu
(Zhejiang University, China; BlockSec, China; Chinese University of Hong Kong, Hong Kong)


Article Search Article: issta26main-p403-p doi:10.1145/3832137

SemantiX: A Compatibility Checker between Applications and Compositions of Distributed Systems
Yifei Sun and Ji-Yong Shin
(Inria, France; ENS de Lyon, France; Université Grenoble Alpes, France; Northeastern University, USA)


Article Search Article: issta26main-p405-p doi:10.1145/3832138

On the Role of Large Language Models in Robustness-Guided Requirement Falsification
Ali Kaya and Ivan Porres
(Åbo Akademi University, Finland)


Article Search Article: issta26main-p411-p doi:10.1145/3832139

Secrets Unlocked: Evaluating LLMs for Secrets Detection in Android Apps
Marco Alecci, Jordan Samhi, Tegawendé F. Bissyandé, and Jacques Klein
(University of Luxembourg, Luxembourg)


Article Search Article: issta26main-p419-p doi:10.1145/3832140

SAGE: Signal-Amplified Guided Embeddings for Vulnerability Detection
Zhengyang Shan, Xu Qian, Jiayun Xin, Minghui Xu, Yue Zhang, Zhen Yang, Hao Wu, and Xiuzhen Cheng
(Shandong University, China; Nanjing University, China)


Article Search Article: issta26main-p425-p doi:10.1145/3832141

LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
Minghui Long, Yanjie Zhao, and Haoyu Wang
(Huazhong University of Science and Technology, China)


Article Search Article: issta26main-p434-p doi:10.1145/3832142

A Temporal Reasoning Benchmarking Framework for LRMs via Difficulty-Controlled and Dynamic Test Generation
Shide Zhou, Kailong Wang, Ling Shi, and Haoyu Wang
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore)


Article Search Article: issta26main-p437-p doi:10.1145/3832143

A Comprehensive Empirical Analysis of Patch Presence Testing: Capabilities, Limitations, and Paths Forward
Xiaobei Zhang, Yaowen Zheng, Wu Luo, Shijun Zhao, Yongsheng Tao, Dan Meng, and Rui Hou
(Institute of Information Engineering at Chinese Academy of Sciences, China)


Article Search Article: issta26main-p441-p doi:10.1145/3832144

An Empirical Study of Speculative Decoding on Software Engineering Tasks
Yijia Li, Junkai Chen, Xing Hu, and Xin Xia
(Zhejiang University, China; Singapore Management University, Singapore)


Article Search Article: issta26main-p452-p doi:10.1145/3832145

Lookahead-Then-Verify: Reliable Constrained Decoding for Diffusion LLMs under Context-Free Grammars
Yitong Zhang, Yongmin Li, Yuetong Liu, Jia Li, Xiaoran Jia, Zherui Li, and Ge Li
(Beihang University, China; Peking University, China; Tsinghua University, China; Beijing Institute of Technology, China; Beijing University of Posts and Telecommunications, China)


Article Search Article: issta26main-p456-p doi:10.1145/3832146

ChromaEyes: Detecting Inconsistencies of User Interface Elements between Light and Dark Modes of Web Applications
K. C. Shweta, Byungchul Tak, Tegawendé F. Bissyandé, and Dongsun Kim
(Korea University, Republic of Korea; Kyungpook National University, Republic of Korea; University of Luxembourg, Luxembourg)


Article Search Article: issta26main-p459-p doi:10.1145/3832147

Environmental Injection Attacks against GUI Agents in Realistic Dynamic Environments
Yitong Zhang, Ximo Li, Liyi Cai, and Jia Li
(Beihang University, China; Tsinghua University, China; Peking University, China)


Article Search Article: issta26main-p473-p doi:10.1145/3832148

AttnCompress: Dynamic Attention-Guided Trajectory Compression for Software Engineering Agents
Zhengran Zeng, Yixin Li, Rui Xie, Wei Ye, and Shikun Zhang
(Peking University, China)


Article Search Article: issta26main-p483-p doi:10.1145/3832149

From Draft to Precision: Iterative Agentic Framework for Intent-Aware Code Summarization
Yifei Ge, Chunrong Fang, Zhenyu Chen, and Juan Zhai
(Nanjing University, China; University of Massachusetts at Amherst, USA)


Article Search Article: issta26main-p506-p doi:10.1145/3832150

Towards Explorative IRBL: Combining Semantic Retrieval with LLM-Driven Iterative Code Exploration
Moumita Asad, Rafed Muhammad Yasir, and Sam Malek
(University of California at Irvine, USA)


Article Search Article: issta26main-p511-p doi:10.1145/3832151

WASCII: Bridging WebAssembly Specifications and Implementations through LLM-Enhanced Validation
Yeqi Fu, Kaihang Ji, Yuanpeng Wang, Zong Cao, Jiahao Liu, Ding Li, Yao Guo, and Zhenkai Liang
(National University of Singapore, Singapore; Peking University, China; Imperial Global Singapore, Singapore; Imperial College London, UK; Nanyang Technological University, Singapore)


Article Search Article: issta26main-p530-p doi:10.1145/3832152

Automated Type-IV Clone Generation via LLMs and Deterministic Validation
Luciano Marchezan, Eugene Syriani, Kévin Delcourt, and Houari Sahraoui
(Université de Montréal, Canada)
Detecting Type-IV code clones, functionally equivalent fragments with different syntax, remains a major challenge for quality assurance. Existing datasets are limited in supporting semantic clone detection due to class imbalance, lack of verified functional equivalence, and data redundancy. We present an automated approach for generating Type-IV clones by leveraging large language models (LLMs) with deterministic testing and filtering. The approach normalizes input code, produces diverse clone candidates through customizable prompts, and ensures semantic equivalence via automated testing and syntactic diversity through CodeBLEU-based filtering. Representative unique clones are then selected by clustering. We evaluate the extent to which LLMs generate diverse Python Type-IV clones, how prompt and generation factors affect quality and efficiency, the retention of only Type-IV clones at the final dataset, and the usefulness of the resulting dataset for fine-tuning embedding models. Results show that the generated clones improve Type-IV clone detection across different programming languages.

Article Search Artifacts Available Article: issta26main-p553-p doi:10.1145/3832153

Signal Denoising Based Kill Matrix Refinement for Mutation-Based Fault Localization
Hengyuan Liu, Xia Song, Yong Liu, and Zheng Li
(Beijing University of Chemical Technology, China)


Article Search Article: issta26main-p555-p doi:10.1145/3832154

AutoHIL: LLM-Based ECU Functional Test Generation through Domain Knowledge Augmentation
Sichen Gong, Qicai Chen, Bihuan Chen, Wenzhuo Zhang, Yukun Gao, and Xin Peng
(Fudan University, China; ANHUI GuarDrive Safety Technology, China)


Article Search Article: issta26main-p582-p doi:10.1145/3832155

Atropos: Improving Cost-Benefit Trade-Off of LLM-Based Agents under Self-Consistency with Early Termination and Model Hotswap
Naryeong Kim and Shin Yoo
(KAIST, Republic of Korea)


Article Search Article: issta26main-p589-p doi:10.1145/3832156

On the Feasibility of Deduplicating Compiler Bugs with Bisection
Xintong Zhou, Zhenyang Xu, Yongqiang Tian, and Chengnian Sun
(University of Waterloo, Canada; Monash University, Australia)
Random testing has proven to be an effective technique for compiler validation. However, the debugging of bugs identified through random testing presents a significant challenge due to the frequent occurrence of duplicate test programs that expose identical compiler bugs. The process to identify duplicates is a practical research problem known as bug deduplication. Prior methodologies for compiler bug deduplication primarily rely on program analysis to extract bug-related features for duplicate identification, which can result in substantial computational overhead and limited generalizability.
This paper investigates the feasibility of employing bisection, a standard debugging procedure largely overlooked in prior research on compiler bug deduplication, for this purpose. Our study demonstrates that the utilization of bisection to locate failure-inducing commits provides a valuable criterion for deduplication, albeit one that requires supplementary techniques for more accurate identification. Building on these results, we introduce BugLens, a novel deduplication method that primarily uses bisection, enhanced by the identification of bug-triggering optimizations to minimize false negatives. Empirical evaluations conducted on five real-world datasets demonstrate that BugLens significantly outperforms the state-of-the-art analysis-based methodologies Tamer and D3 by saving an average of 33.56% and 10.68% human effort to identify the same number of distinct bugs. Given the inherent simplicity and generalizability of bisection, it presents a highly practical solution for compiler bug deduplication in real-world applications.

Article Search Article: issta26main-p601-p doi:10.1145/3832157

Intrusion Models for Security Assessment: Methodology and Case Study on Xen
Charles Gonçalves and Marco Vieira
(University of Coimbra, Portugal; University of North Carolina at Charlotte, USA)


Article Search Article: issta26main-p643-p doi:10.1145/3832158

Toward Secure Code Generation: Bridging Correctness and Security via Task-Adaptive Vulnerability Modeling and Execution-Based Benchmarking
Jiexin Wang, Liuwen Cao, Xitong Luo, Yang Cao, Zhenghao Li, Yunyi Xiao, Mengchen Zhao, Adam Jatowt, and Yi Cai
(South China University of Technology, China; University of Innsbruck, Austria)


Article Search Article: issta26main-p648-p doi:10.1145/3832159

Fuzzing FPGA Synthesis and Simulation Tools via LLM-Generated Syntax-Valid HDL Codes
He Jiang, Wen Zhao, Shikai Guo, Zhihao Xu, Xiaochen Li, and Rubing Huang
(Dalian University of Technology, China; Dalian Maritime University, China; Southeast University, China; Macau University of Science and Technology, China)


Article Search Article: issta26main-p653-p doi:10.1145/3832160

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
Sungmin Kang, Haifeng Ruan, and Abhik Roychoudhury
(National University of Singapore, Singapore)


Article Search Article: issta26main-p671-p doi:10.1145/3832161

From Greedy Steps to Global Optimization: Learning Sequential Test Suite Generation
Guoqing Wang, Chengran Yang, Xiaoxuan Zhou, Zeyu Sun, Bo Wang, David Lo, and Dan Hao
(Peking University, China; Singapore Management University, Singapore; Northeastern University, China; Institute of Software at Chinese Academy of Sciences, China; Beijing Jiaotong University, China)


Article Search Article: issta26main-p699-p doi:10.1145/3832162

SymWeb: Feedback-Driven Context Exploration and Context-Aware Symbolic Execution for Browser-Embedded WebAssembly Vulnerability Detection
Yuanpeng Wang, Yeqi Fu, Zhineng Zhong, Zhenkai Liang, Ding Li, Yao Guo, and Xiangqun Chen
(Peking University, China; National University of Singapore, Singapore)


Article Search Article: issta26main-p700-p doi:10.1145/3832163

The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential Analysis
Zhibo Liu, Huaijin Wang, and Shuai Wang
(Nanjing University, China; Shandong University, China; Hong Kong University of Science and Technology, China)


Article Search Article: issta26main-p711-p doi:10.1145/3832164

AgentBreaker: Evaluating Context-Aware Indirect Prompt Injection Risks in Modern Web Agents
Yongbi Son, Changoo Lee, Dongwon Shin, Byoungyoung Lee, Sanghyun Hong, and Sooel Son
(KAIST, Republic of Korea; Seoul National University, Republic of Korea; Oregon State University, USA)


Article Search Article: issta26main-p713-p doi:10.1145/3832165

Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility
Bihui Jin, Kaiyuan Wang, and Pengyu Nie
(University of Waterloo, Canada; Google, USA)


Article Search Article: issta26main-p725-p doi:10.1145/3832166

Seeing Is Coding: On the Effectiveness of Vision Language Models in Code Understanding
Yuling Shi, Chaoxiang Xie, Zhensu Sun, Yeheng Chen, Chenxu Zhang, Longfei Yun, Chengcheng Wan, Hongyu Zhang, David Lo, and Xiaodong Gu
(Shanghai Jiao Tong University, China; Hohai University, China; Singapore Management University, Singapore; Imperial College London, UK; University of California at San Diego, USA; East China Normal University, China; Shanghai Innovation Institute, China; Chongqing University, China)


Article Search Article: issta26main-p726-p doi:10.1145/3832167

ConFL: Explainable Concurrent Fault Localization via Hierarchy-Guided LLM Reasoning
Shuai Shao, Dingbang Wang, Yiming Zeng, and Tingting Yu
(University of Connecticut, USA)


Article Search Article: issta26main-p727-p doi:10.1145/3832168

Belobog: Move Language Fuzzing Framework for Real-World Smart Contracts
Ziqiao Kong, Wanxu Xia, Zhengwei Li, Yi Lu, Pan Li, Liqun Yang, Yang Liu, Xiapu Luo, and Shaohua Li
(Nanyang Technological University, Singapore; Beihang University, China; Bitslab, Singapore; Movebit, Singapore; Hong Kong Polytechnic University, China; Chinese University of Hong Kong, Hong Kong)


Article Search Article: issta26main-p733-p doi:10.1145/3832169

Insecure Coding Preferences in Long-Term Memory: Security Risks for LLM-Based Code Generation
Yuchen Chen, Wei Cheng, Yuan Xiao, Zhou Yang, Weifeng Sun, Chunrong Fang, Xiang Chen, Baowen Xu, David Lo, and Zhenyu Chen
(Nanjing University, China; Nanjing University of Aeronautics and Astronautics, China; University of Alberta, Canada; Alberta Machine Intelligence Institute, Canada; Singapore Management University, Singapore; Nantong University, China)


Article Search Article: issta26main-p747-p doi:10.1145/3832170

TraceDev: A Traceability-Driven Multi-agent Framework for Requirement-to-Code Development
Mingyu Chen, Yakun Zhang, Zihao Xie, Yixing Luo, Jinrui Xu, Cuiyun Gao, Kaiqi Zhao, and Yunming Ye
(Harbin Institute of Technology, Shenzhen, China; Beijing Institute of Control Engineering, China)


Article Search Article: issta26main-p753-p doi:10.1145/3832171

Efficient Grammar-Constrained Decoding via Parser Stack Classification
Yongmin Li, Yihong Dong, Jia Li, and Ge Li
(Peking University, China; Tsinghua University, China)


Article Search Article: issta26main-p756-p doi:10.1145/3832172

MoT: Modularization-of-Thought Prompting for Effective Code Generation
Ruwei Pan and Hongyu Zhang
(Chongqing University, China)


Article Search Article: issta26main-p757-p doi:10.1145/3832173

AgentInspect: Diagnosing Behavioral Failures in Artificial Intelligence Agents
Ruchira Manke, Mohammad Wardat, Foutse Khomh, and Hridesh Rajan
(Tulane University, USA; Oakland University, USA; Polytechnique Montreal, Canada)


Article Search Article: issta26main-p761-p doi:10.1145/3832174

Hidden Licensing Risks in the PTMware Ecosystem
Bo Wang, Yueyang Chen, Jieke Shi, Minghui Li, Yunbo Lyu, Yinan Wu, Youfang Lin, and Zhou Yang
(Beijing Jiaotong University, China; Singapore Management University, Singapore; North Carolina State University, USA; University of Alberta, Canada; Alberta Machine Intelligence Institute, Canada)


Article Search Article: issta26main-p764-p doi:10.1145/3832175

Finding and Understanding Missed Optimizations in WebAssembly Optimizer (Experience Paper)
Ruiyang Xu, Zetao Fan, Shan Huang, and Ting Su
(East China Normal University, China)
As WebAssembly (Wasm) expands from web applications to high-performance domains, the standard optimizer, wasm-opt, is critical but frequently suffers from missed optimizations (MOs). This paper presents an experience report on detecting MOs in wasm-opt and understanding their root cause through the lens of Wasm’s tree-structured intermediate representation (tree IR). To this end, we adapt an established marker-based technique from C compilers, overcoming the constraints of Wasm’s structured control flow via a novel structure-aware instrumentation strategy. Complementing this, we design a cross-optimization differential testing strategy leveraging the monotonicity of optimization levels as an oracle. Together, these strategies enable the systematic identification of fine-grained MOs that are overlooked by existing cross-architecture methods. Our evaluation uncovered 24 distinct MOs (20 fixed, 100% confirmation rate, 0% false positive rate), demonstrating the high actionability and effectiveness of our approach. The performance impact, especially in code size, yields an average 1.30% improvement and no regressions on the Emscripten benchmark suite, further proving their practical value. Beyond detection, our analysis distills three practical lessons for designing MO testing techniques and understanding the optimization trade-offs imposed by wasm-opt’s tree IR.

Article Search Article: issta26main-p770-p doi:10.1145/3832176

Are We Stuck? Modeling and Detecting Deadlocks in Multi-autonomous Vehicle Systems
Mingfei Cheng, Xiaofei Xie, Lili Quan, and Yuan Zhou
(Singapore Management University, Singapore; Zhejiang Sci-Tech University, China)


Article Search Article: issta26main-p772-p doi:10.1145/3832177

StateTree: A Tree-Based Modeling Approach for Fault Detection in Recurrent Neural Networks
Xinyu Gao, Shuoxiao Zhang, Minghui Wei, Xiao Zhang, An Guo, and Enyi Tang
(Nanjing University, China; Hong Kong Polytechnic University, Hong Kong)


Article Search Article: issta26main-p774-p doi:10.1145/3832178

Poirot: Automatic Root Cause Analysis of Safety Violations in ADS Simulation Testing via Hypothetical Reasoning
You Lu, Dingji Wang, Kun Zhang, Bihuan Chen, Jiyan Zhang, and Xin Peng
(Fudan University, China)


Article Search Article: issta26main-p785-p doi:10.1145/3832179

Deprecated but Not Abandoned: A Large-Scale Empirical Study on Growing-User-Demand Deprecated NPM Packages
Zezhou Tang, Yang Zhang, Xinjun Mao, Tanghaoran Zhang, Changrong Xie, Wenyu Xu, Simeng Yao, and Yiwen Wu
(National University of Defense Technology, China)


Article Search Article: issta26main-p793-p doi:10.1145/3832180

Generating Project-Specific Test Cases with Requirement Validation Intention
Binhang Qi, Yun Lin, Xinyi Weng, Yuhuan Huang, Chenyan Liu, Hailong Sun, Zhi Jin, and Jin Song Dong
(National University of Singapore, Singapore; Beihang University, China; Shanghai Jiao Tong University, China; Wuhan University, China; Peking University, China)


Article Search Article: issta26main-p802-p doi:10.1145/3832181

Self-Adaptive Code Representation: Grammar-Guided or Token-Based?
Qingyuan Liang, Zhao Zhang, Chen Liu, Zeyu Sun, Zheng Lin, Yueyi Xiao, Haotian Zhang, Yingfei Xiong, and Lu Zhang
(Peking University, China; Institute of Software at Chinese Academy of Sciences, China; Kwai, China)


Article Search Article: issta26main-p844-p doi:10.1145/3832182

Test Case Prioritization for DNNs via Neural Collapse Instability
Chunyu Liu, Mingyuan Li, Yang Li, Wenmin Li, Fei Gao, Tengfei Tu, and Su-Juan Qin
(Beijing University of Posts and Telecommunications, China)


Article Search Article: issta26main-p847-p doi:10.1145/3832183

Evaluating the Impact of Explainable AI on Trust in AI-Assisted Code Review
Zhenhan Gao, Marvin Muñoz Barón, Umm-e Habiba, Daniel Graziotin, and Stefan Wagner
(TU Munich, Germany; University of Hohenheim, Germany)


Article Search Article: issta26main-p848-p doi:10.1145/3832184

RESTOR: Automated Test Oracle Generation for RESTful APIs via Reinforcement Learning
Xun Zhou, Zhen Dong, Mingyu Ren, Qiang Li, JunJie Li, Sifan Wang, Xiaolong Yu, Chaofeng Sha, and Xin Peng
(Fudan University, China; ByteDance, China)


Article Search Article: issta26main-p852-p doi:10.1145/3832185

“You Are Deceived in the Pocket”: Intrusive Advertisements in Mobile Applications: An Exploratory Study
Miaoying Cai, Dongsun Kim, Lingling Fan, Xiangyu Zhang, and Sen Chen
(Nankai University, China; Korea University, Republic of Korea)


Article Search Article: issta26main-p858-p doi:10.1145/3832186

Is “Knowing It’s Malicious” Enough? Evaluating LLMs for Fine-Grained Malware Behavior Auditing
Xinran Zheng, Xingzhi Qian, Yiling He, Shuo Yang, and Lorenzo Cavallaro
(University College London, UK; University of Hong Kong, China)


Article Search Article: issta26main-p865-p doi:10.1145/3832187

Answer Is Cheap, Show Me the Evidence! Augmenting Automated Vulnerability Assessment with Evidence
Shengyi Pan, Zelong Zheng, Jiayuan Zhou, Xing Hu, Xin Xia, and Shanping Li
(Zhejiang University, China; Huawei, Canada)


Article Search Article: issta26main-p882-p doi:10.1145/3832188

Bridging User Feedback and System Diagnosis: Reproducing Mobile Performance Issues from Reviews
Zhengquan Li, Zhenhao Li, Sidong Feng, Cuiyun Gao, Tao Zhang, and Zishuo Ding
(Hong Kong University of Science and Technology (Guangzhou), China; York University, Canada; Chinese University of Hong Kong, Shenzhen, China; Harbin Institute of Technology, Shenzhen, China; Macau University of Science and Technology, China)


Article Search Article: issta26main-p895-p doi:10.1145/3832189

Vbox: Efficient Black-Box Serializability Verification
Weihua Sun and Zhaonian Zou
(Harbin Institute of Technology, China)


Article Search Article: issta26main-p898-p doi:10.1145/3832190

Automated Dependency Optimization for Artifact-Based Build Systems
Hongxu Xu, Zhenyang Xu, Shane McIntosh, and Chengnian Sun
(University of Waterloo, Canada)


Article Search Article: issta26main-p899-p doi:10.1145/3832191

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation (Experience Paper)
Chen Yang and Junjie Chen
(Tianjin University, China)


Article Search Article: issta26main-p903-p doi:10.1145/3832192

Just Old Wine in a New Bottle: Improving Vulnerability Repair Robustness to Combat Homologous but Heterogeneous Vulnerabilities
Xin Peng, Bo Lin, Yihao Qin, Jing Wang, Xin Zhao, Xiaoling Li, Jun Ma, Xiaoguang Mao, and Shangwen Wang
(National University of Defense Technology, China; Information Support Force Engineering University, China)


Article Search Article: issta26main-p916-p doi:10.1145/3832193

SpectraDL: A Historical Issue-Driven, Test Specification-Assisted Transfer Testing Approach for Deep Learning Frameworks via LLMs
Shifan Liu, Chang-ai Sun, Fulei Wu, and Wing Kwong Chan
(University of Science and Technology Beijing, China; City University of Hong Kong, China)


Article Search Article: issta26main-p919-p doi:10.1145/3832194

BCaLLM: Call Graph-Guided Python Breaking Change Detection with Large Language Models
Wei Cheng, Chen Shen, Huan Zhang, Yuhan Wu, Jingyue Yang, and Wei Hu
(Nanjing University, China)


Article Search Article: issta26main-p926-p doi:10.1145/3832195

Compiling Large Multi-modal Requirement Documents into Runnable Software Systems: From an Agentic Test-Driven Perspective
Weiyu Kong, Yun Lin, Xiwen Teoh, Duc-Minh Nguyen, Ruofei Ren, Jiaxin Chang, Haoxu Hu, and Haoyu Chen
(Shanghai Jiao Tong University, China; National University of Singapore, Singapore)


Article Search Article: issta26main-p928-p doi:10.1145/3832196

COEUR: COhesion and Exhaustiveness of User Stories Representations
Marius Ortega, Hassan Imhah, Nédra Mellouli, Christophe Rodrigues, and Nicolas Travers
(De Vinci Higher Education, France; Onepoint, France)


Article Search Article: issta26main-p945-p doi:10.1145/3832197

Ghosts in the Memory: Detecting Unintended Sensitive Data in Android Apps
Seonghyeon Song, Taeyoung Kim, Woojoo Kim, Seojin Park, Sungjae Hwang, and Hyoungshick Kim
(Sungkyunkwan University, Republic of Korea)


Article Search Article: issta26main-p953-p doi:10.1145/3832198

PAGENT: Program Analysis Guided LLM Agent for Proof-of-Concept Generation
Achintya Desai, Md Shafiuzzaman, Wenbo Guo, and Tevfik Bultan
(University of California at Santa Barbara, USA)


Article Search Article: issta26main-p955-p doi:10.1145/3832199

Steering Tree-of-Thought Reasoning via Deductive Verification
Haoliang Cheng, Enyi Tang, Shuoxiao Zhang, Jiahe Mao, Yanling Fu, Jason Ma, Keyu Cui, Yuchuan Liu, Yu Tian, Xinyu Gao, and Haibin Wang
(Nanjing University, China; Qingying Feifan, China)


Article Search Article: issta26main-p972-p doi:10.1145/3832200

HELO-APR: Enhancing Low-Resource Program Repair through Cross-Lingual Knowledge Transfer
Zhipeng Wang, Boyang Yang, Yidong Wan, Liuye Guo, You Lv, Tao Zheng, Zhuowei Wang, and Tieke He
(Nanjing University, China; Yanshan University, China; Jiangsu University, China; Guangdong University of Technology, China)


Article Search Article: issta26main-p975-p doi:10.1145/3832201

Do Large Language Models Understand Code Like Humans?
Xiaokai Rong, Aashish Yadavally, Hridya Dhulipala, Anh H. N. Nguyen, and Tien N. Nguyen
(University of Texas at Dallas, USA; University of Central Florida, USA)


Article Search Article: issta26main-p985-p doi:10.1145/3832202

FuncDroid: Towards Inter-functional Flows for Comprehensive Mobile App GUI Testing
Jinlong He, Changwei Xia, Binru Huang, Jiwei Yan, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China)


Article Search Article: issta26main-p994-p doi:10.1145/3832203

Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-Generated Unit Tests
Junda Zhao, Shurui Zhou, and Eldan Cohen
(University of Toronto, Canada)


Article Search Article: issta26main-p997-p doi:10.1145/3832204

Fuzzing the Boundary between Models and Code in Hybrid AI-Enabled Systems
Xinyu Gao, Yang Feng, Yuchen Lu, Zhenqian Liu, Zhenyu Chen, and Baowen Xu
(Nanjing University, China)


Article Search Article: issta26main-p1003-p doi:10.1145/3832205

Unpacking AI Agent Participation in Issue-Centered Collaboration in Open-Source Software Development
Kaiwen Zhi, Guisheng Fan, and Wentao Chen
(East China University of Science and Technology, China)


Article Search Article: issta26main-p1013-p doi:10.1145/3832206

Checked-In Secret Detection: Strings Are All You Need
Zhengdong Huang, Kevin Li, Jinqiu Yang, Yepang Liu, and Lili Wei
(Southern University of Science and Technology, China; McGill University, Canada; Concordia University, Canada)


Article Search Article: issta26main-p1021-p doi:10.1145/3832207

Testing Retrieval-Augmented Generation Systems with Chunk Coverage
Jinhan Kim, Samuele Pasini, and Paolo Tonella
(USI Lugano, Switzerland)


Article Search Article: issta26main-p1023-p doi:10.1145/3832208

Function Calling as a Flexible LLM Defense Add-On: Capability and Application Exploration
Zhenlan Ji, Daoyuan Wu, Wenxuan Wang, Pingchuan Ma, Shuai Wang, Lei Ma, and Juergen Rahmel
(Nara Institute of Science and Technology, Japan; Lingnan University, Hong Kong; Renmin University of China, China; Zhejiang University of Technology, China; Hong Kong University of Science and Technology, China; University of Tokyo, Japan; University of Alberta, Canada; HSBC, Hong Kong)


Article Search Article: issta26main-p1032-p doi:10.1145/3832209

From Custom Logic to APIs: Understanding and Recommending API Replacement Refactorings
Bridget Nyirongo, Yanjie Jiang, Yuxia Zhang, and Hui Liu
(Beijing Institute of Technology, China; Tianjin University, China)


Article Search Article: issta26main-p1038-p doi:10.1145/3832210

IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
Matteo Paltenghi and Michael Pradel
(University of Stuttgart, Germany; CISPA Helmholtz Center for Information Security, Germany)


Article Search Article: issta26main-p1044-p doi:10.1145/3832211

Integrating Multiple Features for Weakly-Supervised False-Passing Products Detection in Software Product Lines
Tao Zhang, Yan Lei, Haoran Xia, Huan Xie, and Chunyan Liu
(Chongqing University, China; Southwest University, China)


Article Search Article: issta26main-p1055-p doi:10.1145/3832212

Applying System Call Filtering to Real-World Binaries (Experience Paper)
Soumyakant Priyadarshan and Seyedhamed Ghavamnia
(Bloomberg, USA)


Article Search Article: issta26main-p1107-p doi:10.1145/3832213

Towards More Realistic Assertion Generation under Mixed-Assertion Scenario
Hongyan Li, Kunpeng E, Weifeng Sun, Quanjun Zhang, and Meng Yan
(Chongqing University, China; Singapore Management University, Singapore; Nanjing University of Science and Technology, China)


Article Search Article: issta26main-p1109-p doi:10.1145/3832214

OptiMine: Scalable and Precise Code Optimization for Android Apps via LLM-Driven Semantic Analysis
Pengbo Du, Qiuping Yi, Liangzheng Zhang, and Hongliang Liang
(Beijing University of Posts and Telecommunications, China)


Article Search Article: issta26main-p1110-p doi:10.1145/3832215

A Dataset of Reproducible Flaky-Test Failures
Suzzana Rafi, Mahbub-Ul-Hoque Sumon, Md Erfan, Maruf Morshed Khan, August Shi, and Wing Lam
(George Mason University, USA; Bangladesh Election Commission, Bangladesh; University of Alabama, USA; Ministry of Finance, Bangladesh; University of Texas at Austin, USA)


Article Search Article: issta26main-p1117-p doi:10.1145/3832216

MuMuTestUp: Mutation-Based Multi-agent Test Case Update
Dawei Tian, Jiakun Liu, Yun Peng, Yichen Zhang, Jianlei Chi, Jun Sun, and Xiaohong Su
(Harbin Institute of Technology, China; Chinese University of Hong Kong, China; Xidian University Hangzhou Institute of Technology, China; Singapore Management University, Singapore)


Article Search Article: issta26main-p1161-p doi:10.1145/3832217

Names Are All You Need: Effective and Safe Regression Test Selection for Python
You Wang, Michael Pradel, and Zhongxin Liu
(Zhejiang University, China; CISPA Helmholtz Center for Information Security, Germany)


Article Search Article: issta26main-p1184-p doi:10.1145/3832218

From Static to Dynamic: Benchmarking Real-World Code Review with MCR-Bench
Dewu Zheng, Yanlin Wang, Xiwen Wang, Kefeng Duan, Hongyu Zhang, Xilin Liu, Yuchi Ma, and Zibin Zheng
(Sun Yat-sen University, China; Chongqing University, China; Huawei Cloud, China)


Article Search Article: issta26main-p1189-p doi:10.1145/3832219

Rust’s Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
Yusung Sim, Sukyoung Ryu, and Jaemin Hong
(KAIST, Republic of Korea; UNIST, Republic of Korea)


Article Search Article: issta26main-p1206-p doi:10.1145/3832220

Solving String Split Constraints via Structural Relaxation
Rui Han, Ziheng Wang, Baoquan Cui, Yuhang Dong, Fuqi Jia, Feifei Ma, and Jian Zhang
(Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


Article Search Article: issta26main-p1223-p doi:10.1145/3832221

Augmenting Multi-technique Static Analysis with Large Language Models: A Neuro-symbolic Approach to Smart Contract Vulnerability Detection
Junxiang Wang, Fu Song, Miaomiao Zhang, Bowen Du, and Rongcan Pei
(Tongji University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)


Article Search Article: issta26main-p1237-p doi:10.1145/3832222

Rethinking Mixture-of-Experts for Vulnerability Detection: An Empirical Study and Improved Design
Rongze Jiang, Chaofeng Sha, and Xin Peng
(Fudan University, China)


Article Search Article: issta26main-p1249-p doi:10.1145/3832223

RecurIC3: Exploiting Structural Lemma Reuse to Accelerate IC3
Yuhan Li, Liangze Yin, Xinyi Gong, Minghao Liu, Tun Li, Wei Dong, and Ji Wang
(National University of Defense Technology, China)


Article Search Article: issta26main-p1263-p doi:10.1145/3832224

CausalRepair: Bridging the Causality Gap in Large Language Model-Based Automated Program Repair via Dual-Slicing
Linhao Wu, Yizhou Chen, Zhen Yang, Pengyu Xue, and Dan Hao
(Peking University, China; Shandong University, China; Hong Kong Polytechnic University, China)


Article Search Article: issta26main-p1266-p doi:10.1145/3832225

Towards Understanding the Bugs in Verilator, a Hardware Description Language Compiler
Songyan Jiang, Maolin Sun, Kang Chen, Qingyang Li, Yibiao Yang, and Yuming Zhou
(Nanjing University, China)


Article Search Article: issta26main-p1270-p doi:10.1145/3832226

DeepSCA: Dependency-Aware Software Composition Analysis for C/C++ Based on a Curated Code Feature Database
Meiqiu Xu, Xibin Zhao, Wenxuan Yu, Zhiliang Zhu, Li Li, Heqing Huang, and Ying Wang
(Northeastern University, China; Beihang University, China; City University of Hong Kong, China)


Article Search Article: issta26main-p1376-p doi:10.1145/3832227

MalTotal: Cost-Effective and Language-Agnostic Malicious Code Poisoning Detection for Millions of Repositories
Jian Zhao, Shenao Wang, Qingyang Wu, Yanjie Zhao, Xiao Cheng, and Haoyu Wang
(Huazhong University of Science and Technology, China; Macquarie University, Australia)


Article Search Article: issta26main-p1381-p doi:10.1145/3832228

Repair-Driven Greybox Fuzzing
Bachir Bendrissou, Alastair F. Donaldson, and Cristian Cadar
(Imperial College London, UK)


Article Search Article: issta26main-p1385-p doi:10.1145/3832229

CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler
Shangtong Cao, Tianlei Song, Qiuping Yi, Tianyu Chen, Guoai Xu, Ningyu He, and Haoyu Wang
(Beijing University of Posts and Telecommunications, China; Harbin Institute of Technology, Shenzhen, China; Peking University, China; Hong Kong Polytechnic University, Hong Kong; Huazhong University of Science and Technology, China)


Article Search Article: issta26main-p1387-p doi:10.1145/3832230

Testing Static Taint Analyzers with Equivalence Modulo Taint
Maria Christakis, Anastasia Isychev, Samuel Pilz, Florian Tesarek, and Valentin Wüstholz
(TU Wien, Austria; Consensys Diligence, Austria)
Static taint analyzers are widely used to detect security vulnerabilities, yet their complexity makes them prone to soundness and precision issues. Validating these analyzers is challenging because ground-truth taint flows are rarely available and differential testing requires multiple comparable tools. To address this challenge, we introduce Equivalence Modulo Taint (EMT), a testing oracle for static taint analysis that defines program equivalence in terms of preserved source-sink flows rather than program semantics. EMT enables testing a single analyzer without ground-truth labels by checking consistency of reported flows across equivalent-modulo-taint program variants. Based on EMT, we present TaintCC, a framework that generates equivalent-modulo-taint variants through semantically equivalent, taint-oblivious, and taint-aware transformations targeting recurring difficulty dimensions in taint analysis. We evaluate TaintCC on four widely used analyzers---FlowDroid, Mariana Trench, Pysa, and Semgrep---and uncover 16 unique developer-confirmed issues, showing that even mature analyzers, whether academic or industrial, remain susceptible to reliability issues.

Article Search Article: issta26main-p1389-p doi:10.1145/3832231

How Does Killing Surviving Mutants Help Detect Real Bugs with Assertion Generation? A Controlled Experiment
Hang Du, Vijay Krishna Palepu, and James A. Jones
(University of California at Irvine, USA; Microsoft, USA)


Article Search Article: issta26main-p1437-p doi:10.1145/3832232

The Illusion of Success: Learning-Based Android Malware Detectors
Michael Tegegn and Julia Rubin
(University of British Columbia, Canada)


Article Search Article: issta26main-p1444-p doi:10.1145/3832233

No One-Size-Fits-All: Adaptive Code Editing with Feature-Based Strategy Selection
Jun Wan, Zhongxin Liu, Dajun Chen, Wei Jiang, Yong Li, and Xiaoxue Ren
(Zhejiang University, China; Ant Group, China)


Article Search Article: issta26main-p1446-p doi:10.1145/3832234

When Optimizations Backfire: The Paradox of Plaintext Optimizations in Privacy-Preserving ML Compilers
Yichen Li, Jin Tan, Dongwei Xiao, Yiteng Peng, Pingchuan Ma, Junming Ma, Shoumeng Yan, Shuai Wang, and Fengwei Zhang
(Southern University of Science and Technology, China; Ant Group, China; Hong Kong University of Science and Technology, Hong Kong; Hong Kong University of Science and Technology, China; Zhejiang University of Technology, China)


Article Search Article: issta26main-p1486-p doi:10.1145/3832235

Test Case Selection for Deep Neural Networks: A Replication Study on LLMs for Code (Replicability Study)
Ali Asgari, Mitchell Olsthoorn, and Annibale Panichella
(Delft University of Technology, Netherlands)


Article Search Article: issta26main-p1511-p doi:10.1145/3832236

CAST: A Compiler-Based Framework for Systematically Testing LLM Compositional Safety
Lu Yan, Zhuo Zhang, Xiangzhe Xu, Shengwei An, Guangyu Shen, Zhou Xuan, Xuan Chen, and Xiangyu Zhang
(Purdue University, USA; Columbia University, USA; Virginia Tech, USA)


Article Search Article: issta26main-p1531-p doi:10.1145/3832237

CAM: A Causality-Based Analysis Framework for Multi-agent Code Generation Systems
Zongyi Lyu, Zhenlan Ji, Songqiang Chen, Liwen Wang, Yuheng Huang, Shuai Wang, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China; Nara Institute of Science and Technology, Japan; Hong Kong University of Science and Technology, Hong Kong; University of Tokyo, Japan)


Article Search Article: issta26main-p1561-p doi:10.1145/3832238

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
Minghua Wang, Yuxi Ling, Mingzhi Gao, Yuwei Liu, and Lin Huang
(Ant Group, China; National University of Singapore, Singapore)


Article Search Article: issta26main-p1588-p doi:10.1145/3832239

RippleGUItester: Change-Aware Exploratory Testing
Yanqi Su, Michael Pradel, and Chunyang Chen
(TU Munich, Germany; CISPA Helmholtz Center for Information Security, Germany)


Article Search Article: issta26main-p1604-p doi:10.1145/3832240

Gleaner: A Semantically-Rich and Efficient Online Sampler for Microservice Diagnostics
Yifan Yang, Aoyang Fang, Songhan Zhang, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China)


Article Search Article: issta26main-p1619-p doi:10.1145/3832241

Context Matters: Improving the Practical Reliability of LLM-Based Unit Test Generation (Experience Paper)
Junjie Chen, Ziqi Wang, Lin Yang, Chen Yang, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, and Dong Wang
(Tianjin University, China; Huawei Cloud, China)


Article Search Article: issta26main-p1633-p doi:10.1145/3832242

Inferring 1-Minimal Trigger Configurations for Assessing Linux Kernel CVE Triggerability
Tongjie Wei, Peng Zhang, Zhiwen Hu, Xupu Hu, Chen Lyu, and Gangyan Zeng
(Nanjing University of Science and Technology, China; Shandong Normal University, China)


Article Search Article: issta26main-p1636-p doi:10.1145/3832243

The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by Researchers
Ji young Kim, Jana Dragovic, Alessandro Botta, T. M. Rithwanul Islam, Alaa Mohamad, Karim Sharaf, Sejuti Sharmin Siddiqui, Divyanshi Joshi, Harini Anand, Nurjemal Saryyeva, Shubham Chapagain, Saad Nasir, Darko Marinov, and Bogdan Alexandru Stoica
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Jahangirnagar University, Bangladesh; American University of Beirut, Lebanon; Egyptian E-Learning University, Egypt; Alexandria University, Egypt; University of Dhaka, Bangladesh; Maharaja Agrasen Institute of Technology, India; PES University, India; National University of Singapore, Singapore; Tribhuvan University, Nepal; American International University-Bangladesh, Bangladesh)


Article Search Article: issta26main-p1662-p doi:10.1145/3832244

BinRAG: An RAG-Based Decompilation Framework Fusing Name Prediction and Calling Context
Wai Kin Wong, Daoyuan Wu, Zhibo Liu, Huaijin Wang, Zongjie Li, and Shuai Wang
(Hong Kong University of Science and Technology, China; Lingnan University, Hong Kong; Nanjing University, China; Shandong University, China)


Article Search Article: issta26main-p1665-p doi:10.1145/3832245

Exploiting Ethereum Rollback Semantics: Profit-Driven Attack Synthesis and Off-Chain Misinterpretation Testing
Yixuan Liu, Xinlei Li, and Yi Li
(Nanyang Technological University, Singapore)


Article Search Article: issta26main-p1691-p doi:10.1145/3832246

Enhancing LLM-Based Bug Reproduction via Code Entity Retrieval and Test Case Repair
Hao Ding, Yanjie Jiang, Yuxia Zhang, and Hui Liu
(Beijing Institute of Technology, China; Tianjin University, China)


Article Search Article: issta26main-p1713-p doi:10.1145/3832247

DocPrism: Multi-lingual Detection of Incorrectness Inconsistencies between Code and Documentation
Xiaomeng Xu, Zahin Wahab, Reid Holmes, and Caroline Lemieux
(University of British Columbia, Canada)


Article Search Article: issta26main-p1715-p doi:10.1145/3832248

NCFuzz: Configuration-Guided Network Service Fuzzing
Xuesong Bai, Hengkai Ye, Shenghan Zheng, Fenglu Zhang, Hong Hu, and Zhou Li
(University of California at Irvine, USA; Pennsylvania State University, USA; Dartmouth College, USA; China Telecom, China)


Article Search Article: issta26main-p1733-p doi:10.1145/3832249

Re-evaluating Detection of Equivalent Mutants using LLMs: We Should Properly Measure How Far We Are
Arjun Tandon, Mehmet Fırat Dündar, Milkiyas Gebremichael Gebru, Darko Marinov, Yiling Lou, and Wenxi Wang
(Indraprastha Institute of Information Technology Delhi, India; Sabancı University, Türkiye; Addis Ababa University, Ethiopia; University of Illinois at Urbana-Champaign, USA; University of Virginia, USA)


Article Search Article: issta26main-p1765-p doi:10.1145/3832250

CID: Clean-Seed-Free Backdoor Defense via Counterfactual Invariance for Neural Code Models
Junyao Ye, Zhen Li, Xi Tang, Shulin Li, Shi Liang, Deqing Zou, and Hai Jin
(Huazhong University of Science and Technology, China)


Article Search Article: issta26main-p1771-p doi:10.1145/3832251

Provably Lossless Acceleration of DNN Mutation Testing via Memoization
Ali Ghanbari, Ben Greenman, Sasan Tavakkol, and Shibbir Ahmed
(Auburn University, USA; University of Utah, USA; Google Research, USA; Texas State University, USA)


Article Search Article: issta26main-p1785-p doi:10.1145/3832252

Profiling-Guided Bayesian Optimization of JVM Configurations
Abdelrahman Baz, Wing Lam, and August Shi
(University of Texas at Austin, USA; George Mason University, USA)


Article Search Article: issta26main-p1799-p doi:10.1145/3832253

Understanding and Improving Model Editing for Secure Code Generation
Weifeng Sun, Quanjun Zhang, Yuchen Chen, Chengran Yang, Gou Tan, and David Lo
(Singapore Management University, Singapore; Nanjing University of Science and Technology, China; Nanjing University, China; Sun Yat-sen University, China)


Article Search Article: issta26main-p1843-p doi:10.1145/3832254

Multi-stage On-Demand Program Slicing for Modular Analysis of Multi-threaded Programs
Jiawei Yang, Xiao Cheng, Jiawei Wang, Xiapu Luo, and Yulei Sui
(UNSW, Australia; Macquarie University, Australia; Hong Kong Polytechnic University, China)


Article Search Article: issta26main-p1853-p doi:10.1145/3832255

ProgSCA: Software Composition Analysis via Program-Level Modeling
Peihong Li, Cheng Li, Yuchen Gu, Yanzhe Hu, Liheng Chen, Zeyu Gao, Hao Wang, and Chao Zhang
(Tsinghua University, China; Huazhong University of Science and Technology, China; Beijing University of Posts and Telecommunications, China; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Peking University, China)


Article Search Article: issta26main-p1863-p doi:10.1145/3832256

SmartDecompiler-R1: Enhancing Faithful and Explainable Smart Contract Bytecode Decompilation with Reinforcement Learning
Yilun Ma, Lingxiao Tang, Li Lin, Zhipeng Gao, Jiachi Chen, Xin Xia, and Lingfeng Bao
(Zhejiang University, China)


Article Search Article: issta26main-p1868-p doi:10.1145/3832257

Revisiting Graph Representations for ML-Based Binary Code Similarity Detection: A Systematic Study
Tengteng Yang, Yikun Hu, Jican Zhang, Lei Xue, Ming Fan, and Liang Zhang
(Sun Yat-sen University, China; Shanghai Jiao Tong University, China; Shenzhen Loop Area Institute, Shenzhen, China; Xi'an Jiaotong University, China)


Article Search Article: issta26main-p1876-p doi:10.1145/3832258

SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging
Phillip Entin, Wenchao Gu, Alexander Knapp, and Chunyang Chen
(USI Lugano, Switzerland; TU Munich, Germany; University of Augsburg, Germany)


Article Search Article: issta26main-p1883-p doi:10.1145/3832259

ConUT: Condition-Aware Test Generation for Complex Java Code
Ruiguo Yu, Ruiqi Dong, Xi Xiao, Xiaogang Zhu, Shaohua Wang, Sheng Wen, and Qing Li
(Tsinghua University, Shenzhen, China; Swinburne University of Technology, Australia; Adelaide University, Australia; Central University of Finance and Economics, China; Peng Cheng Laboratory, Shenzhen, China)


Article Search Article: issta26main-p1921-p doi:10.1145/3832260

Testing Method Relocation Algorithms via Template-Based Systematic Structural Traversal and Precondition Filtering
Chunhao Dong, Yanjie Jiang, Yang Zhang, and Hui Liu
(Beijing Institute of Technology, China; Tianjin University, China; Hebei University of Science and Technology, China)


Article Search Article: issta26main-p1939-p doi:10.1145/3832261

E2WR: An Effective and Efficient Reduction Framework for WebAssembly Binaries
Shiyao Zhou, Ningyu He, David Lo, and Xiapu Luo
(Hong Kong Polytechnic University, Hong Kong; Singapore Management University, Singapore; Hong Kong Polytechnic University, China)


Article Search Article: issta26main-p1945-p doi:10.1145/3832262

LogNexus: Effective Log Compression via Unified Redundancy Encoding
Yang Liu, Kaiming Zhang, Zhuangbin Chen, and Zibin Zheng
(Sun Yat-sen University, China)


Article Search Article: issta26main-p1971-p doi:10.1145/3832263

Paired Code Smells and Test Smells: A Fine-Grained Longitudinal Empirical Study
Ziwen Cai
(Chinese University of Hong Kong, Shenzhen, China)


Article Search Article: issta26main-p1977-p doi:10.1145/3832264

Fixed-Point Guided ADS Scenario Generation via Multi-modal LLM Reasoning and Software Testing
Xudong Zhang, Shihao Zhu, and Yan Cai
(Institute of Software at Chinese Academy of Sciences, China)


Article Search Article: issta26main-p2001-p doi:10.1145/3832265

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs
Yuchen Yang, Yifan Zhao, Shubham Ugare, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; Meta, USA)


Article Search Article: issta26main-p2010-p doi:10.1145/3832266

Red-Teaming Coding Agents from a Tool-Invocation Perspective: An Empirical Security Assessment
Yuchong Xie, Mingyu Luo, Zesen Liu, Zhixiang Zhang, Kaikai Zhang, Yu Liu, Ci Tao, Changhui Wang, Zongjie Li, Ping Chen, Shuai Wang, and Dongdong She
(Hong Kong University of Science and Technology, Hong Kong; Fudan University, China; Hong Kong University of Science and Technology, China)


Article Search Article: issta26main-p2031-p doi:10.1145/3832267

How Safe Is Your Screen? Understanding and Detecting Privacy Leaks in Sensitive Activities
Youngseok Kim, Sungho Lee, and Sungjae Hwang
(Sungkyunkwan University, Republic of Korea; Chungnam National University, Republic of Korea)


Article Search Article: issta26main-p2055-p doi:10.1145/3832268

Cracking Query Bottlenecks: Towards Efficiency-Oriented Text-to-SQL Generation
Li Lin, Yunfeng Shen, Lingfeng Bao, Rongxin Wu, and Yang Liu
(Zhejiang University, China; Xiamen University, China; Nanyang Technological University, Singapore)


Article Search Article: issta26main-p2080-p doi:10.1145/3832269

Lingxi: Repository-Level Issue Resolution Framework Enhanced by Procedural Knowledge Guided Scaling
Xu Yang, Jiayuan Zhou, Michael Pacheco, Wenhan Zhu, Pengfei He, Shaowei Wang, Kui Liu, and Ruiqi Pan
(University of Manitoba, Canada; Huawei, Canada; Huawei Technologies, China)


Article Search Article: issta26main-p2081-p doi:10.1145/3832270

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
Ravishka Rathnasuriya, Zihe Song, Nidhi Majoju, Tingxi Li, Aaryaa Moharir, Wei Yang, and Tao Xie
(University of Texas at Dallas, USA; Peking University, China)


Article Search Article: issta26main-p2094-p doi:10.1145/3832271

Automated Program Repair for UI-Centric Android Bugs: How Far Are We?
Junayed Mahmud, Sparsh Pandey, Nadeeshan De Silva, Atish Kumar Dipongkor, Jingjing Wu, Oscar Chaparro, Mattia Fazzini, and Kevin Moran
(University of Central Florida, USA; William & Mary, USA; University of Minnesota, USA)


Article Search Article: issta26main-p2095-p doi:10.1145/3832272

EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems
Yixuan Liu, Yuxin Dong, Ye Liu, Yin Wu, Chengxuan Zhang, Xiapu Luo, and Yi Li
(Nanyang Technological University, Singapore; Peking University, China; Beijing Institute of Technology, China; Xi'an Jiaotong University, China; Hong Kong Polytechnic University, China)


Article Search Article: issta26main-p2097-p doi:10.1145/3832273

avaCGs: Version-Aware Call Graphs for Efficient Version-Range Queries
Johannes Düsing, Dominik Helm, and Ben Hermann
(University of Stuttgart, Germany)


Article Search Article: issta26main-p2099-p doi:10.1145/3832274

What Makes In-Context Examples Effective for Code Generation?
Dongze Li, Songqiang Chen, Jialun Cao, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China)


Article Search Article: issta26main-p2106-p doi:10.1145/3832275

Code-MUE: Measuring Code LLM’ Uncertainty through Execution-Based Semantic Interaction Graphs
Xiaoning Ren, Yinxing Xue, Lei Ma, and Yuheng Huang
(Xi’an Jiaotong University, China; Institute of AI for Industries at Chinese Academy of Sciences, China; University of Tokyo, Japan; University of Alberta, Canada)


Article Search Article: issta26main-p2153-p doi:10.1145/3832276

RICE: Harnessing LLMs and Historical Issues to Discover Internal Rust Compiler Errors
Langyi Lu, Wei You, Bin Liang, and Jianjun Huang
(Renmin University of China, China)


Article Search Article: issta26main-p2212-p doi:10.1145/3832277

Efficient Predictive Monitoring of Message Passing Interface Programs
Jiaqiang Yao, Haocheng Geng, and Zhenbang Chen
(National University of Defense Technology, China)


Article Search Article: issta26main-p2224-p doi:10.1145/3832278

Contamination Means Overestimation? A Fine-Grained Empirical Study in Code Intelligence
Zhen Yang, Hongyi Lin, Yifan He, Junqi Wang, Zeyu Sun, Shuo Liu, Jie Xu, Pengpeng Wang, Zhongxing Yu, and Qingyuan Liang
(Shandong University, China; Institute of Software at Chinese Academy of Sciences, China; City University of Hong Kong, Hong Kong; Columbia University, USA; Peking University, China)


Article Search Article: issta26main-p2238-p doi:10.1145/3832279

A Closer Look at the Use of Reinforcement Learning for Speeding Up Runtime Verification of Software Tests
Shinhae Kim, Saikat Dutta, and Owolabi Legunsen
(Cornell University, USA)


Article Search Article: issta26main-p2242-p doi:10.1145/3832280

WITFuzz: Validity-Preserving Greybox Fuzzing for WebAssembly Interface Type Binding Generators
Hanqin Guan, Ningyu He, Shangtong Cao, Yifeng Cai, Yao Guo, and Ding Li
(Peking University, China; Hong Kong Polytechnic University, Hong Kong; Beijing University of Posts and Telecommunications, China; Beijing Tongming Lake Information Technology Application Innovation Center, China)


Article Search Article: issta26main-p2263-p doi:10.1145/3832281

On the Evaluation of Large Language Models in Unit Test Evolution
Weichang Liu, Junwei Zhang, Yuqing Niu, and Bo Zhou
(Zhejiang University, China; Singapore Management University, Singapore)


Article Search Article: issta26main-p2286-p doi:10.1145/3832282

STARS: Static Analysis-Guided Assertion Synthesis using Large Language Models
Jialun Cao, Haoyu Wang, Haoran Yan, Ming Wen, and Michael Pradel
(Hong Kong University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China; Huazhong University of Science and Technology, China; CISPA Helmholtz Center for Information Security, Germany)


Article Search Article: issta26main-p2323-p doi:10.1145/3832283

AdaptAgent: A Multi-agent, Domain-Guided Reasoning Framework for Code Adaptation
Xiaokai Rong, Hridya Dhulipala, Aashish Yadavally, and Tien N. Nguyen
(University of Texas at Dallas, USA; University of Central Florida, USA)


Article Search Article: issta26main-p2324-p doi:10.1145/3832284

Understanding Automated Program Repair Agents through the Lens of Traceability: An Empirical Study
Ira Ceka, Hailie Mitchell, Saurabh Pujar, Luca Buratti, Shyam Ramji, Junfeng Yang, Gail Kaiser, and Baishakhi Ray
(Columbia University, USA; IBM Research, USA)


Article Search Article: issta26main-p2374-p doi:10.1145/3832285

CONCUR: Benchmarking LLMs for Concurrent Code Generation
Jue Huang, Tarek Mahmud, Corina S. Pasareanu, and Guowei Yang
(University of Queensland, Australia; Texas A&M University, Kingsville, USA; Carnegie Mellon University, USA; NASA, USA; KBR, USA)


Article Search Article: issta26main-p2402-p doi:10.1145/3832286

PatchPorter: LLM-Driven Security Patch Porting via Version Tracing and Context Selection for NPM
Zeliang Yu, Ming Wen, Zichao Wei, Yulun Wu, Deqing Zou, and Hai Jin
(Huazhong University of Science and Technology, China; Chinese University of Hong Kong, China)


Article Search Article: issta26main-p2488-p doi:10.1145/3832287

AsyncLeakBench: A Curated Benchmark of Asynchronous Resource Leaks in Open-Source Java Projects
Jinyoung Kim, Jinseok Heo, Dongwook Choi, and Eunseok Lee
(Sungkyunkwan University, Republic of Korea)


Article Search Article: issta26main-p2489-p doi:10.1145/3832288

Systematically Cover SQL Syntactic Structures via k-Sequence
Hongtao Zhou, Yingying Zheng, Yu Gao, Jiansen Song, Xudong Xie, Rui Yang, Ziyu Cui, Wensheng Dou, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China)


Article Search Article: issta26main-p2496-p doi:10.1145/3832289

IssueExec: A Test-Driven Approach for Localizing Software Engineering Issues
Jiawei Liu, Yun Lin, Chenyan Liu, Yu Qian, Yiming Liu, Jiaxin Chang, Weinan Zhang, and Linpeng Huang
(Shanghai Jiao Tong University, China; Shanghai Innovation Institute, China; National University of Singapore, Singapore)


Article Search Article: issta26main-p2497-p doi:10.1145/3832290

Mathematically-Guided Detection of Floating-Point Errors
Youshuai Tan, Zhanwei Zhang, Haonan Zhang, Lianyu Zheng, Zishuo Ding, Jinfu Chen, and Weiyi Shang
(Hong Kong University of Science and Technology (Guangzhou), China; University of Waterloo, Canada; Wuhan University, China)


Article Search Article: issta26main-p2500-p doi:10.1145/3832291

TracePilot: Self-Verifiable Framework for Decentralized Applications Fault Localization across Transactions
Xuanyu Zhu, Zhiying Wu, Tao Wang, Ying Yan, Wei Zhou, Jiajing Wu, Zigui Jiang, and Zibin Zheng
(Sun Yat-sen University, China; Ant Group, China)


Article Search Article: issta26main-p2516-p doi:10.1145/3832292

Empowering Lightweight Language Models for Security Code Review via Context-Aware Distillation
Zixiao Zhao, Yanjie Jiang, Hui Liu, and Lu Zhang
(Peking University, China; Tianjin University, China; Beijing Institute of Technology, China)


Article Search Article: issta26main-p2517-p doi:10.1145/3832293

EvidenT: An Evidence-Preserving Framework for Iterative System-Level Package Repair
Chenyu Zhao, Minghua Ma, Shenglin Zhang, Zeshun Huang, Yongqian Sun, Chetan Bansal, Saravan Rajmohan, and Dan Pei
(Nankai University, China; Microsoft, USA; Tsinghua University, China)


Article Search Article: issta26main-p2564-p doi:10.1145/3832294

CARE: Cascading Impact-Aware Compliance Test Suite Evolution under Regulatory Changes
Zhiyi Xue, Xiaohong Chen, and Min Zhang
(East China Normal University, China)


Article Search Article: issta26main-p2703-p doi:10.1145/3832295

Fine-Grained Privacy Leakage Detection in OpenHarmony Apps
Aohan Mei, Guangliang Yang, Xinming Guo, Yi Wang, Fuan Gui, and Min Yang
(Fudan University, China)


Article Search Article: issta26main-p2727-p doi:10.1145/3832296

An Empirical Study and Benchmark of Kubernetes Misconfiguration Scanners
Haeun Eom, Bohyun Suk, and Sungjae Hwang
(Sungkyunkwan University, Republic of Korea; Republic of Korea Army, Republic of Korea)


Article Search Article: issta26main-p2747-p doi:10.1145/3832297

Towards Iterative End-to-End Software Development: A Feature-Driven Multi-agent Framework
Junwei Liu, Chen Xu, Chong Wang, Tong Bai, Weitong Chen, Kaseng Wong, Yiling Lou, and Xin Peng
(Fudan University, China; Nanyang Technological University, Singapore; University of Illinois at Urbana-Champaign, USA)


Article Search Article: issta26main-p2799-p doi:10.1145/3832298

Silence of Commit Messages: An Empirical Study for Vulnerability Commit Message Generation using Large Language Models
Hao Shen, Ming Hu, Jiaye Li, Xiaofei Xie, and Mingsong Chen
(East China Normal University, China; Singapore Management University, Singapore)


Article Search Article: issta26main-p2928-p doi:10.1145/3832299

Characterizing and Repairing Obsolete Android GUI Tests under UI Evolution
Shiwen Song, Yiheng Xiong, Wenbo Guo, Manqi Sun, Jiaolong Kong, and Xiaofei Xie
(Singapore Management University, Singapore; Nanyang Technological University, Singapore; University of Hong Kong, China)


Article Search Article: issta26main-p2990-p doi:10.1145/3832300

Project-Scale Statement-Level Fault Localization via Multi-view Semantic Learning and Pairwise Reranking
Hongwei Yu, Xu Wang, Jian Zhang, Xiangxin Meng, Jiarui Li, Yang Liu, and Chunming Hu
(Beihang University, China; Nanyang Technological University, Singapore)


Article Search Article: issta26main-p3023-p doi:10.1145/3832301