Software Engineering Empirical Research Radar

ASE 2025 Papers

ASE 2025 paper list with topic labels.

PaperVenueYearTopics
"My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding Assistants.
Yunbo Lyu, Zhou Yang 0003, Jieke Shi, Jianming Chang, Yue Liu 0011
ASE2025AI / LLM for SE; Human / Empirical / Socio-technical
A Characterization Study of Bugs in LLM Agent Workflow Orchestration Frameworks.
Ziluo Xue, Yanjie Zhao 0001, Shenao Wang 0001, Kai Chen 0012, Haoyu Wang 0001
ASE2025AI / LLM for SE; Human / Empirical / Socio-technical
A Large Scale Study of AI-based Binary Function Similarity Detection Techniques for Security Researchers and Practitioners.
Jingyi Shi, Yufeng Chen, Yang Xiao 0011, Yuekang Li, Zhengzi Xu
ASE2025AI / LLM for SE; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
A Large-Scale Evolvable Dataset for Model Context Protocol Ecosystem and Security Analysis.
Zhiwei Lin, Bonan Ruan, Jiahao Liu 0005, Weibo Zhao
ASE2025Security / Privacy / Vulnerability
A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Systems.
Stefano Carlo Lambertenghi, Mirena Flores Valdez, Andrea Stocco 0001
ASE2025Other
A Secure Mocking Approach towards Software Supply Chain Security.
Daisuke Yamaguchi, Shinobu Saito, Takuya Iwatsuka, Nariyoshi Chida, Tachio Terauchi
ASE2025Security / Privacy / Vulnerability
ACTaint: Agent-Based Taint Analysis for Access Control Vulnerabilities in Smart Contracts.
Huarui Lin, Zhipeng Gao 0002, Jiachi Chen, Xiang Chen 0005, Xiaohu Yang 0001
ASE2025Security / Privacy / Vulnerability
ADPerf: Investigating and Testing Performance in Autonomous Driving Systems.
Tri Minh-Triet Pham, Diego Elias Costa, Weiyi Shang, Jinqiu Yang 0001
ASE2025Testing / QA; Performance / Energy / Reliability
AMPLE: Fine-grained File Access Policies for Server Applications.
Seyedhamed Ghavamnia, Julien Vanegue
ASE2025Other
APIDA-Chat: Structured Synthesis of API Search Dialogues to Bootstrap Conversational Agents.
Zachary Eberhart, Collin McMillan
ASE2025Other
APKARMOR: Low-Cost Lightweight Anti-Decompilation Techniques for Android Apps.
Jiayang Liu, Yanjie Zhao, Pengcheng Xia, Haoyu Wang
ASE2025Mobile / Web / GUI / Android; Performance / Energy / Reliability
ARG: Testing Query Rewriters via Abstract Rule Guided Fuzzing.
Dawei Li, Yuxiao Guo, Qifan Liu, Jie Liang 0006, Zhiyong Wu 0010
ASE2025Testing / QA
Acceleration of Automotive Software Development by Retrieval Augmented Integration Test Script Generation.
Masashi Mizoguchi, Kentaro Yoshimura, Keita Nakazawa, Yasuomi Sato, Takahiro Iida
ASE2025Testing / QA
AdaptEval: A Benchmark for Evaluating Large Language Models on Code Snippet Adaptation.
Tanghaoran Zhang, Xinjun Mao, Shangwen Wang, Yuxin Zhao, Yao Lu 0003
ASE2025Other
Adaptive Performance Regression Detection Using A Semi-Supervised Siamese Network.
Yongqian Sun, Mengyao Li, Xiao Xiong, Lei Tao, Yimin Zuo
ASE2025Testing / QA; Performance / Energy / Reliability
AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered Software.
Rui Yang, Michael Fu, Chakkrit Tantithamthavorn, Chetan Arora 0002, Gunel Gulmammadova
ASE2025AI / LLM for SE
Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning.
Patrizio Migliarini, Mashal Afzal Memon, Marco Autili, Paola Inverardi
ASE2025AI / LLM for SE
Advancing Binary Code Similarity Detection via Context-Content Fusion and LLM Verification.
Chaopeng Dong, Jingdong Guo, Shouguo Yang, Yi Li, Dongliang Fang
ASE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
AgentDroid: A Multi-Agent Tool for Detecting Fraudulent Android Applications.
Ruwei Pan, Hongyu Zhang, Zhonghao Jiang, Ran Hou
ASE2025Mobile / Web / GUI / Android
Agentic Specification Generator for Move Programs.
Yu-Fu Fu, Meng Xu, Taesoo Kim
ASE2025Program Analysis / Verification / Formal Methods
Agents in the Sandbox: End-to-End Crash Bug Reproduction for Minecraft.
Eray Yapagci, Yavuz Alp Sencer Öztürk, Eray Tüzün
ASE2025Debugging / Fault Localization / Diagnosis / Repair
AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems.
Guangba Yu, Genting Mai, Rui Wang, Ruipeng Li, Pengfei Chen 0002
ASE2025Cloud / Microservices / Distributed Systems
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths.
Peng Deng, Lei Zhang 0006, Jingqi Long, Wenzheng Hong, Zhemin Yang
ASE2025Testing / QA
AlignCoder: Aligning Retrieval with Target Intent for Repository-Level Code Completion.
Tianyue Jiang, Yanlin Wang 0001, Yanli Wang 0001, Daya Guo, Ensheng Shi
ASE2025DevOps / CI / Build / Release
Aligning LLMs to Fully Utilize the Cross-file Context in Repository-level Code Completion.
Jia Li 0012, Hao Zhu, Huanyu Liu 0001, Xianjie Shi, He Zong
ASE2025DevOps / CI / Build / Release
Altered Histories in Version Control System Repositories: Evidence from the Trenches.
Solal Rapaport, Laurent Pautet, Samuel Tardieu, Stefano Zacchiroli
ASE2025DevOps / CI / Build / Release
Amur: Fixing Multi-Resource Leaks Guided by Resource Flow Analysis.
Jinyoung Kim, Eunseok Lee
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
An Agent-based Evaluation Framework for Complex Code Generation.
Xinchen Wang, Ruida Hu, Pengfei Gao, Chao Peng 0002, Cuiyun Gao 0001
ASE2025Other
An Empirical Study of Knowledge Transfer in AI Pair Programming.
Alisa Welter, Niklas Schneider, Tobias Dick, Kallistos Weis, Christof Tinnes
ASE2025AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study of Python Library Migration Using Large Language Models.
Mohayeminul Islam, Ajay Kumar Jha, May Mahmoud, Ildar Akhmetov, Sarah Nadi
ASE2025Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Empirical Study on UI Overlap in OpenHarmony Applications.
Farong Liu, Mingyi Zhou, Li Li 0029
ASE2025Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
An LLM-based multi-agent framework for agile effort estimation.
Thanh-Long Bui, Hoa Khanh Dam, Rashina Hoda
ASE2025AI / LLM for SE
AndroFL: Evolutionary-Driven Fault Localization for Android Apps.
Vishal Singh, Ravi Shankar Das, Prajwal H. G, Subhajit Roy 0001
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
AppBDS: LLM-Powered Description Synthesis for Sensitive Behaviors in Mobile Apps.
Zichen Liu, Xusheng Xiao
ASE2025AI / LLM for SE; Mobile / Web / GUI / Android
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations.
Fatih Pehlivan, Arçin Ülkü Ergüzen, Sahand Moslemi Yengejeh, Mayasah Lami, Anil Koyuncu
ASE2025Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs.
Dingji Wang, You Lu 0005, Bihuan Chen 0001, Shuo Hao, Haowen Jiang
ASE2025Other
AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Programs via Circuit Graph Analysis.
Tingting Li 0004, Ziming Zhao 0008, Jianwei Yin
ASE2025Other
AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers.
Donghao Yang, Aolang Wu, Tianyi Zhang, Li Zhang 0029, Xiaoli Lian
ASE2025Other
Automated Combinatorial Test Generation for Alloy.
Agustín Borda, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
ASE2025Testing / QA
Automated Detection of Web Application Navigation Barriers for Screen Reader Users.
Shubhi Jain, Syed Fatiul Huq, Ziyao He, Sam Malek
ASE2025Mobile / Web / GUI / Android
Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing.
Konstantinos Kitsios, Marco Castelluccio, Alberto Bacchelli
ASE2025Testing / QA
Automated Inline Comment Smell Detection and Repair with Large Language Models.
Hatice Kübra Çaglar, Semih Çaglar, Eray Tüzün
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Automated Insertion of Flushes and Fences for Persistency.
Yutong Guo, Weiyu Luo, Brian Demsky
ASE2025Other
Automated Proactive Logging Quality Improvement for Large-Scale Codebases.
Yichen Li 0003, Jinyang Liu 0002, Junsong Pu, Zhihan Jiang, Zhuangbin Chen
ASE2025Other
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat.
Kexing Ji, Shiyun Fu, Cuiyun Gao 0001, Yujia Chen, Zezhou Yang
ASE2025Human / Empirical / Socio-technical
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation.
Haoxiang Jia, Robbie Morris, He Ye, Federica Sarro, Sergey Mechtaev
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Automated Repair of OpenID Connect Programs.
Tamjid Al Rahat, Yanju Chen, Yu Feng 0001, Yuan Tian 0001
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Automatic Fixing of Missing Dependency Errors.
Jun Lyu, He Zhang 0001, Lanxin Yang, Yue Li 0047, Chenxing Zhong
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Autonomous Agents for Accessibility: Simulating Visual Impairments in Web Interfaces.
Juan Diego Yepes-Parra, Camilo Escobar-Velásquez
ASE2025Mobile / Web / GUI / Android
BASHIRI: Learning Failure Oracles from Execution Features.
Marius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller
ASE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines.
Jiming Wang, Chenggang Wu 0002, Jikai Ren, Yuhao Hu, Yan Kang 0002
ASE2025Testing / QA
Backdoors in Code Summarizers: How Bad Is It?
Chenyu Wang 0005, Zhou Yang 0003, Yaniv Harel, David Lo 0001
ASE2025Other
Belief Propagation with Local Structure and Its Applications in Program Analysis.
Yiqian Wu, Yifan Chen, Yingfei Xiong 0001, Xin Zhang 0035
ASE2025Program Analysis / Verification / Formal Methods
BenGQL: An Extensible Benchmarking Framework for Automated GraphQL Testing.
Abenezer Angamo, Marcello Maugeri
ASE2025Testing / QA
Better Safe than Sorry: Preventing Policy Violations through Predictive Root-Cause-Analysis for IoT Systems.
Michael Norris, Syed Rafiul Hussain, Gang Tan
ASE2025Other
Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic Memory.
Mengzhuo Chen, Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Yangguang Xue
ASE2025Testing / QA; AI / LLM for SE; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
BinStruct: Binary Structure Recovery Combining Static Analysis and Semantics.
Yiran Zhang, Zhengzi Xu, Zhe Lang, Chengyue Liu, Yuqiang Sun 0001
ASE2025Program Analysis / Verification / Formal Methods
BitsAI-Fix: LLM-Driven Approach for Automated Lint Error Resolution in Practice.
Yuanpeng Li, Qi Long, Zhiyuan Yao, Jian Xu, Lintao Xie
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program Exploration.
Dingzhao Xue, Yibo Qu, Bowen Jiang, Xin Chen, Shuaizong Si
ASE2025Other
Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs.
Zhi Ma, Cheng Wen 0002, Zhexin Su, Xiao Liang, Cong Tian 0001
ASE2025Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems.
Sajad Mazraeh Khatiri, Francisco Eli Vina Barrientos, Maximilian Wulf, Paolo Tonella, Sebastiano Panichella
ASE2025Testing / QA
BuilDroid: A Self-Correcting LLM Agent for Automated Android Builds.
Jaehyeon Kim, Rui Rua, Karim Ali 0001
ASE2025AI / LLM for SE; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Can Mamba Be Better? An Experimental Evaluation of Mamba in Code Intelligence.
Shuo Liu 0020, Jacky Keung, Zhen Yang 0022, Zhenyu Mao, Yicheng Sun
ASE2025Other
Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges.
Noor Nashid, Daniel Ding, Keheliya Gallaba, Ahmed E. Hassan, Ali Mesbah 0001
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Characterizing and Repairing Color-Related Accessibility Issues in Android Apps.
Jiahao Gu, Huaxun Huang
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Chrysalis: A Lightweight Logging and Replay Framework for Metamorphic Testing in Python.
Jai Parera, Nathan Huey, Ben Limpanukorn, Miryung Kim
ASE2025Testing / QA
Clara: A Developer's Companion for Code Comprehension and Analysis.
Ahmed Adnan, Mushfiqur Rahman, Saad Sakib Noor, Kazi Sakib
ASE2025Human / Empirical / Socio-technical; Education / Program Comprehension
Clarifying Semantics of In-Context Examples for Unit Test Generation.
Chen Yang, Lin Yang 0030, Ziqi Wang, Dong Wang 0044, Jianyi Zhou
ASE2025Testing / QA
CoTune: Co-evolutionary Configuration Tuning.
Gangda Xiong, Tao Chen
ASE2025DevOps / CI / Build / Release
Code-DiTing: Automatic Evaluation of Code Generation without References or Test Cases.
Guang Yang 0019, Yu Zhou 0010, Xiang Chen 0005, Wei Zheng 0006, Xing Hu 0008
ASE2025Testing / QA
CodeACT-R: A Cognitive Simulation Framework for Human Attention in Code Reading.
Yueke Zhang, Zihan Fang, Greg Trafton, Daniel Levin, Kevin Leach
ASE2025Human / Empirical / Socio-technical
CodeGenLink: A Tool to Find the Likely Origin and License of Automatically Generated Code.
Daniele Bifolco, Guido Annicchiarico, Pierluigi Barbiero, Massimiliano Di Penta, Fiorella Zampetti
ASE2025Other
Coding-Fuse: Efficient Fusion of Code Pre-Trained Models for Classification Tasks.
Yu Zhao, Lina Gong, Zhiqiu Huang, Yuchen Jin, Mingqiang Wei
ASE2025Other
Comprehend, Imitate, and then Update: Unleashing the Power of LLMs in Test Suite Evolution.
Tangzhi Xu, Jianhan Liu, Yuan Yao 0001, Cong Li 0003, Feng Xu 0007
ASE2025Testing / QA; Maintenance / Evolution / Refactoring / Review
ConfuseTaint: Exploiting Vulnerabilities to Bypass Dynamic Taint Analysis.
Yufei Wu, Alexandre Bartel
ASE2025Security / Privacy / Vulnerability
Context-Aware CodeLLM Eviction for AI-assisted Coding.
Kishanthan Thangarajah, Boyuan Chen 0002, Shi Chang, Ahmed E. Hassan
ASE2025AI / LLM for SE
Context-Sensitive Pointer Analysis for ArkTS.
Yizhuo Yang 0005, Lingyun Xu, Mingyi Zhou, Li Li 0029
ASE2025Program Analysis / Verification / Formal Methods
CoorLog: Efficient-Generalizable Log Anomaly Detection via Adaptive Coordinator in Software Evolution.
Pei Xiao 0007, Chiming Duan, Minghua He, Tong Jia, Yifan Wu 0002
ASE2025Maintenance / Evolution / Refactoring / Review
Coverage-Based Harmfulness Testing for LLM Code Transformation.
Honghao Tan, Haibo Wang, Diany Pressato, Yisen Xu, Shin Hwei Tan
ASE2025Testing / QA; AI / LLM for SE
Cross2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony.
Qian Zhang, Tsz-On Li, Ying Wang 0038, Li Li 0029, Shing-Chi Cheung
ASE2025Other
Cryptbara: Dependency-Guided Detection of Python Cryptographic API Misuses.
Seogyeong Cho, Seungeun Yu, Seunghoon Woo
ASE2025Security / Privacy / Vulnerability
DALEQ - Explainable Equivalence for Java Bytecode.
Jens Dietrich 0001, Behnaz Hassanshahi
ASE2025Other
DESIGNATOR: a Toolset for Automated GAN-enhanced Search-based Testing and Retraining of DNNs in Martian Environments.
Mohammed Oualid Attaoui, Fabrizio Pastore
ASE2025Testing / QA
DLBench: A Comprehensive Benchmark for SQL Translation with Large Language Models.
Li Lin, Hongqiao Chen, Qinglin Zhu, Liehang Chen, Linlong Tang
ASE2025Other
DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers.
Zhengshu Wang, Peng He, Fuchen Ma, Yuanliang Chen, Shuoshuo Duan
ASE2025Testing / QA
DRIFT: Debug-based Trace Inference for Firmware Testing.
Changming Liu, Alejandro Mera, Meng Xu, Engin Kirda
ASE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
DSBox: A Data Selection Framework for Efficient Deep Code Learning.
Xinyang Liu, Lili Quan, Qiang Hu
ASE2025Other
Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams.
Wenxin Mao, Zhitao Wang, Long Wang, Sirong Chen, Cuiyun Gao 0001
ASE2025Requirements / Modeling / Architecture
DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects.
Wentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, Tianyin Xu
ASE2025Testing / QA
Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair Tools.
Omar I. Al-Bataineh
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs.
Seojin Kim, Sungmin Park, Jihyeok Park
ASE2025Mobile / Web / GUI / Android
DeepExploitor: LLM-Enhanced Automated Exploitation of DeepLink Attack in Hybrid Apps.
Zhangyue Zhang, Lei Zhang 0096, Zhibo Zhang 0006, Yongheng Liu, Zhemin Yang
ASE2025AI / LLM for SE; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
DeepTx: Real-Time Transaction Risk Analysis via Multi-Modal Features and LLM Reasoning.
Yixuan Liu, Xinlei Li, Yi Li
ASE2025AI / LLM for SE
Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs.
Jian Wang 0067, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jiongchi Yu
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning.
Xin Wang, Zhenhao Li, Zishuo Ding
ASE2025Other
Democratizing the Cryptocurrency Ecosystem by Just-In-Time Transformation of Mining Programs.
Wei Liu 0148, Zhenhua Li 0001, Feng Qian 0001, Feiyu Jin, Hao Lin 0005
ASE2025Other
Demystifying Cookie Sharing Risks in WebView-based Mobile App-in-app Ecosystems.
Miao Zhang 0011, Shenao Wang 0001, Guilin Zheng, Yanjie Zhao 0001, Haoyu Wang 0001
ASE2025Mobile / Web / GUI / Android
Demystifying Cross-Language C/C++ Binaries: A Robust Software Component Analysis Approach.
Meiqiu Xu, Ying Wang 0038, Wei Tang, Xian Zhan, Shing-Chi Cheung
ASE2025Performance / Energy / Reliability
Demystifying OpenZeppelin's Own Vulnerabilities and Analyzing Their Propagation in Smart Contracts.
Han Liu 0012, Daoyuan Wu, Yuqiang Sun 0001, Shuai Wang, Yang Liu
ASE2025Other
Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories.
Xiaoning Ren, Yuhang Ye 0004, Xiongfei Wu, Yueming Wu 0001, Yinxing Xue
ASE2025AI / LLM for SE; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks.
Linhan Li, ThanhVu Nguyen
ASE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
Detecting Semantic Clones of Unseen Functionality.
Konstantinos Kitsios, Francesco Sovrano, Earl T. Barr, Alberto Bacchelli
ASE2025Other
Detecting Various DeFi Price Manipulations with LLM Reasoning.
Juantao Zhong, Daoyuan Wu, Ye Liu 0012, Maoyi Xie, Yang Liu 0003
ASE2025AI / LLM for SE
Detecting Vulnerabilities from Issue Reports for Internet-of-Things.
Sogol Masoumzadeh
ASE2025Other
Detecting and Mitigating Inconsistencies Between Code, Documentation and Tests.
Tobias Kiecker
ASE2025Testing / QA
Detecting and Repairing Incomplete Software Requirements with Multi-LLM Ensembles.
Mohamad Kassab, Marwan AbdElhameed
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation.
Yibo Dong 0001, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang
ASE2025Performance / Energy / Reliability
DiffFix: Incrementally Fixing AST Diffs via Context and Type Information.
Guofeng Zeng, Chang-Ai Sun, Kai Gao 0008, Huai Liu
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
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
ASE2025Other
Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset.
Davide Molinelli, Luca Di Grazia, Alberto Martin-Lopez, Michael D. Ernst, Mauro Pezzè
ASE2025Testing / QA; Human / Empirical / Socio-technical
Don't Mess with Bro's Cheese! An Empirical Study of Resource Conflict in Android Multi-window.
Chenkai Guo, Huimin Zhao, Tianhong Wang 0010, Naipeng Dong, Qingqing Dong
ASE2025Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Performance / Energy / Reliability
DrainCode: Stealthy Energy Consumption Attacks on Retrieval-Augmented Code Generation via Context Poisoning.
Yanli Wang 0001, Jiadong Wu, Tianyue Jiang, Mingwei Liu 0002, Jiachi Chen
ASE2025Performance / Energy / Reliability
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing.
Yuanliang Chen, Fuchen Ma, Yanyang Zhao, Yuanyi Li, Yu Jiang 0001
ASE2025Testing / QA
Dynamic Testing of GUI Exercises in Headless Environments.
Benjamin Schmitz
ASE2025Testing / QA; Mobile / Web / GUI / Android
EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode.
Qian Zhu, Yuxuan Liu, Ziyuan Zhu, Shangqing Liu, Lei Bu
ASE2025Other
EditFusion: Resolving Code Merge Conflicts via Edit Selection.
Changxin Wang, Lei Xu, Rundong Wang, Yiming Ma, Weifeng Zhang
ASE2025Other
Effective Code Membership Inference for Code Completion Models via Adversarial Prompts.
Yuan Jiang, Zehao Li, Shan Huang, Christoph Treude, Xiaohong Su
ASE2025Other
Efficient Understanding of Machine Learning Model Mispredictions.
Martin Eberlein, Jürgen Cito, Lars Grunske
ASE2025AI / LLM for SE
Efficient and Verifiable Proof Logging for MaxSAT Solving.
Raoul Van Doren, Timos Antonopoulos, Ruzica Piskac
ASE2025Other
EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding.
Peiding Wang, Li Zhang, Fang Liu, Yinghao Zhu, Wang Xu
ASE2025Other
Element-Aware Fine-Tuning of Vision-Language Models for Cost-Efficient GUI Testing in an Industrial Setting.
Mengzhou Wu, Yuzhe Guo, Yuan Cao, Haochuan Lu, Hengyu Zhang
ASE2025Testing / QA; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Enhancing LLM to Decompile Optimized PTX to Readable CUDA for Tensor Programs.
Xinyu Sun, Fugen Tang, Yu Zhang, Han Shen, Chengru Song
ASE2025AI / LLM for SE
Enhancing LLM's Ability to Generate More Repository-Aware Unit Tests Through Precise Context Injection.
Xin Yin, Chao Ni 0001, Xinrui Li, Liushan Chen, Guojun Ma
ASE2025Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition.
Yue Wang, Jiaxuan Sun, Yanzhen Zou, Bing Xie
ASE2025Other
Envisioning Intelligent Requirements Engineering via Knowledge-Guided Multi-Agent Collaboration.
Jiangping Huang, Dongming Jin, Weisong Sun, Yang Liu 0003, Zhi Jin 0001
ASE2025Requirements / Modeling / Architecture
ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems.
Junsong Pu, Yichen Li 0003, Zhuangbin Chen, Jinyang Liu 0002, Zhihan Jiang
ASE2025Cloud / Microservices / Distributed Systems
Evaluating Large Language Models for Functional and Maintainable Code in Industrial Settings: A Case Study at ASML.
Yash Mundhra, Max Valk, Maliheh Izadi
ASE2025Human / Empirical / Socio-technical
Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software.
Yang Liu, Yixing Luo, Xiaofeng Li, Xiaogang Dong, Bin Gu
ASE2025Other
Evaluating Program Coverage for Code-Model Training.
Nandakishore Menon, Diptikalyan Saha
ASE2025Testing / QA
Evaluating and Improving Framework-based Parallel Code Completion with Large Language Models.
Ke Liu, Qinglin Wang, Xiang Chen, Guang Yang, Yigui Feng
ASE2025Other
Evolution-Aware Heuristics for GR(1) Realizability Checking.
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
ASE2025Maintenance / Evolution / Refactoring / Review
Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks.
Kanguk Lee, Jaemin Hong, Sukyoung Ryu
ASE2025Testing / QA
Execution-Aware Program Reduction for WebAssembly via Record and Replay.
Doehyun Baek, Daniel Lehmann 0002, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
ASE2025Other
Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation.
Fang Liu, Tianze Wang, Li Zhang, Zheyu Yang, Jing Jiang
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks.
Ruofan Lu, Yichen Li 0003, Yintong Huo
ASE2025Other
Exploring Static Taint Analysis in LLMs: A Dynamic Benchmarking Framework for Measurement and Enhancement.
Haoran Zhao, Lei Zhang 0006, Keke Lian, Fute Sun, Bofei Chen
ASE2025Security / Privacy / Vulnerability
EyeNav: Accessible Webpage Interaction and Testing using Eye-tracking and NLP.
Juan Diego Yepes-Parra, Camilo Escobar-Velásquez
ASE2025Testing / QA
FETT: Fault Injection as an Educational and Training Tool in Cybersecurity.
Anaé De Baets, Guillaume Nguyen, Xavier Devroey, Fabian Gilson
ASE2025Other
FGit: Fault-Guided Fine-Tuning for Code Generation.
Lishui Fan, Zhongxin Liu 0002, Haoye Wang, Lingfeng Bao, Xin Xia 0001
ASE2025Other
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs.
Zongze Jiang, Ming Wen 0001, Ge Wen, Hai Jin 0001
ASE2025Other
FailMapper: Automated Generation of Unit Tests Guided by Failure Scenarios.
Ruiqi Dong, Zehang Deng, Xiaogang Zhu 0001, Xiaoning Du 0001, Huai Liu
ASE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification.
Qianhui Zhao, Li Zhang, Fang Liu, Xiaoli Lian, Qiaoyuanhe Meng
ASE2025Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring.
Shinhae Kim, Saikat Dutta 0001, Owolabi Legunsen
ASE2025Testing / QA; Program Analysis / Verification / Formal Methods
Fault Injection for Simulink-based CPS Models: Insights and Future Directions.
Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli
ASE2025Other
Faultseeker: LLM-Empowered Framework for Blockchain Transaction Fault Localization.
Kairan Sun, Zhengzi Xu, Kaixuan Li 0002, Lyuye Zhang, Yuqiang Sun 0001
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration.
Jingjing Liang, Shan Huang, Ting Su 0001
ASE2025Other
Finding Bugs in WebAssembly Interface Type Binding Generators.
Ethan Stanley, Eric Eide
ASE2025Program Analysis / Verification / Formal Methods
Finding Insecure State Dependency in DApps via Multi-Source Tracing and Semantic Enrichment.
Jingwen Zhang, Yuhong Nan, Wei Li 0121, Kaiwen Ning, Zewei Lin
ASE2025Other
FirmProj: Detecting Firmware Leakage in IoT Update Processes via Companion App Analysis.
Wenzhi Li, Jialong Guo, Jiongyi Chen, Fan Li, Yujie Xing
ASE2025Mobile / Web / GUI / Android
First-Order Quantified Separator in Alloy Analyzer.
One An
ASE2025Other
Fixing Broken Graphs: LLM-Powered Automatic Code Optimization for DNN Programs.
Haotian Wang, Yicheng Sui, Yudong Xie, Yicong Liu, Yufei Sun
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale.
Chengpeng Li 0002, Farnaz Behrang, August Shi, Peng Liu
ASE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
FlowStrider: Low-Friction Continuous Threat Modeling.
Bernd Gruner, Noah Erthel, Clemens-Alexander Brust
ASE2025Requirements / Modeling / Architecture
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis.
Jaemin Hong, Sukyoung Ryu
ASE2025Other
From Characters to Structure: Rethinking Real-Time Collaborative Programming Models.
Leon Freudenthaler, Bernhard Taufner, Karl Michael Göschka
ASE2025Other
From Modules to Marketplaces: A Vision for Composable Capability Sharing Across Organizations.
Wei-Ji Wang
ASE2025Other
From Redundancy to Efficiency: Exploiting Shared UI Interactions towards Efficient LLM-Based Testing.
Xuan Wang, Yingchuan Wang, Yongxiang Hu 0003, Yu Zhang 0165, Hailiang Jin
ASE2025Testing / QA; AI / LLM for SE; Mobile / Web / GUI / Android; Performance / Energy / Reliability
From Sparse to Structured: A Diffusion-Enhanced and Feature-Aligned Framework for Coincidental Correctness Detection.
Huan Xie 0002, Chunyan Liu, Yan Lei, Zhenyu Wu, Jinping Wang
ASE2025Other
From Technical Excellence to Practical Adoption: Lessons Learned Building an ML-Enhanced Trace Analysis Tool.
Kaveh Shahedi, Matthew Khouzam, Heng Li 0007, Maxime Lamothe, Foutse Khomh
ASE2025DevOps / CI / Build / Release
Function Clustering-Based Fuzzing Termination: Toward Smarter Early Stopping.
Liang Ding, Wenzhang Yang, Yinxing Xue
ASE2025Testing / QA
GUI-ReRank: Enhancing GUI Retrieval with Multi-Modal LLM-based Reranking.
Kristian Kolthoff, Felix Kretzer, Alexander Maedche, Simone Paolo Ponzetto, Christian Bartelt
ASE2025AI / LLM for SE; Mobile / Web / GUI / Android
GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications.
Dillon Otto, Tanner Rowlett, Stefan Nagy
ASE2025Testing / QA
Generating Failure-Based Oracles to Support Testing of Reported Bugs in Android Apps.
Jack Johnson, Junayed Mahmud, Oscar Chaparro, Kevin Moran, Mattia Fazzini
ASE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
GlassWing: A Tailored Static Analysis Approach for Flutter Android Apps.
Xiangyu Zhang, Yucheng Su, Lingling Fan 0003, Miaoying Cai, Sen Chen 0001
ASE2025Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
HFuzzer: Testing Large Language Models for Package Hallucinations via Phrase-based Fuzzing.
Yukai Zhao, Menghan Wu, Xing Hu 0008, Xin Xia 0001
ASE2025Testing / QA
HarmoBridge: Bridging ArkTS and C/C++ for Cross-Language Static Analysis on HarmonyOS.
Jiale Wu, Jiapeng Deng, Yanjie Zhao, Li Li, Haoyu Wang
ASE2025Program Analysis / Verification / Formal Methods
Have We Solved Access Control Vulnerability Detection in Smart Contracts? A Benchmark Study.
Han Liu 0012, Daoyuan Wu, Yuqiang Sun 0001, Shuai Wang 0011, Yang Liu 0003
ASE2025Human / Empirical / Socio-technical
Hierarchical Knowledge Injection for Improving LLM-based Program Repair.
Ramtin Ehsani, Esteban Parra, Sonia Haiduc, Preetha Chatterjee
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Hit The Bullseye On The First Shot: Improving LLMs Using Multi-Sample Self-Reward Feedback for Vulnerability Repair.
Rui Jiao, Yue Zhang, Jinku Li, Jianfeng Ma
ASE2025Debugging / Fault Localization / Diagnosis / Repair
How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs.
Nicolas Amat, Pierre Ganty, Alessio Mansutti
ASE2025Other
How Can Infrastructure as Code Accelerate Data Center Bring-ups? A Case Study at ByteDance.
Xianhao Jin, Yifei Feng, Yufei Gao, Yongning Hu, Jie Huang
ASE2025Human / Empirical / Socio-technical
How Does ChatGPT Make Assumptions When Creating Erroneous Programs?
Sadia Jahan, Xiaoyin Wang
ASE2025AI / LLM for SE
Human-Centered Evaluation of REST API Fuzzing Tools: Bridging Academia and Industry.
Fanny Febriani Susilo
ASE2025Testing / QA; Human / Empirical / Socio-technical
Human-In-The-Loop Oracle Learning for Simulation-Based Testing.
Ben-Hau Chia, Eunsuk Kang, Christopher S. Timperley
ASE2025Testing / QA; Human / Empirical / Socio-technical
HybridSIMD: A Super C++ SIMD Library with Integrated Auto-tuning Capabilities.
Haolin Pan, Xulin Zhou, Mingjie Xing, Yanjun Wu
ASE2025Other
Hypergraph Neural Network-based Multi-Granular Root Cause Localization for Microservice Systems.
Yaxiao Li, Lu Wang 0014, Chenxi Zhang 0003, Qingshan Li, Siming Rong
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
IDBFuzz: Web Storage DataBase Fuzzing with Controllable Semantics.
Jingyi Chen, Jinfu Chen 0001, Saihua Cai, Shengran Wang
ASE2025Testing / QA; Mobile / Web / GUI / Android
IMUFuzzer: Resilience-based Discovery of Signal Injection Attacks on Robotic Aerial Vehicles.
Sudharssan Mohan, Kyeongseok Yang, Zelun Kong, Yonghwi Kwon 0001, Junghwan Rhee
ASE2025Testing / QA
Improving LLM-based Log Parsing by Learning from Errors in Reasoning Traces.
Jialai Wang, Juncheng Lu, Jie Yang, Junjie Wang 0001, Zeyu Gao
ASE2025AI / LLM for SE
Improving NLSAT for Nonlinear Real Arithmetic.
Zhonghan Wang
ASE2025Other
Improving Quality of LLM Code Generation in Low-Resource Programming Languages via Uncertainty Estimation.
Georgii Andriushchenko
ASE2025AI / LLM for SE; Performance / Energy / Reliability
Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes.
Xizao Wang, Xiangrong Bin, Lanxin Huang, Shangqing Liu, Jianhua Zhao
ASE2025Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Industry Practice of LLM-Assisted Protocol Fuzzing for Commercial Communication Modules.
Qiang Fu, Changjian Liu, Yuan Ding, Chao Fan, Yulai Fu
ASE2025Testing / QA; AI / LLM for SE
IntelliTopo: An IaC Generation Service for Industrial Network Topology Construction.
Mingyu Shao, Zhao Liu, Weihong Han, Cuiyun Gao 0001, Jiachen Liu
ASE2025Other
Interaction-Aware Patch Assessment for Multi-Fault Automated Program Repair.
Omar I. Al-Bataineh
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Generation from Interactive Prototyping.
Jingyu Xiao, Yuxuan Wan, Yintong Huo, Zixin Wang, Xinyi Xu
ASE2025Other
Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR.
Zeyu Sun 0004, Jingjing Liang, Weiyi Wang, Chenyao Suo, Junjie Chen 0003
ASE2025Testing / QA
Interpretable Vulnerability Detection Reports.
Cláudia Mamede, José Campos 0001, Claire Le Goues, Rui Abreu 0001
ASE2025Other
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao 0001
ASE2025Testing / QA
Issue Localization via LLM-Driven Iterative Code Graph Searching.
Zhonghao Jiang, Xiaoxue Ren, Meng Yan 0001, Wei Jiang 0041, Yong Li 0004
ASE2025AI / LLM for SE
It's Not Easy Being Green: On the Energy Efficiency of Programming Languages.
Nicolas van Kempen, Hyuk-Je Kwon, Dung Tuan Nguyen, Emery D. Berger
ASE2025Performance / Energy / Reliability
JSidentify-V2: Leveraging Dynamic Memory Fingerprinting for Mini-Game Plagiarism Detection.
Zhihao Li, Chaozheng Wang, Zongjie Li, Xinyong Peng, Qun Xia
ASE2025Other
KAIOPS: A Platform Solution of End-to-End Multi-Modal AIOps for AI Training at Scale.
Zeying Wang, Junhong Liu, Penghao Zhang, Xiaoyang Sun, Xu Wang
ASE2025AI / LLM for SE
Kair: A Statistical and Causal Approach to Pinpointing Stragglers in Distributed Model Training.
Yitang Yang, Junhong Liu, Jiapeng Chen, Xiaoyang Sun, Tianyu Wo
ASE2025Cloud / Microservices / Distributed Systems
LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLM.
Yuxin Zhang, Yuxia Zhang, Zeyu Sun 0004, Yanjie Jiang, Hui Liu 0003
ASE2025AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
LLM-Assisted Synthesis of High-Assurance C Programs.
Prasita Mukherjee, Minghai Lu, Benjamin Delaware
ASE2025AI / LLM for SE
LLM-Based Identification of Null Pointer Exception Patches.
Tahir Ullah, Waseem Akram 0005, Fiza Khaliq, Hui Liu
ASE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software Evolution.
Karine Even-Mendoza, Alexander E. I. Brownlee, Alina Geiger, Carol Hanna, Justyna Petke
ASE2025AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost.
Daisuke Kikuta, Hiroki Ikeuchi, Kengo Tajiri
ASE2025AI / LLM for SE; DevOps / CI / Build / Release; Performance / Energy / Reliability
LLM-Powered Multi-Agent Collaboration for Intelligent Industrial On-Call Automation.
Ruowei Fu, Yang Zhang, Zeyu Che, Xin Wu, Zhenyu Zhong
ASE2025AI / LLM for SE
LLM-assisted Industrial-Scale Differential Testing of Package Incompatibilities in Linux Distributions.
Yuhao Yang, Chijin Zhou, Runzhe Wang, Weibo Zhang, Yuheng Shen
ASE2025Testing / QA; AI / LLM for SE
LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection.
Ce Lyu, Yanhao Wang 0001, Jie Liang, Minghao Zhao 0001
ASE2025Testing / QA; AI / LLM for SE
LLMPort: Cross-file Patch Porting via Task Decomposition and Self-correction.
Bofei Chen, Lei Zhang, Peng Deng, Nan Wang, Haoyu Xu
ASE2025Debugging / Fault Localization / Diagnosis / Repair
LLMorph: Automated Metamorphic Testing of Large Language Models.
Steven Cho, Stefano Ruberto, Valerio Terragni
ASE2025Testing / QA
LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework.
Andrea Lops, Fedelucio Narducci, Azzurra Ragone, Michelantonio Trizio, Claudio Bartolini
ASE2025Testing / QA
LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification.
Doha Nam, Jongmoon Baik
ASE2025Other
Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing.
Siyuan Li 0014, Yaowen Zheng, Hong Li 0004, Jingdong Guo, Chaopeng Dong
ASE2025Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction.
Zhenyang Xu, Yiran Wang, Yongqiang Tian 0001, Mengxiao Zhang, Chengnian Sun
ASE2025Other
Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction.
Chenyan Liu, Yun Lin 0001, Yuhuan Huang, Jiaxin Chang, Binhang Qi
ASE2025AI / LLM for SE
Learning from the Past: Real-World Exploit Migration for Smart Contract PoC Generation.
Kairan Sun, Zhengzi Xu, Kaixuan Li 0002, Lyuye Zhang, Yebo Feng
ASE2025Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review
Let the Code Speak: Incorporating Program Dynamic State for Better Method-Level Fault Localization.
Yihao Qin, Shangwen Wang, Bo Lin 0011, Xin Peng 0010, Sheng Ouyang
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Leveraging Mixture-of-Experts Framework for Smart Contract Vulnerability Repair with Large Language Model.
Hang Yuan, Xizhi Hou, Lei Yu, Li Yang 0015, Jiayue Tang
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models.
Hongbo Chen, Yifan Zhang 0010, Xing Han, Tianhao Mao, Huanyao Rong
ASE2025Other
Linguistic Theories Coincide with Misformalization in Temporal Logic.
Colin S. Gordon
ASE2025Other
LitterBox
Benedikt Fein, Florian Obermüller, Gordon Fraser 0001
ASE2025Other
LogAction: Consistent Cross-system Anomaly Detection through Logs via Active Domain Adaptation.
Chiming Duan, Minghua He, Pei Xiao 0007, Tong Jia, Xin Zhang
ASE2025Cloud / Microservices / Distributed Systems
LogMoE: Lightweight Expert Mixture for Cross-System Log Anomaly Detection.
Jiaxing Qi, Zhongzhi Luan, Shaohan Huang, Carol J. Fung, Yuchen Wang
ASE2025Other
LogPilot: Intent-aware and Scalable Alert Diagnosis for Large-scale Online Service Systems.
Zhihan Jiang, Jinyang Liu 0002, Yichen Li 0003, Haiyu Huang 0008, Xiao He 0008
ASE2025Other
LogSage: An LLM-Based Framework for CI/CD Failure Detection and Remediation with Industrial Validation.
Weiyuan Xu, Juntao Luo, Tao Huang, Kaixin Sui, Jie Geng
ASE2025Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
LongCodeZip: Compress Long Context for Code Language Models.
Yuling Shi, Yichun Qian, Hongyu Zhang 0002, Beijun Shen, Xiaodong Gu 0002
ASE2025Other
Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation.
Maykel Mattar, Michele Alberti, Valentin Perrelle, Salah Sadou
ASE2025Other
LspFuzz: Hunting Bugs in Language Servers.
Hengcheng Zhu 0001, Songqiang Chen, Valerio Terragni, Lili Wei 0001, Yepang Liu 0001
ASE2025Testing / QA
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs.
Xiaoyu Guo 0007, Shinobu Saito, Jianjun Zhao 0001
ASE2025Other
MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repository Issue Resolution.
Yibo Wang 0008, Zhihao Peng 0009, Ying Wang 0038, Zhao Wei, Hai Yu 0001
ASE2025AI / LLM for SE; DevOps / CI / Build / Release
MIMIC: Integrating Diverse Personality Traits for Better Game Testing Using Large Language Model.
Yifei Chen, Sarra Habchi, Lili Wei
ASE2025Testing / QA; AI / LLM for SE
Measuring LLM Code Generation Stability via Structural Entropy.
Yewei Song, Tiezhu Sun, Xunzhu Tang, Prateek Rajput, Tegawendé F. Bissyandé
ASE2025AI / LLM for SE
Measuring Software Resilience Using Socially Aware Truck Factor Estimation.
Alexis Butler, Daniel O'Keeffe, Santanu Kumar Dash 0001
ASE2025Other
Metamorphic Testing for Audio Content Moderation Software.
Wenxuan Wang 0001, Yongjiang Wu, Junyuan Zhang, Shuqing Li 0001, Yun Peng 0003
ASE2025Testing / QA
Metamorphic Testing of Deep Reinforcement Learning Agents with MDPMorph.
Jiapeng Li, Zheng Zheng, Yuning Xing, Daixu Ren, Steven Cho
ASE2025Testing / QA
Metrics Driven Reengineering and Continuous Code Improvement at Meta.
Audris Mockus, Peter C. Rigby, Rui Abreu 0001, Anatoly Akkerman, Yogesh Bhootada
ASE2025Other
Minuku: Detecting Diverse Display Issues in Mobile Apps with Small-scale Dataset.
Yongxiang Hu 0003, Ke Liu, Hailiang Jin, Shiyu Guo, Juxing Yuan
ASE2025Mobile / Web / GUI / Android
Mixture-of-Experts Low-Rank Adaptation for Multilingual Code Summarization.
Tianchen Yu, Li Yuan, Hailing Huang, Jiexin Wang, Yi Cai
ASE2025Other
MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions.
Wei Liu 0155, Yi Wen Heng, Feng Lin, Tse-Hsun Peter Chen, Ahmed E. Hassan
ASE2025Mobile / Web / GUI / Android; Performance / Energy / Reliability
Mockingbird: Efficient Excessive Data Exposures Detection via Dynamic Code Instrumentation.
Chenxiao Xia, Jiazheng Sun, Jun Zheng, Yu-an Tan, Hongyi Su
ASE2025Other
Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs.
Fanyu Wang, Chetan Arora 0001, Yonghui Liu 0001, Kaicheng Huang, Chakkrit Tantithamthavorn
ASE2025Requirements / Modeling / Architecture
Multi-dimensional Assessment of Crowdsourced Testing Reports via LLMs.
Yue Wang, Yuan Zhang, Shengcheng Yu, Zhenyu Chen 0001
ASE2025Testing / QA
Multiple Schema-Conformant Declarative Code Generation.
Mehant Kammakomati, Srikanth G. Tamilselvam
ASE2025Other
NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detection in Android Apps.
Yuanhong Lan, Shaoheng Cao, Yifei Lu, Minxue Pan, Xuandong Li
ASE2025Testing / QA; Mobile / Web / GUI / Android
Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models.
Dianshu Liao, Xin Yin, Shidong Pan, Chao Ni 0001, Zhenchang Xing
ASE2025Testing / QA
Non-termination Witnesses and Their Validation.
Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer 0001, Marek Jankola
ASE2025Testing / QA
Not Every Patch is an Island: LLM-Enhanced Identification of Multiple Vulnerability Patches.
Yi Song, Dongchen Xie, Lin Xu, He Zhang, Chunying Zhou
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao 0001
ASE2025Testing / QA
ORFuzz: Fuzzing the "Other Side" of LLM Safety - Testing Over-Refusal.
Haonan Zhang 0007, Dongxia Wang 0002, Yi Liu, Kexin Chen, Jiashui Wang
ASE2025Testing / QA; AI / LLM for SE
ORMorpher: An Interactive Framework for ORM Translation and Optimization.
Milan Abrahám, Pavel Koupil
ASE2025Performance / Energy / Reliability
OSSPREY: AI-Driven Forecasting and Intervention for OSS Project Sustainability.
Nafiz Imtiaz Khan, Priyal Soni, Arjun Ashok, Vladimir Filkov
ASE2025AI / LLM for SE
On Automating Configuration Dependency Validation via Retrieval-Augmented Generation.
Sebastian Simon, Alina Mailach, Johannes Dorn, Norbert Siegmund
ASE2025Testing / QA; DevOps / CI / Build / Release
On the (In)Security of Non-resettable Device Identifiers in Custom Android Systems.
Zikan Dong, Liu Wang 0002, Guoai Xu, Haoyu Wang 0001
ASE2025Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
On the Correctness of Software Merge.
Akira Mori, Masatomo Hashimoto
ASE2025Other
On the Robustness Evaluation of 3D Obstacle Detection Against Specifications in Autonomous Driving.
Tri Minh-Triet Pham, Bo Yang 0058, Jinqiu Yang 0001
ASE2025Other
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
Erblin Isaku, Hassan Sartaj, Shaukat Ali 0001, Beatriz Sanguino, Tongtong Wang
ASE2025AI / LLM for SE
PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage.
Bei Chu, Yang Feng 0003, Kui Liu 0001, Hange Shi, Zifan Nan
ASE2025Testing / QA; Program Analysis / Verification / Formal Methods
PAT-Agent: Autoformalization for Model Checking.
Xinyue Zuo, Yifan Zhang 0019, Hongshu Wang, Yufan Cai 0001, Zhe Hou
ASE2025Program Analysis / Verification / Formal Methods
PEACE: Towards Efficient Project-Level Efficiency Optimization via Hybrid Code Editing.
Xiaoxue Ren, Jun Wan, Yun Peng, Zhongxin Liu 0002, Ming Liang
ASE2025Performance / Energy / Reliability
PROXiFY: A Bytecode Analysis Tool for Detecting and Classifying Proxy Contracts in Ethereum Smart Contracts.
Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson 0001
ASE2025Other
PoliCond: Condition-Aware Ontology-Driven LLMs for Privacy Policy Contradiction Analysis.
Yalin Feng, Yifei Lu, Minxue Pan
ASE2025Security / Privacy / Vulnerability
Polyglot: An Extensible Framework to Benchmark Code Translation with LLMs.
Marco Vieira, Priyam Ashish Shah, Bhavain Shah, Rrezarta Krasniqi
ASE2025Other
Practical Escape of Exploration Tarpits for Mini-Game Testing in an Industrial Setting.
Yuan Cao, Dezhi Ran, Haochuan Lu, Chao Guo, Xuran Hao
ASE2025Testing / QA
PrefGen: A Preference-Driven Methodology for Secure Yet Gas-Efficient Smart Contract Generation.
Zhiyuan Peng, Xin Yin, Zijie Zhou 0001, Chenhao Ying 0001, Chao Ni 0001
ASE2025Security / Privacy / Vulnerability
PrioTestCI: Efficient Test Case Prioritization in GitHub Workflows for CI Optimization.
Shubham Vasudeo Desai, Shonil Bhide, Souhaila Serbout, Luciano Marchezan, Wesley K. G. Assunção
ASE2025Testing / QA; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Performance / Energy / Reliability
ProfMal: Detecting Malicious NPM Packages by the Synergy between Static and Dynamic Analysis.
Yiheng Huang, Wen Zheng, Susheng Wu, Bihuan Chen 0001, You Lu 0005
ASE2025Program Analysis / Verification / Formal Methods
Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing.
Jakob Bleier, Felix Kehrer, Jürgen Cito, Martina Lindorfer
ASE2025Testing / QA; Mobile / Web / GUI / Android
Programmers' Visual Attention on Function Call Graphs During Code Summarization.
Samantha McLoughlin, Zachary Karas, Robert Wallace, Aakash Bansal, Collin McMillan
ASE2025Other
PromFuzz: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts.
Xingshuang Lin, Qinge Xie, Binbin Zhao, Yuan Tian 0001, Saman A. Zonouz
ASE2025Testing / QA; AI / LLM for SE
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering.
Ziyou Li, Agnia Sergeyuk, Maliheh Izadi
ASE2025AI / LLM for SE
Propagation-Based Vulnerability Impact Assessment for Software Supply Chains.
Bonan Ruan, Zhiwei Lin, Jiahao Liu 0005, Chuqi Zhang, Kaihang Ji
ASE2025Other
Protecting Source Code Privacy When Hunting Memory Bugs.
Jielun Wu, Bing Shui, Hongcheng Fan, Shengxin Wu, Rongxin Wu
ASE2025Security / Privacy / Vulnerability
Provable Fairness Repair for Deep Neural Networks.
Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
PseudoFix: Refactoring Distorted Structures in Decompiled C Pseudocode.
Gangyang Li, Xiuwei Shang, Shaoyin Cheng, Junqi Zhang, Li Hu
ASE2025Maintenance / Evolution / Refactoring / Review
PyGress: Tool for Analyzing the Progression of Code Proficiency in Python OSS Projects.
Rujiphart Charatvaraphan, Bunradar Chatchaiyadech, Thitirat Sukijprasert, Chaiyong Ragkhitwetsagul, Morakot Choetkiertikul
ASE2025Other
PyTrim: A Practical Tool for Reducing Python Dependency Bloat.
Konstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos Proestakis, Evangelos Talos
ASE2025Other
QuanBench: Benchmarking Quantum Code Generation with Large Language Models.
Xiaoyu Guo 0007, Minggu Wang, Jianjun Zhao 0001
ASE2025Other
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots.
Xinyi Wang 0004, Qinghua Xu, Paolo Arcaini, Shaukat Ali 0001, Thomas Peyrucain
ASE2025Testing / QA; AI / LLM for SE; Mobile / Web / GUI / Android
Quirx: A Mutation-Based Framework for Evaluating Prompt Robustness in LLM-based Software.
Souhaila Serbout
ASE2025Testing / QA; AI / LLM for SE
R
Muzhi Yu, Zhengran Zeng, Wei Ye 0004, Jinan Sun, Xiaolong Bai
ASE2025Other
RAML: Toward Retrieval-Augmented Localization of Malicious Payloads in Android Apps.
Tiezhu Sun, Marco Alecci, Yewei Song, Xunzhu Tang, Kisub Kim
ASE2025Mobile / Web / GUI / Android
RFCAudit: AI Agent for Auditing Protocol Implementations Against RFC Specifications.
Mingwei Zheng, Chengpeng Wang 0001, Xuwei Liu, Jinyao Guo, Shiwei Feng 0002
ASE2025AI / LLM for SE
RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications.
Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang
ASE2025Other
RPG: Linux Kernel Fuzzing Guided by Distribution-Specific Runtime Parameter Interfaces.
Yuhan Chen, Yuheng Shen, Guoyu Yin, Fan Ding, Runzhe Wang
ASE2025Testing / QA
RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints.
Ruoyu Zhou, Zhiwei Zhang 0004, Haocheng Han, Xiaodong Zhang 0014, Zehan Chen
ASE2025Testing / QA
ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs.
Iti Shree, Karine Even-Mendoza, Tomasz Radzik
ASE2025Testing / QA; AI / LLM for SE
RealisticCodeBench: Towards More Realistic Evaluation of Large Language Models for Code Generation.
Xiao Yu 0008, Haoxuan Chen, Lei Liu 0062, Xing Hu 0008, Jacky Wai Keung
ASE2025Other
Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStack.
Yelizaveta Brus, Rungroj Maipradit, Earl T. Barr, Shane McIntosh
ASE2025Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models.
Chen Yang, Ziqi Wang, Yanjie Jiang, Lin Yang 0030, Yuteng Zheng
ASE2025Testing / QA; Program Analysis / Verification / Formal Methods
Relia: Accelerating the Analysis of Cloud Access Control Policies.
Dan Wang, Peng Zhang 0011, Zhenrong Gu, Weibo Lin, Shibiao Jiang
ASE2025Cloud / Microservices / Distributed Systems
Repairing Leaks in Resource Wrappers.
Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
RepoMasterEval: Evaluating Code Completion via Real-World Repositories.
Qinyun Wu, Chao Peng 0002, Pengfei Gao, Ruida Hu, Haoyu Gan
ASE2025Other
Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision.
Xu Lu 0003, Weisong Sun, Yiran Zhang, Ming Hu 0003, Cong Tian 0001
ASE2025Requirements / Modeling / Architecture
Risk Estimation in Differential Fuzzing via Extreme Value Theory.
Rafael Baez, Alejandro Olivas, Nathan K. Diamond, Marcelo F. Frias, Yannic Noller
ASE2025Testing / QA
Root Cause Analysis of RISC-V Build Failures via LLM and MCTS Reasoning.
Weipeng Shuai, Jie Liu 0008, Zhirou Ma, Liangyi Kang, Zehua Wang
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code.
Yubo Bai, Tapti Palit
ASE2025Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods
RustRepoTrans: Repository-level Context Code Translation Benchmark Targeting Rust.
Guangsheng Ou, Mingwei Liu 0002, Yuxuan Chen, Yanlin Wang 0001, Xin Peng 0001
ASE2025DevOps / CI / Build / Release
SATORI: Static Test Oracle Generation for REST APIs.
Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz-Cortés
ASE2025Testing / QA
SCOPE: Evaluating and Enhancing Permission Explanation Transparency in Mobile Apps.
Liu Wang, Tianshu Zhou, Haoyu Wang, Xiyuan Liu, Yi Wang
ASE2025Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
SE-Jury: An LLM-as-Ensemble-Judge Metric for Narrowing the Gap with Human Evaluation in SE.
Xin Zhou 0014, Kisub Kim, Ting Zhang 0011, Martin Weyssow, Luís F. Gomes
ASE2025AI / LLM for SE; Human / Empirical / Socio-technical
SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review.
Kai Wang, Bingcheng Mao, Shuai Jia, Yujie Ding, Dongming Han
ASE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods; Maintenance / Evolution / Refactoring / Review
SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization.
Chuan Luo 0002, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu 0011
ASE2025Performance / Energy / Reliability
SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort Estimation.
Gustavo Ansaldi Oliva, Gopi Krishnan Rajbahadur, Aaditya Bhatia, Haoxiang Zhang 0001, Yihao Chen
ASE2025Testing / QA; DevOps / CI / Build / Release
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking.
Zewei Lin, Jiachi Chen, Jingwen Zhang, Zexu Wang, Yuming Feng 0002
ASE2025Other
STaint: Detecting Second-Order Vulnerabilities in PHP Applications with LLM-Assisted Bi-Directional Static Taint Analysis.
Yuchen Ji, Hongchen Cao, Jingzhu He
ASE2025AI / LLM for SE; Security / Privacy / Vulnerability
SateLight: A Satellite Application Update Framework for Satellite Computing.
Jinfeng Wen, Jianshu Zhao, Zixi Zhu, Xiaomin Zhang, Qi Liang
ASE2025Other
ScaleCirc: Scaling the Analysis over Circom Circuits.
Jinan Jiang, Haoran Qin, Xiapu Luo
ASE2025Other
Secure Transaction Semantics: Analysis, Vulnerability Detection, and Attack Modeling.
Yixuan Liu
ASE2025Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification.
Ziyu Mao, Xiaolin Ma, Lin Huang 0005, Huan Yang, Wu Zhang
ASE2025Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Securing Self-Managed Third-Party Libraries.
Xin Zhou 0016, Jinwei Xu, He Zhang 0001, Yanjing Yang, Lanxin Yang
ASE2025Other
Security Debt in LLM Agent Applications: A Measurement Study of Vulnerabilities and Mitigation Trade-offs.
Zhuoxiang Shen, Jiarun Dai, Yuan Zhang 0009, Min Yang 0002
ASE2025AI / LLM for SE; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair.
Kai Huang, Jian Zhang 0087, Xiaofei Xie, Chunyang Chen 0001
ASE2025Debugging / Fault Localization / Diagnosis / Repair
SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code.
Qinglin Wang, Zhihong Sun, Ruyun Wang, Tao Huang, Zhi Jin 0001
ASE2025AI / LLM for SE
Should We Evaluate LLM Based Security Analysis Approaches on Open Source Systems?
Kohei Dozono, Jonas Engesser, Benjamin Hummel, Tobias Roehm, Alexander Pretschner
ASE2025AI / LLM for SE; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Shrunk, Yet Complete: Code Shrinking-Resilient Android Third-Party Library Detection.
Jingkun Zhang, Jingzheng Wu, Xiang Ling 0001, Tianyue Luo, Bolin Zhou
ASE2025Mobile / Web / GUI / Android
Sifting Truth from Coincidences: A Two-Stage Positive and Unlabeled Learning Model for Coincidental Correctness Detection.
Chunyan Liu, Huan Xie 0002, Yan Lei, Zhenyu Wu, Jinping Wang
ASE2025Other
Simulated Interactive Debugging.
Yannic Noller, Erick Chandra 0002, Srinidhi Chandrashekar, Kenny T. W. Choo, Cyrille Jégourel
ASE2025Debugging / Fault Localization / Diagnosis / Repair
SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation.
Zhifan Ye, Jiachi Chen, Zhenzhe Shao, Lingfeng Bao, Xiaohu Yang 0001
ASE2025Other
Soleker: Uncovering Vulnerabilities in Solana Smart Contracts.
Kunsong Zhao, Yunpeng Tian, Zuchao Ma, Xiapu Luo
ASE2025Other
Spec2Code: Mapping Protocol Specification to Function-Level Code Implementation.
Yuekun Wang, Lili Quan, Xiaofei Xie, Junjie Wang, Jianjun Chen
ASE2025Program Analysis / Verification / Formal Methods
Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution.
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh 0001, Nan Jia, Anita Raja
ASE2025AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Spinner: Detecting Locking Violations in the eBPF Runtime.
Priya Govindasamy, Joseph Bursey, Hsin-Wei Hung, Ardalan Amiri Sani
ASE2025Other
StackPlagger: A System for Identifying AI-Code Plagiarism on Stack Overflow.
Aman Swaraj, Harsh Goyal, Sumit Chadgal, Sandeep Kumar 0004
ASE2025AI / LLM for SE
State Field Coverage: A Metric for Oracle Quality.
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
ASE2025Testing / QA
Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study.
Pedro Luís Fonseca, Bruno Lima, João Pascoal Faria
ASE2025Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Taming Uncertainty via Automation: Observing, Analyzing, and Optimizing Agentic AI Systems.
Dany Moshkovich, Sergey Zeltyn
ASE2025AI / LLM for SE
TensorGuard: Gradient-Based Model Fingerprinting for LLM Similarity Detection and Family Classification.
Zehao Wu, Yanjie Zhao 0001, Haoyu Wang 0001
ASE2025AI / LLM for SE
Tephra: Principled Discovery of Fuzzer Limitations.
Vasil Sarafov, David Markvica, Stefan Brunthaler 0001
ASE2025Testing / QA
Terminator: Enabling Efficient Fuzzing of Closed-Source GUI Programs by Automatic Coverage-Guided Termination.
Jonas Zabel, Philip Kolvenbach, Steven Arzt
ASE2025Testing / QA; Mobile / Web / GUI / Android
Testing Autonomous Driving Systems Through Blind-Spot Guided Fuzzing.
Sali Moussa
ASE2025Testing / QA
Tether: A Personalized Support Assistant for Software Engineers with ADHD.
Aarsh Shah, Cleyton V. C. de Magalhães, Kiev Gama, Ronnie de Souza Santos
ASE2025Other
The Cost of Downgrading Build Systems : A Case Study of Kubernetes.
Gareema Ranjan, Mahmoud Alfadel, Gengyi Sun, Shane McIntosh
ASE2025Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
The Fault in our Stats.
Alexi Turcotte, Neev Nirav Mehta
ASE2025Other
The Future of Software Transparency: Bridging Understanding, Measurement, and Practice.
Gregorio Dalia, Annibale Panichella, Andrea Di Sorbo, Gerardo Canfora, Corrado Aaron Visaggio
ASE2025Other
The Gold Digger in the Dark Forest: Industrial-Scale MEV Analysis in Ethereum.
Ningyu He, Tianyang Chi, Xiaohui Hu, Haoyu Wang
ASE2025Other
Thinking Longer, Not Larger: Enhancing Software Engineering Agents via Scaling Test-Time Compute.
Yingwei Ma, Yongbin Li, Yihong Dong, Xue Jiang, Yanhao Li
ASE2025Testing / QA
Token Sugar: Making Source Code Sweeter for LLMs through Token-Efficient Shorthand.
Zhensu Sun, Chengran Yang, Xiaoning Du 0001, Zhou Yang 0003, Li Li 0029
ASE2025Other
Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects.
Adem Ait, Gwendal Jouneaux, Javier Luis Cánovas Izquierdo, Jordi Cabot
ASE2025Human / Empirical / Socio-technical
Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator.
Haochen Gong, Zhen Tao, Shidong Pan, Zhenchang Xing, Xiaoyu Sun 0002
ASE2025Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Towards Generalizable Instruction Vulnerability Prediction via LLM-Enhanced Code Representation.
Bao Wen, Jingjing Gu, Jingxuan Zhang, Yang Liu 0390, Pengfei Yu 0002
ASE2025AI / LLM for SE
Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux Kernel.
Haonan Li 0009, Hang Zhang 0012, Kexin Pei, Zhiyun Qian
ASE2025Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Towards Reliable LLM-based Exam Generation Lessons Learned and Open Challenges in an Industrial Project.
Renzo Degiovanni, Jordi Cabot
ASE2025AI / LLM for SE
Training-Control-as-Code: Towards a declarative solution to control training.
Padmanabha Venkatagiri Seshadri, Harikrishnan Balagopal, Mehant Kammakomati, Ashok Pon Kumar, Dushyant Behl
ASE2025Other
TreeRanker: Fast and Model-Agnostic Ranking System for Code Suggestions in IDEs.
Daniele Cipollone, Egor Bogomolov, Arie van Deursen, Maliheh Izadi
ASE2025Other
Triangle: Empowering Incident Triage with Multi-Agent.
Zhaoyang Yu 0002, Aoyang Fang, Minghua Ma, Jaskaran Singh Walia, Chaoyun Zhang
ASE2025Other
TrioXpert: An Automated Incident Management Framework for Microservice System.
Yongqian Sun, Yu Luo, Xidao Wen, Yuan Yuan 0034, Xiaohui Nie
ASE2025Cloud / Microservices / Distributed Systems
Tron: Fuzzing Linux Network Stack via Protocol-System Call Payload Synthesis.
Qiang Zhang, Yifei Chu, Yuheng Shen, Jianzhong Liu, Heyuan Shi
ASE2025Testing / QA
TrustVis: A Multi-Dimensional Trustworthiness Evaluation Framework for Large Language Models.
Ruoyu Sun 0011, Da Song, Jiayang Song, Yuheng Huang 0004, Lei Ma 0003
ASE2025Other
Tuning LLM-based Code Optimization via Meta-Prompting: An Industrial Perspective.
Jingzhi Gong, Rafail Giavrimis, Paul Brookes, Vardan Voskanyan, Fan Wu 0009
ASE2025AI / LLM for SE; Performance / Energy / Reliability
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations.
Ranit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan
ASE2025Other
Uncovering Prompt Elements: Cloning System Prompts from Behavioral Traces.
Yi Qian, Fei Peng, Hao Wu 0067, Ligeng Chen, Bing Mao 0001
ASE2025Other
Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications.
Haolin Jin, Huaming Chen
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Understanding Feature Request Practice on GitHub via a Large-Scale Empirical Study.
Jiajun Li, Wenhua Yang, Minxue Pan, Yu Zhou
ASE2025Human / Empirical / Socio-technical
Understanding Resource Injection Vulnerabilities in Kubernetes Ecosystems.
Defang Bo, Jie Lu 0009, Feng Li 0045, Jingting Chen, Jinchen Wang
ASE2025Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories.
Islem Bouzenia, Michael Pradel
ASE2025Human / Empirical / Socio-technical
Understanding Uncertainty In LLMs.
Chandan Kumar Sah
ASE2025Other
Unit Test Update through LLM-Driven Context Collection and Error-Type-Aware Refinement.
Yuanhe Zhang, Zhiquan Yang, Shengyi Pan, Zhongxin Liu 0002
ASE2025Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods
United We Stand: Towards End-to-End Log-based Fault Diagnosis via Interactive Multi-Task Learning.
Minghua He, Chiming Duan, Pei Xiao 0007, Tong Jia, Siyu Yu
ASE2025Cloud / Microservices / Distributed Systems
Unlocking Reproducibility: Automating re-Build Process for Open-Source Software.
Behnaz Hassanshahi, Trong Nhan Mai, Benjamin Selwyn-Smith, Nicholas Allen
ASE2025DevOps / CI / Build / Release
Unseen Data Detection using Routing Entropy in Mixture-of-Experts for Autonomous Vehicles.
Sang In Lee, Donghwan Shin, Jihun Park
ASE2025Other
Using Active Learning to Train Predictive Mutation Testing with Minimal Data.
Miklos Borsi
ASE2025Testing / QA
Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing.
Ali Ghanbari 0001, Sasan Tavakkol
ASE2025Testing / QA
VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models.
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
ASE2025Program Analysis / Verification / Formal Methods
VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality Scenes.
Zhengyang Zhu, Hong-Ning Dai, Hanyang Guo, Zeqin Liao, Zibin Zheng
ASE2025Testing / QA
VRTestSniffer: Test Smell Detector for Virtual Reality (VR) Software Projects.
Faraz Gurramkonda, Avishak Chakroborty, Bruce Maxim, Mohamed Wiem Mkaouer, Foyzul Hassan
ASE2025Testing / QA
VUSC: An Extensible Research Platform for Java-Based Static Analysis.
Marc Miltenberger, Steven Arzt
ASE2025Program Analysis / Verification / Formal Methods
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods.
Chenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu 0028, Sangharatna Godboley
ASE2025Program Analysis / Verification / Formal Methods
Verification and Classification of Exploits for Node.js Vulnerabilities.
Sungmin Park
ASE2025Program Analysis / Verification / Formal Methods
Vessel: A Taxonomy of Reproducibility Issues for Container Images.
Kevin Pitstick, Alex Derr, Lihan Zhan, Sebastián Echeverría
ASE2025Cloud / Microservices / Distributed Systems
Vul-R2: A Reasoning LLM for Automated Vulnerability Repair.
Xin-Cheng Wen, Zirui Lin, Yijun Yang, Cuiyun Gao 0001, Deheng Ye
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Vulnerability-Affected Versions Identification: How Far Are We?
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao 0011, Xinyue Cai
ASE2025Other
WEST: Specification-Based Test Generation for WebAssembly.
Dongjun Youn, Wonho Shin, Sukyoung Ryu
ASE2025Testing / QA; Program Analysis / Verification / Formal Methods
WIBE: Watermarks for generated Images - Benchmarking & Evaluation.
Aleksey Yakushev, Aleksandr Akimenkov, Khaled Abud, Dmitry Obydenkov, Irina Serzhenko
ASE2025Other
Walk the Talk: Is Your Log-based Software Reliability Maintenance System Really Reliable?
Minghua He, Tong Jia, Chiming Duan, Pei Xiao 0007, Lingzhe Zhang
ASE2025Maintenance / Evolution / Refactoring / Review; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Watson: A Cognitive Observability Framework for the Reasoning of LLM-Powered Agents.
Benjamin Rombaut 0002, Sogol Masoumzadeh, Kirill Vasilevski, Dayi Lin, Ahmed E. Hassan
ASE2025AI / LLM for SE; Cloud / Microservices / Distributed Systems
What Types of Code Review Comments Do Developers Most Frequently Resolve?
Saul Goldman, Hong Yi Lin, Jirat Pasuksmit, Patanamon Thongtanunam, Chakkrit Kla Tantithamthavorn
ASE2025Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
What's DAT Smell? Untangling and Weaving the Disjoint Assertion Tangle Test Smell.
Monil Narang, Hang Du, James A. Jones
ASE2025Testing / QA
When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software.
Jianjun Zhao
ASE2025Requirements / Modeling / Architecture
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs.
Qi Zhan, Xing Hu 0008, Yuanyi Lin, Tongtong Xu, Xin Xia 0001
ASE2025AI / LLM for SE
When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
An Guo 0002, Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Haomin Pang
ASE2025Human / Empirical / Socio-technical
When Control Flows Deviate: Directed Grey-box Fuzzing with Probabilistic Reachability Analysis.
Peihong Lin, Pengfei Wang, Xu Zhou 0004, Wei Xie 0007, Xin Ren
ASE2025Testing / QA
When Does Wasm Malware Detection Fail? A Systematic Analysis of Their Robustness to Evasion.
Taeyoung Kim, Sanghak Oh, Kiho Lee, Weihang Wang 0001, Yonghwi Kwon 0001
ASE2025Security / Privacy / Vulnerability
When Faster Isn't Greener: The Hidden Costs of LLM-Based Code Optimization.
Tristan Coignion, Clément Quinton, Romain Rouvoy
ASE2025AI / LLM for SE; Performance / Energy / Reliability
Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floatingƒ.
Imranur Rahman, Jill Marley, William Enck, Laurie A. Williams
ASE2025Other
Who's to Blame? Rethinking the Brittleness of Automated Web GUI Testing from a Pragmatic Perspective.
Haonan Zhang 0006, Kundi Yao, Zishuo Ding, Lizhi Liao, Weiyi Shang
ASE2025Testing / QA; Mobile / Web / GUI / Android
Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild.
Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson R. Murphy-Hill
ASE2025AI / LLM for SE; Human / Empirical / Socio-technical
Why Is My Transaction Risky? Understanding Smart Contract Semantics and Interactions in the NFT Ecosystem.
Yujing Chen, Xuanming Liu, Zhiyuan Wan, Zuobin Wang, David Lo 0001
ASE2025Security / Privacy / Vulnerability
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule.
Xiaogang Zhu 0001, Enze Dai, Xiaotao Feng, Shaohua Wang 0002, Xin Xia 0001
ASE2025Testing / QA
Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based Agent.
Taiming Wang, Yanjie Jiang, Chunhao Dong, Yuxia Zhang, Hui Liu 0003
ASE2025AI / LLM for SE
XRintTest: An Automated Framework for User Interaction Testing in Extended Reality Applications.
Ruizhen Gu, José Miguel Rojas, Donghwan Shin 0001
ASE2025Testing / QA
Your Build Scripts Stink: The State of Code Smells in Build Scripts.
Mahzabin Tamanna, Yash Chandrani, Matthew Burrows, Brandon Wroblewski, Laurie A. Williams
ASE2025DevOps / CI / Build / Release
ZendDiff: Differential Testing of PHP Interpreter.
Yuancheng Jiang, Jianing Wang, Qiange Liu, Yeqi Fu, Jian Mao
ASE2025Testing / QA
evalSmarT: An LLM-Based Framework for Evaluating Smart Contract Generated Comments.
Fatou Ndiaye Mbodji, Mame Marieme C. Sougoufara, Wendkûuni C. Ouédraogo, Alioune Diallo, Kui Liu 0001
ASE2025AI / LLM for SE; Security / Privacy / Vulnerability
iCodeReviewer: Improving Secure Code Review with Mixture of Prompts.
Yun Peng, Kisub Kim, Linghan Meng, Kui Liu 0001
ASE2025Maintenance / Evolution / Refactoring / Review
iKnow: an Intent-Guided Chatbot for Cloud Operations with Retrieval-Augmented Generation.
Junjie Huang 0008, Yuedong Zhong, Guangba Yu, Zhihan Jiang, Minzhi Yan
ASE2025Cloud / Microservices / Distributed Systems