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

Title Page

Article: fse26foreword-fm000-p doi:

Editorial Message

Article: fse26foreword-fm001-p doi:

Sponsors

Article: fse26foreword-fm003-p doi:

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

Article Search Article: fse26maina-p10-p doi:10.1145/3797063

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

Article Search Article: fse26maina-p27-p doi:10.1145/3797064

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

Article Search Article: fse26maina-p42-p doi:10.1145/3797065

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

Article Search Article: fse26maina-p67-p doi:10.1145/3797066

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

Article Search Article: fse26maina-p88-p doi:10.1145/3797067

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

Article Search Article: fse26maina-p90-p doi:10.1145/3797068

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

Preprint Article: fse26maina-p149-p doi:10.1145/3797069

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

Article Search Article: fse26maina-p175-p doi:10.1145/3797070

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

Article Search Article: fse26maina-p176-p doi:10.1145/3797150

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

Article Search Artifacts Available Article: fse26maina-p191-p doi:10.1145/3797151

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

Article Search Article: fse26maina-p224-p doi:10.1145/3797148

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

Article Search Article: fse26maina-p227-p doi:10.1145/3797149

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

Article Search Article: fse26maina-p261-p doi:10.1145/3797140

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

Article Search Article: fse26maina-p262-p doi:10.1145/3797141

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

Article Search Article: fse26maina-p296-p doi:10.1145/3797142

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

Article Search Article: fse26maina-p299-p doi:10.1145/3797143

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

Article Search Article: fse26maina-p306-p doi:10.1145/3797144

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

Article Search Artifacts Available Article: fse26maina-p310-p doi:10.1145/3797145

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

Article Search Article: fse26maina-p328-p doi:10.1145/3797146

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

Article Search Article: fse26maina-p336-p doi:10.1145/3797147

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

Preprint Article: fse26maina-p343-p doi:10.1145/3797138

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

Article Search Article: fse26maina-p354-p doi:10.1145/3797139

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

Article Search Artifacts Available Article: fse26maina-p444-p doi:10.1145/3797118

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

Article Search Article: fse26maina-p451-p doi:10.1145/3797119

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

Article Search Article: fse26maina-p499-p doi:10.1145/3797120

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

Article Search Artifacts Available Article: fse26maina-p500-p doi:10.1145/3797121

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

Article Search Article: fse26maina-p509-p doi:10.1145/3797122

SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts
Yinghao Wu, Miaomiao Zhang, Fu Song, and John Baugh
(Tongji University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China; North Carolina State University, USA)

Article Search Article: fse26maina-p514-p doi:10.1145/3797123

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

Article Search Article: fse26maina-p520-p doi:10.1145/3797124

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

Article Search Article: fse26maina-p550-p doi:10.1145/3797125

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

Article Search Artifacts Available Article: fse26maina-p637-p doi:10.1145/3797126

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

Article Search Article: fse26maina-p717-p doi:10.1145/3797127

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

Article Search Article: fse26maina-p758-p doi:10.1145/3797128

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

Article Search Article: fse26maina-p783-p doi:10.1145/3797129

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

Article Search Article: fse26maina-p791-p doi:10.1145/3797130

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

Article Search Article: fse26maina-p808-p doi:10.1145/3797131

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

Article Search Article: fse26maina-p857-p doi:10.1145/3797132

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

Article Search Artifacts Available Article: fse26maina-p907-p doi:10.1145/3797133

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

Article Search Article: fse26maina-p919-p doi:10.1145/3797134

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

Article Search Article: fse26maina-p922-p doi:10.1145/3797135

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

Article Search Article: fse26maina-p965-p doi:10.1145/3797136

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

Article Search Article: fse26maina-p1029-p doi:10.1145/3797137

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

Article Search Article: fse26maina-p1049-p doi:10.1145/3797071

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

Article Search Artifacts Available Article: fse26maina-p1058-p doi:10.1145/3797072

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

Article Search Article: fse26maina-p1087-p doi:10.1145/3797073

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

Article Search Artifacts Available Article: fse26maina-p1131-p doi:10.1145/3797074

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

Article Search Article: fse26maina-p1134-p doi:10.1145/3797075

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

Article Search Article: fse26maina-p1135-p doi:10.1145/3797076

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

Article Search Article: fse26maina-p1140-p doi:10.1145/3797077

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

Article Search Article: fse26maina-p1145-p doi:10.1145/3797078

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

Preprint Article: fse26maina-p1250-p doi:10.1145/3797079

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

