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

Title Page

Article: fse26foreword-fm000-p

Editorial Message

Article: fse26foreword-fm001-p

Sponsors

Article: fse26foreword-fm003-p

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

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
(Nanyang Technological University, Singapore; Nanjing University, China; CSIRO’s Data61, Australia)

Article Search Article: fse26maina-p27-p

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

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

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

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

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

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

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

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; Southwest University, China)

Article Search Article: fse26maina-p191-p

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; Pengcheng Laboratory, China)

Article Search Article: fse26maina-p224-p

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, China)

Article Search Article: fse26maina-p227-p

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

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

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

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

Do Not Treat Code as Natural Language: Implications for Repository-Level Code Generation and Beyond
Minh Le-Anh, Huyen Nguyen, Khanh An Tran, Nam Le Hai, Linh Ngo Van, Nghi 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

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

Article Search Article: fse26maina-p310-p

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

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

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

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

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 Article: fse26maina-p444-p

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

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

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 Article: fse26maina-p500-p

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

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

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

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; Shandong University, China)

Article Search Article: fse26maina-p550-p

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

Article Search Article: fse26maina-p637-p

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

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

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

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

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

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

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

Article Search Article: fse26maina-p907-p

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

Article Search Article: fse26maina-p919-p

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

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

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

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; Shandong University, China)

Article Search Article: fse26maina-p1049-p

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 Article: fse26maina-p1058-p

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

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 Article: fse26maina-p1131-p

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

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

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

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

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)

Article Search Article: fse26maina-p1250-p

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

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

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

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

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

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

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, China; Sun Yat-sen University, Shenzhen, China; University of Tokyo, Japan; University of Alberta, Canada)

Article Search Article: fse26maina-p1421-p

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 Article: fse26maina-p1435-p

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

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

Article Search Article: fse26maina-p1536-p

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

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

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

Article Search Article: fse26maina-p1855-p

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

Article Search Article: fse26maina-p1898-p

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

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

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)

Article Search Article: fse26maina-p1924-p

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)

Article Search Article: fse26maina-p2091-p

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

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

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

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

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

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)

Article Search Article: fse26maina-p2456-p

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

Article Search Article: fse26maina-p2460-p

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

Article Search Article: fse26maina-p2501-p

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, Jin Zhi, 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

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

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

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 Article: fse26maina-p2779-p

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

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

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

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

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 Article: fse26maina-p3213-p

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
(Shanghai Jiao Tong University, China; National University of Singapore, Singapore)

Article Search Article: fse26maina-p3243-p

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

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

Article Search Article: fse25mainb-p32-p-CR