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

Title Page

Article: fse26foreword-fm000-p (type: Frontmatter) doi:

Editorial Message

Article: fse26foreword-fm001-p (type: Frontmatter) doi:

Sponsors

Article: fse26foreword-fm003-p (type: Frontmatter) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797151

	Appendix: Appendix of Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
	Reproduction Package for Article 'Precondition Synthesis for Deep Neural Networks with Statistical Guarantees' (doi:10.5281/zenodo.19480909): This repository contains the artifact of the following FSE 2026 paper. Zengyu Liu, Bai Xue, Pengfei Yang and Ji Wang. Precondition Synthesis for Deep Neural Networks with Statistical Guarantees

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797145

Replication Package for "Small Is Beautiful: A Practical and Efficient Log Parsing Framework" (doi:10.5281/zenodo.19280693): This repository contains the complete source code of the EFParser framework and the comprehensive experimental results presented in the paper. Please follow the instructions in the README for a quick-start and execution.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797118

Reproduction Package for Article 'Speculate: Generating REST API Specifications Using LLMs — Artifact' (doi:10.5281/zenodo.19555331): Artifact for the FSE 2026 paper "Speculate: Generating REST API Specifications Using LLMs". This artifact contains the Speculate tool, which generates OpenAPI specifications from Spring Boot, Jersey and Django REST API source code using LLMs. It includes: - The complete Speculate tool source code - 15 Java benchmark ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797121

AIG-ist-tugraz/MLLM-Usability-Improvements: Artifacts for FSE 2026 (doi:10.5281/zenodo.19498008): Release of the artifacts and replication package for the paper: Recommending Usability Improvements with Multimodal Large Language Models, accepted to FSE 2026.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797126

FramePilot-Artifacts (doi:10.5281/zenodo.19728388): This repository contains the official artifacts for the paper "Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis". We provide the source code for our agent, FramePilot, the implementation of the Agent-centric Debugging Interface (ADI), experiment data, and the variants used in our evaluation.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797133

Artifact of "JavaScript Pointer Analysis with Adaptive Heap Abstraction" (doi:10.5281/zenodo.19554781): The Artifact of "JavaScript Pointer Analysis with Adaptive Heap Abstraction", see readme for more details.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797137

Xiaozheng03Asada/TransLibEval: v2.0 (doi:10.5281/zenodo.19492850): This artifact accompanies our FSE 2026 paper, “TransLibEval: Demystify Large Language Models’ Capability in Third-Party Library-Targeted Code Translation”. It provides the TransLibEval benchmark, including library-centric code translation tasks across Python, Java, and C++, dependency information, test suites, ...

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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797072

A Replication of Pig: Leveraging Large Language Models for Python Library Migrations (doi:10.5281/zenodo.19480524): This artifact reproduces the evaluation of Pig, as presented in our paper Pig: Leveraging Large Language Models for Python Library Migrations. It includes the complete implementation of Pig, the evaluation datasets, and the scripts necessary to replicate the main experimental results.

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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797074

	Supplemental Material for the FSE 2026 Paper: "SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning": This is a supplementary material for the FSE 2026 paper: "SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning"
	Artifact for "SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning" (doi:10.5281/zenodo.19583475): This artifact contains the package for reproducing the main experimental results in our paper accepted to FSE 2026: "SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning"

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797087

The FSE Artifact 2026 : AccessRefinery (doi:10.5281/zenodo.19534299): This is the artifact of FSE 2026 paper, "AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud". The replication package includes: 1. The implementation of AccessRefinery; 2. The reproduced implementation of Access Analyzer; 3. Scripts for invoking Access Analyzer via AWS Command-Line Interface ...

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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797089

Reproduction Package for the FSE2026 article "LoCaL: Countering Surface Bias in Code Evaluation Metrics" (doi:10.5281/zenodo.19672949): This artifact includes the LoCaL benchmark dataset and evaluation scripts required to reproduce the results reported in the paper.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797093

	Supplementary Material: Soundness proofs, extended evaluation
	Reproduction package for "Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis" (doi:10.6084/m9.figshare.30095356.v5): Details are present in README.md File

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797097

Artifact for FSE'2026 paper "Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code" (doi:10.5281/zenodo.19512669): This is the artifact for the FSE'2026 paper "Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code". Please refer to the README.md file for detailed instructions.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797100

Artifact for Rethinking the Evaluation of Microservice RCA with a Fault Propagation Aware Benchmark (doi:10.5281/zenodo.17105974): It contains reproduction scripts and codes of the study. There are also datasets of the artifact: https://doi.org/10.5281/zenodo.17105974 https://doi.org/10.5281/zenodo.19522409

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797108