Article Search Article: fse26maina-p1298-p doi:10.1145/3797080

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

Article Search Article: fse26maina-p1304-p doi:10.1145/3797081

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

Article Search Article: fse26maina-p1333-p doi:10.1145/3797082

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

Preprint Info Article: fse26maina-p1339-p doi:10.1145/3797083

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

Article Search Article: fse26maina-p1395-p doi:10.1145/3797084

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

Article Search Article: fse26maina-p1413-p doi:10.1145/3797085

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

Article Search Article: fse26maina-p1421-p doi:10.1145/3797086

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

Article Search Artifacts Available Article: fse26maina-p1435-p doi:10.1145/3797087

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

Preprint Article: fse26maina-p1516-p doi:10.1145/3797088

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

Article Search Artifacts Available Article: fse26maina-p1536-p doi:10.1145/3797089

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

Article Search Article: fse26maina-p1590-p doi:10.1145/3797090

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

Article Search Article: fse26maina-p1789-p doi:10.1145/3797091

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

Article Search Article: fse26maina-p1855-p doi:10.1145/3797092

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

Article Search Artifacts Available Article: fse26maina-p1898-p doi:10.1145/3797093

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

Article Search Article: fse26maina-p1908-p doi:10.1145/3797094

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

Article Search Article: fse26maina-p1917-p doi:10.1145/3797095

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

Article Search Article: fse26maina-p1924-p doi:10.1145/3797096

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

Article Search Artifacts Available Article: fse26maina-p2091-p doi:10.1145/3797097

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

Article Search Article: fse26maina-p2093-p doi:10.1145/3797098

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

Article Search Article: fse26maina-p2151-p doi:10.1145/3797099

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

Article Search Article: fse26maina-p2270-p doi:10.1145/3797100

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

Article Search Article: fse26maina-p2280-p doi:10.1145/3797101

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

Preprint Article: fse26maina-p2429-p doi:10.1145/3797102

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

Article Search Article: fse26maina-p2456-p doi:10.1145/3797103

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

Preprint Article: fse26maina-p2460-p doi:10.1145/3797104

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

Article Search Article: fse26maina-p2501-p doi:10.1145/3797105

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

Article Search Article: fse26maina-p2570-p doi:10.1145/3797106

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

Article Search Article: fse26maina-p2650-p doi:10.1145/3797107

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

Article Search Artifacts Available Article: fse26maina-p2719-p doi:10.1145/3797108

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

Article Search Artifacts Available Article: fse26maina-p2779-p doi:10.1145/3797109

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

Article Search Info Article: fse26maina-p2854-p doi:10.1145/3797110

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

Article Search Article: fse26maina-p2998-p doi:10.1145/3797111

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

Article Search Article: fse26maina-p3037-p doi:10.1145/3797112

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

Article Search Article: fse26maina-p3090-p doi:10.1145/3797113

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

Article Search Artifacts Available Article: fse26maina-p3213-p doi:10.1145/3797114

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

Article Search Article: fse26maina-p3243-p doi:10.1145/3797115

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

Article Search Article: fse26maina-p3336-p doi:10.1145/3797116

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

Article Search Article: fse26mainb-p13-p doi:10.1145/3808096

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

Article Search Article: fse26mainb-p28-p doi:10.1145/3808097

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

Article Search Article: fse26mainb-p38-p doi:10.1145/3808098

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

Article Search Article: fse26mainb-p45-p doi:10.1145/3808099

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

Article Search Artifacts Available Article: fse26mainb-p61-p doi:10.1145/3808100

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

Article Search Article: fse26mainb-p79-p doi:10.1145/3808101

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

Article Search Article: fse26mainb-p86-p doi:10.1145/3808102

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

Article Search Artifacts Available Article: fse26mainb-p93-p doi:10.1145/3808103

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

Article Search Article: fse26mainb-p94-p doi:10.1145/3808104

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

Article Search Article: fse26mainb-p122-p doi:10.1145/3808105

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

Article Search Article: fse26mainb-p144-p doi:10.1145/3808106

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

Article Search Article: fse26mainb-p147-p doi:10.1145/3808107

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

Article Search Article: fse26mainb-p150-p doi:10.1145/3808108

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

Article Search Article: fse26mainb-p157-p doi:10.1145/3808109

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

Article Search Artifacts Available Article: fse26mainb-p171-p doi:10.1145/3808110

CrossFit: Demystifying VM Callback Bugs in Interpreters
Chibin Zhang,