Table of Contents

• AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud SystemsGuangba Yu, Genting Mai, Rui Wang, Ruipeng Li, Pengfei Chen 0002, Long Pan, Ruijie Xu. 1-12 [doi]
• Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSsDingji Wang, You Lu 0005, Bihuan Chen 0001, Shuo Hao, Haowen Jiang, Yifan Tian, Xin Peng 0001. 13-25 [doi]
• Vul-R2: A Reasoning LLM for Automated Vulnerability RepairXin-Cheng Wen, Zirui Lin, Yijun Yang, Cuiyun Gao 0001, Deheng Ye. 26-38 [doi]
• MIMIC: Integrating Diverse Personality Traits for Better Game Testing Using Large Language ModelYifei Chen, Sarra Habchi, Lili Wei. 39-51 [doi]
• Learning from the Past: Real-World Exploit Migration for Smart Contract PoC GenerationKairan Sun, Zhengzi Xu, Kaixuan Li 0002, Lyuye Zhang, Yebo Feng, Daoyuan Wu, Yang Liu 0003. 52-64 [doi]
• Propagation-Based Vulnerability Impact Assessment for Software Supply ChainsBonan Ruan, Zhiwei Lin, Jiahao Liu 0005, Chuqi Zhang, Kaihang Ji, Zhenkai Liang. 65-77 [doi]
• Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order GraphsSeojin Kim, Sungmin Park, Jihyeok Park. 78-90 [doi]
• When AllClose Fails: Round-Off Error Estimation for Deep Learning ProgramsQi Zhan, Xing Hu 0008, Yuanyi Lin, Tongtong Xu, Xin Xia 0001, Shanping Li. 91-103 [doi]
• Faultseeker: LLM-Empowered Framework for Blockchain Transaction Fault LocalizationKairan Sun, Zhengzi Xu, Kaixuan Li 0002, Lyuye Zhang, Yuqiang Sun 0001, Liwei Tan, Yang Liu 0003. 104-116 [doi]
• SateLight: A Satellite Application Update Framework for Satellite ComputingJinfeng Wen, Jianshu Zhao, Zixi Zhu, Xiaomin Zhang, Qi Liang, Ao Zhou 0001, Shangguang Wang. 117-128 [doi]
• Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem GenerationYibo Dong 0001, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang, Jianwen Li, Chengyu Zhang 0001, Geguang Pu. 129-140 [doi]
• LongCodeZip: Compress Long Context for Code Language ModelsYuling Shi, Yichun Qian, Hongyu Zhang 0002, Beijun Shen, Xiaodong Gu 0002. 141-153 [doi]
• Code-DiTing: Automatic Evaluation of Code Generation without References or Test CasesGuang Yang 0019, Yu Zhou 0010, Xiang Chen 0005, Wei Zheng 0006, Xing Hu 0008, Xin Zhou 0014, David Lo 0001, Taolue Chen 0001. 154-165 [doi]
• An Empirical Study of Knowledge Transfer in AI Pair ProgrammingAlisa Welter, Niklas Schneider, Tobias Dick, Kallistos Weis, Christof Tinnes, Marvin Wyrich, Sven Apel. 166-177 [doi]
• Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based AgentTaiming Wang, Yanjie Jiang, Chunhao Dong, Yuxia Zhang, Hui Liu 0003. 178-190 [doi]
• "My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding AssistantsYunbo Lyu, Zhou Yang 0003, Jieke Shi, Jianming Chang, Yue Liu 0011, David Lo 0001. 191-203 [doi]
• Finding Bugs in WebAssembly Interface Type Binding GeneratorsEthan Stanley, Eric Eide. 204-216 [doi]
• 3-Bench: Reproducible Real-world Reverse Engineering Dataset for Symbol RecoveryMuzhi Yu, Zhengran Zeng, Wei Ye 0004, Jinan Sun, Xiaolong Bai, Shikun Zhang. 217-227 [doi]
• Relia: Accelerating the Analysis of Cloud Access Control PoliciesDan Wang, Peng Zhang 0011, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, Xiaohong Guan. 228-240 [doi]
• Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Generation from Interactive PrototypingJingyu Xiao, Yuxuan Wan, Yintong Huo, Zixin Wang, Xinyi Xu, Wenxuan Wang 0001, Zhiyao Xu, Yuhang Wang, Michael R. Lyu. 241-253 [doi]
• Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ BugsJian Wang 0067, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jiongchi Yu, Jiaolong Kong, Yi Li 0008. 254-265 [doi]
• Evolution-Aware Heuristics for GR(1) Realizability CheckingDor Ma'ayan, Shahar Maoz, Jan Oliver Ringert. 266-277 [doi]
• Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased DatasetDavide Molinelli, Luca Di Grazia, Alberto Martin-Lopez, Michael D. Ernst, Mauro Pezzè. 278-290 [doi]
• Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract InterpretationMaykel Mattar, Michele Alberti, Valentin Perrelle, Salah Sadou. 291-303 [doi]
• Advancing Binary Code Similarity Detection via Context-Content Fusion and LLM VerificationChaopeng Dong, Jingdong Guo, Shouguo Yang, Yi Li, Dongliang Fang, Yang Xiao 0011, Yongle Chen, Limin Sun 0001. 304-316 [doi]
• PrefGen: A Preference-Driven Methodology for Secure Yet Gas-Efficient Smart Contract GenerationZhiyuan Peng, Xin Yin, Zijie Zhou, Chenhao Ying 0001, Chao Ni 0001, Yuan Luo 0003. 317-329 [doi]
• LogMoE: Lightweight Expert Mixture for Cross-System Log Anomaly DetectionJiaxing Qi, Zhongzhi Luan, Shaohan Huang, Carol J. Fung, Yuchen Wang, Aibin Wang, Hongyu Zhang, Hailong Yang 0002, Depei Qian 0002. 330-341 [doi]
• Risk Estimation in Differential Fuzzing via Extreme Value TheoryRafael Baez, Alejandro Olivas, Nathan K. Diamond, Marcelo F. Frias, Yannic Noller, Saeid Tizpaz Niari. 342-354 [doi]
• Enhancing LLMs with Staged Grouping and Dehallucination for Header File DecompositionYue Wang, Jiaxuan Sun, Yanzhen Zou, Bing Xie. 355-366 [doi]
• Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code GenerationHaoxiang Jia, Robbie Morris, He Ye, Federica Sarro, Sergey Mechtaev. 367-379 [doi]
• Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux KernelHaonan Li, Hang Zhang 0012, Kexin Pei, Zhiyun Qian. 380-392 [doi]
• Democratizing the Cryptocurrency Ecosystem by Just-In-Time Transformation of Mining ProgramsWei Liu 0148, Zhenhua Li 0001, Feng Qian 0001, Feiyu Jin, Hao Lin 0005, Yannan Zheng, Bo Xiao, Xiaokang Qin, Tianyin Xu. 393-405 [doi]
• From Sparse to Structured: A Diffusion-Enhanced and Feature-Aligned Framework for Coincidental Correctness DetectionHuan Xie 0002, Chunyan Liu, Yan Lei, Zhenyu Wu, Jinping Wang. 406-418 [doi]
• ProfMal: Detecting Malicious NPM Packages by the Synergy between Static and Dynamic AnalysisYiheng Huang, Wen Zheng, Susheng Wu, Bihuan Chen 0001, You Lu 0005, Zhuotong Zhou, Yiheng Cao, Xiaoyu Li, Xin Peng 0001. 419-431 [doi]
• Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the WildAayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson R. Murphy-Hill. 432-444 [doi]
• TensorGuard: Gradient-Based Model Fingerprinting for LLM Similarity Detection and Family ClassificationZehao Wu, Yanjie Zhao 0001, Haoyu Wang 0001. 445-456 [doi]
• Uncovering Prompt Elements: Cloning System Prompts from Behavioral TracesYi Qian, Fei Peng, Hao Wu 0067, Ligeng Chen, Bing Mao 0001. 457-468 [doi]
• Comprehend, Imitate, and then Update: Unleashing the Power of LLMs in Test Suite EvolutionTangzhi Xu, Jianhan Liu, Yuan Yao 0001, Cong Li, Feng Xu 0007, Xiaoxing Ma. 469-481 [doi]
• VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality ScenesZhengyang Zhu, Hong-Ning Dai, Hanyang Guo, Zeqin Liao, Zibin Zheng. 482-494 [doi]
• RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral ConstraintsRuoyu Zhou, Zhiwei Zhang 0004, Haocheng Han, Xiaodong Zhang 0014, Zehan Chen, Jun Sun 0001, Yulong Shen 0001, Dehai Xu. 495-507 [doi]
• Provable Fairness Repair for Deep Neural NetworksJianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang. 508-520 [doi]
• GlassWing: A Tailored Static Analysis Approach for Flutter Android AppsXiangyu Zhang, Yucheng Su, Lingling Fan 0003, Miaoying Cai, Sen Chen 0001. 521-533 [doi]
• RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust CodeYubo Bai, Tapti Palit. 534-546 [doi]
• DNAFuzz: Descriptor-Aware Fuzzing for USB DriversZhengshu Wang, Peng He, Fuchen Ma, Yuanliang Chen, Shuoshuo Duan, Yiyuan Bai, Yu Jiang 0001. 547-558 [doi]
• Security Debt in LLM Agent Applications: A Measurement Study of Vulnerabilities and Mitigation Trade-offsZhuoxiang Shen, Jiarun Dai, Yuan Zhang 0009, Min Yang 0002. 559-570 [doi]
• SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi StakingZewei Lin, Jiachi Chen, Jingwen Zhang, Zexu Wang, Yuming Feng 0002, Weizhe Zhang, Zibin Zheng. 571-583 [doi]
• EditFusion: Resolving Code Merge Conflicts via Edit SelectionChangxin Wang, Lei Xu, Rundong Wang, Yiming Ma, Weifeng Zhang. 584-596 [doi]
• Automatic Fixing of Missing Dependency ErrorsJun Lyu, He Zhang 0001, Lanxin Yang, Yue Li 0047, Chenxing Zhong, Manuel Rigger. 597-609 [doi]
• RustRepoTrans: Repository-level Context Code Translation Benchmark Targeting RustGuangsheng Ou, Mingwei Liu 0002, Yuxuan Chen, Yanlin Wang 0001, Xin Peng 0001, Zibin Zheng. 610-622 [doi]
• Enhancing LLM's Ability to Generate More Repository-Aware Unit Tests Through Precise Context InjectionXin Yin, Chao Ni 0001, Xinrui Li, Liushan Chen, Guojun Ma, Xiaohu Yang 0001. 623-635 [doi]
• Finding Bugs in MLIR Compiler Infrastructure via Lowering Space ExplorationJingjing Liang, Shan Huang, Ting Su 0001. 636-647 [doi]
• BinStruct: Binary Structure Recovery Combining Static Analysis and SemanticsYiran Zhang, Zhengzi Xu, Zhe Lang, Chengyue Liu, Yuqiang Sun 0001, Wenbo Guo, Chengwei Liu, Weisong Sun, Yang Liu 0003. 648-660 [doi]
• United We Stand: Towards End-to-End Log-based Fault Diagnosis via Interactive Multi-Task LearningMinghua He, Chiming Duan, Pei Xiao 0007, Tong Jia, Siyu Yu, Lingzhe Zhang, Weijie Hong, Jin Han, Yifan Wu 0002, Ying Li 0012, Gang Huang 0001. 661-673 [doi]
• Triangle: Empowering Incident Triage with Multi-AgentZhaoyang Yu 0002, Aoyang Fang, Minghua Ma, Jaskaran Singh Walia, Chaoyun Zhang, Shu Chi, Ze Li 0005, Murali Chintalapati, Xuchao Zhang, Rujia Wang, Chetan Bansal, Saravan Rajmohan, Qingwei Lin, Shenglin Zhang, Dan Pei, Pinjia He. 674-686 [doi]
• Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language ModelsDianshu Liao, Xin Yin, Shidong Pan, Chao Ni 0001, Zhenchang Xing, Xiaoyu Sun 0002. 687-699 [doi]
• LogAction: Consistent Cross-system Anomaly Detection through Logs via Active Domain AdaptationChiming Duan, Minghua He, Pei Xiao 0007, Tong Jia, Xin Zhang, Zhewei Zhong, Xiang Luo, Yan Niu, Lingzhe Zhang, Siyu Yu, Yifan Wu 0002, Weijie Hong, Ying Li 0012, Gang Huang 0001. 700-712 [doi]
• When Control Flows Deviate: Directed Grey-box Fuzzing with Probabilistic Reachability AnalysisPeihong Lin, Pengfei Wang, Xu Zhou 0004, Wei Xie 0007, Xin Ren, Kai Lu 0001. 713-725 [doi]
• Improving LLM-based Log Parsing by Learning from Errors in Reasoning TracesJialai Wang, Juncheng Lu, Jie Yang, Junjie Wang 0001, Zeyu Gao, Chao Zhang 0008, Zhenkai Liang, Ee-Chien Chang. 726-738 [doi]
• Watson: A Cognitive Observability Framework for the Reasoning of LLM-Powered AgentsBenjamin Rombaut 0002, Sogol Masoumzadeh, Kirill Vasilevski, Dayi Lin, Ahmed E. Hassan. 739-751 [doi]
• Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph ExecutionRaffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh 0001, Nan Jia, Anita Raja. 752-764 [doi]
• DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional FuzzingYuanliang Chen, Fuchen Ma, Yanyang Zhao, Yuanyi Li, Yu Jiang 0001. 765-777 [doi]
• DrainCode: Stealthy Energy Consumption Attacks on Retrieval-Augmented Code Generation via Context PoisoningYanli Wang 0001, Jiadong Wu, Tianyue Jiang, Mingwei Liu 0002, Jiachi Chen, Chong Wang 0013, Ensheng Shi, Xilin Liu 0001, Yuchi Ma, Zibin Zheng. 778-790 [doi]
• Hit The Bullseye On The First Shot: Improving LLMs Using Multi-Sample Self-Reward Feedback for Vulnerability RepairRui Jiao, Yue Zhang, Jinku Li, Jianfeng Ma. 791-803 [doi]
• Let the Code Speak: Incorporating Program Dynamic State for Better Method-Level Fault LocalizationYihao Qin, Shangwen Wang, Bo Lin 0011, Xin Peng 0010, Sheng Ouyang, Liqian Chen, Xiaoguang Mao. 804-815 [doi]
• Execution-Aware Program Reduction for WebAssembly via Record and ReplayDoehyun Baek, Daniel Lehmann 0002, Ben L. Titzer, Sukyoung Ryu, Michael Pradel. 816-827 [doi]
• Repairing Leaks in Resource WrappersSanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan. 828-840 [doi]
• PseudoFix: Refactoring Distorted Structures in Decompiled C PseudocodeGangyang Li, Xiuwei Shang, Shaoyin Cheng, Junqi Zhang, Li Hu, Xu Zhu, Weiming Zhang 0001, Nenghai Yu. 841-853 [doi]
• DLBench: A Comprehensive Benchmark for SQL Translation with Large Language ModelsLi Lin, Hongqiao Chen, Qinglin Zhu, Liehang Chen, Linlong Tang, Rongxin Wu. 854-866 [doi]
• An Empirical Study of Python Library Migration Using Large Language ModelsMohayeminul Islam, Ajay Kumar Jha, May Mahmoud, Ildar Akhmetov, Sarah Nadi. 867-879 [doi]
• AppBDS: LLM-Powered Description Synthesis for Sensitive Behaviors in Mobile AppsZichen Liu, Xusheng Xiao. 880-892 [doi]
• LineBreaker: Finding Token-Inconsistency Bugs with Large Language ModelsHongbo Chen, Yifan Zhang 0010, Xing Han, Tianhao Mao, Huanyao Rong, Yuheng Zhang, Xiaofeng Wang 0001, Luyi Xing, Xun Chen, Hang Zhang. 893-905 [doi]
• Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic TestingJakob Bleier, Felix Kehrer, Jürgen Cito, Martina Lindorfer. 906-918 [doi]
• Lares: LLM-driven Code Slice Semantic Search for Patch Presence TestingSiyuan Li 0014, Yaowen Zheng, Hong Li 0004, Jingdong Guo, Chaopeng Dong, Chunpeng Yan, Weijie Wang, Yimo Ren, Limin Sun 0001, Hongsong Zhu. 919-931 [doi]
• Exploring Static Taint Analysis in LLMs: A Dynamic Benchmarking Framework for Measurement and EnhancementHaoran Zhao, Lei Zhang 0006, Keke Lian, Fute Sun, Bofei Chen, Yongheng Liu, Zhiyu Wu, Yuan Zhang 0009, Min Yang 0002. 932-944 [doi]
• Demystifying OpenZeppelin's Own Vulnerabilities and Analyzing Their Propagation in Smart ContractsHan Liu 0012, Daoyuan Wu, Yuqiang Sun 0001, Shuai Wang, Yang Liu, Yixiang Chen. 945-957 [doi]
• iKnow: an Intent-Guided Chatbot for Cloud Operations with Retrieval-Augmented GenerationJunjie Huang 0008, Yuedong Zhong, Guangba Yu, Zhihan Jiang, Minzhi Yan, Wenfei Luan, Tianyu Yang, Rui Ren, Michael R. Lyu. 958-970 [doi]
• AlignCoder: Aligning Retrieval with Target Intent for Repository-Level Code CompletionTianyue Jiang, Yanlin Wang 0001, Yanli Wang 0001, Daya Guo, Ensheng Shi, Yuchi Ma, Jiachi Chen, Zibin Zheng. 971-982 [doi]
• Coverage-Based Harmfulness Testing for LLM Code TransformationHonghao Tan, Haibo Wang, Diany Pressato, Yisen Xu, Shin Hwei Tan. 983-995 [doi]
• Not Every Patch is an Island: LLM-Enhanced Identification of Multiple Vulnerability PatchesYi Song, Dongchen Xie, Lin Xu, He Zhang, Chunying Zhou, Xiaoyuan Xie. 996-1007 [doi]
• Automated Inline Comment Smell Detection and Repair with Large Language ModelsHatice Kübra Çaglar, Semih Çaglar, Eray Tüzün. 1008-1019 [doi]
• Programmers' Visual Attention on Function Call Graphs During Code SummarizationSamantha McLoughlin, Zachary Karas, Robert Wallace, Aakash Bansal, Collin McMillan, Yu Huang 0015. 1020-1031 [doi]
• An LLM-based multi-agent framework for agile effort estimationThanh-Long Bui, Hoa Khanh Dam, Rashina Hoda. 1032-1043 [doi]
• PromFuzz: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart ContractsXingshuang Lin, Qinge Xie, Binbin Zhao, Yuan Tian 0001, Saman A. Zonouz, Na Ruan, Jiliang Li, Raheem Beyah, Shouling Ji. 1044-1056 [doi]
• LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and ClassificationDoha Nam, Jongmoon Baik. 1057-1069 [doi]
• A Large Scale Study of AI-based Binary Function Similarity Detection Techniques for Security Researchers and PractitionersJingyi Shi, Yufeng Chen, Yang Xiao 0011, Yuekang Li, Zhengzi Xu, Sihao Qiu, Chi Zhang, Keyu Qi, Yeting Li, Xingchu Chen, Yanyan Zou 0002, Yang Liu 0003, Wei Huo. 1070-1082 [doi]
• DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World ProjectsWentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, Tianyin Xu. 1083-1094 [doi]
• ZendDiff: Differential Testing of PHP InterpreterYuancheng Jiang, Jianing Wang, Qiange Liu, Yeqi Fu, Jian Mao, Roland H. C. Yap, Zhenkai Liang. 1095-1106 [doi]
• BCFuzz: Bytecode-Driven Fuzzing for JavaScript EnginesJiming Wang, Chenggang Wu 0002, Jikai Ren, Yuhao Hu, Yan Kang 0002, Xiaojie Wei, Yuanming Lai, Mengyao Xie, Zhe Wang 0017. 1107-1118 [doi]
• CoorLog: Efficient-Generalizable Log Anomaly Detection via Adaptive Coordinator in Software EvolutionPei Xiao 0007, Chiming Duan, Minghua He, Tong Jia, Yifan Wu 0002, Jing Xu, Gege Gao, Lingzhe Zhang, Weijie Hong, Ying Li 0012, Gang Huang 0001. 1119-1131 [doi]
• GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing ApplicationsDillon Otto, Tanner Rowlett, Stefan Nagy. 1132-1142 [doi]
• Hypergraph Neural Network-based Multi-Granular Root Cause Localization for Microservice SystemsYaxiao Li, Lu Wang 0014, Chenxi Zhang 0003, Qingshan Li, Siming Rong, Baiyang Wen, Xuyang Li, Kun Ma, Quanwei Du, Keyang Li, Lingfeng Pan, Xinyue Li, Mingxuan Hui. 1143-1155 [doi]
• Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue RepairKai Huang, Jian Zhang 0087, Xiaofei Xie, Chunyang Chen 0001. 1156-1168 [doi]
• When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?An Guo 0002, Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Haomin Pang, Haoxiang Tian 0001, Yanzhou Mu, Wu Wen, Chunrong Fang, Zhenyu Chen 0001. 1169-1181 [doi]
• Backdoors in Code Summarizers: How Bad Is It?Chenyu Wang 0005, Zhou Yang 0003, Yaniv Harel, David Lo 0001. 1182-1194 [doi]
• AdaptEval: A Benchmark for Evaluating Large Language Models on Code Snippet AdaptationTanghaoran Zhang, XinJun Mao, Shangwen Wang, Yuxin Zhao, Yao Lu 0003, Jin Zhang, Zhang Zhang 0005, Kang Yang 0001, Yue Yu 0001. 1195-1207 [doi]
• Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMsZhi Ma, Cheng Wen 0002, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang. 1208-1220 [doi]
• RFCAudit: AI Agent for Auditing Protocol Implementations Against RFC SpecificationsMingwei Zheng, Chengpeng Wang 0001, Xuwei Liu, Jinyao Guo, Shiwei Feng 0002, Xiangyu Zhang 0001. 1221-1233 [doi]
• RFCScope: Detecting Logical Ambiguities in Internet Protocol SpecificationsMrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang. 1234-1246 [doi]
• Protecting Source Code Privacy When Hunting Memory BugsJielun Wu, Bing Shui, Hongcheng Fan, Shengxin Wu, Rongxin Wu, Yang Feng 0003, Baowen Xu, Qingkai Shi. 1247-1259 [doi]
• What's DAT Smell? Untangling and Weaving the Disjoint Assertion Tangle Test SmellMonil Narang, Hang Du, James A. Jones. 1260-1272 [doi]
• SMTgazer: Learning to Schedule SMT Algorithms via Bayesian OptimizationChuan Luo 0002, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu 0011, Chanjuan Liu, Shaowei Cai 0001, Chunming Hu. 1273-1285 [doi]
• Agentic Specification Generator for Move ProgramsYu-Fu Fu, Meng Xu, Taesoo Kim. 1286-1298 [doi]
• AMPLE: Fine-grained File Access Policies for Server ApplicationsSeyedhamed Ghavamnia, Julien Vanegue. 1299-1311 [doi]
• Detecting Semantic Clones of Unseen FunctionalityKonstantinos Kitsios, Francesco Sovrano, Earl T. Barr, Alberto Bacchelli. 1312-1324 [doi]
• Efficient and Verifiable Proof Logging for MaxSAT SolvingRaoul Van Doren, Timos Antonopoulos, Ruzica Piskac. 1325-1337 [doi]
• FGit: Fault-Guided Fine-Tuning for Code GenerationLishui Fan, Zhongxin Liu 0002, Haoye Wang, Lingfeng Bao, Xin Xia 0001, Shanping Li. 1338-1350 [doi]
• Destabilizing Neurons to Generate Challenging Neural Network Verification BenchmarksLinhan Li, ThanhVu Nguyen. 1351-1363 [doi]
• SATORI: Static Test Oracle Generation for REST APIsJuan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz Cortés. 1364-1376 [doi]
• Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based DeductionChenyan Liu, Yun Lin 0001, Yuhuan Huang, Jiaxin Chang, Binhang Qi, Bo Jiang, Zhiyong Huang, Jinsong Dong 0001. 1377-1389 [doi]
• NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detection in Android AppsYuanhong Lan, Shaoheng Cao, Yifei Lu, Minxue Pan, Xuandong Li. 1390-1402 [doi]
• WEST: Specification-Based Test Generation for WebAssemblyDongjun Youn, Wonho Shin, Sukyoung Ryu. 1403-1414 [doi]
• VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal MethodsChenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu 0028, Sangharatna Godboley, Lucas C. Cordeiro. 1415-1426 [doi]
• Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStackYelizaveta Brus, Rungroj Maipradit, Earl T. Barr, Shane McIntosh. 1427-1439 [doi]
• Hierarchical Knowledge Injection for Improving LLM-based Program RepairRamtin Ehsani, Esteban Parra, Sonia Haiduc, Preetha Chatterjee. 1440-1452 [doi]
• VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language ModelsAidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening. 1453-1463 [doi]
• ScaleCirc: Scaling the Analysis over Circom CircuitsJinan Jiang, Haoran Qin, Xiapu Luo. 1464-1476 [doi]
• Aligning LLMs to Fully Utilize the Cross-file Context in Repository-level Code CompletionJia Li 0012, Hao Zhu, Huanyu Liu 0001, Xianjie Shi, He Zong, Yihong Dong, Kechi Zhang, Siyuan Jiang, Zhi Jin 0001, Ge Li 0001. 1477-1489 [doi]
• CoTune: Co-evolutionary Configuration TuningGangda Xiong, Tao Chen. 1490-1502 [doi]
• Sifting Truth from Coincidences: A Two-Stage Positive and Unlabeled Learning Model for Coincidental Correctness DetectionChunyan Liu, Huan Xie 0002, Yan Lei, Zhenyu Wu, Jinping Wang. 1503-1515 [doi]
• Improving NLSAT for Nonlinear Real ArithmeticZhonghan Wang. 1516-1528 [doi]
• Finding Insecure State Dependency in DApps via Multi-Source Tracing and Semantic EnrichmentJingwen Zhang, Yuhong Nan, Wei Li 0121, Kaiwen Ning, Zewei Lin, Zitong Yao, Yuming Feng 0002, Weizhe Zhang, Zibin Zheng. 1529-1540 [doi]
• Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability AnalysisJaemin Hong, Sukyoung Ryu. 1541-1552 [doi]
• It's Not Easy Being Green: On the Energy Efficiency of Programming LanguagesNicolas van Kempen, Hyuk-Je Kwon, Dung-Tuan Nguyen, Emery D. Berger. 1553-1565 [doi]
• Belief Propagation with Local Structure and Its Applications in Program AnalysisYiqian Wu, Yifan Chen, Yingfei Xiong 0001, Xin Zhang 0035. 1566-1577 [doi]
• Cryptbara: Dependency-Guided Detection of Python Cryptographic API MisusesSeogyeong Cho, SeungEun Yu, Seunghoon Woo. 1578-1590 [doi]
• IMUFuzzer: Resilience-based Discovery of Signal Injection Attacks on Robotic Aerial VehiclesSudharssan Mohan, Kyeongseok Yang, Zelun Kong, Yonghwi Kwon 0001, Junghwan Rhee, Tyler Summers, Hongjun Choi, Heejo Lee, Chung Hwan Kim. 1591-1602 [doi]
• Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic MemoryMengzhuo Chen, Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Yangguang Xue, Boyu Wu, Yuekai Huang, Libin Wu, Qing Wang 0001. 1603-1615 [doi]
• Terminator: Enabling Efficient Fuzzing of Closed-Source GUI Programs by Automatic Coverage-Guided TerminationJonas Zabel, Philip Kolvenbach, Steven Arzt. 1616-1628 [doi]
• Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair ChallengesNoor Nashid, Daniel Ding, Keheliya Gallaba, Ahmed E. Hassan, Ali Mesbah 0001. 1629-1641 [doi]
• Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMsZongze Jiang, Ming Wen 0001, Ge Wen, Hai Jin 0001. 1642-1654 [doi]
• When Faster Isn't Greener: The Hidden Costs of LLM-Based Code OptimizationTristan Coignion, Clément Quinton, Romain Rouvoy. 1655-1666 [doi]
• Leveraging Mixture-of-Experts Framework for Smart Contract Vulnerability Repair with Large Language ModelHang Yuan, Xizhi Hou, Lei Yu, Li Yang, Jiayue Tang, Jiadong Xu, YiFei Liu, Fengjun Zhang, Chun Zuo. 1667-1679 [doi]
• Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness ViolationsRanit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan, Saeid Tizpaz Niari. 1680-1692 [doi]
• Demystifying Cookie Sharing Risks in WebView-based Mobile App-in-app EcosystemsMiao Zhang, Shenao Wang 0001, Guilin Zheng, Yanjie Zhao 0001, Haoyu Wang 0001. 1693-1704 [doi]
• ADPerf: Investigating and Testing Performance in Autonomous Driving SystemsTri Minh Triet Pham, Diego Elias Costa, Weiyi Shang, Jinqiu Yang 0001. 1705-1717 [doi]
• Fixing Broken Graphs: LLM-Powered Automatic Code Optimization for DNN ProgramsHaotian Wang, Yicheng Sui, Yudong Xie, Yicong Liu, Yufei Sun, Changqing Shi, Yuzhi Zhang. 1718-1730 [doi]
• Function Clustering-Based Fuzzing Termination: Toward Smarter Early StoppingLiang Ding, Wenzhang Yang, Yinxing Xue. 1731-1743 [doi]
• Cross2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmonyQian Zhang, Tsz On Li, Ying Wang 0038, Li Li, Shing-Chi Cheung. 1744-1755 [doi]
• HybridSIMD: A Super C++ SIMD Library with Integrated Auto-tuning CapabilitiesHaolin Pan, Xulin Zhou, Mingjie Xing, Yanjun Wu. 1756-1767 [doi]
• Demystifying Cross-Language C/C++ Binaries: A Robust Software Component Analysis ApproachMeiqiu Xu, Ying Wang 0038, Wei Tang, Xian Zhan, Shing-Chi Cheung, Hai Yu 0001, Zhiliang Zhu 0001. 1768-1780 [doi]
• Detecting Various DeFi Price Manipulations with LLM ReasoningJuantao Zhong, Daoyuan Wu, Ye Liu 0012, Maoyi Xie, Yang Liu 0003, Yi Li 0008, Ning Liu. 1781-1793 [doi]
• Multi-dimensional Assessment of Crowdsourced Testing Reports via LLMsYue Wang, Yu-an Zhang, Shengcheng Yu, Zhenyu Chen 0001. 1794-1806 [doi]
• ARG: Testing Query Rewriters via Abstract Rule Guided FuzzingDawei Li, Yuxiao Guo, Qifan Liu, Jie Liang 0006, Zhiyong Wu 0010, Jingzhou Fu, Chi Zhang 0073, Yu Jiang 0001. 1807-1818 [doi]
• On the (In)Security of Non-resettable Device Identifiers in Custom Android SystemsZikan Dong, Liu Wang 0002, Guoai Xu, Haoyu Wang 0001. 1819-1830 [doi]
• PEACE: Towards Efficient Project-Level Efficiency Optimization via Hybrid Code EditingXiaoxue Ren, Jun Wan, Yun Peng, Zhongxin Liu 0002, Ming Liang, Dajun Chen, Wei Jiang, Yong Li. 1831-1843 [doi]
• MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repository Issue ResolutionYibo Wang 0008, Zhihao Peng 0009, Ying Wang 0038, Zhao Wei, Hai Yu 0001, Zhiliang Zhu 0001. 1844-1855 [doi]
• Can Mamba Be Better? An Experimental Evaluation of Mamba in Code IntelligenceShuo Liu 0020, Jacky Keung, Zhen Yang 0022, Zhenyu Mao, Yicheng Sun. 1856-1868 [doi]
• ORFuzz: Fuzzing the "Other Side" of LLM Safety - Testing Over-RefusalHaonan Zhang 0007, Dongxia Wang 0002, Yi Liu, Kexin Chen, Jiashui Wang, Xinlei Ying, Long Liu, Wenhai Wang. 1869-1880 [doi]
• Coding-Fuse: Efficient Fusion of Code Pre-Trained Models for Classification TasksYu Zhao, Lina Gong, Zhiqiu Huang, Yuchen Jin, Mingqiang Wei. 1881-1893 [doi]
• Diplomatist: What Do Cross-language Dependencies Reflect Software Ecosystem Health?Fanyi Meng 0003, Ying Wang 0038, Chun Yong Chong, Hai Yu 0001, Zhiliang Zhu 0001. 1894-1905 [doi]
• Automated Detection of Web Application Navigation Barriers for Screen Reader UsersShubhi Jain, Syed Fatiul Huq, Ziyao He, Sam Malek. 1906-1918 [doi]
• SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated CodeQinglin Wang, Zhihong Sun, Ruyun Wang, Tao Huang, Zhi Jin 0001, Ge Li 0001, Chen Lyu 0001. 1919-1930 [doi]
• Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and ReasoningXin Wang, Zhenhao Li, Zishuo Ding. 1931-1942 [doi]
• Efficient Understanding of Machine Learning Model MispredictionsMartin Eberlein, Jürgen Cito, Lars Grunske. 1943-1955 [doi]
• VRTestSniffer: Test Smell Detector for Virtual Reality (VR) Software ProjectsFaraz Gurramkonda, Avishak Chakroborty, Bruce Maxim, Mohamed Wiem Mkaouer, Foyzul Hassan. 1956-1968 [doi]
• Non-termination Witnesses and Their ValidationZsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer 0001, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek. 1969-1981 [doi]
• Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based TestingKonstantinos Kitsios, Marco Castelluccio, Alberto Bacchelli. 1982-1994 [doi]
• Have We Solved Access Control Vulnerability Detection in Smart Contracts? A Benchmark StudyHan Liu 0012, Daoyuan Wu, Yuqiang Sun 0001, Shuai Wang 0011, Yang Liu 0003. 1995-2007 [doi]
• Explainable Fault Localization for Programming Assignments via LLM-Guided AnnotationFang Liu, TianZe Wang, Li Zhang, Zheyu Yang, Jing Jiang, Zian Sun. 2008-2020 [doi]
• Interpretable Vulnerability Detection ReportsCláudia Mamede, José Campos 0001, Claire Le Goues, Rui Abreu 0001. 2021-2032 [doi]
• Characterizing and Repairing Color-Related Accessibility Issues in Android AppsJiahao Gu, Huaxun Huang. 2033-2045 [doi]
• Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub RepositoriesXiaoning Ren, Yuhang Ye 0004, Xiongfei Wu, Yueming Wu 0001, Yinxing Xue. 2046-2057 [doi]
• FirmProj: Detecting Firmware Leakage in IoT Update Processes via Companion App AnalysisWenzhi Li, Jialong Guo, Jiongyi Chen, Fan Li, Yujie Xing, Yanbo Xu, Shishuai Yang, Wenrui Diao. 2058-2070 [doi]
• Why Is My Transaction Risky? Understanding Smart Contract Semantics and Interactions in the NFT EcosystemYujing Chen, Xuanming Liu, Zhiyuan Wan, Zuobin Wang, David Lo 0001, Difan Xie, Xiaohu Yang 0001. 2071-2082 [doi]
• Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program ExplorationDingzhao Xue, Yibo Qu, Bowen Jiang, Xin Chen, Shuaizong Si, Shichao Lv, Zhiqiang Shi, Limin Sun 0001. 2083-2095 [doi]
• Spec2Code: Mapping Protocol Specification to Function-Level Code ImplementationYuekun Wang, Lili Quan, Xiaofei Xie, Junjie Wang, Jianjun Chen. 2096-2108 [doi]
• Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation TestingAli Ghanbari 0001, Sasan Tavakkol. 2109-2121 [doi]
• PAT-Agent: Autoformalization for Model CheckingXinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai 0001, Zhe Hou, Jing Sun 0002, Jin Song Dong 0001. 2122-2133 [doi]
• Towards Generalizable Instruction Vulnerability Prediction via LLM-Enhanced Code RepresentationBao Wen, Jingjing Gu, Jingxuan Zhang, Yang Liu, Pengfei Yu, Yanchao Zhao. 2134-2145 [doi]
• Don't Mess with Bro's Cheese! An Empirical Study of Resource Conflict in Android Multi-windowChenkai Guo, Huimin Zhao, Tianhong Wang 0010, Naipeng Dong, Qingqing Dong, Jiarui Che, Yaqiong Qiao, Xiangyang Luo 0001, Zheli Liu. 2146-2157 [doi]
• FlakyGuard: Automatically Fixing Flaky Tests at Industry ScaleChengpeng Li 0002, Farnaz Behrang, August Shi, Peng Liu. 2158-2170 [doi]
• Spinner: Detecting Locking Violations in the eBPF RuntimePriya Govindasamy, Joseph Bursey, Hsin-Wei Hung, Ardalan Amiri Sani. 2171-2183 [doi]
• Altered Histories in Version Control System Repositories: Evidence from the TrenchesSolal Rapaport, Laurent Pautet, Samuel Tardieu, Stefano Zacchiroli. 2184-2195 [doi]
• Generating Failure-Based Oracles to Support Testing of Reported Bugs in Android AppsJack Johnson, Junayed Mahmud, Oscar Chaparro, Kevin Moran, Mattia Fazzini. 2196-2208 [doi]
• LspFuzz: Hunting Bugs in Language ServersHengcheng Zhu 0001, Songqiang Chen, Valerio Terragni, Lili Wei 0001, Yepang Liu 0001, Jiarong Wu, Shing-Chi Cheung. 2209-2221 [doi]
• LLM-Powered Multi-Agent Collaboration for Intelligent Industrial On-Call AutomationRuowei Fu, Yang Zhang, Zeyu Che, Xin Wu, Zhenyu Zhong, Zhiqiang Ren, Shenglin Zhang, Feng Wang, Yongqian Sun, Xiaozhou Liu, Kexin Liu, Yu Zhang. 2222-2234 [doi]
• Enhancing LLM to Decompile Optimized PTX to Readable CUDA for Tensor ProgramsXinyu Sun, Fugen Tang, Yu Zhang, Han Shen, Chengru Song, Di Zhang. 2235-2247 [doi]
• Mixture-of-Experts Low-Rank Adaptation for Multilingual Code SummarizationTianchen Yu, Li Yuan, Hailing Huang, Jiexin Wang, Yi Cai. 2248-2260 [doi]
• Automated Repair of OpenID Connect ProgramsTamjid Al Rahat, Yanju Chen, Yu Feng 0001, Yuan Tian 0001. 2261-2273 [doi]
• Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program ReductionZhenYang Xu, Yiran Wang, Yongqiang Tian 0001, Mengxiao Zhang, Chengnian Sun. 2274-2285 [doi]
• Faster Runtime Verification during Testing via Feedback-Guided Selective MonitoringShinhae Kim, Saikat Dutta 0001, Owolabi Legunsen. 2286-2298 [doi]
• FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and VerificationQianhui Zhao, Li Zhang, Fang Liu, Xiaoli Lian, Qiaoyuanhe Meng, Ziqian Jiao, Zetong Zhou, Jia Li, Lin Shi. 2299-2311 [doi]
• Effective Code Membership Inference for Code Completion Models via Adversarial PromptsYuan Jiang, Zehao Li, Shan Huang, Christoph Treude, Xiaohong Su, Tiantian Wang 0001. 2312-2324 [doi]
• SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort EstimationGustavo Ansaldi Oliva, Gopi Krishnan Rajbahadur, Aaditya Bhatia, Haoxiang Zhang 0001, Yihao Chen, Zhilong Chen, Arthur Leung, Dayi Lin, Boyuan Chen 0002, Ahmed E. Hassan. 2325-2337 [doi]
• On the Correctness of Software MergeAkira Mori, Masatomo Hashimoto. 2338-2349 [doi]
• Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program ChangesXizao Wang, Xiangrong Bin, Lanxin Huang, Shangqing Liu, Jianhua Zhao, Lei Bu. 2350-2362 [doi]
• Polyglot: An Extensible Framework to Benchmark Code Translation with LLMsMarco Vieira, Priyam Ashish Shah, Bhavain Shah, Rrezarta Krasniqi. 2363-2375 [doi]
• Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIRZeyu Sun 0004, Jingjing Liang, Weiyi Wang, Chenyao Suo, Junjie Chen 0003, Fanjiang Xu. 2376-2387 [doi]
• FailMapper: Automated Generation of Unit Tests Guided by Failure ScenariosRuiqi Dong, Zehang Deng, Xiaogang Zhu 0001, Xiaoning Du, Huai Liu, Shaohua Wang 0002, Sheng Wen, Yang Xiang 0001. 2388-2400 [doi]
• LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest FrameworkAndrea Lops, Fedelucio Narducci, Azzurra Ragone, Michelantonio Trizio, Claudio Bartolini. 2401-2413 [doi]
• DeepExploitor: LLM-Enhanced Automated Exploitation of DeepLink Attack in Hybrid AppsZhangyue Zhang, Lei Zhang, Zhibo Zhang 0006, Yongheng Liu, Zhemin Yang, Yuan Zhang 0009, Min Yang 0002. 2414-2426 [doi]
• An Agent-based Evaluation Framework for Complex Code GenerationXinchen Wang, Ruida Hu, Pengfei Gao, Chao Peng 0002, Cuiyun Gao 0001. 2427-2439 [doi]
• Token Sugar: Making Source Code Sweeter for LLMs through Token-Efficient ShorthandZhensu Sun, Chengran Yang, Xiaoning Du 0001, Zhou Yang 0003, Li Li 0029, David Lo 0001. 2440-2451 [doi]
• Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM ReasoningPatrizio Migliarini, Mashal Afzal Memon, Marco Autili, Paola Inverardi. 2452-2464 [doi]
• Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software StacksKanguk Lee, Jaemin Hong, Sukyoung Ryu. 2465-2477 [doi]
• Evaluating and Improving Framework-based Parallel Code Completion with Large Language ModelsKe Liu, Qinglin Wang, Xiang Chen, Guang Yang, Yigui Feng, Gencheng Liu, Jie Liu. 2478-2490 [doi]
• The Fault in our StatsAlexi Turcotte, Neev Nirav Mehta. 2491-2503 [doi]
• Unit Test Update through LLM-Driven Context Collection and Error-Type-Aware RefinementYuanhe Zhang, Zhiquan Yang, Shengyi Pan, Zhongxin Liu. 2504-2515 [doi]
• On Automating Configuration Dependency Validation via Retrieval-Augmented GenerationSebastian Simon, Alina Mailach, Johannes Dorn, Norbert Siegmund. 2516-2528 [doi]
• Automated Insertion of Flushes and Fences for PersistencyYutong Guo, Weiyu Luo, Brian Demsky. 2529-2541 [doi]
• Soleker: Uncovering Vulnerabilities in Solana Smart ContractsKunsong Zhao, Yunpeng Tian, Zuchao Ma, Xiapu Luo. 2542-2554 [doi]
• ACTaint: Agent-Based Taint Analysis for Access Control Vulnerabilities in Smart ContractsHuarui Lin, Zhipeng Gao 0002, Jiachi Chen, Xiang Chen 0005, Xiaohu Yang 0001, Lingfeng Bao. 2555-2567 [doi]
• DRIFT: Debug-based Trace Inference for Firmware TestingChangming Liu, Alejandro Mera, Meng Xu, Engin Kirda. 2568-2579 [doi]
• WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing ScheduleXiaogang Zhu 0001, Enze Dai, Xiaotao Feng, Shaohua Wang 0002, Xin Xia 0001, Sheng Wen, Kwok-Yan Lam, Yang Xiang 0001. 2580-2592 [doi]
• On the Robustness Evaluation of 3D Obstacle Detection Against Specifications in Autonomous DrivingTri Minh Triet Pham, Bo Yang 0058, Jinqiu Yang 0001. 2593-2605 [doi]
• SE-Jury: An LLM-as-Ensemble-Judge Metric for Narrowing the Gap with Human Evaluation in SEXin Zhou 0014, Kisub Kim, Ting Zhang 0011, Martin Weyssow, Luís F. Gomes, Guang Yang 0019, Kui Liu 0001, Xin Xia 0001, David Lo 0001. 2606-2618 [doi]
• EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative DecodingPeiding Wang, Li Zhang, Fang Liu, Yinghao Zhu, Wang Xu, Lin Shi, Xiaoli Lian, Minxiao Li, Bo Shen, An Fu. 2619-2630 [doi]
• AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Programs via Circuit Graph AnalysisTingting Li, Ziming Zhao, Jianwei Yin. 2631-2643 [doi]
• Using Active Learning to Train Predictive Mutation Testing with Minimal DataMiklos Borsi. 2644-2656 [doi]
• QuanBench: Benchmarking Quantum Code Generation with Large Language ModelsXiaoyu Guo, Minggu Wang, Jianjun Zhao. 2657-2669 [doi]
• How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAsNicolas Amat, Pierre Ganty, Alessio Mansutti. 2670-2681 [doi]
• Understanding Resource Injection Vulnerabilities in Kubernetes EcosystemsDefang Bo, Jie Lu 0009, Feng Li 0045, Jingting Chen, Jinchen Wang, Chendong Yu, Yeting Li, Wei Huo. 2682-2694 [doi]
• From Characters to Structure: Rethinking Real-Time Collaborative Programming ModelsLeon Freudenthaler, Bernhard Taufner, Karl Michael Göschka. 2695-2706 [doi]
• State Field Coverage: A Metric for Oracle QualityFacundo Molina, Nazareno Aguirre, Alessandra Gorla. 2707-2719 [doi]
• PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test CoverageBei Chu, Yang Feng 0003, Kui Liu 0001, Hange Shi, Zifan Nan, Zhaoqiang Guo, Baowen Xu. 2720-2732 [doi]
• Tephra: Principled Discovery of Fuzzer LimitationsVasil Sarafov, David Markvica, Stefan Brunthaler 0001. 2733-2745 [doi]
• HFuzzer: Testing Large Language Models for Package Hallucinations via Phrase-based FuzzingYukai Zhao, Menghan Wu, Xing Hu 0008, Xin Xia 0001. 2746-2758 [doi]
• LLM-Based Identification of Null Pointer Exception PatchesTahir Ullah, Waseem Akram, Fiza Khaliq, Hui Liu. 2759-2771 [doi]
• Root Cause Analysis of RISC-V Build Failures via LLM and MCTS ReasoningWeipeng Shuai, Jie Liu 0008, Zhirou Ma, Liangyi Kang, Zehua Wang, Shuai Wang, Dan Ye 0004, Hui Li, Wei Wang 0049, Jiaxin Zhu. 2772-2782 [doi]
• Understanding Feature Request Practice on GitHub via a Large-Scale Empirical StudyJiajun Li, Wenhua Yang, Minxue Pan, Yu Zhou. 2783-2794 [doi]
• Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or FloatingƒImranur Rahman, Jill Marley, William Enck, Laurie A. Williams. 2795-2807 [doi]
• A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving SystemsStefano Carlo Lambertenghi, Mirena Flores Valdez, Andrea Stocco 0001. 2808-2820 [doi]
• PoliCond: Condition-Aware Ontology-Driven LLMs for Privacy Policy Contradiction AnalysisYalin Feng, Yifei Lu, Minxue Pan. 2821-2833 [doi]
• Reflective Unit Test Generation for Precise Type Error Detection with Large Language ModelsChen Yang, Ziqi Wang, Yanjie Jiang, Lin Yang, Yuteng Zheng, Jianyi Zhou, Junjie Chen. 2834-2845 [doi]
• Understanding Software Engineering Agents: A Study of Thought-Action-Result TrajectoriesIslem Bouzenia, Michael Pradel. 2846-2857 [doi]
• SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code GenerationZhifan Ye, Jiachi Chen, Zhenzhe Shao, Lingfeng Bao, Xiaohu Yang 0001, Zhongxin Liu 0002. 2858-2869 [doi]
• LLMPort: Cross-file Patch Porting via Task Decomposition and Self-correctionBofei Chen, Lei Zhang, Peng Deng, Nan Wang, Haoyu Xu, Mingda Guo, Yuan Zhang, Min Yang. 2870-2881 [doi]
• DiffFix: Incrementally Fixing AST Diffs via Context and Type InformationGuofeng Zeng, Chang-ai Sun, Kai Gao, Huai Liu. 2882-2893 [doi]
• Better Safe than Sorry: Preventing Policy Violations through Predictive Root-Cause-Analysis for IoT SystemsMichael Norris, Syed Rafiul Hussain, Gang Tan. 2894-2905 [doi]
• Metamorphic Testing for Audio Content Moderation SoftwareWenxuan Wang 0001, Yongjiang Wu, Junyuan Zhang, Shuqing Li 0001, Yun Peng 0003, Wenting Chen, Shuai Wang 0011, Michael R. Lyu. 2906-2918 [doi]
• Automated Combinatorial Test Generation for AlloyAgustín Borda, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio. 2919-2931 [doi]
• The Cost of Downgrading Build Systems : A Case Study of KubernetesGareema Ranjan, Mahmoud Alfadel, Gengyi Sun, Shane McIntosh. 2932-2944 [doi]
• EPSO: A Caching-Based Efficient Superoptimizer for BPF BytecodeQian Zhu, Yuxuan Liu, Ziyuan Zhu, Shangqing Liu, Lei Bu. 2945-2956 [doi]
• When Does Wasm Malware Detection Fail? A Systematic Analysis of Their Robustness to EvasionTaeyoung Kim, Sanghak Oh, Kiho Lee, Weihang Wang, Yonghwi Kwon, Sanghyun Hong, Hyoungshick Kim. 2957-2969 [doi]
• Vulnerability-Affected Versions Identification: How Far Are We?Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao 0011, Xinyue Cai, Yeting Li, Jingyi Shi, Tianqi Sun, Haiming Chen 0001, Wei Huo. 2970-2982 [doi]
• LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLMYuxin Zhang, Yuxia Zhang, Zeyu Sun 0004, Yanjie Jiang, Hui Liu 0003. 2983-2995 [doi]
• Your Build Scripts Stink: The State of Code Smells in Build ScriptsMahzabin Tamanna, Yash Chandrani, Matthew Burrows, Brandon Wroblewski, Laurie A. Williams, Dominik Wermke. 2996-3008 [doi]
• Mockingbird: Efficient Excessive Data Exposures Detection via Dynamic Code InstrumentationChenxiao Xia, Jiazheng Sun, Jun Zheng, Yu-an Tan, Hongyi Su. 3009-3020 [doi]
• RealisticCodeBench: Towards More Realistic Evaluation of Large Language Models for Code GenerationXiao Yu 0008, Haoxuan Chen, Lei Liu 0062, Xing Hu 0008, Jacky Wai Keung, Xin Xia 0001. 3021-3033 [doi]
• Issue Localization via LLM-Driven Iterative Code Graph SearchingZhonghao Jiang, Xiaoxue Ren, Meng Yan 0001, Wei Jiang, Yong Li, Zhongxin Liu 0002. 3034-3045 [doi]
• Clarifying Semantics of In-Context Examples for Unit Test GenerationChen Yang, Lin Yang, Ziqi Wang, Dong Wang, Jianyi Zhou, Junjie Chen. 3046-3057 [doi]
• Who's to Blame? Rethinking the Brittleness of Automated Web GUI Testing from a Pragmatic PerspectiveHaonan Zhang 0006, Kundi Yao, Zishuo Ding, Lizhi Liao, Weiyi Shang. 3058-3070 [doi]
• Amur: Fixing Multi-Resource Leaks Guided by Resource Flow AnalysisJinyoung Kim, Eunseok Lee. 3071-3082 [doi]
• Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program PathsPeng Deng, Lei Zhang 0006, Jingqi Long, Wenzheng Hong, Zhemin Yang, Yuan Zhang 0009, Donglai Zhu, Min Yang 0002. 3083-3094 [doi]
• Agents in the Sandbox: End-to-End Crash Bug Reproduction for MinecraftEray Yapagci, Yavuz Alp Sencer Öztürk, Eray Tüzün. 3095-3107 [doi]
• LLM-Assisted Synthesis of High-Assurance C ProgramsPrasita Mukherjee, Minghai Lu, Benjamin Delaware. 3108 [doi]
• How Can Infrastructure as Code Accelerate Data Center Bring-ups? A Case Study at ByteDanceXianhao Jin, Yifei Feng, Yufei Gao, Yongning Hu, Jie Huang, Kun Xia, Luchuan Guo. 3121-3132 [doi]
• JSidentify-V2: Leveraging Dynamic Memory Fingerprinting for Mini-Game Plagiarism DetectionZhihao Li, Chaozheng Wang, Zongjie Li, Xinyong Peng, Qun Xia, Haochuan Lu, Ting Xiong, Shuzheng Gao, Cuiyun Gao 0001, Shuai Wang 0011, Yuetang Deng, Huafeng Ma. 3133-3144 [doi]
• Practical Escape of Exploration Tarpits for Mini-Game Testing in an Industrial SettingYuan Cao, Dezhi Ran, Haochuan Lu, Chao Guo, Xuran Hao, Zhuoru Chen, Ting Xiong, Yuetang Deng, Tao Xie 0001. 3145-3156 [doi]
• Industry Practice of LLM-Assisted Protocol Fuzzing for Commercial Communication ModulesQiang Fu, Changjian Liu, Yuan Ding, Chao Fan, Yulai Fu, Yuhan Chen, Ying Fu, Ronghua Shi, Fuchen Ma, Heyuan Shi. 3157-3167 [doi]
• HarmoBridge: Bridging ArkTS and C/C++ for Cross-Language Static Analysis on HarmonyOSJiale Wu, Jiapeng Deng, Yanjie Zhao, Li Li, Haoyu Wang. 3168-3179 [doi]
• APKARMOR: Low-Cost Lightweight Anti-Decompilation Techniques for Android AppsJiayang Liu, Yanjie Zhao, Pengcheng Xia, Haoyu Wang. 3180-3191 [doi]
• KAIOPS: A Platform Solution of End-to-End Multi-Modal AIOps for AI Training at ScaleZeying Wang, Junhong Liu, Penghao Zhang, Xiaoyang Sun, Xu Wang, Tianyu Wo, Chunming Hu, Chengru Song, Jin Ouyang, Renyu Yang. 3192-3203 [doi]
• iCodeReviewer: Improving Secure Code Review with Mixture of PromptsYun Peng, Kisub Kim, Linghan Meng, Kui Liu. 3204-3215 [doi]
• Should We Evaluate LLM Based Security Analysis Approaches on Open Source Systems?Kohei Dozono, Jonas Engesser, Benjamin Hummel, Tobias Roehm, Alexander Pretschner. 3216-3226 [doi]
• Tron: Fuzzing Linux Network Stack via Protocol-System Call Payload SynthesisQiang Zhang, Yifei Chu, Yuheng Shen, Jianzhong Liu, Heyuan Shi, Yu Jiang 0001, Wanli Chang 0001. 3227-3238 [doi]
• TrioXpert: An Automated Incident Management Framework for Microservice SystemYongqian Sun, Yu Luo, Xidao Wen, Yuan Yuan 0034, Xiaohui Nie, Shenglin Zhang, Tong Liu, Xi Luo. 3239-3250 [doi]
• Metrics Driven Reengineering and Continuous Code Improvement at MetaAudris Mockus, Peter C. Rigby, Rui Abreu 0001, Anatoly Akkerman, Yogesh Bhootada, Payal Bhuptani, Gurnit Ghardhora, Lan Hoang Dao, Chris Hawley, Renzhi He, Sagar Krishnamoorthy, Sergei Krauze, Jianmin Li, Anton Lunov, Dragos Martac, François Morin, Neil Mitchell, Venus Montes, Maher Saba, Matt Steiner, Andrea Valori, Shanchao Wang, Nachiappan Nagappan. 3251-3261 [doi]
• Context-Sensitive Pointer Analysis for ArkTSYizhuo Yang 0005, Lingyun Xu, Mingyi Zhou, Li Li 0029. 3262-3273 [doi]
• Minuku: Detecting Diverse Display Issues in Mobile Apps with Small-scale DatasetYongxiang Hu 0003, Ke Liu, Hailiang Jin, Shiyu Guo, Juxing Yuan, Xin Wang, Yangfan Zhou 0002. 3274-3286 [doi]
• Context-Aware CodeLLM Eviction for AI-assisted CodingKishanthan Thangarajah, Boyuan Chen 0002, Shi Chang, Ahmed E. Hassan. 3287-3298 [doi]
• LogPilot: Intent-aware and Scalable Alert Diagnosis for Large-scale Online Service SystemsZhihan Jiang, Jinyang Liu 0002, Yichen Li 0003, Haiyu Huang 0008, Xiao He 0008, Tieying Zhang, Jianjun Chen 0001, Yi Li, Rui Shi, Michael R. Lyu. 3299-3310 [doi]
• Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case StudyPedro Luís Fonseca, Bruno Lima, João Pascoal Faria. 3311-3321 [doi]
• An Empirical Study on UI Overlap in OpenHarmony ApplicationsFarong Liu, Mingyi Zhou, Li Li 0029. 3322-3333 [doi]
• Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMsFanyu Wang, Chetan Arora 0001, Yonghui Liu 0001, Kaicheng Huang, Chakkrit Tantithamthavorn, Aldeida Aleti, Dishan Sambathkumar, David Lo 0001. 3334-3345 [doi]
• Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software EngineeringZiyou Li, Agnia Sergeyuk, Maliheh Izadi. 3346-3356 [doi]
• Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation SystemsSajad Khatiri, Francisco Eli Vina Barrientos, Maximilian Wulf, Paolo Tonella, Sebastiano Panichella. 3357-3368 [doi]
• A Characterization Study of Bugs in LLM Agent Workflow Orchestration FrameworksZiluo Xue, Yanjie Zhao 0001, Shenao Wang 0001, Kai Chen, Haoyu Wang 0001. 3369-3380 [doi]
• AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered SoftwareRui Yang, Michael Fu, Chakkrit Tantithamthavorn, Chetan Arora 0002, Gunel Gulmammadova, Joselito Joey Chua. 3381-3391 [doi]
• Unlocking Reproducibility: Automating re-Build Process for Open-Source SoftwareBehnaz Hassanshahi, Trong Nhan Mai, Benjamin Selwyn-Smith, Nicholas Allen. 3392-3402 [doi]
• Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital TwinsErblin Isaku, Hassan Sartaj, Shaukat Ali 0001, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain. 3403-3414 [doi]
• Data Dependency-Aware Code Generation from Enhanced UML Sequence DiagramsWenxin Mao, Zhitao Wang, Long Wang, Sirong Chen, Cuiyun Gao 0001, Luyang Cao, Ziming Liu, Qiming Zhang, Jun Zhou, Zhi Jin 0001. 3415-3425 [doi]
• Automated Proactive Logging Quality Improvement for Large-Scale CodebasesYichen Li 0003, Jinyang Liu 0002, Junsong Pu, Zhihan Jiang, Zhuangbin Chen, Xiao He 0008, Tieying Zhang, Jianjun Chen 0001, Yi Li, Rui Shi, Michael R. Lyu. 3426-3437 [doi]
• From Redundancy to Efficiency: Exploiting Shared UI Interactions towards Efficient LLM-Based TestingXuan Wang, Yingchuan Wang, Yongxiang Hu 0003, Yu Zhang 0165, Hailiang Jin, Shiyu Guo, Juxing Yuan, Yangfan Zhou 0002. 3438-3449 [doi]
• Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChatKexing Ji, Shiyun Fu, Cuiyun Gao 0001, Yujia Chen, Zezhou Yang, Chaozheng Wang, Yuetang Deng. 3450-3461 [doi]
• From Technical Excellence to Practical Adoption: Lessons Learned Building an ML-Enhanced Trace Analysis ToolKaveh Shahedi, Matthew Khouzam, Heng Li 0007, Maxime Lamothe, Foutse Khomh. 3462-3474 [doi]
• Evaluating Large Language Models for Functional and Maintainable Code in Industrial Settings: A Case Study at ASMLYash Mundhra, Max Valk, Maliheh Izadi. 3475-3485 [doi]
• BitsAI-Fix: LLM-Driven Approach for Automated Lint Error Resolution in PracticeYuanpeng Li, Qi Long, Zhiyuan Yao, Jian Xu, Lintao Xie, Xu He, Lu Geng, Xin Han, Yueyan Chen, Wenbo Duan. 3486-3497 [doi]
• Adaptive Performance Regression Detection Using A Semi-Supervised Siamese NetworkYongqian Sun, Mengyao Li, Xiao-Xiong, Lei Tao, Yimin Zuo, Wenwei Gu, Shenglin Zhang, Junhua Kuang, Yu Luo, Huandong Zhuang, Bowen Deng, Dan Pei. 3498-3509 [doi]
• TreeRanker: Fast and Model-Agnostic Ranking System for Code Suggestions in IDEsDaniele Cipollone, Egor Bogomolov, Arie van Deursen, Maliheh Izadi. 3510-3521 [doi]
• Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace SoftwareYang Liu, Yixing Luo, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin. 3522-3533 [doi]
• ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service SystemsJunsong Pu, Yichen Li 0003, Zhuangbin Chen, Jinyang Liu 0002, Zhihan Jiang, Jianjun Chen 0001, Rui Shi, Zibin Zheng, Tieying Zhang. 3534-3545 [doi]
• LLM-assisted Industrial-Scale Differential Testing of Package Incompatibilities in Linux DistributionsYuhao Yang, Chijin Zhou, Runzhe Wang, Weibo Zhang, Yuheng Shen, Xiaohai Shi, Tao Ma 0006, Chang Gao, Zhe Wang 0015, Ying Fu, Heyuan Shi. 3546-3556 [doi]
• Shrunk, Yet Complete: Code Shrinking-Resilient Android Third-Party Library DetectionJingkun Zhang, JingZheng Wu, Xiang Ling 0001, Tianyue Luo, Bolin Zhou, Mutian Yang. 3557-3568 [doi]
• Tuning LLM-based Code Optimization via Meta-Prompting: An Industrial PerspectiveJingzhi Gong, Rafail Giavrimis, Paul Brookes, Vardan Voskanyan, Fan Wu 0009, Mari Ashiga, Matthew Truscott, Mike Basios, Leslie Kanthan, Jie Xu 0007, Zheng Wang 0001. 3569-3580 [doi]
• Element-Aware Fine-Tuning of Vision-Language Models for Cost-Efficient GUI Testing in an Industrial SettingMengzhou Wu, Yuzhe Guo, Yuan Cao, Haochuan Lu, Hengyu Zhang, Xia Zeng, Liangchao Yao, Yuetang Deng, Dezhi Ran, Wei Yang 0013, Tao Xie 0001. 3581-3592 [doi]
• AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic ControllersDonghao Yang, Aolang Wu, Tianyi Zhang, Li Zhang 0029, Xiaoli Lian, Fang Liu 0032, Yuming Ren, Jiaji Tian, Xiaoyin Che. 3593-3604 [doi]
• IntelliTopo: An IaC Generation Service for Industrial Network Topology ConstructionMingyu Shao, Zhao Liu, Weihong Han, Cuiyun Gao, Jiachen Liu, Qing Liao. 3605-3615 [doi]
• RPG: Linux Kernel Fuzzing Guided by Distribution-Specific Runtime Parameter InterfacesYuhan Chen, Yuheng Shen, Guoyu Yin, Fan Ding, Runzhe Wang, Tao Ma 0006, Xiaohai Shi, Qiang Fu, Ying Fu, Heyuan Shi. 3616-3627 [doi]
• DALEQ - Explainable Equivalence for Java BytecodeJens Dietrich 0001, Behnaz Hassanshahi. 3628-3638 [doi]
• M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum ProgramsXiaoyu Guo 0007, Shinobu Saito, Jianjun Zhao 0001. 3639-3649 [doi]
• SCOPE: Evaluating and Enhancing Permission Explanation Transparency in Mobile AppsLiu Wang, Tianshu Zhou, Haoyu Wang, Xiyuan Liu, Yi Wang. 3650-3660 [doi]
• The Gold Digger in the Dark Forest: Industrial-Scale MEV Analysis in EthereumNingyu He, Tianyang Chi, Xiaohui Hu, Haoyu Wang. 3661-3671 [doi]
• RepoMasterEval: Evaluating Code Completion via Real-World RepositoriesQinyun Wu, Chao Peng 0002, Pengfei Gao, Ruida Hu, Haoyu Gan, Bo Jiang, Jinhe Tang, Zhiwen Deng, Zhanming Guan, Cuiyun Gao 0001, Xia Liu, Ping Yang. 3672-3683 [doi]
• Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal VerificationZiyu Mao, Xiaolin Ma, Lin Huang, Huan Yang, Wu Zhang, Weichao Sun, Yongtao Wang, Jingling Xue, Jingyi Wang. 3684-3694 [doi]
• Quantum Machine Learning-based Test Oracle for Autonomous Mobile RobotsXinyi Wang 0004, QingHua Xu, Paolo Arcaini, Shaukat Ali 0001, Thomas Peyrucain. 3695-3706 [doi]
• Securing Self-Managed Third-Party LibrariesXin Zhou 0016, Jinwei Xu, He Zhang 0001, Yanjing Yang, Lanxin Yang, Bohan Liu, Hongshan Tang. 3707-3718 [doi]
• MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS VersionsWei Liu 0155, Yi Wen Heng, Feng Lin, Tse-Hsun Peter Chen, Ahmed E. Hassan. 3719-3729 [doi]
• Thinking Longer, Not Larger: Enhancing Software Engineering Agents via Scaling Test-Time ComputeYingwei Ma, Yongbin Li, Yihong Dong, Xue Jiang, Yanhao Li, Yue Liu, Rongyu Cao, Jue Chen, Fei Huang 0002, Binhua Li. 3730-3741 [doi]
• LogSage: An LLM-Based Framework for CI/CD Failure Detection and Remediation with Industrial ValidationWeiyuan Xu, Juntao Luo, Tao Huang, Kaixin Sui, Jie Geng, Qijun Ma, Isami Akasaka, Xiaoxue Shi, Jing Tang, Peng Cai. 3742-3753 [doi]
• Kair: A Statistical and Causal Approach to Pinpointing Stragglers in Distributed Model TrainingYitang Yang, Junhong Liu, Jiapeng Chen, Xiaoyang Sun, Tianyu Wo, Chunming Hu, Chengru Song, Jin Ouyang, Renyu Yang. 3754-3759 [doi]
• What Types of Code Review Comments Do Developers Most Frequently Resolve?Saul Goldman, Hong-Yi Lin, Jirat Pasuksmit, Patanamon Thongtanunam, Chakkrit Kla Tantithamthavorn, Zhe Wang, Ray Zhang 0004, Ali Behnaz, Fan Jiang, Michael Siers, Ryan Jiang, Mike Buller, Minwoo Jeong, Ming Wu. 3760-3765 [doi]
• Towards Reliable LLM-based Exam Generation Lessons Learned and Open Challenges in an Industrial ProjectRenzo Degiovanni, Jordi Cabot. 3766-3771 [doi]
• Acceleration of Automotive Software Development by Retrieval Augmented Integration Test Script GenerationMasashi Mizoguchi, Kentaro Yoshimura, Keita Nakazawa, Yasuomi Sato, Takahiro Iida, Fumio Narisawa. 3772-3777 [doi]
• SGCR: A Specification-Grounded Framework for Trustworthy LLM Code ReviewKai Wang, Bingcheng Mao, Shuai Jia, Yujie Ding, Dongming Han, Tianyi Ma, Bin Cao. 3778-3783 [doi]
• Walk the Talk: Is Your Log-based Software Reliability Maintenance System Really Reliable?Minghua He, Tong Jia, Chiming Duan, Pei Xiao 0007, Lingzhe Zhang, Kangjin Wang, Yifan Wu 0002, Ying Li 0012, Gang Huang 0001. 3784-3788 [doi]
• From Modules to Marketplaces: A Vision for Composable Capability Sharing Across OrganizationsWei-Ji Wang. 3789-3793 [doi]
• Measuring Software Resilience Using Socially Aware Truck Factor EstimationAlexis Butler, Daniel O'Keeffe, Santanu Kumar Dash 0001. 3794-3798 [doi]
• Interaction-Aware Patch Assessment for Multi-Fault Automated Program RepairOmar I. Al-Bataineh. 3799-3803 [doi]
• Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair ToolsOmar I. Al-Bataineh. 3804-3808 [doi]
• How Does ChatGPT Make Assumptions When Creating Erroneous Programs?Sadia Jahan, Xiaoyin Wang. 3809-3813 [doi]
• LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt SelectionCe Lyu, Yanhao Wang 0001, Jie Liang, Minghao Zhao 0001. 3814-3818 [doi]
• Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language SpecificationsHaolin Jin, Huaming Chen. 3819-3823 [doi]
• Is Measurement Enough? Rethinking Output Validation in Quantum Program TestingJiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao 0001. 3824-3828 [doi]
• The Future of Software Transparency: Bridging Understanding, Measurement, and PracticeGregorio Dalia, Annibale Panichella, Andrea Di Sorbo, Gerardo Canfora, Corrado Aaron Visaggio. 3829-3833 [doi]
• Fault Injection for Simulink-based CPS Models: Insights and Future DirectionsDrishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli. 3834-3839 [doi]
• Taming Uncertainty via Automation: Observing, Analyzing, and Optimizing Agentic AI SystemsDany Moshkovich, Sergey Zeltyn. 3840-3844 [doi]
• Detecting and Repairing Incomplete Software Requirements with Multi-LLM EnsemblesMohamad Kassab, Marwan AbdElhameed. 3845-3849 [doi]
• Linguistic Theories Coincide with Misformalization in Temporal LogicColin S. Gordon. 3850-3855 [doi]
• Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing TasksRuofan Lu, Yichen Li 0003, Yintong Huo. 3856-3860 [doi]
• LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low CostDaisuke Kikuta, Hiroki Ikeuchi, Kengo Tajiri. 3861-3865 [doi]
• Unseen Data Detection using Routing Entropy in Mixture-of-Experts for Autonomous VehiclesSang In Lee, Donghwan Shin, Jihun Park. 3866-3870 [doi]
• CodeACT-R: A Cognitive Simulation Framework for Human Attention in Code ReadingYueke Zhang, Zihan Fang, Greg Trafton, Daniel Levin, Kevin Leach, Yu Huang. 3871-3875 [doi]
• Envisioning Intelligent Requirements Engineering via Knowledge-Guided Multi-Agent CollaborationJiangping Huang, Dongming Jin, Weisong Sun, Yang Liu 0003, Zhi Jin 0001. 3876-3880 [doi]
• NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case GenerationTiancheng Jin, Shangzhou Xia, Jianjun Zhao 0001. 3881-3885 [doi]
• When Abstraction Breaks Physics: Rethinking Modular Design in Quantum SoftwareJianjun Zhao. 3886-3890 [doi]
• Towards Automated Governance: A DSL for Human-Agent Collaboration in Software ProjectsAdem Ait, Gwendal Jouneaux, Javier Luis Cánovas Izquierdo, Jordi Cabot. 3891-3895 [doi]
• Simulated Interactive DebuggingYannic Noller, Erick Chandra 0002, Srinidhi Chandrashekar, Kenny T. W. Choo, Cyrille Jégourel, Oka Kurniawan, Christopher M. Poskitt. 3896-3901 [doi]
• LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software EvolutionKarine Even Mendoza, Alexander E. I. Brownlee, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania. 3902-3906 [doi]
• ConfuseTaint: Exploiting Vulnerabilities to Bypass Dynamic Taint AnalysisYufei Wu, Alexandre Bartel. 3907-3911 [doi]
• Human-In-The-Loop Oracle Learning for Simulation-Based TestingBen-Hau Chia, Eunsuk Kang, Christopher S. Timperley. 3912-3916 [doi]
• Tether: A Personalized Support Assistant for Software Engineers with ADHDAarsh Shah, Cleyton V. C. de Magalhães, Kiev Gama, Ronnie de Souza Santos. 3917-3921 [doi]
• Measuring LLM Code Generation Stability via Structural EntropyYewei Song, Tiezhu Sun, Xunzhu Tang, Prateek Rajput, Tegawendé F. Bissyandé, Jacques Klein. 3922-3926 [doi]
• Multiple Schema-Conformant Declarative Code GenerationMehant Kammakomati, Srikanth G. Tamilselvam. 3927-3931 [doi]
• Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent VisionXu Lu, Weisong Sun, Yiran Zhang, Ming Hu 0003, Cong Tian, Zhi Jin 0001, Yang Liu 0003. 3932-3937 [doi]
• IDBFuzz: Web Storage DataBase Fuzzing with Controllable SemanticsJingyi Chen, Jinfu Chen 0001, Saihua Cai, Shengran Wang. 3938-3942 [doi]
• STaint: Detecting Second-Order Vulnerabilities in PHP Applications with LLM-Assisted Bi-Directional Static Taint AnalysisYuchen Ji, Hongchen Cao, Jingzhu He. 3943-3947 [doi]
• Vessel: A Taxonomy of Reproducibility Issues for Container ImagesKevin Pitstick, Alex Derr, Lihan Zhan, Sebastián Echeverría. 3948-3952 [doi]
• Autonomous Agents for Accessibility: Simulating Visual Impairments in Web InterfacesJuan Diego Yepes-Parra, Camilo Escobar-Velásquez. 3953-3957 [doi]
• Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle ViolationsFatih Pehlivan, Arçin Ülkü Ergüzen, Sahand Moslemi Yengejeh, Mayasah Lami, Anil Koyuncu. 3958-3962 [doi]
• RAML: Toward Retrieval-Augmented Localization of Malicious Payloads in Android AppsTiezhu Sun, Marco Alecci, Yewei Song, Xunzhu Tang, Kisub Kim, Jordan Samhi, Tegawendé F. Bissyandé, Jacques Klein. 3963-3967 [doi]
• A Secure Mocking Approach towards Software Supply Chain SecurityDaisuke Yamaguchi, Shinobu Saito, Takuya Iwatsuka, Nariyoshi Chida, Tachio Terauchi. 3968-3972 [doi]
• AndroFL: Evolutionary-Driven Fault Localization for Android AppsVishal Singh, Ravi Shankar Das, Prajwal H. G, Subhajit Roy 0001. 3973-3976 [doi]
• VUSC: An Extensible Research Platform for Java-Based Static AnalysisMarc Miltenberger, Steven Arzt. 3977-3980 [doi]
• DESIGNATOR: a Toolset for Automated GAN-enhanced Search-based Testing and Retraining of DNNs in Martian EnvironmentsMohammed Oualid Attaoui, Fabrizio Pastore. 3981-3984 [doi]
• A Large-Scale Evolvable Dataset for Model Context Protocol Ecosystem and Security AnalysisZhiwei Lin, Bonan Ruan, Jiahao Liu 0005, Weibo Zhao. 3985-3988 [doi]
• +: An Extensible Framework for LLM-enhanced Scratch Static Code AnalysisBenedikt Fein, Florian Obermüller, Gordon Fraser 0001. 3989-3992 [doi]
• CodeGenLink: A Tool to Find the Likely Origin and License of Automatically Generated CodeDaniele Bifolco, Guido Annicchiarico, Pierluigi Barbiero, Massimiliano Di Penta, Fiorella Zampetti. 3993-3996 [doi]
• PyGress: Tool for Analyzing the Progression of Code Proficiency in Python OSS ProjectsRujiphart Charatvaraphan, Bunradar Chatchaiyadech, Thitirat Sukijprasert, Chaiyong Ragkhitwetsagul, Morakot Choetkiertikul, Raula Gaikovina Kula, Thanwadee Sunetnanta, Kenichi Matsumoto. 3997-4000 [doi]
• FlowStrider: Low-Friction Continuous Threat ModelingBernd Gruner, Noah Erthel, Clemens-Alexander Brust. 4001-4004 [doi]
• Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies GeneratorHaochen Gong, Zhen Tao, Shidong Pan, Zhenchang Xing, Xiaoyu Sun 0002. 4005-4008 [doi]
• AgentDroid: A Multi-Agent Tool for Detecting Fraudulent Android ApplicationsRuwei Pan, Hongyu Zhang, Zhonghao Jiang, Ran Hou. 4009-4012 [doi]
• XRintTest: An Automated Framework for User Interaction Testing in Extended Reality ApplicationsRuizhen Gu, José Miguel Rojas, Donghwan Shin 0001. 4013-4016 [doi]
• ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test ProgramsIti Shree, Karine Even Mendoza, Tomasz Radzik. 4017-4020 [doi]
• PrioTestCI: Efficient Test Case Prioritization in GitHub Workflows for CI OptimizationShubham Vasudeo Desai, Shonil Bhide, Souhaila Serbout, Luciano Marchezan, Wesley K. G. Assunção. 4021-4024 [doi]
• DeepTx: Real-Time Transaction Risk Analysis via Multi-Modal Features and LLM ReasoningYixuan Liu, Xinlei Li, Yi Li. 4025-4028 [doi]
• FETT: Fault Injection as an Educational and Training Tool in CybersecurityAnaé De Baets, Guillaume Nguyen, Xavier Devroey, Fabian Gilson. 4029-4032 [doi]
• WIBE: Watermarks for generated Images - Benchmarking & EvaluationAleksey Yakushev, Aleksandr Akimenkov, Khaled Abud, Dmitry Obydenkov, Irina Serzhenko, Kirill Aistov, Egor Kovalev, Stanislav Fomin, Anastasia Antsiferova, Kirill Lukianov, Yury Markin. 4033-4036 [doi]
• ORMorpher: An Interactive Framework for ORM Translation and OptimizationMilan Abrahám, Pavel Koupil. 4037-4040 [doi]
• BuilDroid: A Self-Correcting LLM Agent for Automated Android BuildsJaehyeon Kim, Rui Rua, Karim Ali 0001. 4041-4044 [doi]
• Chrysalis: A Lightweight Logging and Replay Framework for Metamorphic Testing in PythonJai Parera, Nathan Huey, Ben Limpanukorn, Miryung Kim. 4045-4048 [doi]
• BASHIRI: Learning Failure Oracles from Execution FeaturesMarius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller. 4049-4052 [doi]
• GUI-ReRank: Enhancing GUI Retrieval with Multi-Modal LLM-based RerankingKristian Kolthoff, Felix Kretzer, Alexander Maedche, Simone Paolo Ponzetto, Christian Bartelt. 4053-4056 [doi]
• EyeNav: Accessible Webpage Interaction and Testing using Eye-tracking and NLPJuan Diego Yepes-Parra, Camilo Escobar-Velásquez. 4057-4061 [doi]
• DSBox: A Data Selection Framework for Efficient Deep Code LearningXinyang Liu, Lili Quan, Qiang Hu. 4062-4065 [doi]
• BenGQL: An Extensible Benchmarking Framework for Automated GraphQL TestingAbenezer Angamo, Marcello Maugeri. 4066-4069 [doi]
• PyTrim: A Practical Tool for Reducing Python Dependency BloatKonstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos Proestakis, Evangelos Talos, Panos Louridas, Dimitris Mitropoulos. 4070-4073 [doi]
• OSSPREY: AI-Driven Forecasting and Intervention for OSS Project SustainabilityNafiz Imtiaz Khan, Priyal Soni, Arjun Ashok, Vladimir Filkov. 4074-4077 [doi]
• Evaluating Program Coverage for Code-Model TrainingNandakishore Menon, Diptikalyan Saha. 4078-4081 [doi]
• TrustVis: A Multi-Dimensional Trustworthiness Evaluation Framework for Large Language ModelsRuoyu Sun 0011, Da Song, Jiayang Song, Yuheng Huang 0004, Lei Ma 0003. 4082-4085 [doi]
• Metamorphic Testing of Deep Reinforcement Learning Agents with MDPMorphJiapeng Li, Zheng Zheng, Yuning Xing, Daixu Ren, Steven Cho, Valerio Terragni. 4086-4089 [doi]
• APIDA-Chat: Structured Synthesis of API Search Dialogues to Bootstrap Conversational AgentsZachary Eberhart, Collin McMillan. 4090-4093 [doi]
• Quirx: A Mutation-Based Framework for Evaluating Prompt Robustness in LLM-based SoftwareSouhaila Serbout. 4094-4097 [doi]
• Training-Control-as-Code: Towards a declarative solution to control trainingPadmanabha Venkatagiri Seshadri, Harikrishnan Balagopal, Mehant Kammakomati, Ashok Pon Kumar, Dushyant Behl. 4098-4101 [doi]
• LLMorph: Automated Metamorphic Testing of Large Language ModelsSteven Cho, Stefano Ruberto, Valerio Terragni. 4102-4105 [doi]
• StackPlagger: A System for Identifying AI-Code Plagiarism on Stack OverflowAman Swaraj, Harsh Goyal, Sumit Chadgal, Sandeep Kumar 0004. 4106-4109 [doi]
• Clara: A Developer's Companion for Code Comprehension and AnalysisAhmed Adnan, Mushfiqur Rahman, Saad Sakib Noor, Kazi Sakib. 4110-4113 [doi]
• PROXiFY: A Bytecode Analysis Tool for Detecting and Classifying Proxy Contracts in Ethereum Smart ContractsIlham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson 0001. 4114-4117 [doi]
• evalSmarT: An LLM-Based Framework for Evaluating Smart Contract Generated CommentsFatou Ndiaye Mbodji, Mame Marieme C. Sougoufara, Wendkûuni C. Ouédraogo, Alioune Diallo, Kui Liu 0001, Jacques Klein, Tegawendé F. Bissyandé. 4118-4121 [doi]
• Verification and Classification of Exploits for Node.js VulnerabilitiesSungmin Park. 4122-4124 [doi]
• First-Order Quantified Separator in Alloy AnalyzerOne An. 4125-4127 [doi]
• Understanding Uncertainty In LLMsChandan Kumar Sah. 4128-4130 [doi]
• Dynamic Testing of GUI Exercises in Headless EnvironmentsBenjamin Schmitz. 4131-4133 [doi]
• Detecting Vulnerabilities from Issue Reports for Internet-of-ThingsSogol Masoumzadeh. 4134-4136 [doi]
• Human-Centered Evaluation of REST API Fuzzing Tools: Bridging Academia and IndustryFanny Febriani Susilo. 4137-4140 [doi]
• Testing Autonomous Driving Systems Through Blind-Spot Guided FuzzingSali Moussa. 4141-4144 [doi]
• Detecting and Mitigating Inconsistencies Between Code, Documentation and TestsTobias Kiecker. 4145-4148 [doi]
• Secure Transaction Semantics: Analysis, Vulnerability Detection, and Attack ModelingYixuan Liu. 4149-4152 [doi]
• Improving Quality of LLM Code Generation in Low-Resource Programming Languages via Uncertainty EstimationGeorgii Andriushchenko. 4153-4156 [doi]