Reproduction Package for the Article `AccessDroid: Detecting Screen Reader Accessibility Issues in Android Applications via Semantics Trees' (doi:10.5281/zenodo.18525656): This artifact includes the source code for AccessDroid, the PoseCheck benchmark, and all evaluation results. AccessDroid is a lightweight dynamic analyzer for detecting screen reader accessibility issues in Android app pages. It runs on an Android device, generates accessibility reports, and visualizes semantics trees ...

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 (type: Full Paper) doi:10.1145/3797109

Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System (doi:10.5281/zenodo.19508213): This is an artifact for paper "Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System." The artifact includes the mechanized P4 type system, the SpecTec framework for analyzing and executing the mechanized type system, the fuzzer for generating negative P4 type checker ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797114

Artifact for "Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs" (doi:10.5281/zenodo.19693236): This artifact accompanies the paper "Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs" (FSE 2026). The clotho-main.zip archive includes: - Scripts for hidden state extraction - Prompt templates and test suites used in the experiments, along with pipelines for synthetic data construction - ...

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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3797116

Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-preserving Transformations (doi:10.5281/zenodo.17118200): This artifact supports the claims made in the FSE ’26 paper, Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-Preserving Transformations. It includes the datasets, pre-trained models, and evaluation scripts necessary to reproduce the paper’s empirical results on the ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808100

Artifact for SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis (doi:10.5281/zenodo.19344308): This is the artifact for the paper 'SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis' accepted at FSE 2026. SwarmBox is a novel drone swarm framework designed to reduce the engineering effort required significantly for developing and analyzing drone swarm ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808103

Replication Package for AgentBound: Securing Execution Boundaries of AI Agents (doi:10.5281/zenodo.19571298): The repository is the software artifact for the AgentBound paper. It packages the source code, collected data, malicious-server examples, sandbox implementation, and benchmark/demo material used to study how MCP servers can be constrained through manifest-declared capabilities and runtime-enforced sandbox permissions.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808110

Replication Artifact for Denoising Fault Localization with Test Line Proximity (doi:10.5281/zenodo.19494146): This artifact implements and evaluates Proximity-Weighted Fault Localization (PWFL), a fault-localization method that augments classical statistical fault localization (SFL) with temporal proximity information from runtime execution. The core motivation is that a failing test can execute many subject lines, but lines ...

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 (type: Full Paper) doi:10.1145/3808111

Artifact for FSE26 CrossFit: Demystifying VM Callback Bugs in Interpreters (doi:10.5281/zenodo.19732538): This is the artifact for the paper "CrossFit: Demystifying VM Callback Bugs in Interpreters" (to appear at FSE 2026). Paper: [link to be added upon publication] CrossFit is a 2-tier approach combining static analysis and targeted fuzzing to systematically discover callback bugs in scripting language interpreters. It ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808115

Replication Package for "Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering" (doi:10.5281/zenodo.19520048): This artifact is the FSE 2026 replication package for the paper "Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering". It contains the code, packaged outputs, annotations, and documentation needed to inspect and reproduce the paper's controlled prompt experiments, ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808120

Replication Package of "How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior" (doi:10.5281/zenodo.19582089): This is the replication package for the FSE 2026 accepted paper "How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior" by Yinan Wu, Ze Shi Li, Kathryn Thomasset Stolee, and Bowen Xu. It provides the materials, tools, and data needed to understand and reproduce the main ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808126

Patchlens Supplementary Materials (doi:10.5281/zenodo.19560745): This artifact contains the Patchlens source code, the generated dataset, manual reports, and necessary materials to replicate the study

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808129

Artifact of Paper "Evaluating LLM-based Regression Test Generation" (doi:10.5281/zenodo.19616584): This artifact accompanies the FSE '26 paper "Evaluating LLM-based Regression Test Generation". It contains the implementation of Cleverest, a feedback-directed zero-shot LLM-based regression test generation technique, together with the full experimental dataset and scripts to reproduce all main results from the paper.

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 (type: Full Paper) doi:10.1145/3808130

ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering (doi:10.5281/zenodo.19490337): ToxiShield is a Chrome extension for real-time toxicity detection and detoxification in GitHub pull request reviews. It is built around three ML modules, evaluated end-to-end through a user study with 10 professional developers.

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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808132

Appendix for VulInstruct: Supplementary appendix containing: (A) CORRECT Evaluation Framework details; (B) Prompt templates for specification extraction, knowledge scoring, and vulnerability detection; (C) Baseline failure analyses for Vul-RAG and ReVD; (D) Manual analyses of successful detection cases; (E) Real-world vulnerability discovery ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808137

Source code of "TORAI: Multi-Source Root Cause Analysis for Blind Spots in Microservice Service Call Graph" (doi:10.6084/m9.figshare.31938495.v1): Source code of "TORAI: Multi-Source Root Cause Analysis for Blind Spots in Microservice Service Call Graph".

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808140

Reproduction Package for "CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings" (doi:10.5281/zenodo.19552529): Code and data for CodeCureAgent, including the evaluation dataset and all scripts for running the experiments and aggregating results. Allows reproduction of all experiments.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808147

Risk and Confidence in Performance Bounds of Configuration Sampling Strategies --- Sources and Data (doi:10.5281/zenodo.19682296): This artifact comprises the data and notebooks to replicate and explore the results of experiments done in the FSE'26 publication Evaluating Risk and Confidence in Performance Bounds of Configuration Sampling Strategies by Kallistos Weis, Martina Maggio, Norbert Siegmund, and Sven Apel.

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 (type: Full Paper) doi:10.1145/3808148

Artifact for "Can Old Tests Do New Tricks for Resolving SWE Issues?" (doi:10.5281/zenodo.19533431): Artifact for paper "Can Old Tests do New Tricks for Resolving SWE Issues?" at FSE 2026: - artifact files: testloc-main.zip (with detailed instructions in README.md) - accepted paper PDF is included per instructions on artifact evaluation website

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 (type: Full Paper) doi:10.1145/3808149

Code for SQLiFuzz: Uncovering SQL Injection in Any Web Applications (doi:10.5281/zenodo.19589759): This repository contains the artefact accompanying our paper submission. It includes: - SQLiFuzz source code - Web Under Test (WUT) - Scripts to reproduce our experiments - Documentation for setup and usage

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808153

From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing (doi:10.5281/zenodo.19625701): Implentation of the From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing

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 (type: Full Paper) doi:10.1145/3808154

Reproduction Package for the FSE 2026 Article ‘Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper’ (doi:10.6084/m9.figshare.30069472.v2): This artifact contains the implementation of AutoCL, an active learning tool for symbolic automata inference over reactive C programs using a dynamic symbolic mapper. It provides the software, benchmark suites, and execution scripts necessary to reproduce the main results of the paper. Using this artifact, you can ...

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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808156

SMART FSE2026 Artifact - Boosting LLMs for Mutation Generation (doi:10.5281/zenodo.19509595): This artifact contains the data and code required to reproduce the results presented in the paper “Boosting LLMs for Mutation Generation.”

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808162

Supplemental Material for Article `LLM-Assisted Input-Requirement-Aware Differential Testing of Array Programming Frameworks' (doi:10.5281/zenodo.19312972): This artifact includes: 1. The source code. 2. The Docker image containing ArrayDiff prototype. 3. The experimental data. After unzipping the zip file (This requires 30GB disk space), the main file, README.md, is in the root directory. It lists 1. INSTALL.md for installation instructions 2. REQUIREMENTS.md for running ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808165

