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

Title Page

Article: fse26foreword-fm000-p doi:

Editorial Message

Article: fse26foreword-fm001-p doi:

Sponsors

Article: fse26foreword-fm003-p doi:

Casting a SPELL: Sentence Pairing Exploration for LLM Limitation-Breaking
Yifan Huang, Xiaojun Jia, Wenbo Guo, Yuqiang Sun, Yihao Huang, Chong Wang, and Yang Liu
(Nanyang Technological University, Singapore; National University of Singapore, Singapore)

Publisher's Version Article: fse26maina-p10-p doi:10.1145/3797063

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
Zejun Zhang, Yixin Gan, Zhenchang Xing, Tian Zhang, Yi Li, Qinghua Lu, Sherry (Xiwei) Xu, and Liming Zhu
(Nanjing University, China; CSIRO's Data61, Australia; Nanyang Technological University, Singapore)

Publisher's Version Article: fse26maina-p27-p doi:10.1145/3797064

GadgetHunter: Region-Based Neuro-symbolic Detection of Java Deserialization Vulnerabilities
Kaixuan Li, Jian Zhang, Chong Wang, Sen Chen, Zong Cao, Min Zhang, and Yang Liu
(Nanyang Technological University, Singapore; Beihang University, China; Nankai University, China; Imperial Global Singapore of Imperial College London, Singapore; East China Normal University, China)

Publisher's Version Article: fse26maina-p42-p doi:10.1145/3797065

SnakeCharmer: Automatic Fuzzing Harness Generation for Pure and Hybrid Python Libraries
Gabriel Sherman and Stefan Nagy
(University of Utah, USA)

Publisher's Version Article: fse26maina-p67-p doi:10.1145/3797066

UNICS: Multilingual Code Search via Unified Pseudocode and Contrastive Transfer Learning
Ye Fan, Jidong Ge, Chuanyi Li, LiGuo Huang, and Bin Luo
(Nanjing University, China; Southern Methodist University, USA)

Publisher's Version Article: fse26maina-p88-p doi:10.1145/3797067

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao, Lei Xue, Xiapu Luo, and Xiao-Ming Wu
(Hong Kong Polytechnic University, Hong Kong; Sun Yat-sen University, China)

Publisher's Version Article: fse26maina-p90-p doi:10.1145/3797068

MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native Systems Powered by Meta Causal Knowledge
Shuai Liang, Pengfei Chen, Bozhe Tian, Gou Tan, Maohong Xu, Youjun Qu, Yahui Zhao, Yiduo Shang, and Chongkang Tan
(Sun Yat-sen University, China; China Unicom Software Research Institute, China; Individual Researcher, China)

Publisher's Version Article: fse26maina-p149-p doi:10.1145/3797069

Mitigating the Risk of Defects and Improving Knowledge Distribution with Code Reviewer Recommenders
Mohammadali Sefidi Esfahani and Peter C. Rigby
(Concordia University, Canada)

Publisher's Version Article: fse26maina-p175-p doi:10.1145/3797070

WalleTruth: Visual-Oriented Software Testing for Web3 Wallet Browser Extensions
Xiaohui Hu, Ningyu He, and Haoyu Wang
(Huazhong University of Science and Technology, China; Hong Kong Polytechnic University, Hong Kong)

Publisher's Version Article: fse26maina-p176-p doi:10.1145/3797150

Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
Zengyu Liu, Bai Xue, Pengfei Yang, and Ji Wang
(National University of Defense Technology, China; Institute of Software at Chinese Academy of Sciences, China; Institute of AI for Industries at Chinese Academy of Sciences, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26maina-p191-p doi:10.1145/3797151

Coding in a Bubble? Evaluating LLMs in Resolving Context Adaptation Bugs during Code Adaptation
Tanghaoran Zhang, Xinjun Mao, Shangwen Wang, Yuxin Zhao, Yao Lu, Zezhou Tang, Wenyu Xu, Longfei Sun, Changrong Xie, Kang Yang, and Yue Yu
(National University of Defense Technology, China; Peng Cheng Laboratory, China)

Publisher's Version Article: fse26maina-p224-p doi:10.1145/3797148

TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in the Cloud
Yitao Yang, Yangtao Deng, Yifan Xiong, Baochun Li, Hong Xu, and Peng Cheng
(Chinese University of Hong Kong, Hong Kong; Microsoft Research, Canada; University of Toronto, Canada; Microsoft Research, USA)

Publisher's Version Article: fse26maina-p227-p doi:10.1145/3797149

TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with LLMs
Xiaoxuan Zhou, Yiling Lou, Jinhao Dong, and Dan Hao
(Peking University, China; Northeastern University, China; Fudan University, China; Peking University Shenzhen Graduate School, China)

Publisher's Version Article: fse26maina-p261-p doi:10.1145/3797140

GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
Saleh Amareen, Arif Rahman, Sazzadur Rahaman, and Amiangshu Bosu
(Wayne State University, USA; University of Arizona, USA)

Publisher's Version Article: fse26maina-p262-p doi:10.1145/3797141

Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation
Tianyi Zhang, Shidong Pan, Zejun Zhang, Zhenchang Xing, and Xiaoyu Sun
(Australian National University, Australia; New York University, USA; Columbia University, USA; Nanyang Technological University, Singapore; CSIRO's Data61, Australia)

Publisher's Version Article: fse26maina-p296-p doi:10.1145/3797142

Understanding Performance Problems in CUDA Programs
Yuyang Bi, Junming Cao, You Lu, Bihuan Chen, Tianwei Gan, Dingji Wang, and Xin Peng
(Fudan University, China)

Publisher's Version Article: fse26maina-p299-p doi:10.1145/3797143

Do Not Treat Code as Natural Language: Implications for Repository-Level Code Generation and Beyond
Minh Le-Anh, Huyen Nguyen, An Khanh Tran, Nam Le Hai, Linh Ngo Van, Nghi D.Q. Bui, and Bach Le
(FPT Software AI Center, Vietnam; Hanoi University of Science and Technology, Vietnam; University of Melbourne, Australia)

Publisher's Version Article: fse26maina-p306-p doi:10.1145/3797144

Small Is Beautiful: A Practical and Efficient Log Parsing Framework
Minxing Wang and Yintong Huo
(Singapore Management University, Singapore)

Publisher's Version Published Artifact Artifacts Available Article: fse26maina-p310-p doi:10.1145/3797145

Validating LLM-Generated SQL Queries through Metamorphic Prompting
Li Lin, Qinglin Zhu, Jintai Hong, Chong Wang, Yang Liu, and Rongxin Wu
(Xiamen University, China; Nanyang Technological University, Singapore)

Publisher's Version Article: fse26maina-p328-p doi:10.1145/3797146

On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors
Yuhong Liu, Yunhe Su, Zhipeng Peng, Zhiwen Luo, Lin Shi, Zhi Jin, and Li Zhang
(Beihang University, China; Wuhan University, China)

Publisher's Version Article: fse26maina-p336-p doi:10.1145/3797147

Beyond Language Boundaries: Uncovering Programming Language Families for Code Language Models
Shangbo Yun, Xiaodong Gu, Jianghong Huang, and Beijun Shen
(Shanghai Jiao Tong University, China)

Publisher's Version Article: fse26maina-p343-p doi:10.1145/3797138

ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning
Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao, and Yepang Liu
(Northwestern Polytechnical University, China; Southern University of Science and Technology, China)

Publisher's Version Article: fse26maina-p354-p doi:10.1145/3797139

Speculate: Generating REST API Specifications using LLMs
Krishanu Singh, Kushagra Karar, Abhilash Jindal, and Guowei Yang
(IIT Delhi, India; University of Queensland, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26maina-p444-p doi:10.1145/3797118

SWE Data Construction, Automatically!
Lianghong Guo, Yanlin Wang, Caihua Li, Wei Tao, Pengyu Yang, Jiachi Chen, Haoyu Song, Duyu Tang, and Zibin Zheng
(Sun Yat-sen University, China; Independent Researcher, China; Huawei Technologies, China)

Publisher's Version Article: fse26maina-p451-p doi:10.1145/3797119

CertiCoder: Towards MISRA-Compliant C Code Generation with LLMs
Min Gou, Zhiyu Yao, Hualong Ma, Ende Zhang, Jian Zhou, and Fei He
(University of Electronic Science and Technology of China, China; Qiyuan Lab, China; Tsinghua University, China)

Publisher's Version Article: fse26maina-p499-p doi:10.1145/3797120

Recommending Usability Improvements with Multimodal Large Language Models
Sebastian Lubos, Alexander Felfernig, Damian Garber, Viet-Man Le, and Manuel Henrich
(Graz University of Technology, Austria; UNiQUARE Software Development, Austria)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26maina-p500-p doi:10.1145/3797121

PuzzleMark: Implicit Jigsaw Learning for Robust Code Dataset Watermarking in Neural Code Completion Models
Haocheng Huang, Yuchen Chen, Weisong Sun, Peizhuo Lv, Yuan Xiao, Chunrong Fang, Yang Liu, and Xiaofang Zhang
(Soochow University, China; Nanjing University, China; Nanyang Technological University, Singapore)

Publisher's Version Article: fse26maina-p509-p doi:10.1145/3797122

SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts
Yinghao Wu, Miaomiao Zhang, Fu Song, and John Baugh
(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; North Carolina State University, USA)

Publisher's Version Article: fse26maina-p514-p doi:10.1145/3797123

Protocol Reverse Engineering via Deep Transfer Learning
Yanyang Zhao, Zhengxiong Luo, Wenlong Zhang, Feifan Wu, Yuanliang Chen, Fuchen Ma, Qi Xu, Heyuan Shi, and Yu Jiang
(Tsinghua University, China; National University of Singapore, Singapore; Central South University, China)

Publisher's Version Article: fse26maina-p520-p doi:10.1145/3797124

Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study
Jingdong Guo, Chaopeng Dong, Yimo Ren, Siyuan Li, Jie Liu, Hong Li, and Hongsong Zhu
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Hangzhou Dianzi University, China; Shandong University, China)

Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p550-p doi:10.1145/3797125

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
Jiahong Xiang, Xiaoyang Xu, Xiaopan Chu, Hongliang Tian, and Yuqun Zhang
(Research Institute of Trustworthy Autonomous Systems, China; Southern University of Science and Technology, China; Ant Group, China)

Publisher's Version Published Artifact Artifacts Available ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p637-p doi:10.1145/3797126

BackportBench: A Multilingual Benchmark for Automated Patch Backporting
Zhiqing Zhong, Jiaming Huang, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China)

Publisher's Version Article: fse26maina-p717-p doi:10.1145/3797127

Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation
Zixi Liu, Yang Feng, Jialiang Jiang, and Baowen Xu
(Nanjing University, China)

Publisher's Version Article: fse26maina-p758-p doi:10.1145/3797128

Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs
He Yang Yuan, Xin Wang, Kundi Yao, An Ran Chen, Zishuo Ding, and Zhenhao Li
(York University, Canada; Hong Kong University of Science and Technology (Guangzhou), China; University of Waterloo, Canada; University of Alberta, Canada)

Publisher's Version Article: fse26maina-p783-p doi:10.1145/3797129

Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis
Fengjuan Gao, Qingjie Zhu, Yi Zhang, Yu Wang, Xuandong Li, and Ke Wang
(Nanjing University, China; Nanjing University of Science and Technology, China)

Publisher's Version Article: fse26maina-p791-p doi:10.1145/3797130

When Shared Worlds Break: Demystifying Defects in Multi-user Extended Reality Software Systems
Shuqing Li, Chenran Zhang, Binchang Li, Cuiyun Gao, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong; Harbin Institute of Technology, China)

Publisher's Version Article: fse26maina-p808-p doi:10.1145/3797131

Flash: Query-Efficient Black-Box Static Malware Evasion through Transferable GAN-Guided Modification Sequences
Anyuan Sang, Li Yang, Lu Zhou, Junbo Jia, and Huipeng Yang
(Xidian University, China)

Publisher's Version Article: fse26maina-p857-p doi:10.1145/3797132

JavaScript Pointer Analysis with Adaptive Heap Abstraction
Wenyuan Xu and Anders Møller
(Aarhus University, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26maina-p907-p doi:10.1145/3797133

ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems
Yuancheng Jiang, Jianing Wang, Chuqi Zhang, Roland H. C. Yap, Zhenkai Liang, and Manuel Rigger
(National University of Singapore, Singapore; Shandong University, China)

Publisher's Version Article: fse26maina-p919-p doi:10.1145/3797134

PROGnosticator: Testing Source-to-Source Code Translators via Construct-Oriented Fuzzing
Yeaseen Arafat and Stefan Nagy
(University of Utah, USA)

Publisher's Version Article: fse26maina-p922-p doi:10.1145/3797135

InDe-LLM: Defending against Jailbreak Attacks in LLM-Powered Systems via Intention Disentangling
Yujue Wang, Quan Zhang, Chijin Zhou, Gwihwan Go, Dalong Shi, and Yu Jiang
(Tsinghua University, China; East China Normal University, China; AVIC International Digital Network Technology, China)

Publisher's Version Article: fse26maina-p965-p doi:10.1145/3797136

TransLibEval: Demystify Large Language Models’ Capability in Third-Party Library-Targeted Code Translation
Pengyu Xue, Kunwu Zheng, Zhen Yang, Yifei Pei, Linhao Wu, Jiahui Dong, Xiapu Luo, Yan Xiao, Fei Liu, Yuxuan Zhang, Xiran Lyu, Xianhang Li, Xuanyu Zhu, and Chengyi Wang
(Shandong University, China; Hong Kong Polytechnic University, China; Sun Yat-sen University, China)

Publisher's Version Published Artifact Artifacts Available Article: fse26maina-p1029-p doi:10.1145/3797137

Mining Long Tail Bugs: Identifying Rare and Overlooked Issues in Code
Wentao Liang, Yanjun Wu, Xiang Ling, Tianyue Luo, Dinghao Liu, Haotian Zhang, and Jingzheng Wu
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Shandong University, China; Quan Cheng Laboratory, China)

Publisher's Version Article: fse26maina-p1049-p doi:10.1145/3797071

Pig: Leveraging Large Language Models for Python Library Migrations
Miryeong Kang, Wonseok Oh, Gabin An, and Hakjoo Oh
(Korea University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p1058-p doi:10.1145/3797072

VerilogASTBench: Benchmark Construction of Verilog AST Dataset with Dual-Stage AST Semantic Enhancement Framework
Luping Zhang, Chao Chen, Dapeng Yan, Hui Xu, Mingsheng Cao, Jingkuan Song, Zhikuang Cai, and Yufeng Guo
(Nanjing University of Posts and Telecommunications, China; University of Electronic Science and Technology of China, China)

Publisher's Version Article: fse26maina-p1087-p doi:10.1145/3797073

SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning
Hyegeun Song, Jiseong Han, and Sunbeom So
(Korea University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Article: fse26maina-p1131-p doi:10.1145/3797074

Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models
Ajmain Inqiad Alam, Palash Roy, Chanchal K. Roy, Banani Roy, and Kevin A. Schneider
(University of Saskatchewan, Canada)

Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p1134-p doi:10.1145/3797075

DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark-Poison Design
Yuchen Chen, Yuan Xiao, Chunrong Fang, Zhenyu Chen, and Baowen Xu
(Nanjing University, China)

Publisher's Version Article: fse26maina-p1135-p doi:10.1145/3797076

A Grounded Theory of Debugging in Professional Software Engineering Practice
Haolin Li and Michael Coblenz
(University of California at San Diego, USA)

Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p1140-p doi:10.1145/3797077

Binvariants: Enhancing Fuzzing of Closed-Source Binary Executables via Register-Level Likely Invariants
Zao Yang and Stefan Nagy
(University of Utah, USA)

Publisher's Version Article: fse26maina-p1145-p doi:10.1145/3797078

GraphLocator: Graph-Guided Causal Reasoning for Issue Localization
Wei Liu, Chao Peng, Pengfei Gao, Aofan Liu, Wei Zhang, Haiyan Zhao, and Zhi Jin
(Peking University, China; ByteDance, China; Wuhan University, China)

Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p1250-p doi:10.1145/3797079

Feature Slice Matching for Precise Bug Detection
Ke Ma, Jianjun Huang, Wei You, Bin Liang, Jingzheng Wu, Yanjun Wu, and Yuanjun Gong
(Renmin University of China, China; Institute of Software at Chinese Academy of Sciences, China; University of Trento, Italy)

Publisher's Version Article: fse26maina-p1298-p doi:10.1145/3797080

DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas
Shuangyu Lyu, Chuan Luo, Ruizhi Shi, Zhuo Su, and Chunming Hu
(Beihang University, China)

Publisher's Version Article: fse26maina-p1304-p doi:10.1145/3797081

Characterizing and Mitigating False-Positive Bug Reports in the Linux Kernel
Jiashuo Tian, Dong Wang, Chen Yang, Haichi Wang, Zan Wang, and Junjie Chen
(Tianjin University, China)

Publisher's Version Article: fse26maina-p1333-p doi:10.1145/3797082

Neuron-Guided Interpretation of Code LLMs: Where, Why, and How?
Zhe Yin, Xiaodong Gu, and Beijun Shen
(Shanghai Jiao Tong University, China)

Publisher's Version Info Article: fse26maina-p1339-p doi:10.1145/3797083

Reducing Cost of LLM Agents with Trajectory Reduction
Yuan-An Xiao, Pengfei Gao, Chao Peng, and Yingfei Xiong
(Peking University, China; ByteDance, China)

Publisher's Version Article: fse26maina-p1395-p doi:10.1145/3797084

TLR: Codebase-Level C Memory Management Error Repair with Large Language Models
Xiao Cheng, Zhihao Guo, Huan Huo, and Yulei Sui
(Macquarie University, Australia; University of Technology Sydney, Australia; UNSW, Australia)

Publisher's Version Article: fse26maina-p1413-p doi:10.1145/3797085

Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts
Jingyu Zhang, Fan Wang, Jacky Keung, Yihan Liao, Yan Xiao, and Lei Ma
(Hong Kong Metropolitan University, Hong Kong; City University of Hong Kong, Hong Kong; Sun Yat-sen University, Shenzhen, China; University of Tokyo, Japan; University of Alberta, Canada)

Publisher's Version Article: fse26maina-p1421-p doi:10.1145/3797086

AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
Ning Kang, Peng Zhang, Jianyuan Zhang, Hao Li, Dan Wang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
(Xi'an Jiaotong University, China; Huawei Cloud, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26maina-p1435-p doi:10.1145/3797087

Balancing Latency and Accuracy of Code Completion via Local-Cloud Model Cascading
Hanzhen Lu, Lishui Fan, Jiachi Chen, Qiuyuan Chen, Zhao Wei, and Zhongxin Liu
(Zhejiang University, China; Sun Yat-sen University, China; Tencent Technology, China)

Publisher's Version Article: fse26maina-p1516-p doi:10.1145/3797088

LoCaL: Countering Surface Bias in Code Evaluation Metrics
Simantika Bhattacharjee Dristi and Matthew B. Dwyer
(University of Virginia, USA)

Publisher's Version Published Artifact Artifacts Available Article: fse26maina-p1536-p doi:10.1145/3797089

SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching
Heedong Yang, Jeongwoo Lee, Hajin Yun, and Seunghoon Woo
(Korea University, Republic of Korea)

Publisher's Version Article: fse26maina-p1590-p doi:10.1145/3797090

OCPPuzz: Specification-Driven Fuzzing of Charging Station Management Systems with Large Language Model
Jongchan Hong, Jaewon Kim, and Sungjae Hwang
(Sungkyunkwan University, Republic of Korea)

Publisher's Version Article: fse26maina-p1789-p doi:10.1145/3797091

From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-Based Software Engineering Course
Yingying Wang, Masih Beigi Rizi, Fatemeh Khashei, and Julia Rubin
(University of British Columbia, Canada)

Publisher's Version Article: fse26maina-p1855-p doi:10.1145/3797092

Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis
Divya Rathore and Kartik Nagar
(IIT Madras, India)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26maina-p1898-p doi:10.1145/3797093

In Line with Context: Repository-Level Code Generation via Context Inlining
Chao Hu, Wenhao Zeng, Yuling Shi, Beijun Shen, and Xiaodong Gu
(Shanghai Jiao Tong University, China)

Publisher's Version Article: fse26maina-p1908-p doi:10.1145/3797094

Verifying Structural Robustness of Deep Neural Network
Hai Duong, Thanh Le, Lam Nguyen, and ThanhVu (Vu) Nguyen
(George Mason University, USA; National Institute of Information and Communications Technology, Japan; CMC Applied Technology Institute, Vietnam)

Publisher's Version Article: fse26maina-p1917-p doi:10.1145/3797095

IntentTester: Intent-Driven Multi-agent Framework for Cross-Library Test Migration
Yi Gao, Ziyuan Zhang, Xing Hu, Xiaohu Yang, and Xin Xia
(Zhejiang University, China; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China)

Publisher's Version Article: fse26maina-p1924-p doi:10.1145/3797096

Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code
Georgios-Petros Drosos, Georgios Alexopoulos, Thodoris Sotiropoulos, Dimitris Mitropoulos, and Zhendong Su
(ETH Zurich, Switzerland; University of Athens, Greece; National Infrastructures for Research and Technology, Greece)

Publisher's Version Published Artifact Artifacts Available Article: fse26maina-p2091-p doi:10.1145/3797097

Automating Dockerfile Refactoring to Multi-stage Builds
Dongjin Chen, Wenhua Yang, Minxue Pan, and Yu Zhou
(Nanjing University of Aeronautics and Astronautics, China; Nanjing University, China)

Publisher's Version Article: fse26maina-p2093-p doi:10.1145/3797098

TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment
Zhiqiang Yuan, Weitong Chen, Hanlin Wang, Xin Peng, Zhenpeng Chen, and Yiling Lou
(Fudan University, China; Tsinghua University, China)

Publisher's Version Article: fse26maina-p2151-p doi:10.1145/3797099

Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
Aoyang Fang, Songhan Zhang, Yifan Yang, Haotong Wu, Junjielong Xu, Xuyang Wang, Rui Wang, Manyi Wang, Qisheng Lu, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26maina-p2270-p doi:10.1145/3797100

Phantom Rendering Detection: Identifying and Analyzing Unnecessary UI Computations
Zhihao Lin, Mingyi Zhou, Bo Sun, Han Hu, Gang Fan, and Li Li
(Beihang University, China; Huawei, China; Huawei Hong Kong Research Center, Hong Kong)

Publisher's Version Article: fse26maina-p2280-p doi:10.1145/3797101

Comment Traps: How Defective Commented-Out Code Augment Defects in AI-Assisted Code Generation
Yuan Huang, Yukang Zhou, Xiangping Chen, and Zibin Zheng
(Sun Yat-sen University, China)

Publisher's Version Article: fse26maina-p2429-p doi:10.1145/3797102

Co-evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
Shuo Sun, Shixin Zhang, Jiwei Yan, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Article: fse26maina-p2456-p doi:10.1145/3797103

Interrogation Testing of CHC Solvers
David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, and Maria Christakis
(TU Wien, Austria; Diligence Security, Austria)

Publisher's Version Article: fse26maina-p2460-p doi:10.1145/3797104

Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding
Yi-Hung Chou, Boyuan Jiang, Yi Wen Chen, Mingyue Weng, Victoria Jackson, Thomas Zimmermann, and James A. Jones
(University of California at Irvine, USA; Independent Researcher, USA; Marketing Creative Associate, USA; University of Southampton, UK)

Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p2501-p doi:10.1145/3797105

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices
Jia Li, Hongyi Deng, Yiran Zhang, Kechi Zhang, Tianqi Shao, Tiankuo Zhao, Weinan Wang, Zhi Jin, Ge Li, Yang Liu, Yingtao Fang, and Yihong Dong
(Wuhan University, China; Peking University, China; Nanyang Technological University, Singapore)

Publisher's Version Article: fse26maina-p2570-p doi:10.1145/3797106

Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
Hang Du, Vijay Krishna Palepu, and James A. Jones
(University of California at Irvine, USA; Microsoft, USA)

Publisher's Version Article: fse26maina-p2650-p doi:10.1145/3797107

AccessDroid: Detecting Screen Reader Accessibility Issues in Android Applications via Semantics Trees
Hang Zhou and Wei Song
(Nanjing University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26maina-p2719-p doi:10.1145/3797108

Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System
Jaehyun Lee, Seokhun Jeong, and Sukyoung Ryu
(KAIST, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26maina-p2779-p doi:10.1145/3797109

Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug?
Kunyi Li, Sai Wu, Xiu Tang, Chang Yao, Songhao Bu, Quanqing Xu, and Gang Chen
(Zhejiang University, China; Ant Group, China)

Publisher's Version Info Article: fse26maina-p2854-p doi:10.1145/3797110

Behind Defective Mobile AR Apps: Studying Reviews and Bugs of Android AR Software with Comparison to Prior Bug Studies
Tahmid Rafi, Xueling Zhang, Jianwei Niu, and Xiaoyin Wang
(University of Texas at San Antonio, USA; Rochester Institute of Technology, USA)

Publisher's Version Article: fse26maina-p2998-p doi:10.1145/3797111

In Bugs We Trust? On Measuring the Randomness of a Fuzzer Benchmarking Outcome
Ardi Madadi, Seongmin Lee, Cornelius Aschermann, and Marcel Böhme
(MPI-SP, Germany; University of California at Los Angeles, USA; Ruhr-University Bochum, Germany)

Publisher's Version Article: fse26maina-p3037-p doi:10.1145/3797112

Spectrum-Based Failure Attribution for Multi-agent Systems
Yu Ge, Linna Xie, Zhong Li, Yu Pei, and Tian Zhang
(Nanjing University, China; Hong Kong Polytechnic University, China)

Publisher's Version Article: fse26maina-p3090-p doi:10.1145/3797113

Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
Juyeon Yoon, Somin Kim, Robert Feldt, and Shin Yoo
(KAIST, Republic of Korea; Chalmers University of Technology, Sweden)

Publisher's Version Published Artifact Artifacts Available ACM SIGSOFT Distinguished Paper Award Article: fse26maina-p3213-p doi:10.1145/3797114

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
Xiwen Teoh, Yun Lin, Duc-Minh Nguyen, Ruofei Ren, Wenjie Zhang, and Jin Song Dong
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China)

Publisher's Version Article: fse26maina-p3243-p doi:10.1145/3797115

Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-Preserving Transformations
Jiyong Uhm, Minseok Kim, Michalis Polychronakis, and Hyungjoon Koo
(Sungkyunkwan University, Republic of Korea; Stony Brook University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26maina-p3336-p doi:10.1145/3797116

Understanding the Limitations of C/C++ Binary Third-Party Library Detection Tool: An Empirical Study at Scale
Chengyue Liu, Zhengzi Xu, Kaixuan Li, Jiahui Wu, Sihao Qiu, Siyuan Li, Siyang Xiong, Yang Xiao, and Yang Liu
(Nanyang Technological University, Singapore; Imperial Global Singapore of Imperial College London, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Desay SV Automotive Singapore Pte, Singapore; at Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p13-p doi:10.1145/3808096

PlayCoder: Making LLM-Generated GUI Code Playable
Zhiyuan Peng, Wei Tao, Xin Yin, Chenhao Ying, Yuan Luo, and Yiwen Guo
(Shanghai Jiao Tong University, China; LIGHTSPEED, China; Zhejiang University, China; Independent Researcher, China)

Publisher's Version Article: fse26mainb-p28-p doi:10.1145/3808097

Multi-LLM Persona Generation for Virtual Focus Groups in Software Engineering: A Controlled, Multi-domain Study of Emotional Requirements Elicitation
Guangrui Fan, Dandan Liu, Lihu Pan, Rui Zhang, and Qian Guo
(Taiyuan University of Science and Technology, China; Universiti Malaya, China)

Publisher's Version Article: fse26mainb-p38-p doi:10.1145/3808098

Large Language Models for Opaque Predicate Resolution: A Universal Control Flow Deobfuscation Framework
Xiao Chen, Qiuyun Wang, Shuwei Wang, Weize Zhang, Yuling Liu, Baoxu Liu, and Zhengwei Jiang
(Institute of Information Engineering at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p45-p doi:10.1145/3808099

SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis
Minki Lee, Seojin Lee, and Seulbae Kim
(Pohang University of Science and Technology, Republic of Korea; Daegu Gyeongbuk Institute of Science and Technology, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p61-p doi:10.1145/3808100

Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing
Chaozheng Wang, Zezhou Yang, Shuzheng Gao, Cuiyun Gao, Zongjie Li, Yichen Li, Ting Peng, Hailiang Huang, Yuetang Deng, and Michael R. Lyu
(Chinese University of Hong Kong, China; Hong Kong University, China; Hong Kong University of Science and Technology, China; Tencent, China; Chinese University of Hong Kong, Hong Kong)

Publisher's Version Article: fse26mainb-p79-p doi:10.1145/3808101

Bash-Commenter: Leveraging Syntax-Aware Preference Optimization to Reinforce Large Language Model for Bash Code Comment Generation
Lei Yu, Jingyuan Zhang, Xin Wang, Li Yang, Fengjun Zhang, Peng Wang, Jia Xu, and Jiajia Ma
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p86-p doi:10.1145/3808102

AgentBound: Securing Execution Boundaries of AI Agents
Christoph Bühler, Matteo Biagiola, Luca Di Grazia, and Guido Salvaneschi
(University of St. Gallen, Switzerland; USI Lugano, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p93-p doi:10.1145/3808103

SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
Lei Yu, Jingyuan Zhang, Xin Wang, Li Yang, Fengjun Zhang, and Jiajia Ma
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p94-p doi:10.1145/3808104

It Takes Two: Option-Aware Directed Greybox Fuzzing for Vulnerability PoC Generation
Susheng Wu, Xin Hu, Yiheng Cao, Zhuotong Zhou, Yiheng Huang, Yijian Wu, Bihuan Chen, Zhijia Zhao, and Xin Peng
(Fudan University, China)

Publisher's Version Article: fse26mainb-p122-p doi:10.1145/3808105

Fairness Testing of Large Language Models in Role-Playing
Xinyue Li, Zhenpeng Chen, Jie M. Zhang, Ying Xiao, Tianlin Li, Weisong Sun, Yang Liu, Yiling Lou, and Xuanzhe Liu
(Peking University, China; Tsinghua University, China; King's College London, UK; Nanyang Technological University, Singapore; University of Illinois at Urbana-Champaign, USA)

Publisher's Version Article: fse26mainb-p144-p doi:10.1145/3808106

Exorcist: Enabling Atomic-Level Runtime Detection of Spectre Attacks using Precise Event Based Sampling
Hao Jia, Haoyu Ma, Changfeng Ding, and Jinku Li
(Xidian University, China; Beijing Jiaotong University, China)

Publisher's Version Article: fse26mainb-p147-p doi:10.1145/3808107

V2E: Validating Smart Contract Vulnerabilities through Profit-Driven Exploit Generation and Execution
Jingwen Zhang, Yuhong Nan, Kaiwen Ning, Mingxi Ye, Wei Li, Yuming Xiao, Yuming Feng, Weizhe Zhang, and Zibin Zheng
(Sun Yat-sen University, China; Peng Cheng Laboratory, China; Harbin Institute of Technology, China)

Publisher's Version Article: fse26mainb-p150-p doi:10.1145/3808108

Eidolon: Perform Noise-Aware Fuzzing on FHE Libraries via Equivalence Expression Transformation
Zhensheng Xian, Zhen Yan, Yuanliang Chen, Xuelian Cao, Fuchen Ma, Dalong Shi, and Yu Jiang
(Tsinghua University, China; Aviation Industry Corporation of China, China)

Publisher's Version Article: fse26mainb-p157-p doi:10.1145/3808109

Denoising Fault Localization with Test Line Proximity
Marius Smytzek and Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p171-p doi:10.1145/3808110

CrossFit: Demystifying VM Callback Bugs in Interpreters
Chibin Zhang, Qiang Liu, and Mathias Payer
(EPFL, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p174-p doi:10.1145/3808111

Detecting Code-Comment Inconsistencies in Smart Contracts by Combining LLM and Program Analysis
Jiashuo Zhang, Jiachi Chen, Ting Zhang, Yue Li, Daoyuan Wu, Yanlin Wang, Jianbo Gao, Ting Chen, and Zhong Chen
(Peking University, China; Zhejiang University, China; Taiyuan University of Technology, China; Lingnan University, Hong Kong; Sun Yat-sen University, China; Beijing Jiaotong University, China; University of Electronic Science and Technology of China, China)

Publisher's Version Article: fse26mainb-p186-p doi:10.1145/3808112

Aligning with Human Coding Preferences for Improving Code Generation
Xin Yin, Chao Ni, and Xiaohu Yang
(Zhejiang University, China)

Publisher's Version Article: fse26mainb-p194-p doi:10.1145/3808113

EfficientUICoder: A Bidirectional Token Compression Framework for Efficient MLLM-Based UI Code Generation
Jingyu Xiao, Zhongyi Zhang, Yuxuan Wan, Yintong Huo, Yang Liu, and Michael R. Lyu
(Chinese University of Hong Kong, China; Huazhong University of Science and Technology, China; Singapore Management University, Singapore; Nanyang Technological University, Singapore; Chinese University of Hong Kong, Hong Kong)

Publisher's Version Article: fse26mainb-p200-p doi:10.1145/3808114

Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering
Francesco Sovrano, Gabriele Dominici, and Alberto Bacchelli
(Collegium Helveticum at ETH Zurich, Switzerland; University of Zurich, Switzerland; University of Italian-Speaking Switzerland, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p207-p doi:10.1145/3808115

Break to Adapt: Knowledge-Based Updates of Breaking Dependencies in JavaScript
Yifan Xia, Chengwei Liu, Zifan Xie, Lyuye Zhang, Peiyu Liu, Kangjie Lu, Yang Liu, Wenhai Wang, and Shouling Ji
(Zhejiang University, China; Nankai University, China; Chongqing University, China; Nanyang Technological University, Singapore; University of Minnesota, USA)

Publisher's Version Article: fse26mainb-p219-p doi:10.1145/3808116

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
Jia Li, Zhuangbin Chen, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong; Sun Yat-sen University, China)

Publisher's Version Article: fse26mainb-p225-p doi:10.1145/3808117

GREClue: Failure Indexing with Graph-Based Failure Representation and Entropy-Based Deep Clustering
Zhenyu Yang and Zhongxing Yu
(Shandong University, China)

Publisher's Version Article: fse26mainb-p229-p doi:10.1145/3808118

Understanding Code Similarity across Instruction Set Architectures: An Empirical Study
Haonan Yu, Jiaxin Zhu, Yingying Zheng, Yuwei Zhang, Wei Wang, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Chinese Academy of Sciences Nanjing, China; Nanjing Institute of Software Technology, China)

Publisher's Version Article: fse26mainb-p270-p doi:10.1145/3808119

How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior
Yinan Wu, Ze Shi Li, Kathryn Thomasset Stolee, and Bowen Xu
(North Carolina State University, USA; University of Oklahoma, USA)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p272-p doi:10.1145/3808120

Adaptive Mutation Scheduling with Deep Reinforcement Learning for Smart Contract Fuzzing
Qianqian Pang, Xin Yin, Tingting Bi, Lingfeng Bao, Chao Ni, and Xiaohu Yang
(Zhejiang University, China; University of Melbourne, Australia)

Publisher's Version Article: fse26mainb-p273-p doi:10.1145/3808121

Reducing the TCB of SGX-Oriented LibOSes at Runtime
Donghui Yu, Dahan Pan, Fengwei Zhang, Haoran Fang, Ya Fang, and Yuanyuan Zhang
(Shanghai Jiao Tong University, China)

Publisher's Version Article: fse26mainb-p290-p doi:10.1145/3808122

Reward-Free Code Alignment from Pretrained or Fine-Tuned LLM: Unpacking the Trade-offs for Code Generation
Sanjeepan Sivapiran and Gias Uddin
(York University, Canada)

Publisher's Version Article: fse26mainb-p293-p doi:10.1145/3808123

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
Teyu Lin, Minghao Fan, Huaxun Huang, Zhirong Shen, and Rongxin Wu
(Xiamen University, China)

Publisher's Version Article: fse26mainb-p301-p doi:10.1145/3808124

Understanding and Predicting Accepted Code Suggestions in AI-Assisted Programming
Jing Jiang, Liehao Li, Jinyun Hou, Xin Tan, and Li Zhang
(Beihang University, China)

Publisher's Version Article: fse26mainb-p302-p doi:10.1145/3808125

Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
Felipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto, Daniel Sadoc Menasche, Gustavo Bittencourt Figueiredo, and Eduardo Santana de Almeida
(Federal University of Bahia, Brazil; University of Notre Dame, USA; Federal Rural University of Pernambuco, Brazil; Federal University of Rio de Janeiro, Brazil)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p311-p doi:10.1145/3808126

Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification
Luca Brodo, Giuseppe Scalora, and Stefan Henkler
(Hamm-Lippstadt University of Applied Sciences, Germany)

Publisher's Version Article: fse26mainb-p322-p doi:10.1145/3808127

OdoTest: An Automated Testing Approach for Odometry Systems
Jixiang Zhou, Mingfei Cheng, Shuncheng Tang, An Guo, Xiaofei Xie, Yinxing Xue, and Lijun Zhang
(University of Science and Technology of China, China; Singapore Management University, Singapore; Hong Kong Polytechnic University, China; Institute of AI for Industries, China; Institute of Software at Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p323-p doi:10.1145/3808128

Evaluating LLM-Based Regression Test Generation
Jing Liu, Seongmin Lee, Eleonora Losiouk, and Marcel Böhme
(MPI-SP, Germany; University of California at Los Angeles, USA; University of Padua, Italy)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p337-p doi:10.1145/3808129

ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering
Md Awsaf Alam Anindya, Showvik Biswas, Anindya Iqbal, Jaydeb Sarker, and Amiangshu Bosu
(Bangladesh University of Engineering and Technology, Bangladesh; University of Nebraska Omaha, USA; Wayne State University, USA)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p349-p doi:10.1145/3808130

RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models
Yanlin Wang, Suiquan Wang, Yanli Wang, Bowen Zhang, Daya Guo, Jiachi Chen, and Zibin Zheng
(Sun Yat-sen University, China)

Publisher's Version Article: fse26mainb-p365-p doi:10.1145/3808131

VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications
Hao Zhu, Jia Li, Cuiyun Gao, Jiaru Qian, Yihong Dong, Huanyu Liu, Lecheng Wang, Ziliang Wang, Xiaolong Hu, and Ge Li
(Peking University, China; Tsinghua University, China; Harbin Institute of Technology, China; New H3C Technologies, China)

Publisher's Version Article: fse26mainb-p370-p doi:10.1145/3808132

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study
Mingwei Liu, Zheng Pei, Yanlin Wang, Zihao Wang, Zikang Li, Enci Lin, Xin Peng, and Zibin Zheng
(Sun Yat-sen University, China; Zhuhai Key Laboratory of Trusted Large Language Models, China; Fudan University, China)

Publisher's Version Article: fse26mainb-p376-p doi:10.1145/3808133

Look Before You Leap: Context-Sensitive GUI Grounding for Boosting Automated Extended Reality (XR) Testing
Shuqing Li, Binchang Li, Yepang Liu, Cuiyun Gao, Jianping Zhang, Shing-Chi Cheung, and Michael R. Lyu
(Chinese University of Hong Kong, China; Harbin Institute of Technology, China; Southern University of Science and Technology, China; Harbin Institute of Technology, Shenzhen, China; Hong Kong University of Science and Technology, China)

Publisher's Version Article: fse26mainb-p380-p doi:10.1145/3808134

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
Minqi Shao, Shangzhou Xia, and Jianjun Zhao
(Kyushu University, Japan)

Publisher's Version Article: fse26mainb-p395-p doi:10.1145/3808135

ReFLAIR: Detecting Responsive Layout Reflow Issues using Multimodal Generative AI
Yirui He, Ziyao He, Syed Fatiul Huq, and Sam Malek
(University of California at Irvine, USA)

Publisher's Version Article: fse26mainb-p429-p doi:10.1145/3808136

TORAI: Multi-source Root Cause Analysis for Blind Spots in Microservice Service Call Graph
Luan Pham, Huong Ha, Xiuzhen Zhang, and Hongyu Zhang
(RMIT University, Australia; Chongqing University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p431-p doi:10.1145/3808137

One Size Does Not Fit All: Revisiting Code Context Engineering for Repository-Level Code Generation
Yichen Li, Qiye Lin, Yun Peng, Zhihan Jiang, Jinyang Liu, Chaozheng Wang, Yintong Huo, and Cuiyun Gao
(Chinese University of Hong Kong, China; Harbin Institute of Technology, Shenzhen, China; Singapore Management University, Singapore)

Publisher's Version Article: fse26mainb-p432-p doi:10.1145/3808138

Hallucinations in LLM-Based Code Summarization: Unveiling, Detection, and Mitigation
Guanghua Wan, Yuanning Feng, Yao Wan, Zhaoyang Chu, Zhangqian Bi, Junxiao Han, Zhou Zhao, Hongyu Zhang, Pingpeng Yuan, Xuanhua Shi, and Hai Jin
(Huazhong University of Science and Technology, China; Hangzhou City University, China; Zhejiang University, China; Chongqing University, China)

Publisher's Version Article: fse26mainb-p438-p doi:10.1145/3808139

CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
Pascal Joos, Islem Bouzenia, and Michael Pradel
(CISPA Helmholtz Center for Information Security, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p442-p doi:10.1145/3808140

Thought Is All You Need: Smart Contract Vulnerability Detection with Thought-Augmented Large Language Model
Chaoyuan Peng, Muhui Jiang, Yajin Zhou, and Lei Wu
(Zhejiang University, China; BlockSec, China)

Publisher's Version Article: fse26mainb-p446-p doi:10.1145/3808141

AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code Generation
Kaifeng He, Mingwei Liu, Chong Wang, Zike Li, Yanlin Wang, Xin Peng, and Zibin Zheng
(Sun Yat-sen University, China; Nanyang Technological University, Singapore; Fudan University, China)

Publisher's Version Article: fse26mainb-p469-p doi:10.1145/3808142

StepFly: Agentic Troubleshooting Guide Automation for Incident Diagnosis
Jiayi Mao, Liqun Li, Yanjie Gao, Zegang Peng, Shilin He, Chaoyun Zhang, Si Qin, Samia Khalid, Qingwei Lin, Saravan Rajmohan, Sitaram Lanka, and Dongmei Zhang
(Tsinghua University, China; Microsoft, China; Microsoft Research, China; Renmin University of China, China; Microsoft, USA)

Publisher's Version Article: fse26mainb-p519-p doi:10.1145/3808143

SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation
Zhengran Zeng, Ruikai Shi, Keke Han, Yixin Li, Kaicheng Sun, Yidong Wang, Zhuohao Yu, Rui Xie, Wei Ye, and Shikun Zhang
(Peking University, China; Northwestern Polytechnical University, China)

Publisher's Version Article: fse26mainb-p535-p doi:10.1145/3808144

GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs
Jiaqi He and Karim Ali
(University of Alberta, Canada; NYU Abu Dhabi, United Arab Emirates)

Publisher's Version Article: fse26mainb-p564-p doi:10.1145/3808145

Automated Knowledge-Aware Test Reuse
Ziyuan Zhang, Yi Gao, Xing Hu, Xin Xia, and Shanping Li
(Zhejiang University, China; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China)

Publisher's Version Article: fse26mainb-p605-p doi:10.1145/3808146

Evaluating Risk and Confidence in Performance Bounds of Configuration Sampling Strategies
Kallistos Weis, Martina Maggio, Norbert Siegmund, and Sven Apel
(Saarland University, Germany; Lund University, Sweden; ScaDS.AI, Germany; Leipzig University, Germany)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p612-p doi:10.1145/3808147

Can Old Tests Do New Tricks for Resolving SWE Issues?
Yang Chen, Toufique Ahmed, Reyhaneh Jabbarvand, and Martin Hirzel
(University of Illinois at Urbana-Champaign, USA; IBM Research, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p613-p doi:10.1145/3808148

SQLiFuzz: Uncovering SQL Injection in Any Web Applications
I Putu Arya Dharmaadi, Van-Thuan Pham, Fadi Mohsen, and Fatih Turkmen
(University of Groningen, Netherlands; Udayana University, Indonesia; University of Melbourne, Australia)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p620-p doi:10.1145/3808149

ScanCoder: Leveraging Human Attention Patterns to Enhance LLMs for Code
Yueke Zhang, Yifan Zhang, Zihan Fang, Greg Trafton, Daniel Levin, Kevin Leach, and Yu Huang
(Vanderbilt University, USA; US Naval Research Laboratory, USA)

Publisher's Version Article: fse26mainb-p630-p doi:10.1145/3808150

Cross-Refactoring-Type Test Program Migration for Refactoring Engines
Chunhao Dong, Yanjie Jiang, Yang Zhang, Yuxia Zhang, and Hui Liu
(Beijing Institute of Technology, China; Tianjin University, China; Hebei University of Science and Technology, China)

Publisher's Version Article: fse26mainb-p672-p doi:10.1145/3808151

ViBR: Automated Bug Replay from Video-Based Reports using Vision-Language Models
Sidong Feng, Dingbang Wang, Nikola Tomic, Tingting Yu, Aldeida Aleti, and Chunyang Chen
(Chinese University of Hong Kong, Shenzhen, China; University of Connecticut, USA; TU Munich, Germany; Monash University, Australia)

Publisher's Version Article: fse26mainb-p692-p doi:10.1145/3808152

From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing
Linfeng Liang, Xiao Cheng, Tsong Yueh Chen, and Xi Zheng
(Macquarie University, Australia; Swinburne University of Technology, Australia)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p753-p doi:10.1145/3808153

Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
Yoel Kim and Yunja Choi
(Kyungpook National University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p759-p doi:10.1145/3808154

A Wily Hare Has Three Havens: Combating Programmable Logic Controller Attacks via Virtualization Redundancy
Wenjie Wang, Yazhe Wang, and Lei Ren
(Zhongguancun Laboratory, China)

Publisher's Version Article: fse26mainb-p790-p doi:10.1145/3808155

Boosting LLMs for Mutation Generation
Bo Wang, Ming Deng, Mingda Chen, Chengran Yang, Youfang Lin, Mark Harman, Mike Papadakis, and Jie M. Zhang
(Beijing Jiaotong University, China; Beijing Key Laboratory of Traffic Data Mining and Embodied Intelligence, China; Singapore Management University, Singapore; University College London, UK; University of Luxembourg, Luxembourg; King's College London, UK)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p824-p doi:10.1145/3808156

ChainDelta: Automatic Patch-Based Exploit Generation for Ethereum with Fuzzing Agents
Mingxi Ye, Yuhong Nan, Zhijie Zhong, Jianzhong Su, Xingwei Lin, Peilin Zheng, and Zibin Zheng
(Sun Yat-sen University, China; Guangdong Engineering Technology Research Center of Blockchain, China; Zhejiang University, China)

Publisher's Version Article: fse26mainb-p839-p doi:10.1145/3808157

From Suspicious Signals to Crashes: Guiding Bug-Driven GUI Testing via Code-Inspired Tracing
Mengzhuo Chen, Zhe Liu, Chunyang Chen, Junjie Wang, Yuekai Huang, Boyu Wu, Jun Hu, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; TU Munich, Germany)

Publisher's Version Article: fse26mainb-p844-p doi:10.1145/3808158

Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study
Weijie Liu, Hongbo Chen, Shuo Huai, Zhen Xu, Wenhao Wang, XiaoFeng Wang, Danfeng Zhang, Zhi Li, Haixu Tang, and Zheli Liu
(Nankai University, China; Indiana University Bloomington, USA; Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; Duke University, USA; Huazhong University of Science and Technology, China)

Publisher's Version Article: fse26mainb-p848-p doi:10.1145/3808159

Odyssey: Hunting Smart Contract Vulnerabilities with Fine-Grained State Modeling and Exploration
Jianzhong Su, Mingxi Ye, Jiachi Chen, Yuhong Nan, Peilin Zheng, Tao Zhang, and Zibin Zheng
(Sun Yat-sen University, China; GuangDong Engineering Technology Research Center of Blockchain, China; Macau University of Science and Technology, China; Sun Yat-sen University, Guangzhou, China)

Publisher's Version Article: fse26mainb-p869-p doi:10.1145/3808160

NESA: Relational Neuro-Symbolic Static Program Analysis
Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Jinyao Guo, Mingwei Zheng, Qingkai Shi, and Xiangyu Zhang
(Purdue University, USA)

Publisher's Version Article: fse26mainb-p877-p doi:10.1145/3808161

LLM-Assisted Input-Requirement-Aware Differential Testing of Array Programming Frameworks
Zhichao Zhou and Jingzhu He
(ShanghaiTech University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p951-p doi:10.1145/3808162

VisionScratch: LLM-Based Automated Feedback Generation using Code-Produced Videos for Scratch Programs
Yuan Si, Daming Li, Hanyuan Shi, and Jialu Zhang
(University of Waterloo, Canada; Independent Researcher, USA; Independent Researcher, China)

Publisher's Version Article: fse26mainb-p970-p doi:10.1145/3808163

Agentic Verification of Software Systems
Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, and Abhik Roychoudhury
(National University of Singapore, Singapore)

Publisher's Version Article: fse26mainb-p985-p doi:10.1145/3808164

The Effect of Complexity and Provenance on Code Review Decisions: Evidence from a Controlled Experiment
Neha Singh, Francesco Sovrano, Vincent Hellendoorn, and Alberto Bacchelli
(University of Zurich, Switzerland; Google DeepMind, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p998-p doi:10.1145/3808165

DualCodeDetect: Zero-Shot LLM-Generated Code Detection via Dual-Channel Perturbation
Zhengdao Li, Xiuwei Shang, Zhenkan Fu, Shikai Guo, Weiming Zhang, NengHai Yu, and Kejiang Chen
(University of Science and Technology of China, China; Dalian Maritime University, China)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p1013-p doi:10.1145/3808166

Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependence Analysis
Xiaoqin Fu and Haipeng Cai
(Washington State University, USA; SUNY Buffalo, USA)

Publisher's Version Article: fse26mainb-p1042-p doi:10.1145/3808167

Unveiling AI-Driven Web Applications: Insights into Characteristics, Functionality, and Compliance
Liuhuo Wan, Zicong Liu, Chuan Yan, Liujia Wan, Naipeng Dong, Zi Huang, and Guangdong Bai
(University of Queensland, Australia; Northeastern University, China; City University of Hong Kong, Hong Kong)

Publisher's Version Article: fse26mainb-p1065-p doi:10.1145/3808168

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
Zhiqiang Yuan, Wenjun Mao, Zhuo Chen, Xiyue Shang, Chong Wang, Yiling Lou, and Xin Peng
(Fudan University, China; Nanyang Technological University, Singapore)

Publisher's Version Article: fse26mainb-p1091-p doi:10.1145/3808169

CuFuzz: An API-Knowledge-Graph Coverage-Driven Fuzzing Framework for CUDA Libraries
Ximing Fan, Yong Fang, Peng Jia, Yang Liu, Yijia Xu, Xi Peng, and Yuhao Zhou
(Sichuan University, China; Nanyang Technological University, Singapore)

Publisher's Version Article: fse26mainb-p1117-p doi:10.1145/3808170

Understanding, Detecting, and Repairing Real-World In-Context-Learning-Based Text-to-SQL Errors
Jiawei Shen, Chengcheng Wan, Ruoyi Qiao, Jiazhen Zou, Hang Xu, Yuchen Shao, Yueling Zhang, Weikai Miao, and Geguang Pu
(East China Normal University, China; Shanghai Innovation Institute, China)

Publisher's Version Article: fse26mainb-p1132-p doi:10.1145/3808171

An Empirical Study of Fuzz Harness Degradation
Philipp Görz, Joschua Schilling, Nicolai Bissantz, and Thorsten Holz
(Ruhr-University Bochum, Germany; CISPA Helmholtz Center for Information Security, Germany; MPI-SP, Germany)

Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: fse26mainb-p1142-p doi:10.1145/3808172

Towards Automated Crowdsourced Testing via Personified-LLM
Shengcheng Yu, Yuchen Ling, Chunrong Fang, Zhenyu Chen, and Chunyang Chen
(TU Munich, Germany; Nanjing University, China)

Publisher's Version Article: fse26mainb-p1153-p doi:10.1145/3808173

DECODE: Dynamic Exploration for Constraint-Guided Vulnerability Discovery in Deep Learning Operators
Haotong Liu, Zhi Wang, Zhuohang Liu, and Wanpeng Li
(Nankai University, China; University of Liverpool, UK)

Publisher's Version Article: fse26mainb-p1216-p doi:10.1145/3808174

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
Tobias Kiecker, Jan Arne Sparka, Martin Reuter, Albert Ziegler, and Lars Grunske
(Humboldt-Universität zu Berlin, Germany; XBOW, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p1294-p doi:10.1145/3808175

A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software Systems
Kaichen Chen, Yi Xiang, Haining Wang, Jiatong Ma, Fujian Feng, Miqing Li, and Han Huang
(South China University of Technology, China; Guizhou Minzu University, China; University of Birmingham, UK; Sun Yat-sen University, China)

Publisher's Version Article: fse26mainb-p1351-p doi:10.1145/3808176

ReGA: Model-Based Safeguard for LLMs via Representation-Guided Abstraction
Zeming Wei, Chengcan Wu, and Meng Sun
(Peking University, China)

Publisher's Version Article: fse26mainb-p1401-p doi:10.1145/3808177

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
Deniz Simsek, Aryaz Eghbali, and Michael Pradel
(University of Stuttgart, Germany; CISPA Helmholtz Center for Information Security, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p1422-p doi:10.1145/3808178

ReDef: Do Code Language Models Truly Understand Code Changes for Just-in-Time Software Defect Prediction?
Doha Nam, Taehyoun Kim, Duksan Ryu, and Jongmoon Baik
(KAIST, Republic of Korea; Agency for Defense Development, Republic of Korea; Jeonbuk National University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p1468-p doi:10.1145/3808179

Towards the Localization of Multi-Root-Cause Failures in Microservice Systems: An Active Intervention Framework
Yazhuo Gao, Lin Yang, Lianxiao Meng, Ran Zhu, and Yining Cao
(PLA Academy of Military Sciences, China; Information Engineering University, Zhengzhou, China; National Key Laboratory of Science and Technology on Information System Engineering, Beijing, China; National Key Laboratory of Science and Technology on Information System Engineering, China)

Publisher's Version Article: fse26mainb-p1480-p doi:10.1145/3808180

ExpeRepair: Dual-Memory Enhanced LLM-Based Repository-Level Program Repair
Fangwen Mu, Junjie Wang, Lin Shi, Song Wang, Shoubin Li, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beihang University, China; York University, Canada)

Publisher's Version Article: fse26mainb-p1572-p doi:10.1145/3808181

Bringing Managed Language Support to WebAssembly with External Library Linking
Shuyao Jiang, Ruiying Zeng, Yangfan Zhou, and Michael R. Lyu
(Chinese University of Hong Kong, China; Fudan University, China)

Publisher's Version Article: fse26mainb-p1581-p doi:10.1145/3808182

Unleashing HPC Application Performance through Software Deployment: A Joint Model of Software Parallelism and Co-location
Yuxin Ren, Li Zhou, Chumin Sun, Rui Fan, Jie Sun, Ning Jia, and Xinwei Hu
(Huawei Technologies, China; Huawei Technologies, Hong Kong)

Publisher's Version Article: fse26mainb-p1609-p doi:10.1145/3808183

CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu, Xiaoyan Gu, Xianhui Lu, Hongbo Liu, Bingzheng Wang, Haihui Fan, Ziming Zhao, Rui Zhang, and Li Zhou
(Institute of Information Engineering at Chinese Academy of Sciences, China; Zhejiang University, China; Institute of Software at Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p1639-p doi:10.1145/3808184

Failure-Based Testing for Deep Reinforcement Learning Agents
Weibin Lin, Jiangtao Meng, and Zheng Zheng
(Beihang University, China)

Publisher's Version Article: fse26mainb-p1647-p doi:10.1145/3808185

EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
Luan Pham, Victor Nicolet, Joey Dodds, Hui Guan, and Daniel Kroening
(RMIT University, Australia; Amazon, Canada; Amazon, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p1676-p doi:10.1145/3808186

GAER: Graph Auto-encoders for Unsupervised Software Architecture Recovery
Rakhshanda Jabeen, Morgan Ericsson, Jonas Nordqvist, and Anna Wingkvist
(Electrolux Professional, Sweden; Linnaeus University, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p1793-p doi:10.1145/3808187

Unveiling the Fragility of Binary Code Similarity Detection via Targeted Attacks with Model Explanations
Mingjie Chen, Tiancheng Zhu, Mingxue Zhang, Yiling He, Minghao Lin, Penghui Li, and Kui Ren
(Zhejiang University, China; Huazhong University of Science and Technology, China; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China; University College London, UK; Independent Researcher, USA; Columbia University, USA)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p1808-p doi:10.1145/3808188

SmartDispatch: Dynamic Substitution of NumPy-Style APIs on Heterogeneous CPU-GPU Systems
Jinku Cui, Yueming Hao, Shuyin Jiao, Jiajia Li, and Xu Liu
(North Carolina State University, USA; Meta, USA)

Publisher's Version Article: fse26mainb-p1862-p doi:10.1145/3808189

Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks
Qiang Ke, Yanjie Zhao, Hongjin Leng, Shengming Zhao, and Haoyu Wang
(Huazhong University of Science and Technology, China; Xiamen University Malaysia, Malaysia; Fudan University, China)

Publisher's Version Article: fse26mainb-p1886-p doi:10.1145/3808190

LinkAnchor: An Autonomous LLM-Based Agent for Issue-to-Commit Link Recovery
Arshia Akhavan, Alireza Hoseinpour, Abbas Heydarnoori, Hamid Bagheri, and Mehdi Keshani
(Bowling Green State University, USA; University of Nebraska-Lincoln, USA; University of Zurich, Switzerland)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p1979-p doi:10.1145/3808191

How Low Can You Go? The Data-Light SE Challenge
Kishan Kumar Ganguly and Tim Menzies
(North Carolina State University, USA)

Publisher's Version Article: fse26mainb-p2072-p doi:10.1145/3808192

iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Test Generation
Junyi Wang, Jialun Cao, and Zhongxin Liu
(Zhejiang University, China; Hong Kong University of Science and Technology, China)

Publisher's Version Article: fse26mainb-p2166-p doi:10.1145/3808193

Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient Code Generation
Yu Yu, Zhihong Sun, Jia Li, Yao Wan, Chuanyi Li, Hongyu Zhang, Ruyun Wang, Tao Huang, Zhi Jin, Ge Li, and Chen Lyu
(Shandong Normal University, China; Tsinghua University, China; Huazhong University of Science and Technology, China; Nanjing University, China; Chongqing University, China; Institute of Information Engineering at Chinese Academy of Sciences, China; Peking University, China)

Publisher's Version Article: fse26mainb-p2213-p doi:10.1145/3808194

Structure-Aware Delta Debugging with Geometric-Information Weights
Yonggang Tao and Jingling Xue
(UNSW, Sydney, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p2326-p doi:10.1145/3808195

Compiling Code LLMs into Lightweight Executables
Jieke Shi, Junda He, Zhou Yang, Chengran Yang, Mykhailo Klymenko, Thong (James) Hoang, Sherry (Xiwei) Xu, Zhenchang Xing, and David Lo
(Singapore Management University, Singapore; University of Alberta, Canada; Alberta Machine Intelligence Institute, Canada; CSIRO's Data61, Australia)

Publisher's Version Article: fse26mainb-p2335-p doi:10.1145/3808196

Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection
Xin Peng, Bo Lin, Jing Wang, Xiaoling Li, Jun Ma, Jie Yu, Xiaoguang Mao, and Shangwen Wang
(National University of Defense Technology, China)

Publisher's Version Article: fse26mainb-p2347-p doi:10.1145/3808197

One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks
Yinggang Qiu, Yihao Qin, Mingyang Geng, Shangwen Wang, and Dezun Dong
(National University of Defense Technology, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional ACM SIGSOFT Distinguished Paper Award Article: fse26mainb-p2398-p doi:10.1145/3808198

Improving Data Leakage Detection in Machine Learning Notebooks through Static Slicing and Structured LLM Prompts
Taha Draoui, Mohamed Wiem Mkaouer, and Christian Newman
(University of Michigan-Flint, USA; Rochester Institute of Technology, USA)

Publisher's Version Article: fse26mainb-p2417-p doi:10.1145/3808199

Influence-Aware Bayesian-Inspired Token Reweighting for Improved Code Generation
Yuqi Zhu, Ge Li, Hong Mei, Zhi Jin, Jia Li, Qibin Zheng, and Jieyuan Zhang
(Academy of Military Sciences, China; Peking University, China; Wuhan University, China; Advanced Institute of Big Data, Beijing, China)

Publisher's Version Article: fse26mainb-p2439-p doi:10.1145/3808200

pPatch: Automated Vulnerability Unpatching
Tianyi Jing, Pengyu Ding, Meng Xu, Yinhao Hu, Zheng Yu, and Dongliang Mu
(Huazhong University of Science and Technology, China; University of Waterloo, Canada; Zhongguancun Laboratory, China; Northwestern University, USA)

Publisher's Version Article: fse26mainb-p2454-p doi:10.1145/3808201

SpecWeaver: End-to-End HTTP API Specification Inference across Multi-layer Routing in Production Web Services
Wenbo Hu, Jie Lu, Jingting Chen, Feng Li, Chenghang Shi, Xiaonan Shi, Jinchen Wang, and Wei Huo
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Institute of Computing Technology at Chinese Academy of Sciences, China)

Publisher's Version Article: fse26mainb-p2477-p doi:10.1145/3808202

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
Alexandros Evangelidis, Gricel Vázquez, and Simos Gerasimou
(University of York, UK; Cyprus University of Technology, Cyprus)

Publisher's Version Article: fse26mainb-p2516-p doi:10.1145/3808203

Red Teaming LLMs via Linguistic-Aware Fuzzing
Shuai Yuan, Nian Luo, Jingling Sun, Yihao Huang, and Chengyu Zhang
(University of Electronic Science and Technology of China, China; National University of Singapore, Singapore; Loughborough University, UK)

Publisher's Version Article: fse26mainb-p2562-p doi:10.1145/3808204

Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
Negar Fathi, Hiroshi Unno, Tachio Terauchi, and Rahul Purandare
(University of Nebraska-Lincoln, USA; Tohoku University, Japan; Waseda University, Japan)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p2604-p doi:10.1145/3808205

Cost-Effective Testing of MPC Compilers
Sebastian Watzinger, Valentin Wüstholz, Deepak Garg, and Maria Christakis
(TU Wien, Austria; Diligence Security, Austria; MPI-SWS, Germany)

Publisher's Version Article: fse26mainb-p2665-p doi:10.1145/3808206

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
Chengyan Ma, Jieke Shi, Ruidong Han, Ye Liu, Feng Li, Yuqing Niu, and David Lo
(Singapore Management University, Singapore)

Publisher's Version Article: fse26mainb-p2722-p doi:10.1145/3808207

Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Aren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi, and Marsha Chechik
(University of Toronto, Canada; McMaster University, Canada; University of Bergamo, Italy)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p2723-p doi:10.1145/3808208

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
Leizhen Zhang, Shuhan Chen, and Sheng Chen
(University of Louisiana at Lafayette, USA; East China Normal University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fse26mainb-p2731-p doi:10.1145/3808209

Reducing Coverage-Equivalent Inputs in Grammar-Based Fuzzing by Avoiding Recurrent Rule Sequences
Jaehan Yoon, Yunji Seo, Hakjoo Oh, and Sooyoung Cha
(Sungkyunkwan University, Republic of Korea; Korea University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p2746-p doi:10.1145/3808210

Natural Language-Focused Software Engineering via Code-Documentation Equivalence
Aryaz Eghbali, Zhongxin Liu, and Michael Pradel
(CISPA Helmholtz Center for Information Security, Germany; Zhejiang University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse26mainb-p2869-p doi:10.1145/3808211

RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations
Chu Chen, Qianxin Cheng, Pinghong Ren, Hairong Yu, Cong Tian, Zhenhua Duan, Xu Lu, Bin Yu, WenSheng Wang, and Jin Liu
(Qufu Normal University, China; Xidian University, China; Xi'an University of Technology, China)

Publisher's Version Article: fse26mainb-p2897-p doi:10.1145/3808212

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
Congying Xu, Hengcheng Zhu, Songqiang Chen, Jiarong Wu, Valerio Terragni, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China; University of Auckland, New Zealand)

Publisher's Version Article: fse26mainb-p2981-p doi:10.1145/3808213

TUSR: A Test Unit-Based Framework for Repairing Obsolete GUI Test Scripts
Shaoheng Cao, Minxue Pan, and Xuandong Li
(Nanjing University, China)

Publisher's Version Article: fse26mainb-p3051-p doi:10.1145/3808214

GUIMigrator: Semantics-Preserving Transpilation from Android XML to Compose and SwiftUI
Yi Gao, Xing Hu, Xiaohu Yang, and Xin Xia
(Zhejiang University, China; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China)

Publisher's Version Article: fse26mainb-p3073-p doi:10.1145/3808215

Generalizing Test Cases for Comprehensive Test Scenario Coverage
Binhang Qi, Yun Lin, Xinyi Weng, Chenyan Liu, Hailong Sun, Gordon Fraser, and Jin Song Dong
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China; Beihang University, China; University of Passau, Germany)

Publisher's Version Article: fse26mainb-p3353-p doi:10.1145/3808216

Uncovering Similar but Different Packages in PyPI and Potential Security Threats
Sunha Park, Soojin Han, and Seunghoon Woo
(Korea University, Republic of Korea; Dongduk Women's University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Article: fse26mainb-p3575-p doi:10.1145/3808217

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Hongshu Wang, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Ait Ameur, and Jin Song Dong
(National University of Singapore, Singapore; East China Normal University, China; IRIT - National Polytechnic Institute of Toulouse, France)

Publisher's Version Article: fse26mainb-p3803-p doi:10.1145/3808218

Corrigendum: SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works
Farbod Daneshyan, Runzhi He, Jianyu Wu, and Minghui Zhou
(Peking University, China)

Publisher's Version Article: fse25mainb-p32-p-CR doi:10.1145/3771920