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