Replication package for 'The Effect of Complexity and Provenance on Code Review Decisions: Evidence from a Controlled Experiment' (doi:10.5281/zenodo.19481940): This artifact accompanies the paper “The Effect of Complexity and Provenance on Code Review Decisions: Evidence from a Controlled Experiment” (FSE 2026) and enables full reproduction of the reported results. The package contains all materials required to replicate the study, including the experimental setup, ...

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 (type: Full Paper) doi:10.1145/3808166

Artifact for DualCodeDetect (doi:10.5281/zenodo.19519625): This is the Artifact for the DualCodeDetect.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808175

CASCADE (doi:10.5281/zenodo.19483108): A tool for automatically detecting inconsistencies between documentation and code on a function level for Java Projects. Further described in the Paper: CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808178

Reproduction Package for Article "Generating Proof-of-Concept Exploits for npm Vulnerabilities" (doi:10.5281/zenodo.19550952): This repository contains the tool to generate proof-of-concept exploits for vulnerable npm packages, in addition, it contains the datasets used for the evaluation.

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 (type: Full Paper) doi:10.1145/3808179

Reproduction Package for Article 'ReDef: Do Code Language Models Truly Understand Code Changes for Just-in-Time Software Defect Prediction?' (doi:10.6084/m9.figshare.30086968.v3): This artifact provides the ReDef (Revert-based Defect dataset) and the evaluation framework presented in the paper "ReDef: Do Code Language Models Truly Understand Code Changes for Just-in-Time Software Defect Prediction?". * The artifact consists of two primary components: 1) The ReDef Dataset: A high-confidence ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808186

Artifacts of "EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems" (doi:10.5281/zenodo.19433493): This repository contains the Software Artifact and Dataset Artifact for reproducing the main experimental results in our paper accepted to FSE 2026: "EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems"

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 (type: Full Paper) doi:10.1145/3808187

Reproduction package for GAER: Graph Auto-Encoders for Unsupervised Software Architecture Recovery (doi:10.5281/zenodo.19534384): GAER (Graph Auto-Encoders for Unsupervised Software Architecture Recovery) is a research prototype that automatically reconstructs the modular architecture of software systems from their source code. GAER models a software system as a heterogeneous, multi-relational dependency graph, where: Nodes represent software ...

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 (type: Full Paper) doi:10.1145/3808188

Artifact for "Unveiling the Fragility of Binary Code Similarity Detection via Targeted Attacks with Model Explanations" (doi:10.5281/zenodo.19709683): We release both the experimental dataset and the implementation of the model explanation component used in our study. The attack framework is built upon a baseline method [1], which has not been publicly released. Therefore, the full attack implementation is not included at this time and will be released once ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808191

Reproduction Package for Article "LinkAnchor: An Autonomous LLM-Based Agent for Issue-to-Commit Link Recovery" (doi:10.5281/zenodo.19503366): This artifact provides the complete implementation of the LinkAnchor agent, including its lazy-access architecture and specialized function calls for repository navigation. It is designed to work with both GitHub and Jira issue-tracking systems and supports a wide range of programming languages via the Tree-sitter ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808195

Artifact for "Structure-Aware Delta Debugging with Geometric-Information Weights" (doi:10.5281/zenodo.19562937): Artifact for "Structure-Aware Delta Debugging with Geometric-Information Weights" (FSE 2026). This repository contains the full source code of SADD (integrated into the Perses framework), 62 benchmarks (32 C, 30 XML), experiment runner scripts, pre-computed results, and table generation scripts reproducing Tables 2–4. ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808198

One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks (doi:10.5281/zenodo.19491719): This repository contains the task fine-tuning checkpoints and the datasets used for the paper “One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks”. It contains all the source code of this work, datasets used in this paper, and all the checkpoints fine-tuned from CodeLlama-7B used in this ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808201

Supplementary Appendix for pPatch: Automated Vulnerability Unpatching: - The supplementary appendix for pPatch: Automated Vulnerability Unpatching.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808205

Appendix: Appendix containing the formal soundness proof for the paper “Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs.” This document provides optional proof material omitted from the main paper due to space constraints.

Sound Termination and Non-Termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs (doi:10.5281/zenodo.19455305): This artifact accompanies the FSE 2026 paper “Sound Termination and Non-Termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs.” It archives the Athena framework and the materials required to reproduce the experiments reported in the paper. Athena is an end-to-end framework for ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808208

Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables: Replication Package (doi:10.5281/zenodo.19488528): This contains the software and artifacts associated to the paper "Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables" by Aren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi, and Marsha Chechik, presented at FSE 2026.

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 (type: Full Paper) doi:10.1145/3808209

Reproduction package for "Satisfiability Solving with LLMs" (doi:10.5281/zenodo.19524484): Reproduction package for the FSE paper "Evaluating Satisfiability Solving with LLMs"

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 (type: Full Paper) doi:10.1145/3808210

(Artifact Evaluation) Reducing Coverage-Equivalent Inputs in Grammar-based Fuzzing by Avoiding Recurrent Rule Sequences (doi:10.5281/zenodo.19471125): RSFuzz is a tool designed to be used in conjunction with a base grammar-based fuzzer. It identifies recurrent sequences of production rules that lead to coverage-equivalent inputs and prevents their reuse during fuzzing.

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 (type: Full Paper) doi:10.1145/3808211

Reproduction Package for Article "Natural Language-Focused Software Engineering via Code-Documentation Equivalence" (doi:10.5281/zenodo.19514143): The implementation of Documentary, scripts to run the evaluations, and datasets.

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:10.1145/3808217

Artifact for "Uncovering Similar but Different Packages in PyPI and Potential Security Threats" (doi:10.5281/zenodo.20966334): A research artifact associated with the paper "Uncovering Similar but Different Packages in PyPI and Potential Security Threats"

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 (type: Full Paper) 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 (type: Corrigendum) doi:10.1145/3771920