Software Engineering Empirical Research Radar

ASE Papers

Recent ASE papers in the SEER Radar snapshot.

PaperVenueYearTopics
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
iCodeReviewer: Improving Secure Code Review with Mixture of Prompts.
Yun Peng, Kisub Kim, Linghan Meng, Kui Liu 0001
ASE2025Maintenance / Evolution / Refactoring / Review
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
ZendDiff: Differential Testing of PHP Interpreter.
Yuancheng Jiang, Jianing Wang, Qiange Liu, Yeqi Fu, Jian Mao
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
XRintTest: An Automated Framework for User Interaction Testing in Extended Reality Applications.
Ruizhen Gu, José Miguel Rojas, Donghwan Shin 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
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
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
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
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
Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floatingƒ.
Imranur Rahman, Jill Marley, William Enck, Laurie A. Williams
ASE2025Other
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
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 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 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 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 Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software.
Jianjun Zhao
ASE2025Requirements / Modeling / Architecture
What's DAT Smell? Untangling and Weaving the Disjoint Assertion Tangle Test Smell.
Monil Narang, Hang Du, James A. Jones
ASE2025Testing / QA
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
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
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
WIBE: Watermarks for generated Images - Benchmarking & Evaluation.
Aleksey Yakushev, Aleksandr Akimenkov, Khaled Abud, Dmitry Obydenkov, Irina Serzhenko
ASE2025Other
WEST: Specification-Based Test Generation for WebAssembly.
Dongjun Youn, Wonho Shin, Sukyoung Ryu
ASE2025Testing / QA; Program Analysis / Verification / Formal Methods
Vulnerability-Affected Versions Identification: How Far Are We?
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao 0011, Xinyue Cai
ASE2025Other
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
Vessel: A Taxonomy of Reproducibility Issues for Container Images.
Kevin Pitstick, Alex Derr, Lihan Zhan, Sebastián Echeverría
ASE2025Cloud / Microservices / Distributed Systems
Verification and Classification of Exploits for Node.js Vulnerabilities.
Sungmin Park
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
VUSC: An Extensible Research Platform for Java-Based Static Analysis.
Marc Miltenberger, Steven Arzt
ASE2025Program Analysis / Verification / Formal Methods
VRTestSniffer: Test Smell Detector for Virtual Reality (VR) Software Projects.
Faraz Gurramkonda, Avishak Chakroborty, Bruce Maxim, Mohamed Wiem Mkaouer, Foyzul Hassan
ASE2025Testing / QA
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
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
Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing.
Ali Ghanbari 0001, Sasan Tavakkol
ASE2025Testing / QA
Using Active Learning to Train Predictive Mutation Testing with Minimal Data.
Miklos Borsi
ASE2025Testing / QA
Unseen Data Detection using Routing Entropy in Mixture-of-Experts for Autonomous Vehicles.
Sang In Lee, Donghwan Shin, Jihun Park
ASE2025Other
Unlocking Reproducibility: Automating re-Build Process for Open-Source Software.
Behnaz Hassanshahi, Trong Nhan Mai, Benjamin Selwyn-Smith, Nicholas Allen
ASE2025DevOps / CI / Build / Release
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
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
Understanding Uncertainty In LLMs.
Chandan Kumar Sah
ASE2025Other
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories.
Islem Bouzenia, Michael Pradel
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 Feature Request Practice on GitHub via a Large-Scale Empirical Study.
Jiajun Li, Wenhua Yang, Minxue Pan, Yu Zhou
ASE2025Human / Empirical / Socio-technical
Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications.
Haolin Jin, Huaming Chen
ASE2025Debugging / Fault Localization / Diagnosis / Repair
Uncovering Prompt Elements: Cloning System Prompts from Behavioral Traces.
Yi Qian, Fei Peng, Hao Wu 0067, Ligeng Chen, Bing Mao 0001
ASE2025Other
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations.
Ranit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan
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
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
Tron: Fuzzing Linux Network Stack via Protocol-System Call Payload Synthesis.
Qiang Zhang, Yifei Chu, Yuheng Shen, Jianzhong Liu, Heyuan Shi
ASE2025Testing / QA
TrioXpert: An Automated Incident Management Framework for Microservice System.
Yongqian Sun, Yu Luo, Xidao Wen, Yuan Yuan 0034, Xiaohui Nie
ASE2025Cloud / Microservices / Distributed Systems
Triangle: Empowering Incident Triage with Multi-Agent.
Zhaoyang Yu 0002, Aoyang Fang, Minghua Ma, Jaskaran Singh Walia, Chaoyun Zhang
ASE2025Other
TreeRanker: Fast and Model-Agnostic Ranking System for Code Suggestions in IDEs.
Daniele Cipollone, Egor Bogomolov, Arie van Deursen, Maliheh Izadi
ASE2025Other
Training-Control-as-Code: Towards a declarative solution to control training.
Padmanabha Venkatagiri Seshadri, Harikrishnan Balagopal, Mehant Kammakomati, Ashok Pon Kumar, Dushyant Behl
ASE2025Other
Towards Reliable LLM-based Exam Generation Lessons Learned and Open Challenges in an Industrial Project.
Renzo Degiovanni, Jordi Cabot
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 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 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 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
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
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
The Gold Digger in the Dark Forest: Industrial-Scale MEV Analysis in Ethereum.
Ningyu He, Tianyang Chi, Xiaohui Hu, Haoyu Wang
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 Fault in our Stats.
Alexi Turcotte, Neev Nirav Mehta
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
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
Testing Autonomous Driving Systems Through Blind-Spot Guided Fuzzing.
Sali Moussa
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
Tephra: Principled Discovery of Fuzzer Limitations.
Vasil Sarafov, David Markvica, Stefan Brunthaler 0001
ASE2025Testing / QA
TensorGuard: Gradient-Based Model Fingerprinting for LLM Similarity Detection and Family Classification.
Zehao Wu, Yanjie Zhao 0001, Haoyu Wang 0001
ASE2025AI / LLM for SE
Taming Uncertainty via Automation: Observing, Analyzing, and Optimizing Agentic AI Systems.
Dany Moshkovich, Sergey Zeltyn
ASE2025AI / LLM for SE
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
State Field Coverage: A Metric for Oracle Quality.
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
ASE2025Testing / QA
StackPlagger: A System for Identifying AI-Code Plagiarism on Stack Overflow.
Aman Swaraj, Harsh Goyal, Sumit Chadgal, Sandeep Kumar 0004
ASE2025AI / LLM for SE
Spinner: Detecting Locking Violations in the eBPF Runtime.
Priya Govindasamy, Joseph Bursey, Hsin-Wei Hung, Ardalan Amiri Sani
ASE2025Other
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
Spec2Code: Mapping Protocol Specification to Function-Level Code Implementation.
Yuekun Wang, Lili Quan, Xiaofei Xie, Junjie Wang, Jianjun Chen
ASE2025Program Analysis / Verification / Formal Methods
Soleker: Uncovering Vulnerabilities in Solana Smart Contracts.
Kunsong Zhao, Yunpeng Tian, Zuchao Ma, Xiapu Luo
ASE2025Other
SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation.
Zhifan Ye, Jiachi Chen, Zhenzhe Shao, Lingfeng Bao, Xiaohu Yang 0001
ASE2025Other
Simulated Interactive Debugging.
Yannic Noller, Erick Chandra 0002, Srinidhi Chandrashekar, Kenny T. W. Choo, Cyrille Jégourel
ASE2025Debugging / Fault Localization / Diagnosis / Repair
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
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
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
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
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
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
Securing Self-Managed Third-Party Libraries.
Xin Zhou 0016, Jinwei Xu, He Zhang 0001, Yanjing Yang, Lanxin Yang
ASE2025Other
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
Secure Transaction Semantics: Analysis, Vulnerability Detection, and Attack Modeling.
Yixuan Liu
ASE2025Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
ScaleCirc: Scaling the Analysis over Circom Circuits.
Jinan Jiang, Haoran Qin, Xiapu Luo
ASE2025Other
SateLight: A Satellite Application Update Framework for Satellite Computing.
Jinfeng Wen, Jianshu Zhao, Zixi Zhu, Xiaomin Zhang, Qi Liang
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
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
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
SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization.
Chuan Luo 0002, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu 0011
ASE2025Performance / Energy / Reliability
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
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
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
SATORI: Static Test Oracle Generation for REST APIs.
Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz-Cortés
ASE2025Testing / QA
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
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
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
Risk Estimation in Differential Fuzzing via Extreme Value Theory.
Rafael Baez, Alejandro Olivas, Nathan K. Diamond, Marcelo F. Frias, Yannic Noller
ASE2025Testing / QA
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
RepoMasterEval: Evaluating Code Completion via Real-World Repositories.
Qinyun Wu, Chao Peng 0002, Pengfei Gao, Ruida Hu, Haoyu Gan
ASE2025Other
Repairing Leaks in Resource Wrappers.
Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Relia: Accelerating the Analysis of Cloud Access Control Policies.
Dan Wang, Peng Zhang 0011, Zhenrong Gu, Weibo Lin, Shibiao Jiang
ASE2025Cloud / Microservices / Distributed Systems
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
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
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
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
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
RPG: Linux Kernel Fuzzing Guided by Distribution-Specific Runtime Parameter Interfaces.
Yuhan Chen, Yuheng Shen, Guoyu Yin, Fan Ding, Runzhe Wang
ASE2025Testing / QA
RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications.
Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang
ASE2025Other
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
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
R
Muzhi Yu, Zhengran Zeng, Wei Ye 0004, Jinan Sun, Xiaolong Bai
ASE2025Other
Quirx: A Mutation-Based Framework for Evaluating Prompt Robustness in LLM-based Software.
Souhaila Serbout
ASE2025Testing / QA; AI / LLM for SE
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
QuanBench: Benchmarking Quantum Code Generation with Large Language Models.
Xiaoyu Guo 0007, Minggu Wang, Jianjun Zhao 0001
ASE2025Other
PyTrim: A Practical Tool for Reducing Python Dependency Bloat.
Konstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos Proestakis, Evangelos Talos
ASE2025Other
PyGress: Tool for Analyzing the Progression of Code Proficiency in Python OSS Projects.
Rujiphart Charatvaraphan, Bunradar Chatchaiyadech, Thitirat Sukijprasert, Chaiyong Ragkhitwetsagul, Morakot Choetkiertikul
ASE2025Other
PseudoFix: Refactoring Distorted Structures in Decompiled C Pseudocode.
Gangyang Li, Xiuwei Shang, Shaoyin Cheng, Junqi Zhang, Li Hu
ASE2025Maintenance / Evolution / Refactoring / Review
Provable Fairness Repair for Deep Neural Networks.
Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang
ASE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Protecting Source Code Privacy When Hunting Memory Bugs.
Jielun Wu, Bing Shui, Hongcheng Fan, Shengxin Wu, Rongxin Wu
ASE2025Security / Privacy / Vulnerability
Propagation-Based Vulnerability Impact Assessment for Software Supply Chains.
Bonan Ruan, Zhiwei Lin, Jiahao Liu 0005, Chuqi Zhang, Kaihang Ji
ASE2025Other
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering.
Ziyou Li, Agnia Sergeyuk, Maliheh Izadi
ASE2025AI / LLM for SE
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
Programmers' Visual Attention on Function Call Graphs During Code Summarization.
Samantha McLoughlin, Zachary Karas, Robert Wallace, Aakash Bansal, Collin McMillan
ASE2025Other
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
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
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
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
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
Polyglot: An Extensible Framework to Benchmark Code Translation with LLMs.
Marco Vieira, Priyam Ashish Shah, Bhavain Shah, Rrezarta Krasniqi
ASE2025Other
PoliCond: Condition-Aware Ontology-Driven LLMs for Privacy Policy Contradiction Analysis.
Yalin Feng, Yifei Lu, Minxue Pan
ASE2025Security / Privacy / Vulnerability
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
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
PAT-Agent: Autoformalization for Model Checking.
Xinyue Zuo, Yifan Zhang 0019, Hongshu Wang, Yufan Cai 0001, Zhe Hou
ASE2025Program Analysis / Verification / Formal Methods
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
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
On the Robustness Evaluation of 3D Obstacle Detection Against Specifications in Autonomous Driving.
Tri Minh-Triet Pham, Bo Yang 0058, Jinqiu Yang 0001
ASE2025Other
On the Correctness of Software Merge.
Akira Mori, Masatomo Hashimoto
ASE2025Other
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 Automating Configuration Dependency Validation via Retrieval-Augmented Generation.
Sebastian Simon, Alina Mailach, Johannes Dorn, Norbert Siegmund
ASE2025Testing / QA; DevOps / CI / Build / Release
OSSPREY: AI-Driven Forecasting and Intervention for OSS Project Sustainability.
Nafiz Imtiaz Khan, Priyal Soni, Arjun Ashok, Vladimir Filkov
ASE2025AI / LLM for SE
ORMorpher: An Interactive Framework for ORM Translation and Optimization.
Milan Abrahám, Pavel Koupil
ASE2025Performance / Energy / Reliability
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
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao 0001
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
Non-termination Witnesses and Their Validation.
Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer 0001, Marek Jankola
ASE2025Testing / QA
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
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
Multiple Schema-Conformant Declarative Code Generation.
Mehant Kammakomati, Srikanth G. Tamilselvam
ASE2025Other
Multi-dimensional Assessment of Crowdsourced Testing Reports via LLMs.
Yue Wang, Yuan Zhang, Shengcheng Yu, Zhenyu Chen 0001
ASE2025Testing / QA
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
Mockingbird: Efficient Excessive Data Exposures Detection via Dynamic Code Instrumentation.
Chenxiao Xia, Jiazheng Sun, Jun Zheng, Yu-an Tan, Hongyi Su
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
Mixture-of-Experts Low-Rank Adaptation for Multilingual Code Summarization.
Tianchen Yu, Li Yuan, Hailing Huang, Jiexin Wang, Yi Cai
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
Metrics Driven Reengineering and Continuous Code Improvement at Meta.
Audris Mockus, Peter C. Rigby, Rui Abreu 0001, Anatoly Akkerman, Yogesh Bhootada
ASE2025Other
Metamorphic Testing of Deep Reinforcement Learning Agents with MDPMorph.
Jiapeng Li, Zheng Zheng, Yuning Xing, Daixu Ren, Steven Cho
ASE2025Testing / QA
Metamorphic Testing for Audio Content Moderation Software.
Wenxuan Wang 0001, Yongjiang Wu, Junyuan Zhang, Shuqing Li 0001, Yun Peng 0003
ASE2025Testing / QA
Measuring Software Resilience Using Socially Aware Truck Factor Estimation.
Alexis Butler, Daniel O'Keeffe, Santanu Kumar Dash 0001
ASE2025Other
Measuring LLM Code Generation Stability via Structural Entropy.
Yewei Song, Tiezhu Sun, Xunzhu Tang, Prateek Rajput, Tegawendé F. Bissyandé
ASE2025AI / LLM for SE
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
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
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs.
Xiaoyu Guo 0007, Shinobu Saito, Jianjun Zhao 0001
ASE2025Other
LspFuzz: Hunting Bugs in Language Servers.
Hengcheng Zhu 0001, Songqiang Chen, Valerio Terragni, Lili Wei 0001, Yepang Liu 0001
ASE2025Testing / QA
Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation.
Maykel Mattar, Michele Alberti, Valentin Perrelle, Salah Sadou
ASE2025Other
LongCodeZip: Compress Long Context for Code Language Models.
Yuling Shi, Yichun Qian, Hongyu Zhang 0002, Beijun Shen, Xiaodong Gu 0002
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
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
LogMoE: Lightweight Expert Mixture for Cross-System Log Anomaly Detection.
Jiaxing Qi, Zhongzhi Luan, Shaohan Huang, Carol J. Fung, Yuchen Wang
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
LitterBox
Benedikt Fein, Florian Obermüller, Gordon Fraser 0001
ASE2025Other
Linguistic Theories Coincide with Misformalization in Temporal Logic.
Colin S. Gordon
ASE2025Other
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models.
Hongbo Chen, Yifan Zhang 0010, Xing Han, Tianhao Mao, Huanyao Rong
ASE2025Other
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
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
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
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
Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction.
Zhenyang Xu, Yiran Wang, Yongqiang Tian 0001, Mengxiao Zhang, Chengnian Sun
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
LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification.
Doha Nam, Jongmoon Baik
ASE2025Other
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
LLMorph: Automated Metamorphic Testing of Large Language Models.
Steven Cho, Stefano Ruberto, Valerio Terragni
ASE2025Testing / QA
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
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
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-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-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-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-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-Assisted Synthesis of High-Assurance C Programs.
Prasita Mukherjee, Minghai Lu, Benjamin Delaware
ASE2025AI / LLM for SE
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
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
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
JSidentify-V2: Leveraging Dynamic Memory Fingerprinting for Mini-Game Plagiarism Detection.
Zhihao Li, Chaozheng Wang, Zongjie Li, Xinyong Peng, Qun Xia
ASE2025Other
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
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
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao 0001
ASE2025Testing / QA
Interpretable Vulnerability Detection Reports.
Cláudia Mamede, José Campos 0001, Claire Le Goues, Rui Abreu 0001
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
Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Generation from Interactive Prototyping.
Jingyu Xiao, Yuxuan Wan, Yintong Huo, Zixin Wang, Xinyi Xu
ASE2025Other
Interaction-Aware Patch Assessment for Multi-Fault Automated Program Repair.
Omar I. Al-Bataineh
ASE2025Debugging / Fault Localization / Diagnosis / Repair
IntelliTopo: An IaC Generation Service for Industrial Network Topology Construction.
Mingyu Shao, Zhao Liu, Weihong Han, Cuiyun Gao 0001, Jiachen Liu
ASE2025Other
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
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
Improving Quality of LLM Code Generation in Low-Resource Programming Languages via Uncertainty Estimation.
Georgii Andriushchenko
ASE2025AI / LLM for SE; Performance / Energy / Reliability
Improving NLSAT for Nonlinear Real Arithmetic.
Zhonghan Wang
ASE2025Other
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
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
IDBFuzz: Web Storage DataBase Fuzzing with Controllable Semantics.
Jingyi Chen, Jinfu Chen 0001, Saihua Cai, Shengran Wang
ASE2025Testing / QA; Mobile / Web / GUI / Android
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
HybridSIMD: A Super C++ SIMD Library with Integrated Auto-tuning Capabilities.
Haolin Pan, Xulin Zhou, Mingjie Xing, Yanjun Wu
ASE2025Other
Human-In-The-Loop Oracle Learning for Simulation-Based Testing.
Ben-Hau Chia, Eunsuk Kang, Christopher S. Timperley
ASE2025Testing / QA; Human / Empirical / Socio-technical
Human-Centered Evaluation of REST API Fuzzing Tools: Bridging Academia and Industry.
Fanny Febriani Susilo
ASE2025Testing / QA; Human / Empirical / Socio-technical
How Does ChatGPT Make Assumptions When Creating Erroneous Programs?
Sadia Jahan, Xiaoyin Wang
ASE2025AI / LLM for SE
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 Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs.
Nicolas Amat, Pierre Ganty, Alessio Mansutti
ASE2025Other
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
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
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
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
HFuzzer: Testing Large Language Models for Package Hallucinations via Phrase-based Fuzzing.
Yukai Zhao, Menghan Wu, Xing Hu 0008, Xin Xia 0001
ASE2025Testing / QA
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
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
GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications.
Dillon Otto, Tanner Rowlett, Stefan Nagy
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
Function Clustering-Based Fuzzing Termination: Toward Smarter Early Stopping.
Liang Ding, Wenzhang Yang, Yinxing Xue
ASE2025Testing / QA
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
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 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 Modules to Marketplaces: A Vision for Composable Capability Sharing Across Organizations.
Wei-Ji Wang
ASE2025Other
From Characters to Structure: Rethinking Real-Time Collaborative Programming Models.
Leon Freudenthaler, Bernhard Taufner, Karl Michael Göschka
ASE2025Other
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis.
Jaemin Hong, Sukyoung Ryu
ASE2025Other
FlowStrider: Low-Friction Continuous Threat Modeling.
Bernd Gruner, Noah Erthel, Clemens-Alexander Brust
ASE2025Requirements / Modeling / Architecture
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
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
First-Order Quantified Separator in Alloy Analyzer.
One An
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
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
Finding Bugs in WebAssembly Interface Type Binding Generators.
Ethan Stanley, Eric Eide
ASE2025Program Analysis / Verification / Formal Methods
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration.
Jingjing Liang, Shan Huang, Ting Su 0001
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
Fault Injection for Simulink-based CPS Models: Insights and Future Directions.
Drishti Yadav, Claudio Mandrioli, Ezio Bartocci, Domenico Bianculli
ASE2025Other
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring.
Shinhae Kim, Saikat Dutta 0001, Owolabi Legunsen
ASE2025Testing / QA; Program Analysis / Verification / Formal Methods
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
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
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs.
Zongze Jiang, Ming Wen 0001, Ge Wen, Hai Jin 0001
ASE2025Other
FGit: Fault-Guided Fine-Tuning for Code Generation.
Lishui Fan, Zhongxin Liu 0002, Haoye Wang, Lingfeng Bao, Xin Xia 0001
ASE2025Other
FETT: Fault Injection as an Educational and Training Tool in Cybersecurity.
Anaé De Baets, Guillaume Nguyen, Xavier Devroey, Fabian Gilson
ASE2025Other
EyeNav: Accessible Webpage Interaction and Testing using Eye-tracking and NLP.
Juan Diego Yepes-Parra, Camilo Escobar-Velásquez
ASE2025Testing / QA
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
Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks.
Ruofan Lu, Yichen Li 0003, Yintong Huo
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
Execution-Aware Program Reduction for WebAssembly via Record and Replay.
Doehyun Baek, Daniel Lehmann 0002, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
ASE2025Other
Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks.
Kanguk Lee, Jaemin Hong, Sukyoung Ryu
ASE2025Testing / QA
Evolution-Aware Heuristics for GR(1) Realizability Checking.
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
ASE2025Maintenance / Evolution / Refactoring / Review
Evaluating and Improving Framework-based Parallel Code Completion with Large Language Models.
Ke Liu, Qinglin Wang, Xiang Chen, Guang Yang, Yigui Feng
ASE2025Other
Evaluating Program Coverage for Code-Model Training.
Nandakishore Menon, Diptikalyan Saha
ASE2025Testing / QA
Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software.
Yang Liu, Yixing Luo, Xiaofeng Li, Xiaogang Dong, Bin Gu
ASE2025Other
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
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
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
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition.
Yue Wang, Jiaxuan Sun, Yanzhen Zou, Bing Xie
ASE2025Other
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 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
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
EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding.
Peiding Wang, Li Zhang, Fang Liu, Yinghao Zhu, Wang Xu
ASE2025Other
Efficient and Verifiable Proof Logging for MaxSAT Solving.
Raoul Van Doren, Timos Antonopoulos, Ruzica Piskac
ASE2025Other
Efficient Understanding of Machine Learning Model Mispredictions.
Martin Eberlein, Jürgen Cito, Lars Grunske
ASE2025AI / LLM for SE
Effective Code Membership Inference for Code Completion Models via Adversarial Prompts.
Yuan Jiang, Zehao Li, Shan Huang, Christoph Treude, Xiaohong Su
ASE2025Other
EditFusion: Resolving Code Merge Conflicts via Edit Selection.
Changxin Wang, Lei Xu, Rundong Wang, Yiming Ma, Weifeng Zhang
ASE2025Other
EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode.
Qian Zhu, Yuxuan Liu, Ziyuan Zhu, Shangqing Liu, Lei Bu
ASE2025Other
Dynamic Testing of GUI Exercises in Headless Environments.
Benjamin Schmitz
ASE2025Testing / QA; Mobile / Web / GUI / Android
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing.
Yuanliang Chen, Fuchen Ma, Yanyang Zhao, Yuanyi Li, Yu Jiang 0001
ASE2025Testing / QA
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
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
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
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
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
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
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
Detecting and Mitigating Inconsistencies Between Code, Documentation and Tests.
Tobias Kiecker
ASE2025Testing / QA
Detecting Vulnerabilities from Issue Reports for Internet-of-Things.
Sogol Masoumzadeh
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 Semantic Clones of Unseen Functionality.
Konstantinos Kitsios, Francesco Sovrano, Earl T. Barr, Alberto Bacchelli
ASE2025Other
Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks.
Linhan Li, ThanhVu Nguyen
ASE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
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
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 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 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
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
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning.
Xin Wang, Zhenhao Li, Zishuo Ding
ASE2025Other
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
DeepTx: Real-Time Transaction Risk Analysis via Multi-Modal Features and LLM Reasoning.
Yixuan Liu, Xinlei Li, Yi Li
ASE2025AI / LLM for SE
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
Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs.
Seojin Kim, Sungmin Park, Jihyeok Park
ASE2025Mobile / Web / GUI / Android
Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair Tools.
Omar I. Al-Bataineh
ASE2025Debugging / Fault Localization / Diagnosis / Repair
DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects.
Wentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, Tianyin Xu
ASE2025Testing / QA
Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams.
Wenxin Mao, Zhitao Wang, Long Wang, Sirong Chen, Cuiyun Gao 0001
ASE2025Requirements / Modeling / Architecture
DSBox: A Data Selection Framework for Efficient Deep Code Learning.
Xinyang Liu, Lili Quan, Qiang Hu
ASE2025Other
DRIFT: Debug-based Trace Inference for Firmware Testing.
Changming Liu, Alejandro Mera, Meng Xu, Engin Kirda
ASE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers.
Zhengshu Wang, Peng He, Fuchen Ma, Yuanliang Chen, Shuoshuo Duan
ASE2025Testing / QA
DLBench: A Comprehensive Benchmark for SQL Translation with Large Language Models.
Li Lin, Hongqiao Chen, Qinglin Zhu, Liehang Chen, Linlong Tang
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
DALEQ - Explainable Equivalence for Java Bytecode.
Jens Dietrich 0001, Behnaz Hassanshahi
ASE2025Other
Cryptbara: Dependency-Guided Detection of Python Cryptographic API Misuses.
Seogyeong Cho, Seungeun Yu, Seunghoon Woo
ASE2025Security / Privacy / Vulnerability
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
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
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
Context-Sensitive Pointer Analysis for ArkTS.
Yizhuo Yang 0005, Lingyun Xu, Mingyi Zhou, Li Li 0029
ASE2025Program Analysis / Verification / Formal Methods
Context-Aware CodeLLM Eviction for AI-assisted Coding.
Kishanthan Thangarajah, Boyuan Chen 0002, Shi Chang, Ahmed E. Hassan
ASE2025AI / LLM for SE
ConfuseTaint: Exploiting Vulnerabilities to Bypass Dynamic Taint Analysis.
Yufei Wu, Alexandre Bartel
ASE2025Security / Privacy / Vulnerability
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
Coding-Fuse: Efficient Fusion of Code Pre-Trained Models for Classification Tasks.
Yu Zhao, Lina Gong, Zhiqiu Huang, Yuchen Jin, Mingqiang Wei
ASE2025Other
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
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
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
CoTune: Co-evolutionary Configuration Tuning.
Gangda Xiong, Tao Chen
ASE2025DevOps / CI / Build / Release
Clarifying Semantics of In-Context Examples for Unit Test Generation.
Chen Yang, Lin Yang 0030, Ziqi Wang, Dong Wang 0044, Jianyi Zhou
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
Chrysalis: A Lightweight Logging and Replay Framework for Metamorphic Testing in Python.
Jai Parera, Nathan Huey, Ben Limpanukorn, Miryung Kim
ASE2025Testing / QA
Characterizing and Repairing Color-Related Accessibility Issues in Android Apps.
Jiahao Gu, Huaxun Huang
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
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
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
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
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
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
Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program Exploration.
Dingzhao Xue, Yibo Qu, Bowen Jiang, Xin Chen, Shuaizong Si
ASE2025Other
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
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
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
Better Safe than Sorry: Preventing Policy Violations through Predictive Root-Cause-Analysis for IoT Systems.
Michael Norris, Syed Rafiul Hussain, Gang Tan
ASE2025Other
BenGQL: An Extensible Benchmarking Framework for Automated GraphQL Testing.
Abenezer Angamo, Marcello Maugeri
ASE2025Testing / QA
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
Backdoors in Code Summarizers: How Bad Is It?
Chenyu Wang 0005, Zhou Yang 0003, Yaniv Harel, David Lo 0001
ASE2025Other
BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines.
Jiming Wang, Chenggang Wu 0002, Jikai Ren, Yuhao Hu, Yan Kang 0002
ASE2025Testing / QA
BASHIRI: Learning Failure Oracles from Execution Features.
Marius Smytzek, Martin Eberlein, Tural Mammadov, Lars Grunske, Andreas Zeller
ASE2025Testing / QA; Debugging / 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
Automatic Fixing of Missing Dependency Errors.
Jun Lyu, He Zhang 0001, Lanxin Yang, Yue Li 0047, Chenxing Zhong
ASE2025Debugging / 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
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 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 Proactive Logging Quality Improvement for Large-Scale Codebases.
Yichen Li 0003, Jinyang Liu 0002, Junsong Pu, Zhihan Jiang, Zhuangbin Chen
ASE2025Other
Automated Insertion of Flushes and Fences for Persistency.
Yutong Guo, Weiyu Luo, Brian Demsky
ASE2025Other
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 Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing.
Konstantinos Kitsios, Marco Castelluccio, Alberto Bacchelli
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 Combinatorial Test Generation for Alloy.
Agustín Borda, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
ASE2025Testing / QA
AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers.
Donghao Yang, Aolang Wu, Tianyi Zhang, Li Zhang 0029, Xiaoli Lian
ASE2025Other
AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Programs via Circuit Graph Analysis.
Tingting Li 0004, Ziming Zhao 0008, Jianwei Yin
ASE2025Other
Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs.
Dingji Wang, You Lu 0005, Bihuan Chen 0001, Shuo Hao, Haowen Jiang
ASE2025Other
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
AppBDS: LLM-Powered Description Synthesis for Sensitive Behaviors in Mobile Apps.
Zichen Liu, Xusheng Xiao
ASE2025AI / LLM for SE; Mobile / Web / GUI / Android
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
An LLM-based multi-agent framework for agile effort estimation.
Thanh-Long Bui, Hoa Khanh Dam, Rashina Hoda
ASE2025AI / LLM for SE
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 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 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 Agent-based Evaluation Framework for Complex Code Generation.
Xinchen Wang, Ruida Hu, Pengfei Gao, Chao Peng 0002, Cuiyun Gao 0001
ASE2025Other
Amur: Fixing Multi-Resource Leaks Guided by Resource Flow Analysis.
Jinyoung Kim, Eunseok Lee
ASE2025Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Altered Histories in Version Control System Repositories: Evidence from the Trenches.
Solal Rapaport, Laurent Pautet, Samuel Tardieu, Stefano Zacchiroli
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
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
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths.
Peng Deng, Lei Zhang 0006, Jingqi Long, Wenzheng Hong, Zhemin Yang
ASE2025Testing / QA
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
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
Agentic Specification Generator for Move Programs.
Yu-Fu Fu, Meng Xu, Taesoo Kim
ASE2025Program 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
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
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
AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered Software.
Rui Yang, Michael Fu, Chakkrit Tantithamthavorn, Chetan Arora 0002, Gunel Gulmammadova
ASE2025AI / LLM for SE
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
AdaptEval: A Benchmark for Evaluating Large Language Models on Code Snippet Adaptation.
Tanghaoran Zhang, Xinjun Mao, Shangwen Wang, Yuxin Zhao, Yao Lu 0003
ASE2025Other
Acceleration of Automotive Software Development by Retrieval Augmented Integration Test Script Generation.
Masashi Mizoguchi, Kentaro Yoshimura, Keita Nakazawa, Yasuomi Sato, Takahiro Iida
ASE2025Testing / QA
ARG: Testing Query Rewriters via Abstract Rule Guided Fuzzing.
Dawei Li, Yuxiao Guo, Qifan Liu, Jie Liang 0006, Zhiyong Wu 0010
ASE2025Testing / QA
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
APIDA-Chat: Structured Synthesis of API Search Dialogues to Bootstrap Conversational Agents.
Zachary Eberhart, Collin McMillan
ASE2025Other
AMPLE: Fine-grained File Access Policies for Server Applications.
Seyedhamed Ghavamnia, Julien Vanegue
ASE2025Other
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
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
A Secure Mocking Approach towards Software Supply Chain Security.
Daisuke Yamaguchi, Shinobu Saito, Takuya Iwatsuka, Nariyoshi Chida, Tachio Terauchi
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 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 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 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
"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
iSMELL: Assembling LLMs with Expert Toolsets for Code Smell Detection and Refactoring.
Di Wu, Fangwen Mu, Lin Shi 0006, Zhaoqiang Guo, Kui Liu 0001
ASE2024Maintenance / Evolution / Refactoring / Review
flowR: A Static Program Slicer for R.
Florian Sihler, Matthias Tichy
ASE2024Other
What Makes a High-Quality Training Dataset for Large Language Models: A Practitioners' Perspective.
Xiao Yu 0008, Zexian Zhang, Feifei Niu, Xing Hu 0008, Xin Xia 0001
ASE2024Other
What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing.
Chenyang Yang 0002, Yining Hong, Grace A. Lewis, Tongshuang Wu, Christian Kästner
ASE2024Program Analysis / Verification / Formal Methods
WaDec: Decompiling WebAssembly Using Large Language Model.
Xinyu She, Yanjie Zhao 0001, Haoyu Wang 0001
ASE2024AI / LLM for SE
VulZoo: A Comprehensive Vulnerability Intelligence Dataset.
Bonan Ruan, Jiahao Liu 0005, Weibo Zhao, Zhenkai Liang
ASE2024Other
VulAdvisor: Natural Language Suggestion Generation for Software Vulnerability Repair.
Jian Zhang 0087, Chong Wang 0013, Anran Li 0001, Wenhan Wang, Tianlin Li
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Visualizing and Understanding the Internals of Fuzzing.
Sriteja Kummita, Zenong Zhang, Eric Bodden, Shiyi Wei
ASE2024Testing / QA
Vision: Identifying Affected Library Versions for Open Source Software Vulnerabilities.
Susheng Wu, Ruisi Wang, Kaifeng Huang 0001, Yiheng Cao, Wenyan Song
ASE2024Human / Empirical / Socio-technical
Verifying the Option Type with Rely-Guarantee Reasoning.
James Yoo, Michael D. Ernst, René Just
ASE2024Program Analysis / Verification / Formal Methods
Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development.
Lei Liao, Junjie Wang 0001, Zhensheng Xu, Fangwen Mu, Yukun Yang
ASE2024Requirements / Modeling / Architecture
Using LLM for Mining and Testing Constraints in API Testing.
Hieu Huynh, Quoc-Tri Le, Tien N. Nguyen, Vu Nguyen 0003
ASE2024Testing / QA; AI / LLM for SE
Using AI to Automate the Modernization of Legacy Software Applications.
Vikram Nitin
ASE2024AI / LLM for SE
Unveiling the Characteristics and Impact of Security Patch Evolution.
Zifan Xie, Ming Wen 0001, Zichao Wei, Hai Jin 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review
Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing.
Siyu Yu, Yifan Wu 0002, Ying Li 0012, Pinjia He
ASE2024Other
Unity Is Strength: Collaborative LLM-Based Agents for Code Reviewer Recommendation.
Luqiao Wang, Yangtao Zhou, Huiying Zhuang, Qingshan Li, Di Cui
ASE2024AI / LLM for SE
Understanding the Implications of Changes to Build Systems.
Mahtab Nejati, Mahmoud Alfadel, Shane McIntosh
ASE2024DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
Understanding Developer-Analyzer Interactions in Code Reviews.
Martin Schäf, Berk Çirisci, Linghui Luo, Muhammad Numair Mansur, Omer Tripp
ASE2024Human / Empirical / Socio-technical
Understanding Code Changes Practically with Small-Scale Language Models.
Cong Li 0003, Zhaogui Xu, Peng Di, Dongxia Wang 0002, Zheng Li 0035
ASE2024Maintenance / Evolution / Refactoring / Review
UFront: Toward A Unified MLIR Frontend for Deep Learning.
Guoqing Bao, Heng Shi 0005, Chengyi Cui, Yalin Zhang 0004, Jianguo Yao 0002
ASE2024AI / LLM for SE
Typed and Confused: Studying the Unexpected Dangers of Gradual Typing.
Dominic Troppmann, Aurore Fass, Cristian-Alexandru Staicu
ASE2024Program Analysis / Verification / Formal Methods
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning.
Zirui Song, Yutong Zhou, Shuaike Dong, Ke Zhang 0039, Kehuan Zhang
ASE2024Program Analysis / Verification / Formal Methods
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network.
Yuanlin Li, Zhiwei Xu, Min Zhou 0001, Hai Wan, Xibin Zhao
ASE2024AI / LLM for SE
Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements.
Mohamad Fazelnia, Mehdi Mirakhorli, Hamid Bagheri
ASE2024Requirements / Modeling / Architecture
Towards a Robust Waiting Strategy for Web GUI Testing for an Industrial Software System.
Haonan Zhang 0006, Lizhi Liao, Zishuo Ding, Weiyi Shang, Nidhi Narula
ASE2024Testing / QA; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation.
Zongze Jiang, Ming Wen 0001, Jialun Cao, Xuanhua Shi, Hai Jin 0001
ASE2024Testing / QA
Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach.
Vittoriano Muttillo, Claudio Di Sipio, Riccardo Rubei, Luca Berardinelli, MohammadHadi Dehghani
ASE2024Requirements / Modeling / Architecture
Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients.
Hala Abdelkader, Jean-Guy Schneider, Mohamed Abdelrazek 0001, Priya Rani, Rajesh Vasa
ASE2024Performance / Energy / Reliability
Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments.
Xinyi Zheng, Chen Wei, Shenao Wang 0001, Yanjie Zhao 0001, Peiming Gao
ASE2024Human / Empirical / Socio-technical; Performance / Energy / Reliability
Towards Long-Term Scientific Model Sustainment at Sandia National Laboratories.
Christian Gilbertson, Reed Milewicz, Eric Berquist, Aaron Brundage, John Engelmann
ASE2024Other
Towards Leveraging LLMs for Reducing Open Source Onboarding Information Overload.
Elijah Kayode Adejumo, Brittany Johnson
ASE2024Human / Empirical / Socio-technical
Towards LLM-augmented multiagent systems for agile software engineering.
Konrad Cinkusz, Jaroslaw A. Chudziak
ASE2024AI / LLM for SE
Towards Extracting Ethical Concerns-related Software Requirements from App Reviews.
Aakash Sorathiya, Gouri Ginde
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Towards Effective Static Type-Error Detection for Python.
Wonseok Oh, Hakjoo Oh
ASE2024Program Analysis / Verification / Formal Methods
Towards Automated Configuration Documentation.
Jobayer Ahmmed, Myra B. Cohen, Paul Gazzillo
ASE2024DevOps / CI / Build / Release
Toward Individual Fairness Testing with Data Validity.
Takashi Kitamura 0001, Sousuke Amasaki, Jun Inoue 0001, Yoshinao Isobe, Takahisa Toda
ASE2024Testing / QA
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions.
Jaemin Hong, Sukyoung Ryu
ASE2024Other
Three Heads Are Better Than One: Suggesting Move Method Refactoring Opportunities with Inter-class Code Entity Dependency Enhanced Hybrid Hypergraph Neural Network.
Di Cui, Jiaqi Wang, Qiangqiang Wang, Peng Ji, Minglang Qiao
ASE2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
The Software Genome Project: Unraveling Software Through Genetic Principles.
Yueming Wu 0001, Chengwei Liu, Zhengzi Xu, Lyuye Zhang, Yiran Zhang
ASE2024Other
The Potential of One-Shot Failure Root Cause Analysis: Collaboration of the Large Language Model and Small Classifier.
Yongqi Han 0001, Qingfeng Du, Ying Huang, Jiaqi Wu, Fulong Tian
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
The Importance of Accounting for Execution Failures when Predicting Test Flakiness.
Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Test-Driven Development and LLM-based Code Generation.
Noble Saji Mathews, Meiyappan Nagappan
ASE2024Testing / QA; AI / LLM for SE
Test Case Generation for Simulink Models using Model Fuzzing and State Solving.
Zhuo Su 0005, Zehong Yu, Dongyan Wang, Wanli Chang 0001, Bin Gu 0006
ASE2024Testing / QA
Syntactic Resilience in Greybox Fuzzing: Automated Error Recovery.
Bachir Bendrissou
ASE2024Testing / QA
Studying Versioning in Stack Overflow.
Yiyun Chen, Fuxiang Chen, Mijung Kim, Fatemeh H. Fard
ASE2024Other
Spotting Code Mutation for Predictive Mutation Testing.
Yifan Zhao, Yizhou Chen, Zeyu Sun 0004, Qingyuan Liang, Guoqing Wang 0004
ASE2024Testing / QA
SpiderScan: Practical Detection of Malicious NPM Packages Based on Graph-Based Behavior Modeling and Matching.
Yiheng Huang, Ruisi Wang, Wen Zheng, Zhuotong Zhou, Susheng Wu
ASE2024Requirements / Modeling / Architecture
Software Supply Chain Risk: Characterization, Measurement & Attenuation.
Alexis Butler
ASE2024Other
SoVAR: Build Generalizable Scenarios from Accident Reports for Autonomous Driving Testing.
An Guo 0002, Yuan Zhou 0005, Haoxiang Tian 0001, Chunrong Fang, Yunjian Sun
ASE2024Testing / QA; DevOps / CI / Build / Release
Snopy: Bridging Sample Denoising with Causal Graph Learning for Effective Vulnerability Detection.
Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu 0001, David Lo 0001, Lili Bo
ASE2024Other
Slicer4D: A Slicing-based Debugger for Java.
Sahar Badihi, Sami Nourji, Julia Rubin
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Skyeye: Detecting Imminent Attacks via Analyzing Adversarial Smart Contracts.
Haijun Wang 0002, Yurui Hu, Hao Wu 0100, Dijun Liu, Chenyang Peng
ASE2024Other
Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates.
Zhihong Sun, Yao Wan 0001, Jia Li 0012, Hongyu Zhang 0002, Zhi Jin 0001
ASE2024Other
Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations.
Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang 0022
ASE2024Other
Semistructured Merge with Language-Specific Syntactic Separators.
Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino
ASE2024Other
Semi-Supervised Code Translation Overcoming the Scarcity of Parallel Code Data.
Ming Zhu 0015, Mohimenul Karim, Ismini Lourentzou, Daphne Yao
ASE2024Other
Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems.
Zihao Rao
ASE2024Program Analysis / Verification / Formal Methods
Semantic-aware Source Code Modeling.
Yangruibo Ding
ASE2024Requirements / Modeling / Architecture
Semantic-Enhanced Indirect Call Analysis with Large Language Models.
Baijun Cheng, Cen Zhang, Kailong Wang 0001, Ling Shi 0002, Yang Liu 0003
ASE2024Other
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models.
Cong Wu 0003, Jing Chen 0003, Ziwei Wang, Ruichao Liang, Ruiying Du
ASE2024Other
SemantiLog: Log-based Anomaly Detection with Semantic Similarity.
Yoli Shavit, Kathy Razmadze, Gary Mataev, Hanan Shteingart, Eitan Zahavi
ASE2024Cloud / Microservices / Distributed Systems
Self-Elicitation of Requirements with Automated GUI Prototyping.
Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto, Kurt Schneider
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Seeding and Mocking in White-Box Fuzzing Enterprise RPC APIs: An Industrial Case Study.
Man Zhang 0001, Andrea Arcuri, Piyun Teng, Kaiming Xue, Wenhao Wang
ASE2024Testing / QA; Human / Empirical / Socio-technical
Scaler: Efficient and Effective Cross Flow Analysis.
Steven (Jiaxun) Tang, Mingcan Xiang, Yang Wang 0009, Bo Wu 0002, Jianjun Chen 0001
ASE2024Other
Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps.
Zikan Dong, Yanjie Zhao 0001, Tianming Liu 0002, Chao Wang 0097, Guosheng Xu 0001
ASE2024Mobile / Web / GUI / Android
STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation.
Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
ASE2024Program Analysis / Verification / Formal Methods
SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice.
Rui Ren, Jingbang Yang, Linxiao Yang, Xinyue Gu, Liang Sun 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation.
Wenzhang Yang, Cuifeng Gao, Xiaoyuan Liu, Yuekang Li, Yinxing Xue
ASE2024Testing / QA
Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
Luan Pham, Huong Ha 0001, Hongyu Zhang 0002
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Revisiting the Conflict-Resolving Problem from a Semantic Perspective.
Jinhao Dong, Jun Sun 0001, Yun Lin 0001, Yedi Zhang, Murong Ma
ASE2024Other
RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation.
Chao Peng 0002, Qinyun Wu, Jiangchao Liu, Jierui Liu, Bo Jiang
ASE2024Other
RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models.
Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di
ASE2024DevOps / CI / Build / Release
Repairing Regex-Dependent String Functions.
Nariyoshi Chida, Tachio Terauchi
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Refinement Types for Visualization.
Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng 0001
ASE2024Other
Reducing Test Runtime by Transforming Test Fixtures.
Chengpeng Li 0002, Abdelrahman Baz, August Shi
ASE2024Testing / QA
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.
Shiwei Feng 0002, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng 0010, Xiangzhe Xu
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code.
Jiachi Chen, Qingyuan Zhong, Yanlin Wang 0001, Kaiwen Ning, Yongkun Liu
ASE2024Other
REACT: IR-Level Patch Presence Test for Binary.
Qi Zhan, Xing Hu 0008, Xin Xia 0001, Shanping Li
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
RCFG2Vec: Considering Long-Distance Dependency for Binary Code Similarity Detection.
Weilong Li, Jintian Lu, Ruizhi Xiao, Pengfei Shao, Shuyuan Jin
ASE2024Other
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers.
Asmar Muqeet, Shaukat Ali 0001, Paolo Arcaini
ASE2024Testing / QA
Quantitative Symbolic Non-Equivalence Analysis.
Laboni Sarker, Tevfik Bultan
ASE2024Program Analysis / Verification / Formal Methods
Proof Automation with Large Language Models.
Minghai Lu, Benjamin Delaware, Tianyi Zhang 0001
ASE2024Other
Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization.
Zhi Chen, Lingxiao Jiang
ASE2024Other
Program Synthesis Meets Visual What-Comes-Next Puzzles.
Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy 0001
ASE2024Other
Prioritizing Tests for Improved Runtime.
Abdelrahman Baz, Minchao Huang, August Shi
ASE2024Testing / QA
Prioritizing Test Inputs for DNNs Using Training Dynamics.
Jian Shen, Zhong Li, Minxue Pan, Xuandong Li
ASE2024Testing / QA
Preference-Guided Refactored Tuning for Retrieval Augmented Code Generation.
Xinyu Gao, Yun Xiong, Deze Wang, Zhenhan Guan, Zejian Shi
ASE2024Other
PatchTrack: Analyzing ChatGPT's Impact on Software Patch Decision-Making in Pull Requests.
Daniel Ogenrwot, John Businge
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code.
Ziyou Jiang, Lin Shi 0006, Guowei Yang 0001, Qing Wang 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Parf: Adaptive Parameter Refining for Abstract Interpretation.
Zhongyi Wang 0004, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li
ASE2024Other
PACGBI: A Pipeline for Automated Code Generation from Backlog Items.
Mahja Sarschar, Gefei Zhang 0001, Annika Nowak
ASE2024DevOps / CI / Build / Release
Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs.
Mojtaba Eshghie, Cyrille Artho
ASE2024Testing / QA; Security / Privacy / Vulnerability
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
Zhiyang Chen 0004, Ye Liu 0012, Sidi Mohamed Beillahi, Yi Li 0008, Fan Long
ASE2024Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
On the Evaluation of Large Language Models in Unit Test Generation.
Lin Yang 0030, Chen Yang, Shutao Gao, Weijing Wang, Bo Wang 0050
ASE2024Testing / QA
Olympia: Fuzzer Benchmarking for Solidity.
Jana Chadt, Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
ASE2024Testing / QA
NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers.
Gichan Lee, Hansae Ju, Scott Uk-Jin Lee
ASE2024Human / Empirical / Socio-technical
Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics.
Yuanhong Lan, Yifei Lu, Minxue Pan, Xuandong Li
ASE2024Testing / QA; Mobile / Web / GUI / Android
Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training.
Yangsen Wang, Yizhou Chen, Yifan Zhao, Zhihao Gong, Junjie Chen 0003
ASE2024AI / LLM for SE
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment.
Yinglong Zou, Juan Zhai, Chunrong Fang, Jiawei Liu, Tao Zheng
ASE2024Testing / QA; AI / LLM for SE
Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs.
Jian Zhao, Shenao Wang 0001, Yanjie Zhao 0001, Xinyi Hou, Kailong Wang 0001
ASE2024Other
Model-based GUI Testing For HarmonyOS Apps.
Yige Chen, Sinan Wang, Yida Tao, Yepang Liu 0001
ASE2024Testing / QA; Mobile / Web / GUI / Android
Mining for Mutation Operators for Reduction of Information Flow Control Violations.
Ilya Kosorukov, Daniel Blackwell, David Clark 0001, Myra B. Cohen, Justyna Petke
ASE2024Testing / QA
Mining and Recommending Mobile App Features using Data-driven Analytics.
Ramsha Ali
ASE2024Mobile / Web / GUI / Android
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs.
Yin Wang, Ming Fan 0002, Hao Zhou 0043, Haijun Wang 0002, Wuxia Jin
ASE2024Security / Privacy / Vulnerability
Microservice Decomposition Techniques: An Independent Tool Comparison.
Yingying Wang, Sarah Bornais, Julia Rubin
ASE2024Cloud / Microservices / Distributed Systems
Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models.
Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001
ASE2024Other
MaskDroid: Robust Android Malware Detection with Masked Graph Representations.
Jingnan Zheng, Jiahao Liu 0005, An Zhang 0003, Jun Zeng 0006, Ziqi Yang
ASE2024Security / Privacy / Vulnerability; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Magneto: A Step-Wise Approach to Exploit Vulnerabilities in Dependent Libraries via LLM-Empowered Directed Fuzzing.
Zhuotong Zhou, Yongzhuo Yang, Susheng Wu, Yiheng Huang, Bihuan Chen 0001
ASE2024Testing / QA; AI / LLM for SE; Security / Privacy / Vulnerability
MRCA: Metric-level Root Cause Analysis for Microservices via Multi-Modal Data.
Yidan Wang, Zhouruixing Zhu, Qiuai Fu, Yuchi Ma, Pinjia He
ASE2024Debugging / Fault Localization / Diagnosis / Repair
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni
ASE2024Testing / QA
MLOLET - Machine Learning Optimized Load and Endurance Testing: An industrial experience report.
Arthur Vitui, Tse-Hsun Chen
ASE2024Testing / QA; AI / LLM for SE
MADE-WIC: Multiple Annotated Datasets for Exploring Weaknesses In Code.
Moritz Mock, Jorge Melegati, Max Kretschmann, Nicolás E. Díaz Ferreyra, Barbara Russo
ASE2024Other
Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency.
Yichi Zhang, Zixi Liu, Yang Feng 0003, Baowen Xu
ASE2024AI / LLM for SE
Learning DNN Abstractions using Gradient Descent.
Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz
ASE2024Other
LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries.
Igor Wodiany, Antoniu Pop, Mikel Luján
ASE2024Other
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models.
Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou 0005
ASE2024Other
Language-Agnostic Static Analysis of Probabilistic Programs.
Markus Böck, Michael Schröder 0005, Jürgen Cito
ASE2024Program Analysis / Verification / Formal Methods
LLMs and Prompting for Unit Test Generation: A Large-Scale Evaluation.
Wendkûuni C. Ouédraogo, Abdoul Kader Kaboré, Haoye Tian, Yewei Song, Anil Koyuncu
ASE2024Testing / QA
LLM4Workflow: An LLM-based Automated Workflow Model Generation Tool.
Jia Xu 0010, Weilin Du, Xiao Liu 0004, Xuejun Li 0001
ASE2024AI / LLM for SE
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling.
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
ASE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
LLM-Based Java Concurrent Program to ArkTS Converter.
Runlin Liu, Yuhang Lin, Yunge Hu, Zhe Zhang, Xiang Gao 0012
ASE2024AI / LLM for SE
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
Guangyuan Wu, Weining Cao, Yuan Yao 0001, Hengfeng Wei, Taolue Chen 0001
ASE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models.
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu 0001
ASE2024Other
Interrogation Testing of Program Analyzers for Soundness and Precision Issues.
David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
ASE2024Testing / QA
Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study.
Stefan Alexander van Heijningen, Theo Wiik, Francisco Gomes de Oliveira Neto, Gregory Gay 0002, Kim Viggedal
ASE2024Testing / QA; Human / Empirical / Socio-technical
Instructive Code Retriever: Learn from Large Language Model's Feedback for Code Intelligence Tasks.
Jiawei Lu, Haoye Wang, Zhongxin Liu 0002, Keyu Liang, Lingfeng Bao
ASE2024AI / LLM for SE
Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution.
Heyuan Shi, Shijun Chen, Runzhe Wang, Yuhan Chen, Weibo Zhang
ASE2024Testing / QA
Incremental Context-free Grammar Inference in Black Box Settings.
Feifei Li, Xiao Chen 0002, Xi Xiao, Xiaoyu Sun 0002, Chuan Chen
ASE2024Other
In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators.
Dmytro Humeniuk, Houssem Ben Braiek, Thomas Reid, Foutse Khomh
ASE2024Testing / QA; AI / LLM for SE
Improving the Comprehension of R Programs by Hybrid Dataflow Analysis.
Florian Sihler
ASE2024Program Analysis / Verification / Formal Methods; Education / Program Comprehension
Imperceptible Content Poisoning in LLM-Powered Applications.
Quan Zhang 0003, Chijin Zhou, Gwihwan Go, Binqi Zeng, Heyuan Shi
ASE2024AI / LLM for SE
IdeoRate: Towards a Semi-automated Assessment Methodology for OSS Ideologies.
Yang Yue 0003, Yi Wang 0013, David F. Redmiles
ASE2024Other
Hybrid Regression Test Selection by Integrating File and Method Dependences.
Guofeng Zhang 0005, Luyao Liu, Zhenbang Chen, Ji Wang 0001
ASE2024Testing / QA
How to Pet a Two-Headed Snake? Solving Cross-Repository Compatibility Issues with Hera.
Yifan Xie, Zhouyang Jia, Shanshan Li 0001, Ying Wang 0038, Jun Ma 0015
ASE2024DevOps / CI / Build / Release
How many pomodoros do professional engineers need to complete a microtask of programming?
Shinobu Saito, Yukako Iimura, Emad Aghayi, Thomas D. LaToza
ASE2024Other
How Effectively Do Code Language Models Understand Poor-Readability Code?
Chao Hu, Yitian Chai, Hao Zhou 0012, Fandong Meng, Jie Zhou 0016
ASE2024Education / Program Comprehension
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan Xie, Ming Wen 0001, Tinghan Li, Yiding Zhu, Qinsheng Hou
ASE2024Mobile / Web / GUI / Android; Performance / Energy / Reliability
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts.
Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt
ASE2024Other
HITS: High-coverage LLM-based Unit Test Generation via Method Slicing.
Zejun Wang, Kaibo Liu, Ge Li 0001, Zhi Jin 0001
ASE2024Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods
GrayDuck: The Sword of Damocles for Duck Typing in Dynamic Language Deserialization.
Xiaofan Liu, Xunjin Zheng, Cai Fu, Xiaoheng Xie, Peng Di
ASE2024Program Analysis / Verification / Formal Methods
GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph.
Wei Liu 0189, Ailun Yu, Daoguang Zan, Bo Shen, Wei Zhang 0004
ASE2024DevOps / CI / Build / Release
GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models.
Zhibo Zhang, Wuxia Bai, Yuxi Li 0010, Mark Huasong Meng, Kailong Wang 0001
ASE2024Other
Giving without Notifying: Assessing Compliance of Data Transmission in Android Apps.
Ming Fan 0002, Jifei Shi, Yin Wang, Le Yu 0002, Xicheng Zhang
ASE2024Mobile / Web / GUI / Android
Giving Every Modality a Voice in Microservice Failure Diagnosis via Multimodal Adaptive Optimization.
Lei Tao, Shenglin Zhang, Zedong Jia, Jinrui Sun, Minghua Ma
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach.
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu 0002, Pierre-Louis Bernard
ASE2024AI / LLM for SE; Mobile / Web / GUI / Android
General and Practical Property-based Testing for Android Apps.
Yiheng Xiong, Ting Su 0001, Jue Wang, Jingling Sun, Geguang Pu
ASE2024Testing / QA; Mobile / Web / GUI / Android
GUI Test Repair Based on Test-Extension.
Yonghao Long, Yuanyuan Chen 0017, Xiangping Chen
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
GPTZoo: A Large-scale Dataset of GPTs for the Research Community.
Xinyi Hou, Yanjie Zhao 0001, Shenao Wang 0001, Haoyu Wang 0001
ASE2024Other
GPP: A Graph-Powered Prioritizer for Code Review Requests.
Lanxin Yang, Jinwei Xu, He Zhang 0001, Fanghao Wu, Jun Lyu
ASE2024Maintenance / Evolution / Refactoring / Review
From Logging to Leakage: A Study of Privacy Leakage in Android App Logs.
Zhiyuan Chen, Soham Sanjay Deo, Poorna Chander Reddy Puttaparthi, Yiming Tang 0002, Xueling Zhang
ASE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Cloud / Microservices / Distributed Systems
FixKit: A Program Repair Collection for Python.
Marius Smytzek, Martin Eberlein, Kai Werk, Lars Grunske, Andreas Zeller
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Finding Performance Issues in Rust Projects.
Chenhao Cui
ASE2024Performance / Energy / Reliability
Feature Model Slicing for Real-time Selection of Mission-critical Edge Applicaiton.
Uwe Gropengießer, Julian Liphardt, Michael Matthé, Max Mühlhäuser
ASE2024Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments.
Fang Liu 0032, Zhenwei Liu, Qianhui Zhao, Jing Jiang 0005, Li Zhang 0029
ASE2024Debugging / Fault Localization / Diagnosis / Repair
FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless Workflows.
Yilun Wang 0001, Pengfei Chen 0002, Hui Dou, Yiwen Zhang 0001, Guangba Yu
ASE2024DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.
Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang 0007, Chengcheng Wan 0001
ASE2024Testing / QA
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
Jialuo Chen, Jingyi Wang 0004, Xiyue Zhang 0001, Youcheng Sun, Marta Kwiatkowska
ASE2024Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
FAIL: Analyzing Software Failures from the News Using LLMs.
Dharun Anandayuvaraj, Matthew Campbell, Arav Tewari, James C. Davis 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair.
Guochang Li, Chen Zhi, Jialiang Chen, Junxiao Han, Shuiguang Deng
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security.
Chuan Yan, Ruomai Ren, Mark Huasong Meng, Liuhuo Wan, Tian Yang Ooi
ASE2024AI / LLM for SE; Security / Privacy / Vulnerability; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Experience Report on Applying Program Analysis Techniques for Mainframe Application Understanding.
Shivali Agarwal, Hiroaki Nakamura, Rami Katan
ASE2024Program Analysis / Verification / Formal Methods
Evaluation of Version Control Merge Tools.
Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst
ASE2024DevOps / CI / Build / Release
Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing.
Yihui Xu, Yanhui Li, Jun Wang 0151, Xiaofang Zhang
ASE2024Testing / QA
Enhancing the Efficiency of Automated Program Repair via Greybox Analysis.
Youngjae Kim, Yechan Park, Seungheon Han, Jooyong Yi
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Enhancing Software Design and Developer Experience Via LLMs.
Simin Sun
ASE2024Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Enhancing Compositional Static Analysis with Dynamic Analysis.
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio
ASE2024Program Analysis / Verification / Formal Methods
Enhancing Automated Program Repair with Solution Design.
Jiuang Zhao, Donghao Yang, Li Zhang 0029, Xiaoli Lian, Zitian Yang
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
End-to-End AutoML for Unsupervised Log Anomaly Detection.
Shenglin Zhang, Yuhe Ji, Jiaqi Luan, Xiaohui Nie, Ziang Chen
ASE2024Other
Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat.
Sidong Feng, Haochuan Lu, Jianqin Jiang, Ting Xiong, Likun Huang
ASE2024Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Emergence of A Novel Domain Expert: A Generative AI-based Framework for Software Function Point Analysis.
Zheng Zhao, Hongxiang Jiang, Ran Zhao, Bing He
ASE2024AI / LLM for SE
Efficient Slicing of Feature Models via Projected d-DNNF Compilation.
Chico Sundermann, Jacob Loth, Thomas Thüm
ASE2024Program Analysis / Verification / Formal Methods
Efficient Incremental Code Coverage Analysis for Regression Test Suites.
Jiale Amber Wang, Kaiyuan Wang, Pengyu Nie 0001
ASE2024Testing / QA; DevOps / CI / Build / Release
Efficient Detection of Toxic Prompts in Large Language Models.
Yi Liu 0069, Junzhe Yu, Huijia Sun, Ling Shi 0002, Gelei Deng
ASE2024Other
Efficient Detection of Test Interference in C Projects.
Florian Eder, Stefan Winter 0001
ASE2024Testing / QA
Efficient Code Causes Inefficiency in Compiler Optimizations.
Hongyu Chen
ASE2024Other
Effective Vulnerable Function Identification based on CVE Description Empowered by Large Language Models.
Yulun Wu, Ming Wen 0001, Zeliang Yu, Xiaochen Guo, Hai Jin 0001
ASE2024Other
Effective Unit Test Generation for Java Null Pointer Exceptions.
Myungho Lee, Jiseong Bak, Seokhyeon Moon, Yoonchan Jhi, Hakjoo Oh
ASE2024Testing / QA; Program Analysis / Verification / Formal Methods
Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generating High-Performance Code.
Muzi Qu, Jie Liu 0008, Liangyi Kang, Shuai Wang, Dan Ye 0004
ASE2024Performance / Energy / Reliability
DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators.
Mingyi Zhou, Xiang Gao 0012, Xiao Chen 0002, Chunyang Chen 0001, John Grundy 0001
ASE2024Mobile / Web / GUI / Android
DroneWiS: Automated Simulation Testing of small Unmanned Aerial System in Realistic Windy Conditions.
Bohan Zhang, Ankit Agrawal 0002
ASE2024Testing / QA
DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation.
Xinran Yu, Chun Li, Minxue Pan, Xuandong Li
ASE2024Mobile / Web / GUI / Android
Do not neglect what's on your hands: localizing software faults with exception trigger stream.
Xihao Zhang, Yi Song, Xiaoyuan Xie, Qi Xin, Chenliang Xing
ASE2024Other
Discovering Likely Program Invariants for Persistent Memory.
Zunchen Huang, Srivatsan Ravi, Chao Wang 0001
ASE2024Other
Differential Fuzzing for Data Distribution Service Programs with Dynamic Configuration.
Dohyun Ryu, Giyeol Kim, Daeun Lee, Seongjin Kim, Seungjin Bae
ASE2024Testing / QA; DevOps / CI / Build / Release
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
Nick Feng, Lina Marsso, Marsha Chechik
ASE2024Other
Developer-Applied Accelerations in Continuous Integration: A Detection Approach and Catalog of Patterns.
Mingyang Yin, Yutaro Kashiwa, Keheliya Gallaba, Mahmoud Alfadel, Yasutaka Kamei
ASE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation.
Yanzhou Mu, Juan Zhai, Chunrong Fang, Xiang Chen 0005, Zhixiang Cao
ASE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality.
Yifan Liao, Ming Xu 0006, Yun Lin 0001, Xiwen Teoh, Xiaofei Xie
ASE2024DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Detecting Malicious Accounts in Web3 through Transaction Graph.
Wenkai Li, Zhijie Liu, Xiaoqi Li 0001, Sen Nie
ASE2024Other
Detecting Element Accessing Bugs in C++ Sequence Containers.
Zhilin Li, Xutong Ma, Mengze Hu, Jun Yan 0009
ASE2024Other
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback.
Ruixue Li, Bin Yu 0008, Xu Lu 0003, Lei Ke, Jiawei Chen
ASE2024Other
Detect Hidden Dependency to Untangle Commits.
Mengdan Fan, Wei Zhang 0004, Haiyan Zhao 0001, Guangtai Liang, Zhi Jin 0001
ASE2024Other
DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving.
Haoyu Liao, Jianmei Guo, Bo Huang 0002, Yujie Han, Dingyu Yang
ASE2024Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor.
Qiong Feng, Xiaotian Ma, Huan Ji, Wei Song 0003, Peng Liang 0001
ASE2024Other
Demonstration-Free: Towards More Practical Log Parsing with Large Language Models.
Yi Xiao, Van-Hoang Le, Hongyu Zhang 0002
ASE2024Other
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning.
Davide Corradini, Zeno Montolli, Michele Pasqua, Mariano Ceccato
ASE2024Testing / QA
DataRecipe - How to Cook the Data for CodeLLM?
Kisub Kim, Jounghoon Kim, Byeongjo Park, Dongsun Kim 0001, Chun Yong Chong
ASE2024Other
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs.
Jiuang Zhao, Zitian Yang, Li Zhang 0029, Xiaoli Lian, Donghao Yang
ASE2024Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
Cross-lingual Code Clone Detection: When LLMs Fail Short Against Embedding-based Classifier.
Micheline Bénédicte Moumoula, Abdoul Kader Kaboré, Jacques Klein, Tegawendé F. Bissyandé
ASE2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
CoqPilot, a plugin for LLM-based generation of proofs.
Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev
ASE2024AI / LLM for SE
Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot.
Beiqi Zhang, Peng Liang 0001, Qiong Feng, Yujia Fu, Zengyang Li
ASE2024Debugging / Fault Localization / Diagnosis / Repair
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts.
Che Wang, Jiashuo Zhang 0001, Jianbo Gao 0003, Libin Xia, Zhi Guan
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Contextualized Data-Wrangling Code Generation in Computational Notebooks.
Junjie Huang 0008, Daya Guo, Chenglong Wang 0005, Jiazhen Gu, Shuai Lu
ASE2024Other
Context-Aware Automated Sprint Plan Generation for Agile Software Development.
Elvan Kula, Arie van Deursen, Georgios Gousios
ASE2024Other
Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning.
Sunny Shree, Krishna Khadka, Yu Lei 0001, Raghu N. Kacker, D. Richard Kuhn
ASE2024Testing / QA; AI / LLM for SE
Constraint-Based Test Oracles for Program Analyzers.
Markus Fleischmann, David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
ASE2024Testing / QA
Compositional Security Analysis of Dynamic Component-based Systems.
Narges Khakpour, Charilaos Skandylas
ASE2024Security / Privacy / Vulnerability
ComplexCodeEval: A Benchmark for Evaluating Large Code Models on More Complex Code.
Jia Feng, Jiachen Liu, Cuiyun Gao 0001, Chun Yong Chong, Chaozheng Wang
ASE2024Other
Compiler Bug Isolation via Enhanced Test Program Mutation.
Yujie Liu 0005, Mingxuan Zhu, Jinhao Dong, Junzhe Yu, Dan Hao 0001
ASE2024Testing / QA
CompAi: A Tool for GDPR Completeness Checking of Privacy Policies using Artificial Intelligence.
Orlando Amaral Cejas, Sallam Abualhaija, Lionel C. Briand
ASE2024Security / Privacy / Vulnerability
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection.
Huan Xie 0002, Yan Lei, Maojin Li, Meng Yan 0001, Sheng Zhang
ASE2024Testing / QA
Coding-PTMs: How to Find Optimal Code Pre-trained Models for Code Embedding in Vulnerability Detection?
Yu Zhao, Lina Gong, Zhiqiu Huang, Yongwei Wang, Mingqiang Wei
ASE2024AI / LLM for SE
CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification.
Thomas Lemberger 0002, Henrik Wachowitz
ASE2024Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.
Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen
ASE2024Other
Cloud Resource Protection via Automated Security Property Reasoning.
Zhixing Xu, Shengjian Guo, Oksana Tkachuk, Saeed Nejati, Niloofar Razavi
ASE2024Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
ChatBR: Automated assessment and improvement of bug report quality using ChatGPT.
Lili Bo, Wangjie Ji, Xiaobing Sun 0001, Ting Zhang 0011, Xiaoxue Wu 0001
ASE2024AI / LLM for SE
Challenges & Opportunities in Automating DBMS: A Qualitative Study.
Yifan Wang, Pierre Bourhis, Romain Rouvoy, Patrick Royer
ASE2024Human / Empirical / Socio-technical
Can Large Language Models Comprehend Code Stylometry?
Atish Kumar Dipongkor
ASE2024Other
Can Cooperative Multi-Agent Reinforcement Learning Boost Automatic Web Testing? An Exploratory Study.
Yujia Fan, Sinan Wang, Zebang Fei, Yao Qin, Huaxuan Li
ASE2024Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Can Code Metrics Enhance Documentation Generation for Computational Notebooks?
Mojtaba Mostafavi Ghahfarokhi, Hamed Jahantigh, Sepehr Kianiangolafshani, Ashkan Khademian, Alireza Asadi
ASE2024Other
COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts.
Wenkai Li, Xiaoqi Li 0001, Zongwei Li 0003, Yuqing Zhang 0001
ASE2024Other
Build Issue Resolution from the Perspective of Non-Contributors.
Sunzhou Huang, Xiaoyin Wang
ASE2024DevOps / CI / Build / Release
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems.
Mohammad Hossein Amini, Shiva Nejati 0001
ASE2024Testing / QA
Bridging Gaps in LLM Code Translation: Reducing Errors with Call Graphs and Bridged Debuggers.
Yang Luo, Richard Yu, Fajun Zhang, Ling Liang, Yongqiang Xiong
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Blackbox Observability of Features and Feature Interactions.
Kallistos Weis, Leopoldo Teixeira, Clemens Dubslaff, Sven Apel
ASE2024Cloud / Microservices / Distributed Systems
Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents.
Shaoheng Cao, Renyi Chen, Minxue Pan, Wenhua Yang 0001, Xuandong Li
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
BenchCloud: A Platform for Scalable Performance Benchmarking.
Dirk Beyer 0001, Po-Chun Chien, Marek Jankola
ASE2024Performance / Energy / Reliability
Balancing the Quality and Cost of Updating Dependencies.
Damien Jaime, Pascal Poizat, Joyce El Haddad, Thomas Degueule
ASE2024Performance / Energy / Reliability
B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests.
Mouxiang Chen, Zhongxin Liu 0002, He Tao, Yusu Hong, David Lo 0001
ASE2024Testing / QA
Automatically Deriving Developers' Technical Expertise from the GitHub Social Network.
Yanchun Sun, Jiawei Wu, Xiaohan Zhao, Haizhou Xu, Sihan Wang
ASE2024Human / Empirical / Socio-technical
Automated Validation of COBOL to Java Transformation.
Atul Kumar 0002, Diptikalyan Saha, Toshiaki Yasue, Kohichi Ono, Saravanan Krishnan
ASE2024Testing / QA
Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects.
Omar I. Al-Bataineh
ASE2024Debugging / Fault Localization / Diagnosis / Repair
AutoDW: Automatic Data Wrangling Leveraging Large Language Models.
Lei Liu 0061, So Hasegawa, Shailaja Keyur Sampat, Maria Xenochristou, Wei-Peng Chen
ASE2024Other
Attribution-guided Adversarial Code Prompt Generation for Code Completion Models.
Xueyang Li, Guozhu Meng, Shangqing Liu, Lu Xiang, Kun Sun
ASE2024Other
Attacks and Defenses for Large Language Models on Coding Tasks.
Chi Zhang, Zifan Wang 0001, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson
ASE2024Other
Assessing the feasibility of Micro frontend architecture in native mobile app development.
Quentin Capdepon, Nicolas Hlad, Benoît Verhaeghe, Abdelhak-Djamel Seriai
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression.
Sohee Park, Ryeonggu Kwon, Gihwon Kwon
ASE2024Testing / QA; Human / Empirical / Socio-technical
Approximation-guided Fairness Testing through Discriminatory Space Analysis.
Zhenjiang Zhao 0002, Takahisa Toda, Takashi Kitamura 0001
ASE2024Testing / QA
Applying Fuzz Driver Generation to Native C/C++ Libraries of OEM Android Framework: Obstacles and Solutions.
Shiyan Peng, Yuan Zhang 0009, Jiarun Dai, Yue Gu, Zhuoxiang Shen
ASE2024Testing / QA; Mobile / Web / GUI / Android
Ansible Lightspeed: A Code Generation Service for IT Automation.
Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Genhardt, Louis Mandel
ASE2024Other
Android Malware Family Labeling: Perspectives from the Industry.
Liu Wang 0002, Haoyu Wang 0001, Tao Zhang 0001, Haitao Xu 0002, Guozhu Meng
ASE2024Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
An Explainable Automated Model for Measuring Software Engineer Contribution.
Yue Li 0047, He Zhang 0001, Yuzhe Jin, Zhong Ren, Liming Dong 0001
ASE2024Other
An Empirical Study to Evaluate AIGC Detectors on Code Content.
Jian Wang 0067, Shangqing Liu, Xiaofei Xie, Yi Li 0008
ASE2024Human / Empirical / Socio-technical
An Empirical Study on Learning-based Techniques for Explicit and Implicit Commit Messages Generation.
Zhiquan Huang, Yuan Huang 0002, Xiangping Chen, Xiaocong Zhou, Changlin Yang
ASE2024AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
AgoneTest: Automated creation and assessment of Unit tests leveraging Large Language Models.
Andrea Lops, Fedelucio Narducci, Azzurra Ragone, Michelantonio Trizio
ASE2024Testing / QA
AdvSCanner: Generating Adversarial Smart Contracts to Exploit Reentrancy Vulnerabilities Using LLM and Static Analysis.
Yin Wu, Xiaofei Xie, Chenyang Peng, Dijun Liu, Hao Wu 0100
ASE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
ASE2024Other
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects.
Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma
ASE2024Requirements / Modeling / Architecture
ARUS: A Tool for Automatically Removing Unnecessary Stubbings from Test Suites.
Mengzhen Li, Mattia Fazzini
ASE2024Testing / QA
ART: A Unified Unsupervised Framework for Incident Management in Microservice Systems.
Yongqian Sun, Binpeng Shi, Mingyu Mao, Minghua Ma, Sibo Xia
ASE2024Cloud / Microservices / Distributed Systems
AI-driven Java Performance Testing: Balancing Result Quality with Testing Time.
Luca Traini, Federico Di Menna, Vittorio Cortellessa
ASE2024Testing / QA; AI / LLM for SE; Performance / Energy / Reliability
AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models.
Zhong Li, Chong Zhang, Minxue Pan, Tian Zhang 0001, Xuandong Li
ASE2024Other
A vision on a methodology for the application of an Intrusion Detection System for satellites.
Sébastien Gios, Charles-Henry Bertrand Van Ouytsel, Mark Diamantino Caribé, Axel Legay
ASE2024Other
A Systematic Evaluation of Large Code Models in API Suggestion: When, Which, and How.
Chaozheng Wang, Shuzheng Gao, Cuiyun Gao 0001, Wenxuan Wang 0001, Chun Yong Chong
ASE2024Other
A Position-Aware Approach to Decomposing God Classes.
Tianyi Chen, Yanjie Jiang, Fu Fan, Bo Liu 0094, Hui Liu 0003
ASE2024Other
A Pixel-Level Explainable Approach of Convolutional Neural Networks and Its Application.
Haitao Zhang, Jing Wang 0141, Ziyue Wang, Ziyi Zhao, Zhuo Cheng
ASE2024AI / LLM for SE
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement.
Huan Zhang, Wei Cheng 0010, Yuhan Wu 0006, Wei Hu 0007
ASE2024Other
A Longitudinal Analysis Of Replicas in the Wild Wild Android.
Syeda Mashal Abbas Zaidi, Shahpar Khan, Parjanya Vyas, Yousra Aafer
ASE2024Mobile / Web / GUI / Android
A Joint Learning Model with Variational Interaction for Multilingual Program Translation.
Yali Du 0002, Hui Sun 0003, Ming Li 0005
ASE2024Other
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach.
Mashal Afzal Memon, Marco Autili, Gianluca Filippone, Gian Luca Scoccia, Paola Inverardi
ASE2024Requirements / Modeling / Architecture
A Generalized Approach for Solving Web Form Constraints.
Björn Karthein, Cristian-Alexandru Staicu, Andreas Zeller
ASE2024Mobile / Web / GUI / Android
A Formal Treatment of Performance Bugs.
Omar I. Al-Bataineh
ASE2024Program Analysis / Verification / Formal Methods; Performance / Energy / Reliability
A Data-driven Approach for Mining Software Features based on Similar App Descriptions and User Reviews Analysis.
Khubaib Amjad Alam, Ramsha Ali, Zyena Kamran, Sabeen Fatima, Irum Inayat
ASE2024Mobile / Web / GUI / Android
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems.
Luciano Baresi, Matteo Camilli, Tommaso Dolci, Giovanni Quattrocchi
ASE2024AI / LLM for SE
A Comprehensive Study of Privacy Leakage Vulnerability in Android App Logs.
Zhiyuan Chen
ASE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Cloud / Microservices / Distributed Systems
1+1>2: Integrating Deep Code Behaviors with Metadata Features for Malicious PyPI Package Detection.
Xiaobing Sun 0001, Xingan Gao, Sicong Cao, Lili Bo, Xiaoxue Wu 0001
ASE2024Other
iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm.
Neng Zhang 0001, Qinde Chen, Zibin Zheng, Ying Zou 0001
ASE2023Other
cegar-pt: A Tool for Abstraction by Program Transformation.
Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl
ASE2023Other
Zero-Config Fuzzing for Microservices.
Wei Wang, Andrei Benea, Franjo Ivancic
ASE2023Testing / QA
ZC
Jia Li 0012, Chongyang Tao, Zhi Jin 0001, Fang Liu 0032, Jia Li 0011
ASE2023Other
Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration.
Yuqiang Sun 0001, Zhengzi Xu, Chengwei Liu, Yiran Zhang, Yang Liu 0003
ASE2023Human / Empirical / Socio-technical
Where to Go Now? Finding Alternatives for Declining Packages in the npm Ecosystem.
Suhaib Mujahid, Diego Elias Costa, Rabe Abdalkareem, Emad Shihab
ASE2023Other
When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection.
Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao 0001, Shaohua Wang 0002, Yang Liu 0003
ASE2023Other
What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs?
Shuzheng Gao, Xin-Cheng Wen, Cuiyun Gao 0001, Wenxuan Wang 0001, Hongyu Zhang 0002
ASE2023Other
Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs.
Shi Meng, Liu Wang 0002, Shenao Wang 0001, Kailong Wang 0001, Xusheng Xiao
ASE2023Other
WADIFF: A Differential Testing Framework for WebAssembly Runtimes.
Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou 0043, Haoyu Wang 0001
ASE2023Testing / QA
Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?
Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen 0001, Minxue Pan
ASE2023Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Vicious Cycles in Distributed Software Systems.
Shangshu Qian, Wen Fan, Lin Tan 0001, Yongle Zhang
ASE2023Cloud / Microservices / Distributed Systems
VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage.
Xiaoyin Wang, Tahmid Rafi, Na Meng 0001
ASE2023Testing / QA
VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device.
Yuwei Liu 0001, Siqi Chen, Yuchong Xie, Yanhao Wang, Libo Chen 0001
ASE2023Testing / QA
VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning.
Pengcheng Liu, Yifei Lu, Wenhua Yang 0001, Minxue Pan
ASE2023Program Analysis / Verification / Formal Methods
Using Deep Learning to Automatically Improve Code Readability.
Antonio Vitale, Valentina Piantadosi, Simone Scalabrino, Rocco Oliveto
ASE2023AI / LLM for SE; Education / Program Comprehension
Unifying Defect Prediction, Categorization, and Repair by Multi-Task Deep Learning.
Chao Ni 0001, Kaiwen Yang, Yan Zhu, Xiang Chen 0005, Xiaohu Yang 0001
ASE2023AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem.
Weiwei Xu 0001, Hao He 0012, Kai Gao 0008, Minghui Zhou 0001
ASE2023Other
Understanding and Enhancing Issue Prioritization in GitHub.
Yingying He, Wenhua Yang 0001, Minxue Pan, Yasir Hussain, Yu Zhou 0010
ASE2023Human / Empirical / Socio-technical
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis.
Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu 0009, Lian Li 0002
ASE2023Other
Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System.
Jun Huang 0003, Yang Yang 0210, Hang Yu 0002, Jianguo Li, Xiao Zheng
ASE2023Cloud / Microservices / Distributed Systems
Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development.
Priyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder
ASE2023Other
Towards a Formal Framework for Normative Requirements Elicitation.
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti 0001
ASE2023Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching.
Shubham Kulkarni, Arya Marda, Karthik Vaidhyanathan
ASE2023AI / LLM for SE
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution.
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh 0001, Nan Jia, Anita Raja
ASE2023AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Towards Autonomous Testing Agents via Conversational Large Language Models.
Robert Feldt, Sungmin Kang, Juyeon Yoon, Shin Yoo
ASE2023Testing / QA
Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?
Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota
ASE2023Maintenance / Evolution / Refactoring / Review
To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems.
Mukelabai Mukelabai, Christoph Derks, Jacob Krüger, Thorsten Berger
ASE2023Testing / QA
Thunderkaller: Profiling and Improving the Performance of Syzkaller.
Yang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma
ASE2023Performance / Energy / Reliability
The Plastic Surgery Hypothesis in the Era of Large Language Models.
Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang 0001
ASE2023Other
The MAP Metric in Information Retrieval Fault Localization.
Thomas Hirsch, Birgit Hofer
ASE2023Debugging / Fault Localization / Diagnosis / Repair
The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models.
Xin Zhou 0014, Kisub Kim, Bowen Xu, Jiakun Liu, DongGyun Han
ASE2023Other
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software.
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu
ASE2023Testing / QA
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis 0001
ASE2023Testing / QA
Symbolic Verification of Fuzzy Logic Models.
Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang 0001
ASE2023Program Analysis / Verification / Formal Methods
Symbolic Fixpoint Algorithms for Logical LTL Games.
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
ASE2023Program Analysis / Verification / Formal Methods
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
ASE2023Testing / QA
Software Entity Recognition with Noise-Robust Learning.
Tai Nguyen 0005, Yifeng Di, Joohan Lee, Muhao Chen 0001, Tianyi Zhang 0001
ASE2023Performance / Energy / Reliability
Software Engineering Using Autonomous Agents: Are We There Yet?
Samdyuti Suri, Sankar Narayan Das, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma
ASE2023Other
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
Sicheng Hao 0001, Yuhong Nan, Zibin Zheng, Xiaohui Liu
ASE2023Other
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
Monika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer
ASE2023Other
Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices.
Kanchanjot Kaur Phokela, Samarth Sikand, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma
ASE2023Other
Semantic Data Augmentation for Deep Learning Testing Using Generative AI.
Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas
ASE2023Testing / QA; AI / LLM for SE
Scene-Driven Exploration and GUI Modeling for Android Apps.
Xiangyu Zhang, Lingling Fan 0003, Sen Chen 0001, Yucheng Su, Boyuan Li
ASE2023Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing.
Justin Kur, Jingshu Chen, Jun Huang 0001
ASE2023Testing / QA
SMT Solver Validation Empowered by Large Pre-Trained Language Models.
Maolin Sun, Yibiao Yang, Yang Wang 0165, Ming Wen 0001, Haoxiang Jia
ASE2023Testing / QA
SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices.
Ziyou Jiang, Lin Shi 0006, Guowei Yang 0001, Qing Wang 0001
ASE2023Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du
ASE2023Other
RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System.
Juntao Ji, Rongtong Jin, Yubao Fu, Yinyou Gu, Tsung-Han Tsai
ASE2023Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers.
Zhen Li 0027, Ruqian Zhang, Deqing Zou, Ning Wang 0098, Yating Li
ASE2023AI / LLM for SE; Performance / Energy / Reliability
Revisiting and Improving Retrieval-Augmented Deep Assertion Generation.
Weifeng Sun 0004, Hongyan Li, Meng Yan 0001, Yan Lei, Hongyu Zhang 0002
ASE2023Testing / QA
Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing.
Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou 0002
ASE2023Testing / QA; Performance / Energy / Reliability
ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps.
Yonghui Liu 0001, Xiao Chen 0002, Pei Liu, John Grundy 0001, Chunyang Chen 0001
ASE2023Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Repeated Builds During Code Review: An Empirical Study of the OpenStack Community.
Rungroj Maipradit, Dong Wang 0044, Patanamon Thongtanunam, Raula Gaikovina Kula, Yasutaka Kamei
ASE2023Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
RPCover: Recovering gRPC Dependency in Multilingual Projects.
Aoyang Fang, Ruiyu Zhou, Xiaoying Tang 0002, Pinjia He
ASE2023Other
RJoules: An Energy Measurement Tool for R.
Rajrupa Chattaraj, Sridhar Chimalakonda
ASE2023Performance / Energy / Reliability
REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes.
Chaozheng Wang, Zongjie Li, Yun Peng 0003, Shuzheng Gao, Sirong Chen
ASE2023Other
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma 0003
ASE2023Testing / QA
QuCAT: A Combinatorial Testing Tool for Quantum Software.
Xinyi Wang 0004, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001
ASE2023Testing / QA
Provengo: A Tool Suite for Scenario Driven Model-Based Testing.
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
ASE2023Testing / QA
Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems.
Jinyang Liu 0002, Zhihan Jiang, Jiazhen Gu, Junjie Huang 0008, Zhuangbin Chen
ASE2023Cloud / Microservices / Distributed Systems
Predicting Compilation Resources for Adaptive Build in an Industrial Setting.
Junhao Hu, Chaozheng Wang, Hailiang Huang 0004, Huang Luo, Yu Jin
ASE2023DevOps / CI / Build / Release
PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types.
He Ye, Zimin Chen, Claire Le Goues
ASE2023Debugging / Fault Localization / Diagnosis / Repair
Precise Data-Driven Approximation for Program Analysis via Fuzzing.
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme
ASE2023Testing / QA; Program Analysis / Verification / Formal Methods
Potential Solutions to Challenges in C Program Repair: A Practical Perspective.
Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao
ASE2023Debugging / Fault Localization / Diagnosis / Repair
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira 0001, Alexandra Mendes
ASE2023Other
Pluggable Type Inference for Free.
Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst
ASE2023Program Analysis / Verification / Formal Methods
PhyFu: Fuzzing Modern Physics Simulation Engines.
Dongwei Xiao, Zhibo Liu, Shuai Wang 0011
ASE2023Testing / QA
Personalized First Issue Recommender for Newcomers in Open Source Projects.
Wenxin Xiao, Jingyue Li, Hao He 0012, Ruiqiao Qiu, Minghui Zhou 0001
ASE2023Human / Empirical / Socio-technical
Persisting and Reusing Results of Static Program Analyses on a Large Scale.
Johannes Düsing, Ben Hermann
ASE2023Other
Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis.
Zhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011
ASE2023Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
PURLTL: Mining LTL Specification from Imperfect Traces in Testing.
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du
ASE2023Testing / QA; Program Analysis / Verification / Formal Methods
PTDETECTOR: An Automated JavaScript Front-end Library Detector.
Xinyue Liu 0005, Lukasz Ziarek
ASE2023Other
PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001
ASE2023Other
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability.
Wenjie Zhang 0007, Guancheng Wang 0001, Junjie Chen 0003, Yingfei Xiong 0001, Yong Liu 0030
ASE2023Other
Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation.
Talank Baral, Shanto Rahman, Bala Naren Chanumolu, Basak Balci, Tuna Tuncer
ASE2023Other
Open Source Software Tools for Data Management and Deep Model Training Automation.
Umut Tirasoglu, Abdussamet Türker, Adnan Ekici, Hayri Yigit, Yusuf Enes Bölükbasi
ASE2023Human / Empirical / Socio-technical
On-the-fly Improving Performance of Deep Code Models via Input Denoising.
Zhao Tian, Junjie Chen 0003, Xiangyu Zhang 0001
ASE2023Performance / Energy / Reliability
On the Evaluation of Neural Code Translation: Taxonomy and Benchmark.
Mingsheng Jiao, Tingrui Yu, Xuan Li, Guanjie Qiu, Xiaodong Gu 0002
ASE2023AI / LLM for SE
On Automated Assistants for Software Development: The Role of LLMs.
Mira Leung, Gail C. Murphy
ASE2023Other
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting.
Tsz On Li, Wenxi Zong, Yibo Wang 0008, Haoye Tian, Ying Wang 0038
ASE2023Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Neural SZZ Algorithm.
Lingxiao Tang, Lingfeng Bao, Xin Xia 0001, Zhongdong Huang
ASE2023AI / LLM for SE
NaturalFuzz: Natural Input Generation for Big Data Analytics.
Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar
ASE2023Other
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.
Minghao Liu 0001, Kunhang Lv, Pei Huang 0002, Rui Han, Fuqi Jia
ASE2023Performance / Energy / Reliability
Mutation-based Fault Localization of Deep Neural Networks.
Ali Ghanbari 0001, Deepak-George Thomas, Muhammad Arbab Arshad, Hridesh Rajan
ASE2023Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Modeling Programmer Attention as Scanpath Prediction.
Aakash Bansal, Chia-Yi Su, Zachary Karas, Yifan Zhang 0013, Yu Huang 0015
ASE2023Requirements / Modeling / Architecture
Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem.
Lyuye Zhang, Chengwei Liu, Sen Chen 0001, Zhengzi Xu, Lingling Fan 0003
ASE2023Other
Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context.
Sai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal
ASE2023Other
Message from the Chairs: ASE 2023.
Tegawendé F. Bissyandé, Jacques Klein, Christian Bird, Federica Sarro
ASE2023Other
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows.
Yujiang Gui, Dongjie He, Jingling Xue
ASE2023Security / Privacy / Vulnerability
Merge Conflict Resolution: Classification or Generation?
Jinhao Dong, Qihao Zhu, Zeyu Sun 0004, Yiling Lou, Dan Hao 0001
ASE2023Other
MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains.
Ningke Li, Shenao Wang 0001, Mingxi Feng, Kailong Wang 0001, Meizhen Wang
ASE2023Other
Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion.
Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su 0001, Michael R. Lyu
ASE2023Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack.
Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Yves Le Traon
ASE2023Security / Privacy / Vulnerability
MUT4SLX: Fast Mutant Generation for Simulink.
Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer
ASE2023Other
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.
Haoyu Wang 0017, Junjie Chen 0003, Chuyue Xie, Shuang Liu 0007, Zan Wang
ASE2023Testing / QA
MELT: Mining Effective Lightweight Transformations from Pull Requests.
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins
ASE2023Other
LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning Mechanism.
Xuheng Wang, Jiaxing Song, Xu Zhang 0024, Junshu Tang, Weihe Gao
ASE2023Cloud / Microservices / Distributed Systems
Log Parsing: How Far Can ChatGPT Go?
Van-Hoang Le, Hongyu Zhang 0002
ASE2023AI / LLM for SE
Live Programming for Finite Model Finders.
Allison Sullivan
ASE2023Other
LiSum: Open Source Software License Summarization with Multi-Task Learning.
Linyu Li 0002, Sihan Xu, Yang Liu 0003, Ya Gao, Xiangrui Cai
ASE2023Human / Empirical / Socio-technical
Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain.
Qing Huang, Zhenyu Wan, Zhenchang Xing, Changjing Wang, Jieshan Chen
ASE2023AI / LLM for SE; Human / Empirical / Socio-technical
Learning to Locate and Describe Vulnerabilities.
Jian Zhang 0087, Shangqing Liu, Xu Wang 0007, Tianlin Li, Yang Liu 0003
ASE2023Other
Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications.
Arooba Shahoor, Askar Yeltayuly Khamit, Jooyong Yi, Dongsun Kim 0001
ASE2023Mobile / Web / GUI / Android
LIV: Loop-Invariant Validation Using Straight-Line Programs.
Dirk Beyer 0001, Martin Spiessl
ASE2023Testing / QA; Program Analysis / Verification / Formal Methods
LEAP: Efficient and Automated Test Method for NLP Software.
Mingxuan Xiao, Yan Xiao 0002, Hai Dong, Shunhui Ji, Pengcheng Zhang 0001
ASE2023Testing / QA
Information Retrieval-Based Fault Localization for Concurrent Programs.
Shuai Shao, Tingting Yu 0001
ASE2023Debugging / Fault Localization / Diagnosis / Repair
InfeRE: Step-by-Step Regex Generation via Chain of Inference.
Shuai Zhang, Xiaodong Gu 0002, Yuting Chen 0001, Beijun Shen
ASE2023Other
Increasing the Responsiveness of Web Applications by Introducing Lazy Loading.
Alexi Turcotte, Satyajit Gokhale, Frank Tip
ASE2023Mobile / Web / GUI / Android
Improving Design Reviews at Google.
Celal Ziftci, Ben Greenberg
ASE2023Requirements / Modeling / Architecture
Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder Model.
Abdulkarim Malkadi, Ahmad Tayeb, Sonia Haiduc
ASE2023Other
Identify and Update Test Cases When Production Code Changes: A Transformer-Based Approach.
Xing Hu 0008, Zhuang Liu, Xin Xia 0001, Zhongxin Liu 0002, Tongtong Xu
ASE2023Testing / QA; AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps.
Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun Yan 0009
ASE2023Testing / QA; Mobile / Web / GUI / Android
How to Train Your Neural Bug Detector: Artificial vs Real Bugs.
Cedric Richter, Heike Wehrheim
ASE2023AI / LLM for SE
How Android Apps Break the Data Minimization Principle: An Empirical Study.
Shaokun Zhang, Hanwen Lei, Yuanpeng Wang, Ding Li 0001, Yao Guo 0001
ASE2023Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Hot Patching Hot Fixes: Reflection and Perspectives.
Carol Hanna, Justyna Petke
ASE2023Other
HexT5: Unified Pre-Training for Stripped Binary Code Information Inference.
Jiaqi Xiong, Guoqiang Chen, Kejiang Chen, Han Gao 0014, Shaoyin Cheng
ASE2023Other
HOBAT: Batch Verification for Homogeneous Structural Neural Networks.
Jingyang Li, Guoqiang Li 0001
ASE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
Green AI Quotient: Assessing Greenness of AI-based software and the way forward.
Samarth Sikand, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder
ASE2023AI / LLM for SE
Government Mobile Apps: Analysing Citizen Feedback via App Reviews.
Tooba Aamir, Mohan Baruwal Chhetri, M. A. P. Chamikara, Marthie Grobler
ASE2023Mobile / Web / GUI / Android
Generative Type Inference for Python.
Yun Peng 0003, Chaozheng Wang, Wenxuan Wang 0001, Cuiyun Gao 0001, Michael R. Lyu
ASE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
Generative Model-Based Testing on Decision-Making Policies.
Zhuo Li 0021, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen
ASE2023Testing / QA; AI / LLM for SE
Generating Variable Explanations via Zero-shot Prompt Learning.
Chong Wang 0013, Yiling Lou, Junwei Liu, Xin Peng 0001
ASE2023Other
Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction.
Quanjun Zhang, Chunrong Fang, Tongke Zhang, Bowen Yu, Weisong Sun
ASE2023Debugging / Fault Localization / Diagnosis / Repair
Fuzzing for CPS Mutation Testing.
Jaekwon Lee, Enrico Viganò, Oscar Cornejo 0001, Fabrizio Pastore, Lionel C. Briand
ASE2023Testing / QA
Function-Level Vulnerability Detection Through Fusing Multi-Modal Knowledge.
Chao Ni 0001, Xinrong Guo, Yan Zhu, Xiaodan Xu, Xiaohu Yang 0001
ASE2023Other
From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining.
Xiaoxue Ren, Xinyuan Ye, Dehai Zhao, Zhenchang Xing, Xiaohu Yang 0001
ASE2023AI / LLM for SE
From Commit Message Generation to History-Aware Commit Message Completion.
Aleksandra Eliseeva, Yaroslav Sokolov, Egor Bogomolov, Yaroslav Golubev, Danny Dig
ASE2023DevOps / CI / Build / Release
Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks.
Liang Wang 0006, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang
ASE2023Human / Empirical / Socio-technical
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks.
Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari
ASE2023AI / LLM for SE; Cloud / Microservices / Distributed Systems
Fine-Grained In-Context Permission Classification for Android Apps Using Control-Flow Graph Embedding.
Vikas Kumar Malviya, Yan Naing Tun, Chee Wei Leow, Ailys Tee Xynyn, Lwin Khin Shar
ASE2023AI / LLM for SE; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition.
Nikolaos Louloudakis, Perry Gibson, José Cano 0001, Ajitha Rajan
ASE2023AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Fast and Reliable Program Synthesis via User Interaction.
Yanju Chen, Chenglong Wang 0005, Xinyu Wang 0006, Osbert Bastani, Yu Feng 0001
ASE2023Other
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers.
Eric Liu, Shengjie Xu, David Lie
ASE2023Testing / QA
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems.
Yuan-an Xiao, Chenyang Yang 0002, Bo Wang 0050, Yingfei Xiong 0001
ASE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Expediting Neural Network Verification via Network Reduction.
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
ASE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
Evolve the Model Universe of a System Universe.
Tao Yue 0002, Shaukat Ali 0001
ASE2023Other
Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious Components.
Zhijie Liu, Liang Feng Zhang, Yutian Tang
ASE2023Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Enhancing Code Safety in Quantum Intermediate Representation.
Junjie Luo 0005, Jianjun Zhao 0001
ASE2023Other
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.
Yao Zhang 0019, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang
ASE2023Other
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation.
Zuoyan Zhang, Bei Zhou 0004, Jiangwei Hao, Hongru Yang, Mengqi Cui
ASE2023Other
Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration.
Zongze Jiang, Ming Wen 0001, Yixin Yang 0006, Chao Peng 0002, Ping Yang
ASE2023Testing / QA
EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge.
Jia Xu 0010, Xiao Liu 0004, Wuzhen Pan, Xuejun Li 0001, Aiting Yao
ASE2023Other
ESRO: Experience Assisted Service Reliability against Outages.
Sarthak Chakraborty, Shubham Agarwal 0007, Shaddy Garg, Abhimanyu Sethia, Udit Narayan Pandey
ASE2023Performance / Energy / Reliability
EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery.
Chenyuan Zhang, Yanlin Wang 0001, Zhao Wei, Yong Xu 0007, Juhong Wang
ASE2023DevOps / CI / Build / Release
Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service Systems.
Yiru Chen, Chenxi Zhang 0003, Zhen Dong, Dingyu Yang, Xin Peng 0001
ASE2023AI / LLM for SE
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers.
Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal 0002
ASE2023Testing / QA; Human / Empirical / Socio-technical
Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases.
Ze Tang 0002, Jidong Ge, Shangqing Liu, Tingwei Zhu, Tongtong Xu
ASE2023Other
Detection of Java Basic Thread Misuses Based on Static Event Analysis.
Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan 0009
ASE2023Other
Detecting Smart Home Automation Application Interferences with Domain Knowledge.
Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001
ASE2023Other
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count.
Xutong Ma, Jiwei Yan, Hao Zhang 0008, Jun Yan 0009, Jian Zhang 0001
ASE2023Other
Demystifying Template-Based Invariant Generation for Bit-Vector Programs.
Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu 0001, Rongxin Wu
ASE2023Program Analysis / Verification / Formal Methods
Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models.
Liran Wang, Xunzhu Tang, Yichen He, Changyu Ren, Shuhua Shi
ASE2023DevOps / CI / Build / Release
DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning.
Chunyang Meng, Shijie Song, Haogang Tong, Maolin Pan, Yang Yu 0027
ASE2023Other
DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities.
Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen
ASE2023Mobile / Web / GUI / Android
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.
Wensheng Tang, Chengpeng Wang 0001, Peisen Yao, Rongxin Wu, Xianjin Fu
ASE2023Maintenance / Evolution / Refactoring / Review
Contrastive Learning for API Aspect Analysis.
G. M. Shahariar, Tahmid Hasan, Anindya Iqbal, Gias Uddin 0001
ASE2023Other
Contextuality of Code Representation Learning.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ASE2023Other
ConfTainter: Static Taint Analysis For Configuration Options.
Teng Wang 0004, Haochen He, Xiaodong Liu 0004, Shanshan Li 0001, Zhouyang Jia
ASE2023Security / Privacy / Vulnerability; DevOps / CI / Build / Release
Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues.
Xiufeng Xu, Chenguang Zhu 0002, Yi Li 0008
ASE2023Other
Compiler Auto-Tuning via Critical Flag Selection.
Mingxuan Zhu, Dan Hao 0001
ASE2023Other
Coding and Debugging by Separating Secret Code Toward Secure Remote Development.
Shinobu Saito
ASE2023Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation.
Mingwei Liu 0002, Tianyong Yang, Yiling Lou, Xueying Du, Ying Wang
ASE2023Other
Code Difference Guided Adversarial Example Generation for Deep Code Models.
Zhao Tian, Junjie Chen 0003, Zhi Jin
ASE2023Other
CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing.
Yuanjie Xia 0002, Zishuo Ding, Weiyi Shang
ASE2023Testing / QA; DevOps / CI / Build / Release; Requirements / Modeling / Architecture; Performance / Energy / Reliability
CiD4HMOS: A Solution to HarmonyOS Compatibility Issues.
Tianzhi Ma, Yanjie Zhao 0001, Li Li 0029, Liang Liu 0006
ASE2023Other
Characterizing Flaky Tests in Node.js Applications.
Xiaoning Chang, Zheheng Liang, Guoquan Wu, Yu Gao 0002, Wei Chen 0018
ASE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Challenges of Accurate and Efficient AutoML.
Swarnava Dey, Avik Ghose, Soumik Das
ASE2023Other
CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space.
Haibin Zheng, Jinyin Chen, Haibo Jin
ASE2023AI / LLM for SE; Performance / Energy / Reliability
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks.
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
ASE2023DevOps / CI / Build / Release
Causality-Aided Trade-Off Analysis for Machine Learning Fairness.
Zhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011, Yanhui Li
ASE2023AI / LLM for SE
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.
Dirk Beyer 0001, Po-Chun Chien, Nian-Ze Lee
ASE2023Program Analysis / Verification / Formal Methods
COMEX: A Tool for Generating Customized Source Code Representations.
Debeshee Das, Noble Saji Mathews, Alex Mathai, Srikanth Tamilselvam, Kranthi Sedamaki
ASE2023Other
CAT-LM Training Language Models on Aligned Code And Tests.
Nikitha Rao, Kush Jain, Uri Alon 0002, Claire Le Goues, Vincent J. Hellendoorn
ASE2023Testing / QA
Bus Factor Explorer.
Egor Klimov, Muhammad Umair Ahmed, Nikolai Sviridov, Pouria Derakhshanfar, Eray Tüzün
ASE2023Other
BugMiner: Automating Precise Bug Dataset Construction by Code Evolution History Mining.
Xuezhi Song, Yijian Wu, Junming Cao, Bihuan Chen 0001, Yun Lin 0001
ASE2023Maintenance / Evolution / Refactoring / Review
Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations.
Szymon Stradowski, Lech Madeyski
ASE2023AI / LLM for SE
Better Patching Using LLM Prompting, via Self-Consistency.
Toufique Ahmed, Premkumar T. Devanbu
ASE2023AI / LLM for SE
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++.
Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo
ASE2023Other
Automating Bias Testing of LLMs.
Sergio Morales 0001, Robert Clarisó, Jordi Cabot
ASE2023Testing / QA
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis.
Jingbo Lu, Dongjie He, Wei Li 0241, Yaoqing Gao, Jingling Xue
ASE2023Program Analysis / Verification / Formal Methods
Automated Software Entity Matching Between Successive Versions.
Bo Liu 0094, Hui Liu 0003, Nan Niu, Yuxia Zhang, Guangjie Li
ASE2023Other
Automated Fixing of Web UI Tests via Iterative Element Matching.
Yuanzhang Lin, Guoyao Wen, Xiang Gao 0012
ASE2023Testing / QA; Mobile / Web / GUI / Android
AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection.
Yintong Huo, Yichen Li 0003, Yuxin Su 0001, Pinjia He, Zifan Xie
ASE2023Other
AutoDebloater: Automated Android App Debloating.
Jiakun Liu, Xing Hu 0008, Ferdian Thung, Shahar Maoz, Eran Toch
ASE2023Mobile / Web / GUI / Android
AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian Optimization.
Lwin Khin Shar, Arda Goknil, Erik Johannes Husom, Sagar Sen, Yan Naing Tun
ASE2023Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability
Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case Study.
Rohit Mehra, Priyavanshi Pathania, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder
ASE2023Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review; Performance / Energy / Reliability
Are We Ready to Embrace Generative AI for Software Q&A?
Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu
ASE2023AI / LLM for SE
Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages.
Zhenhao Li 0002, An Ran Chen, Xing Hu 0008, Xin Xia 0001, Tse-Hsun Chen
ASE2023Education / Program Comprehension
ArduinoProg: Towards Automating Arduino Programming.
Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang
ASE2023Other
An Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning Systems.
Ahmed Haj Yahmed, Rached Bouchoucha, Houssem Ben Braiek, Foutse Khomh
ASE2023Other
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh
ASE2023Program Analysis / Verification / Formal Methods
An Industrial Practice for Securing Android Apps in the Banking Domain.
Vikas Kumar Malviya, Phong Phan, Yan Naing Tun, Albert Ching, Lwin Khin Shar
ASE2023Mobile / Web / GUI / Android
An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software.
Wenxuan Wang 0001, Jingyuan Huang, Jen-tse Huang 0001, Chang Chen, Jiazhen Gu
ASE2023Testing / QA
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge.
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci
ASE2023AI / LLM for SE; Requirements / Modeling / Architecture; Performance / Energy / Reliability
An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair.
Kai Huang, Xiangxin Meng, Jian Zhang 0087, Yang Liu 0003, Wenjie Wang
ASE2023Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code Models.
Jiaxing Liu, Chaofeng Sha, Xin Peng 0001
ASE2023Human / Empirical / Socio-technical
An Empirical Study of Malicious Code In PyPI Ecosystem.
Wenbo Guo 0011, Zhengzi Xu, Chengwei Liu, Cheng Huang 0003, Yong Fang 0002
ASE2023Human / Empirical / Socio-technical
An Automated and Flexible Multilingual Bug-Fix Dataset Construction System.
Wenkang Zhong, Chuanyi Li, Yunfei Zhang, Ziwen Ge, Jingyu Wang
ASE2023Debugging / Fault Localization / Diagnosis / Repair
Adaptive REST API Testing with Reinforcement Learning.
Myeongsoo Kim, Saurabh Sinha 0003, Alessandro Orso
ASE2023Testing / QA
ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems.
Shengyou Hu, Huayao Wu, Peng Wang 0125, Jing Chang, Yongjun Tu
ASE2023Testing / QA
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers.
Yi Liu 0069, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du 0002
ASE2023Testing / QA; Mobile / Web / GUI / Android
ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision.
Zhipeng Xue 0002, Zhipeng Gao 0002, Xing Hu 0008, Shanping Li
ASE2023Other
A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering.
Wentao Liang, Xiang Ling 0001, Jingzheng Wu, Tianyue Luo, Yanjun Wu
ASE2023Other
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models.
Qilin Zhou, Zhengyuan Wei, Haipeng Wang 0005, W. K. Chan 0001
ASE2023AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem.
Wenke Li, Feng Wu, Cai Fu, Fan Zhou
ASE2023Human / Empirical / Socio-technical
A Comprehensive Study on Code Clones in Automated Driving Software.
Ran Mo, Yingjie Jiang, Wenjing Zhan, Dongyu Wang, Zengyang Li
ASE2023Human / Empirical / Socio-technical
A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug Triaging.
Atish Kumar Dipongkor, Kevin Moran
ASE2023AI / LLM for SE; Human / Empirical / Socio-technical
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT.
Dapeng Yan, Zhipeng Gao 0002, Zhiming Liu 0001
ASE2023AI / LLM for SE
smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues.
Chao Wang, Rongxin Wu, Haohao Song, Jiwu Shu, Guoqing Li
ASE2022Other
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications.
Alexi Turcotte, Mark W. Aldrich, Frank Tip
ASE2022Maintenance / Evolution / Refactoring / Review
ecoCode: a SonarQube Plugin to Remove Energy Smells from Android Projects.
Olivier Le Goaër, Julien Hertout
ASE2022Mobile / Web / GUI / Android; Performance / Energy / Reliability
Xscope: Hunting for Cross-Chain Bridge Attacks.
Jiashuo Zhang 0001, Jianbo Gao 0003, Yue Li 0037, Ziming Chen, Zhi Guan
ASE2022Other
XSA: eXplainable Self-Adaptation.
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
ASE2022Other
Which Exception Shall We Throw?
Hao Zhong 0001
ASE2022Other
WebMonitor: Verification of Web User Interfaces.
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
ASE2022Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking.
Kazuki Wayama, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto
ASE2022Program Analysis / Verification / Formal Methods
VITAS : Guided Model-based VUI Testing of VPA Apps.
Suwan Li, Lei Bu, Guangdong Bai, Zhixiu Guo, Kai Chen 0012
ASE2022Testing / QA; Mobile / Web / GUI / Android
V-Achilles: An Interactive Visualization of Transitive Security Vulnerabilities.
Vipawan Jarukitpipat, Klinton Chhun, Wachirayana Wanprasert, Chaiyong Ragkhitwetsagul, Morakot Choetkiertikul
ASE2022Security / Privacy / Vulnerability
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery.
Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alexander Egyed
ASE2022Requirements / Modeling / Architecture
Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing.
Yuanyuan Yuan 0001, Qi Pang, Shuai Wang 0011
ASE2022Testing / QA
Unsupervised Summarization of Privacy Concerns in Mobile Application Reviews.
Fahimeh Ebrahimi, Anas Mahmoud 0001
ASE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Understanding and Predicting Docker Build Duration: An Empirical Study of Containerized Workflow of OSS Projects.
Yiwen Wu 0001, Yang Zhang 0026, Kele Xu, Tao Wang 0006, Huaimin Wang 0001
ASE2022Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
ASE2022Other
Trimmer: Context-Specific Code Reduction.
Aatira Anum Ahmad, Mubashir Anwar, Hashim Sharif, Ashish Gehani, Fareed Zaffar
ASE2022Other
TreeCen: Building Tree Graph for Scalable Semantic Code Clone Detection.
Yutao Hu, Deqing Zou, Junru Peng, Yueming Wu 0001, Junjie Shan
ASE2022DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair.
Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Transfer learning of cars behaviors from reality to simulation applications.
Ciprian Paduraru, Miruna Gabriela Paduraru, Andrei Blahovici
ASE2022Other
TransRepair: Context-aware Program Repair for Compilation Errors.
Xueyang Li, Shangqing Liu, Ruitao Feng, Guozhu Meng, Xiaofei Xie
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design.
Jason Jaskolka, Brahim Hamid
ASE2022Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Towards a Live Environment for Code Refactoring.
Sara Fernandes
ASE2022Maintenance / Evolution / Refactoring / Review
Towards Using Data-Influence Methods to Detect Noisy Samples in Source Code Corpora.
Anh T. V. Dau, Nghi D. Q. Bui, Thang Nguyen-Duc, Hoang Thanh-Tung
ASE2022Other
Towards Understanding the Runtime Performance of Rust.
Yuchen Zhang 0006, Yunhang Zhang, Georgios Portokalidis, Jun Xu 0024
ASE2022Performance / Energy / Reliability
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems.
Lili Quan, Qianyu Guo, Xiaofei Xie, Sen Chen 0001, Xiaohong Li 0001
ASE2022AI / LLM for SE
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem.
Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang
ASE2022Other
Towards Robust Models of Code via Energy-Based Learning on Auxiliary Datasets.
Nghi D. Q. Bui, Yijun Yu 0001
ASE2022Performance / Energy / Reliability
Towards Improving the Adoption and Usage of National Digital Identity Systems.
Malyun Muhudin Hilowle, William Yeoh 0002, Marthie Grobler, Graeme Pye, Frank Jiang 0001
ASE2022Other
Towards Improving Code Review Effectiveness Through Task Automation.
Asif Kamal Turzo
ASE2022Maintenance / Evolution / Refactoring / Review
Towards Gradual Multiparty Session Typing.
Sung-Shik Jongmans
ASE2022Program Analysis / Verification / Formal Methods
Towards Generating Labeled Property Graphs for Comprehending C#-based Software Projects.
David Heidrich, Andreas Schreiber 0001, Sebastian Oberdörfer
ASE2022Other
Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts.
Asem Ghaleb
ASE2022Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Towards Agent-Based Testing of 3D Games using Reinforcement Learning.
Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi
ASE2022Testing / QA
Toward Improving the Robustness of Deep Learning Models via Model Transformation.
Yingyi Zhang, Zan Wang, Jiajun Jiang, Hanmo You, Junjie Chen 0003
ASE2022AI / LLM for SE
Too Much Accessibility is Harmful! Automated Detection and Analysis of Overly Accessible Elements in Mobile Apps.
Forough Mehralian, Navid Salehnamadi, Syed Fatiul Huq, Sam Malek
ASE2022Mobile / Web / GUI / Android
ThirdEye: Attention Maps for Safe Autonomous Driving Systems.
Andrea Stocco 0001, Paulo J. Nunes, Marcelo d'Amorim, Paolo Tonella
ASE2022Other
The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps.
Yuhui Su, Chunyang Chen 0001, Junjie Wang 0001, Zhe Liu 0025, Dandan Wang
ASE2022Mobile / Web / GUI / Android
Test-Driven Multi-Task Learning with Functionally Equivalent Code Transformation for Neural Code Generation.
Xin Wang 0114, Xiao Liu 0004, Pingyi Zhou, Qixia Liu, Jin Liu 0016
ASE2022Testing / QA; AI / LLM for SE
Taming Multi-Output Recommenders for Software Engineering.
Christoph Treude
ASE2022Other
SymFusion: Hybrid Instrumentation for Concolic Execution.
Emilio Coppa, Heng Yin 0001, Camil Demetrescu
ASE2022Testing / QA; Program Analysis / Verification / Formal Methods
Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating.
Qi Xin, Qirun Zhang, Alessandro Orso
ASE2022Other
Static Type Recommendation for Python.
Ke Sun 0017, Yifan Zhao, Dan Hao 0001, Lu Zhang 0023
ASE2022Program Analysis / Verification / Formal Methods
StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems.
Wenkang Zhong, Hongliang Ge, Hongfei Ai, Chuanyi Li, Kui Liu 0001
ASE2022AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Sorry, I don't Understand: Improving Voice User Interface Testing.
Emanuela Guglielmi, Giovanni Rosa, Simone Scalabrino, Gabriele Bavota, Rocco Oliveto
ASE2022Testing / QA
Software Evolution Management with Differential Facts.
Xiuheng Wu
ASE2022Maintenance / Evolution / Refactoring / Review
So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack.
Clement Poncelet, Konstantinos Sagonas, Nicolas Tsiftes
ASE2022Testing / QA
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics.
Nicholas M. Synovic, Matt Hyatt, Rohan Sethi, Sohini Thota, Shilpika
ASE2022Other
SmOOD: Smoothness-based Out-of-Distribution Detection Approach for Surrogate Neural Networks in Aircraft Design.
Houssem Ben Braiek, Ali Tfaily, Foutse Khomh, Thomas Reid, Ciro Guida
ASE2022AI / LLM for SE; Requirements / Modeling / Architecture
Simulating cyber security management: A gamified approach to executive decision making.
Adam Tonkin, William Kosasih, Marthie Grobler, Mehwish Nasim
ASE2022Security / Privacy / Vulnerability
Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair.
Ali Ghanbari 0001, Andrian Marcus
ASE2022Debugging / Fault Localization / Diagnosis / Repair
SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics.
He Ye, Matias Martinez, Xiapu Luo, Tao Zhang 0001, Martin Monperrus
ASE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation.
Zhichao Zhou, Yuming Zhou, Chunrong Fang, Zhenyu Chen 0001, Yutian Tang
ASE2022Testing / QA
Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps.
Fuman Xie, Yanjun Zhang, Chuan Yan, Suwan Li, Lei Bu
ASE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Scaling Arbitrary Android App Analyses.
Felix Pauck
ASE2022Mobile / Web / GUI / Android
Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel.
David Fernández-Amorós, Ruben Heradio, Christoph Mayr-Dorn, Alexander Egyed
ASE2022Other
Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment.
Jie Zhu, Leye Wang, Xiao Han 0001
ASE2022AI / LLM for SE; DevOps / CI / Build / Release; Performance / Energy / Reliability
SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation.
Bo Li, Dehui Du, Sicong Chen, Minjun Wei, Chenghang Zheng
ASE2022Other
SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems.
Alberto D. Rodriguez, Timothy Newman, Katherine R. Dearstyne, Jane Cleland-Huang
ASE2022Maintenance / Evolution / Refactoring / Review
SA4U: Practical Static Analysis for Unit Type Error Detection.
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry
ASE2022Program Analysis / Verification / Formal Methods
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.
Zhong Li, Minxue Pan, Yu Pei 0001, Tian Zhang 0001, Linzhang Wang
ASE2022Performance / Energy / Reliability
RoboSimVer: A Tool for RoboSim Modeling and Analysis.
Dehui Du, Ana Cavalcanti 0001, Jihui Nie
ASE2022Requirements / Modeling / Architecture
Right to Know, Right to Refuse: Towards UI Perception-Based Automated Fine-Grained Permission Controls for Android Apps.
Vikas Kumar Malviya, Chee Wei Leow, Ashok Kasthuri, Yan Naing Tun, Lwin Khin Shar
ASE2022Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Research on Test Flakiness: from Unit to System Testing.
Kiet Ngo, Vu Nguyen 0003, Tien N. Nguyen
ASE2022Testing / QA
Repairing Failure-inducing Inputs with Input Reflection.
Yan Xiao 0002, Yun Lin 0001, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Reflecting on Recurring Failures in IoT Development.
Dharun Anandayuvaraj, James C. Davis 0001
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach.
Zhuo Zhang 0007, Yan Lei, Meng Yan 0001, Yue Yu 0001, Jiachi Chen
ASE2022AI / LLM for SE
Rank Learning-Based Code Readability Assessment with Siamese Neural Networks.
Qing Mi
ASE2022AI / LLM for SE; Education / Program Comprehension
RESTCluster: Automated Crash Clustering for RESTful API.
Yi Liu 0069
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Quacky: Quantitative Access Control Permissiveness Analyzer✱.
William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince
ASE2022Other
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.
Yedi Zhang, Zhe Zhao 0007, Guangke Chen, Fu Song, Min Zhang 0002
ASE2022AI / LLM for SE; Program Analysis / Verification / Formal Methods
QATest: A Uniform Fuzzing Framework for Question Answering Systems.
Zixi Liu, Yang Feng 0003, Yining Yin, Jingyu Sun, Zhenyu Chen 0001
ASE2022Testing / QA
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.
Zhaodi Zhang, Yiting Wu, Si Liu 0003, Jing Liu 0012, Min Zhang 0002
ASE2022Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods
Prototyping Deep Learning Applications with Non-Experts: An Assistant Proposition.
Gustavo Rodrigues dos Reis, Adrian Mos, Mario Cortes Cornax, Cyril Labbé
ASE2022AI / LLM for SE
Property-Based Automated Repair of DeFi Protocols.
Palina Tolmach, Yi Li 0008, Shang-Wei Lin 0001
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code.
Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Xiwei Xu 0001, Liming Zhu 0001
ASE2022AI / LLM for SE; Program Analysis / Verification / Formal Methods
Privacy Analysis of Period Tracking Mobile Apps in the Post-Roe v. Wade Era.
Zikan Dong, Liu Wang 0002, Hao Xie, Guoai Xu, Haoyu Wang 0001
ASE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Prioritized Constraint-Aided Dynamic Partial-Order Reduction.
Jie Su 0002, Cong Tian 0001, Zuchao Yang, Jiyu Yang, Bin Yu 0008
ASE2022Other
Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection.
Giacomo Priamo, Daniele Cono D'Elia, Leonardo Querzoni
ASE2022Other
PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing.
Tahmid Rafi, Xueling Zhang, Xiaoyin Wang
ASE2022Testing / QA
Precise (Un)Affected Version Analysis for Web Vulnerabilities.
Youkun Shi, Yuan Zhang 0009, Tianhan Luo, Xiangyu Mao, Min Yang 0002
ASE2022Mobile / Web / GUI / Android
Patching Weak Convolutional Neural Network Models through Modularization and Composition.
Binhang Qi, Hailong Sun 0001, Xiang Gao 0012, Hongyu Zhang 0002
ASE2022AI / LLM for SE
PRCBERT: Prompt Learning for Requirement Classification using BERT-based Pretrained Language Models.
Xianchang Luo, Yinxing Xue, Zhenchang Xing, Jiamou Sun
ASE2022Requirements / Modeling / Architecture
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows.
Anh Duc Vu 0001, Timo Kehrer, Christos Tsigkanos
ASE2022Other
On the Naturalness of Bytecode Instructions.
Yoon-Ho Choi, Jaechang Nam
ASE2022Other
Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM.
Jasmine Latendresse, Suhaib Mujahid, Diego Elias Costa, Emad Shihab
ASE2022Human / Empirical / Socio-technical
Next Syntactic-Unit Code Completion and Applications.
Anh Tuan Nguyen 0001, Aashish Yadavally, Tien N. Nguyen
ASE2022Other
Neuroevolution-Based Generation of Tests and Oracles for Games.
Patric Feldmeier, Gordon Fraser 0001
ASE2022Testing / QA
Natural Test Generation for Precise Testing of Question Answering Software.
Qingchao Shen, Junjie Chen 0003, Jie M. Zhang, Haoyu Wang 0017, Shuang Liu 0007
ASE2022Testing / QA
Namesake: A Checker of Lexical Similarity in Identifier Names.
Naser Al Madi
ASE2022Other
Multi-objective Optimization-based Bug-fixing Template Mining for Automated Program Repair.
Misoo Kim, Youngkyoung Kim, Kicheol Kim, Eunseok Lee 0001
ASE2022Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Morest: Industry Practice of Automatic RESTful API Testing.
Yi Liu 0069, Yuekang Li, Yang Liu 0003, Ruiyuan Wan, Runchao Wu
ASE2022Testing / QA
Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues.
Xiaoyu Sun 0002, Xiao Chen 0002, Yanjie Zhao 0001, Pei Liu, John Grundy 0001
ASE2022Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
MalWhiteout: Reducing Label Errors in Android Malware Detection.
Liu Wang 0002, Haoyu Wang 0001, Xiapu Luo, Yulei Sui
ASE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Maktub: Lightweight Robot System Test Creation and Automation.
Amr Moussa, John-Paul Ore
ASE2022Testing / QA
MV-HAN: A Hybrid Attentive Networks based Multi-View Learning Model for Large-scale Contents Recommendation.
Ge Fan, Chaoyun Zhang, Kai Wang, Junyang Chen 0001
ASE2022Other
MCDA Framework for Edge-Aware Multi-Cloud Hybrid Architecture Recommendation.
Manish Ahuja, Sukhavasi Narendranath, Swapnajeet Gon Choudhury, Kaushik Amar Das, Kapil Singi
ASE2022Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
Low-Resources Project-Specific Code Summarization.
Rui Xie 0003, Tianxiang Hu, Wei Ye 0004, Shikun Zhang
ASE2022Other
LiveRef: a Tool for Live Refactoring Java Code.
Sara Fernandes, Ademar Aguiar, André Restivo
ASE2022Maintenance / Evolution / Refactoring / Review
Leveraging Practitioners' Feedback to Improve a Security Linter.
Sofia Reis, Rui Abreu 0001, Marcelo d'Amorim, Daniel Fortunato
ASE2022Security / Privacy / Vulnerability
Leveraging Artificial Intelligence on Binary Code Comprehension.
Yifan Zhang 0013
ASE2022Education / Program Comprehension
Learning to Synthesize Relational Invariants.
Jingbo Wang 0006, Chao Wang 0001
ASE2022Other
Learning to Construct Better Mutation Faults.
Zhao Tian, Junjie Chen 0003, Qihao Zhu, Junjie Yang 0004, Lingming Zhang 0001
ASE2022Testing / QA
Learning Contract Invariants Using Reinforcement Learning.
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng 0001
ASE2022Other
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles.
Yang Sun 0008, Christopher M. Poskitt, Jun Sun 0001, Yuqi Chen 0001, Zijiang Yang 0006
ASE2022Testing / QA
LISSA: Lazy Initialization with Specialized Solver Aid.
Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias
ASE2022Other
Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage.
Ibrahim Mesecan, Daniel Blackwell, David Clark 0001, Myra B. Cohen, Justyna Petke
ASE2022Other
Jasmine: A Static Analysis Framework for Spring Core Technologies.
Miao Chen, Tengfei Tu, Hua Zhang 0001, Qiaoyan Wen, Weihang Wang 0001
ASE2022Program Analysis / Verification / Formal Methods
Is this Change the Answer to that Problem?: Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness.
Haoye Tian, Xunzhu Tang, Andrew Habib, Shangwen Wang, Kui Liu 0001
ASE2022Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts.
Ye Liu 0012, Yi Li 0008
ASE2022Program Analysis / Verification / Formal Methods
Intelligent Code Review Assignment for Large Scale Open Source Software Stacks.
Ishan Aryendu, Ying Wang 0113, Farah Elkourdi, Eman Abdullah AlOmar
ASE2022Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Insight: Exploring Cross-Ecosystem Vulnerability Impacts.
Meiqiu Xu, Ying Wang 0038, Shing-Chi Cheung, Hai Yu 0001, Zhiliang Zhu 0001
ASE2022Other
Inline Tests.
Yu Liu 0079, Pengyu Nie 0001, Owolabi Legunsen, Milos Gligoric 0001
ASE2022Testing / QA
Identifying Solidity Smart Contract API Documentation Errors.
Chenguang Zhu 0002, Ye Liu 0012, Xiuheng Wu, Yi Li 0008
ASE2022Security / Privacy / Vulnerability
Identifying Sexism and Misogyny in Pull Request Comments.
Sayma Sultana
ASE2022Other
Identification and Mitigation of Toxic Communications Among Open Source Software Developers.
Jaydeb Sarker
ASE2022Human / Empirical / Socio-technical
Identification and Mitigation of Gender Biases to Promote Diversity and Inclusion among Open Source Communities.
Sayma Sultana
ASE2022Human / Empirical / Socio-technical
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
ASE2022Debugging / Fault Localization / Diagnosis / Repair
HyperAST: Enabling Efficient Analysis of Software Histories at Scale.
Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel
ASE2022Other
How students choose names: A replication study.
Qing Mi, Xiaoke Wang, Bingnuo Chen
ASE2022Human / Empirical / Socio-technical
How Useful is Code Change Information for Fault Localization in Continuous Integration?
An Ran Chen, Tse-Hsun (Peter) Chen, Junjie Chen 0003
ASE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
How Readable is Model-generated Code? Examining Readability and Visual Inspection of GitHub Copilot.
Naser Al Madi
ASE2022Human / Empirical / Socio-technical; Education / Program Comprehension
Horntinuum: Autonomous Testing using Constrained Horn Clauses.
Ilia Zlatkin, Grigory Fedyukovich
ASE2022Testing / QA
Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing.
Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen 0001, Lingling Fan 0003
ASE2022DevOps / CI / Build / Release
HTFuzz: Heap Operation Sequence Sensitive Fuzzing.
Yuanping Yu, Xiangkun Jia, Yuwei Liu 0001, Yanhao Wang, Qian Sang
ASE2022Testing / QA
Groundhog: An Automated Accessibility Crawler for Mobile Apps.
Navid Salehnamadi, Forough Mehralian, Sam Malek
ASE2022Mobile / Web / GUI / Android
Griffin : Grammar-Free DBMS Fuzzing.
Jingzhou Fu, Jie Liang 0006, Zhiyong Wu 0010, Mingzhe Wang, Yu Jiang 0001
ASE2022Testing / QA
Graph based Incident Extraction and Diagnosis in Large-Scale Online Systems.
Zilong He, Pengfei Chen 0002, Yu Luo, Qiuyu Yan, Hongyang Chen 0002
ASE2022Other
Global Decision Making Over Deep Variability in Feedback-Driven Software Development.
Jörg Kienzle, Benoît Combemale, Gunter Mussbacher, Omar Alam, Francis Bordeleau
ASE2022Other
Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns.
Haoxiang Tian 0001, Guoquan Wu, Jiren Yan, Yan Jiang, Jun Wei 0001
ASE2022Testing / QA
Generalizability of Code Clone Detection on CodeBERT.
Tim Sonnekalb, Bernd Gruner, Clemens-Alexander Brust, Patrick Mäder
ASE2022Maintenance / Evolution / Refactoring / Review
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code.
Nuno Saavedra, João F. Ferreira 0001
ASE2022Security / Privacy / Vulnerability
Fuzzle: Making a Puzzle for Fuzzers.
Haeun Lee, Soomin Kim 0002, Sang Kil Cha
ASE2022Testing / QA
FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures.
Ashwin Kallingal Joshy, Wei Le
ASE2022Testing / QA
FlexType: A Plug-and-Play Framework for Type Inference Models.
Sivani Voruganti, Kevin Jesse, Premkumar T. Devanbu
ASE2022Program Analysis / Verification / Formal Methods
Finding and Understanding Incompleteness Bugs in SMT Solvers.
Mauro Bringolf, Dominik Winterer, Zhendong Su 0001
ASE2022Other
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot.
Meriel von Stein, Sebastian G. Elbaum
ASE2022Other
Few-shot training LLMs for project-specific code-summarization.
Toufique Ahmed, Premkumar T. Devanbu
ASE2022Other
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning.
Zhengwei Lv, Chao Peng 0002, Zhao Zhang, Ting Su 0001, Kai Liu
ASE2022Testing / QA; Mobile / Web / GUI / Android
Extraction and Management of Rationale.
Mouna Dhaouadi
ASE2022Other
Exploiting Epochs and Symmetries in Analysing MPI Programs.
Rishabh Ranjan, Ishita Agrawal, Subodh Sharma 0001
ASE2022Other
Explaining the Behaviour of Game Agents Using Differential Comparison.
Ezequiel Castellano, Xiao-Yi Zhang 0005, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa
ASE2022Other
Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments.
Frank Dixon Whitworth
ASE2022Testing / QA; Program Analysis / Verification / Formal Methods
Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation.
Yi Song, Xiaoyuan Xie, Xihao Zhang, Quanming Liu, Ruizhi Gao
ASE2022Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
Enriching Compiler Testing with Real Program from Bug Report.
Hao Zhong 0001
ASE2022Testing / QA
Enhancing the security of gaming transactions using blockchain technology.
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
ASE2022Security / Privacy / Vulnerability
End-to-End Rationale Reconstruction.
Mouna Dhaouadi, Bentley Oakes, Michalis Famelis
ASE2022Other
Empirical Study of System Resources Abused by IoT Attackers.
Zijing Yin, Yiwen Xu, Chijin Zhou, Yu Jiang 0001
ASE2022Human / Empirical / Socio-technical
ElecDaug: Electromagnetic Data Augmentation for Model Repair based on Metamorphic Relation.
Jiawei He, Zhida Bao, Quanjun Zhang, Weisong Sun, Jiawei Liu
ASE2022Debugging / Fault Localization / Diagnosis / Repair
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.
Yunfan Zhang, Ruidong Zhu, Yingfei Xiong 0001, Tao Xie 0001
ASE2022Testing / QA; Program Analysis / Verification / Formal Methods
Efficient Greybox Fuzzing to Detect Memory Errors.
Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury
ASE2022Testing / QA
Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing.
Jianzhong Su, Hong-Ning Dai, Lingjun Zhao, Zibin Zheng, Xiapu Luo
ASE2022Testing / QA
ESAVE: Estimating Server and Virtual Machine Energy.
Priyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder
ASE2022Performance / Energy / Reliability
E-MANAFA: Energy Monitoring and ANAlysis tool For Android.
Rui Rua, João Saraiva
ASE2022Mobile / Web / GUI / Android; Performance / Energy / Reliability
DyTRec: A Dynamic Testing Recommendation tool for Unity-based Virtual Reality Software.
Xue Qin, Foyzul Hassan
ASE2022Testing / QA
Do Regional Variations Affect the CAPTCHA User Experience? A Comparison of CAPTCHAs in China and the United States.
Xinyao Ma, Zaiqiao Ye, Sameer Patil
ASE2022Other
Differentially Testing Database Transactions for Fun and Profit.
Ziyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song, Wei Wang 0049
ASE2022Testing / QA
Detecting Semantic Code Clones by Building AST-based Markov Chains Model.
Yueming Wu 0001, Siyue Feng, Deqing Zou, Hai Jin 0001
ASE2022DevOps / CI / Build / Release
Detecting Inconsistencies in If-Condition-Raise Statements.
Islem Bouzenia
ASE2022Other
Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis.
Sheikh Shadab Towqir, Bowen Shen, Muhammad Ali Gulzar, Na Meng 0001
ASE2022Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation.
Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller
ASE2022Other
Design-Space Exploration for Decision-Support Software.
Ate Penders, Ana Lucia Varbanescu, Gregor Pavlin, Henk J. Sips
ASE2022Requirements / Modeling / Architecture
DeepPerform: An Efficient Approach for Performance Testing of Resource-Constrained Neural Networks.
Simin Chen, Mirazul Haque, Cong Liu 0005, Wei Yang 0013
ASE2022Testing / QA; AI / LLM for SE; Performance / Energy / Reliability
Data Leakage in Notebooks: Static Detection and Better Processes.
Chenyang Yang 0002, Rachel A. Brower-Sinning, Grace A. Lewis, Christian Kästner
ASE2022Other
Data Augmentation for Improving Emotion Recognition in Software Engineering Communication.
Mia Mohammad Imran, Yashasvi Jain, Preetha Chatterjee, Kostadin Damevski
ASE2022Other
Dancing, not Wrestling: Moving from Compliance to Concordance for Secure Software Development.
Debi Ashenden, Gail Ollis, Iain Reid
ASE2022Other
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code.
Aryaz Eghbali, Michael Pradel
ASE2022Other
Coverage-based Greybox Fuzzing with Pointer Monitoring for C Programs.
Haibo Chen 0005, Jinfu Chen 0001
ASE2022Testing / QA; Program Analysis / Verification / Formal Methods
Cornucopia : A Framework for Feedback Guided Generation of Binaries.
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni 0001, Aravind Machiry
ASE2022Other
Constructing a System Knowledge Graph of User Tasks and Failures from Bug Reports to Support Soap Opera Testing.
Yanqi Su, Zheming Han, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001
ASE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Consistent Scene Graph Generation by Constraint Optimization.
Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
ASE2022Performance / Energy / Reliability
Compressing Pre-trained Models of Code into 3 MB.
Jieke Shi, Zhou Yang 0003, Bowen Xu, Hong Jin Kang, David Lo 0001
ASE2022Other
Compiler Testing using Template Java Programs.
Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric 0001, August Shi
ASE2022Testing / QA
CoditT5: Pretraining for Source Code and Natural Language Editing.
Jiyang Zhang 0003, Sheena Panthaplackel, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001
ASE2022Other
Code Understanding Linter to Detect Variable Misuse.
Yeonhee Ryou, Sangwoo Joh, Joonmo Yang, Sujin Kim, Youil Kim
ASE2022Other
Checking LTL Satisfiability via End-to-end Learning.
Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su
ASE2022Other
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints.
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
ASE2022Testing / QA
Call Graph Evolution Analytics over a Version Series of an Evolving Software System.
Animesh Chaturvedi 0001
ASE2022Maintenance / Evolution / Refactoring / Review
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory.
Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
ASE2022Program Analysis / Verification / Formal Methods
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture.
Vikram Nitin, Shubhi Asthana, Baishakhi Ray, Rahul Krishna
ASE2022AI / LLM for SE; Requirements / Modeling / Architecture
Building recommenders for modelling languages with Droid.
Lissette Almonte, Esther Guerra, Iván Cantador, Juan de Lara
ASE2022DevOps / CI / Build / Release; Requirements / Modeling / Architecture
BuildSonic: Detecting and Repairing Performance-Related Configuration Smells for Continuous Integration Builds.
Chen Zhang, Bihuan Chen 0001, Junhao Hu, Xin Peng 0001, Wenyun Zhao
ASE2022Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Performance / Energy / Reliability
Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method.
Xiaoyuan Xie, Pengbo Yin, Songqiang Chen
ASE2022Testing / QA; AI / LLM for SE
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach.
Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa, Konstantin Schekotihin
ASE2022Debugging / Fault Localization / Diagnosis / Repair
B-AIS: An Automated Process for Black-box Evaluation of Visual Perception in AI-enabled Software against Domain Semantics.
Hamed Barzamini, Mona Rahimi
ASE2022AI / LLM for SE; Human / Empirical / Socio-technical
Automatically Tagging the "AAA" Pattern in Unit Test Cases Using Machine Learning Models.
Chenhao Wei, Lu Xiao 0001, Tingting Yu 0001, Xinyu Chen, Xiao Wang 0030
ASE2022Testing / QA; AI / LLM for SE
Automatically Fixing Breaking Changes of Data Science Libraries.
Hailie Mitchell
ASE2022Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
Automatically Detecting Visual Bugs in HTML5 Canvas Games.
Finlay Macklon, Mohammad Reza Taesiri, Markos Viggiato, Stefan Antoszko, Natalia Romanova
ASE2022Other
Automatic Software Timing Attack Evaluation & Mitigation on Clear Hardware Assumption.
Prabuddha Chakraborty
ASE2022Security / Privacy / Vulnerability
Automatic Generation of Visualizations for Machine Learning Pipelines.
Lei Liu 0061, Wei-Peng Chen, Mehdi Bahrami, Mukul R. Prasad
ASE2022AI / LLM for SE
Automatic Comment Generation via Multi-Pass Deliberation.
Fangwen Mu, Xiao Chen 0015, Lin Shi 0006, Song Wang 0009, Qing Wang 0001
ASE2022Other
Automatic Code Documentation Generation Using GPT-3.
Junaed Younus Khan, Gias Uddin 0001
ASE2022AI / LLM for SE
Automated Identification of Security-Relevant Configuration Settings Using NLP.
Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner
ASE2022Security / Privacy / Vulnerability; DevOps / CI / Build / Release
Automated Feedback Generation for Competition-Level Code.
Jialu Zhang 0002, De Li, John Charles Kolesar, Hanyuan Shi, Ruzica Piskac
ASE2022Other
Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems.
Tomasz Kuchta, Bartosz Zator
ASE2022Testing / QA
Augur: Dynamic Taint Analysis for Asynchronous JavaScript.
Mark W. Aldrich, Alexi Turcotte, Matthew Blanco, Frank Tip
ASE2022Security / Privacy / Vulnerability
Assessment of Automated (Intelligent) Toolchains.
Aurora Papotti
ASE2022Other
Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions.
Yuxi Ling, Kailong Wang 0001, Guangdong Bai, Haoyu Wang 0001, Jin Song Dong 0001
ASE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott
ASE2022AI / LLM for SE; Human / Empirical / Socio-technical
Application of Natural Language Processing Towards Autonomous Software Testing.
Khang Pham, Vu Nguyen 0003, Tien N. Nguyen
ASE2022Testing / QA
AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE.
Eman Abdullah AlOmar, Anton Ivanov, Zarina Kurbatova, Yaroslav Golubev, Mohamed Wiem Mkaouer
ASE2022Other
Answering Software Deployment Questions via Neural Machine Reading at Scale.
Guanjie Qiu, Diwei Chen, Shuai Zhang, Yitian Chai, Xiaodong Gu 0002
ASE2022AI / LLM for SE; DevOps / CI / Build / Release
Answer Summarization for Technical Queries: Benchmark and New Approach.
Chengran Yang, Bowen Xu, Ferdian Thung, Yucen Shi, Ting Zhang 0011
ASE2022Other
An Empirical Study on Numerical Bugs in Deep Learning Programs.
Gan Wang, Zan Wang, Junjie Chen 0003, Xiang Chen 0005, Ming Yan 0010
ASE2022AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study of Automation in Software Security Patch Management.
Nesara Dissanayake, Asangi Jayatilaka, Mansooreh Zahedi, Muhammad Ali Babar 0001
ASE2022Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Accelerating OCR-Based Widget Localization for Test Automation of GUI Applications.
Ju Qian, Yingwei Ma, Chenghao Lin, Lin Chen 0015
ASE2022Testing / QA; Mobile / Web / GUI / Android
Accelerating Build Dependency Error Detection via Virtual Build.
Rongxin Wu, Minglei Chen, Chengpeng Wang 0001, Gang Fan, Jiguang Qiu
ASE2022DevOps / CI / Build / Release
AUSERA: Automated Security Vulnerability Detection for Android Apps.
Sen Chen 0001, Yuxin Zhang, Lingling Fan 0003, Jiaming Li 0013, Yang Liu 0003
ASE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
ASTOR: An Approach to Identify Security Code Reviews.
Rajshakhar Paul
ASE2022Security / Privacy / Vulnerability
AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models.
José Antonio Hernández López, Martin Weyssow, Jesús Sánchez Cuadrado, Houari A. Sahraoui
ASE2022Other
ADEPT: A Testing Platform for Simulated Autonomous Driving.
Sen Wang, Zhuheng Sheng, Jingwei Xu 0001, Taolue Chen 0001, Junjun Zhu
ASE2022Testing / QA
A transformer-based IDE plugin for vulnerability detection.
Cláudia Mamede, Eduard Pinconschi, Rui Abreu 0001
ASE2022AI / LLM for SE
A real-world case study for automated ticket team assignment using natural language processing and explainable models.
Lucas Marcondes Pavelski, Rodrigo de Souza Braga
ASE2022Human / Empirical / Socio-technical
A model for automatic generating reusable code from multiple GUIs.
Cícero A. G. Araújo
ASE2022Other
A fault injection platform for learning AIOps models.
Frank Bagehorn, Jesus Rios, Saurabh Jha, Robert Filepp, Larisa Shwartz
ASE2022Other
A Unified Specification Mining Framework for Smart Contracts.
Ye Liu 0012
ASE2022Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
A Transferable Time Series Forecasting Service Using Deep Transformer Model for Online Systems.
Tao Huang 0021, Pengfei Chen 0002, Jingrun Zhang, Ruipeng Li, Rui Wang
ASE2022AI / LLM for SE
A Study of User Privacy in Android Mobile AR Apps.
Xiaoyi Yang, Xueling Zhang
ASE2022Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems.
Qunying Song, Per Runeson, Stefan Persson
ASE2022Testing / QA
A Role Based Model Template for Specifying Virtual Reality Software.
Sai Anirudh Karre, Vivek Pareek, Raghav Mittal, Raghu Reddy
ASE2022Other
A Review of AI-augmented End-to-End Test Automation Tools.
Phuoc Pham, Vu Nguyen 0003, Tien N. Nguyen
ASE2022Testing / QA; AI / LLM for SE
A Novel Coverage-guided Greybox Fuzzing based on Power Schedule Optimization with Time Complexity.
Jinfu Chen 0001, Shengran Wang, Saihua Cai, Chi Zhang 0046, Haibo Chen 0005
ASE2022Testing / QA; Performance / Energy / Reliability
A Light Bug Triage Framework for Applying Large Pre-trained Language Model.
Jaehyung Lee 0002, Kisun Han, Hwanjo Yu
ASE2022Other
A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications.
Hoan Anh Nguyen, Hung Dang Phan, Syeda Khairunnesa Samantha, Son Nguyen, Aashish Yadavally
ASE2022Other
A Framework for Testing Chemical Reaction Networks.
Michael C. Gerten
ASE2022Testing / QA
A First Look at CI/CD Adoptions in Open-Source Android Apps.
Pei Liu, Xiaoyu Sun 0002, Yanjie Zhao 0001, Yonghui Liu 0001, John Grundy 0001
ASE2022DevOps / CI / Build / Release; Mobile / Web / GUI / Android
A Drift Handling Approach for Self-Adaptive ML Software in Scalable Industrial Processes.
Firas Bayram, Bestoun S. Ahmed, Erik Hallin, Anton Engman
ASE2022Other
A Comprehensive Evaluation of Android ICC Resolution Techniques.
Jiwei Yan, Shixin Zhang, Yepang Liu 0001, Xi Deng, Jun Yan 0009
ASE2022Mobile / Web / GUI / Android
'Who built this crap?' Developing a Software Engineering Domain Specific Toxicity Detector.
Jaydeb Sarker
ASE2022Other
py2src: Towards the Automatic (and Reliable) Identification of Sources for PyPI Package.
Duc-Ly Vu
ASE2021Other
Why Do Developers Remove Lambda Expressions in Java?
Mingwei Zheng, Jun Yang 0062, Ming Wen 0001, Hengcheng Zhu 0001, Yepang Liu 0001
ASE2021Human / Empirical / Socio-technical
Where to Start: Studying Type Annotation Practices in Python.
Wuxia Jin, Dinghong Zhong, Zifan Ding, Ming Fan 0002, Ting Liu 0002
ASE2021Program Analysis / Verification / Formal Methods
What do pre-trained code models know about code?
Anjan Karmakar, Romain Robbes
ASE2021Other
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
ASE2021Other
Using Version Control and Issue Tickets to detect Code Debt and Economical Cost.
Abdullah Al Maruf, Noah Lambaria, Amr S. Abdelfattah, Tomás Cerný
ASE2021DevOps / CI / Build / Release; Performance / Energy / Reliability
Using Static Analysis to Address Microservice Architecture Reconstruction.
Vincent Bushong, Dipta Das, Abdullah Al Maruf, Tomás Cerný
ASE2021Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions.
Sofonias Yitagesu, Zhenchang Xing, Xiaowang Zhang, Zhiyong Feng 0002, Xiaohong Li 0001
ASE2021Other
Understanding and Detecting Performance Bugs in Markdown Compilers.
Penghui Li 0001, Yinxi Liu, Wei Meng 0001
ASE2021Performance / Energy / Reliability
Understanding Code Fragments with Issue Reports.
Zexuan Li, Hao Zhong 0001
ASE2021Other
UI Test Migration Across Mobile Platforms.
Saghar Talebipour, Yixue Zhao, Luka Dojcilovic, Chenggang Li, Nenad Medvidovic
ASE2021Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems.
Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu
ASE2021Other
Training Automated Test Oracles to Identify Semantic Bugs.
Charaka Geethal
ASE2021Testing / QA
Towards the generation of machine learning defect reports.
Tuan Dung Lai
ASE2021AI / LLM for SE
Towards a Serverless Java Runtime.
Yifei Zhang 0001, Tianxiao Gu, Xiaolin Zheng, Lei Yu, Wei Kuai
ASE2021Cloud / Microservices / Distributed Systems
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing.
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
ASE2021Testing / QA
Towards Fluid Software Architectures: Bidirectional Human-AI Interaction.
Ammar Yasser, Mervat Abu-Elkheir
ASE2021AI / LLM for SE; Human / Empirical / Socio-technical
Towards Exploring the Limitations of Active Learning: An Empirical Study.
Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Xiaofei Xie, Wei Ma 0014
ASE2021Human / Empirical / Socio-technical
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code.
Matteo Paltenghi, Michael Pradel
ASE2021AI / LLM for SE; Human / Empirical / Socio-technical
Testing Your Question Answering Software via Asking Recursively.
Songqiang Chen, Shuo Jin, Xiaoyuan Xie
ASE2021Testing / QA
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
Yixing Luo, Xiao-Yi Zhang 0005, Paolo Arcaini, Zhi Jin 0001, Haiyan Zhao 0001
ASE2021Requirements / Modeling / Architecture
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions.
Martin Gruber
ASE2021Testing / QA; DevOps / CI / Build / Release
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification.
Yun Tang 0003, Yuan Zhou 0005, Tianwei Zhang 0004, Fenghua Wu, Yang Liu 0003
ASE2021Testing / QA
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code.
Chenyang Yang 0002, Shurui Zhou, Jin L. C. Guo, Christian Kästner
ASE2021Other
SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically.
Bo Shen, Wei Zhang 0004, Ailun Yu, Yifan Shi, Haiyan Zhao 0001
ASE2021Other
Shaker: a Tool for Detecting More Flaky Tests Faster.
Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim
ASE2021Testing / QA; DevOps / CI / Build / Release
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems.
Thomas Laurent 0003, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
ASE2021Testing / QA
Semi-automated Cross-Component Issue Management and Impact Analysis.
Sandro Speth
ASE2021Other
Scalable Fuzzing of Program Binaries with E9AFL.
Xiang Gao 0012, Gregory J. Duck, Abhik Roychoudhury
ASE2021Testing / QA
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.
Jaeseung Choi 0002, Doyeon Kim, Soomin Kim 0002, Gustavo Grieco, Alex Groce
ASE2021Testing / QA; Security / Privacy / Vulnerability
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
ASE2021Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching.
Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev, Elena Tikhomirova, Timofey Bryksin
ASE2021Maintenance / Evolution / Refactoring / Review
Revisiting Textual Feature of Bug-Triage Approach.
Zexuan Li, Hao Zhong 0001
ASE2021Other
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs.
Chenguang Zhu 0002, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid
ASE2021Maintenance / Evolution / Refactoring / Review
Refactorings and Technical Debt in Docker Projects: An Empirical Study.
Emna Ksontini, Marouane Kessentini, Thiago do Nascimento Ferreira, Foyzul Hassan
ASE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information.
Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu
ASE2021Maintenance / Evolution / Refactoring / Review
Reducing Time-To-Fix For Fuzzer Bugs.
Rui Abreu 0001, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan
ASE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph.
Yanqi Su, Zhenchang Xing, Xin Peng 0001, Xin Xia 0001, Chong Wang 0013
ASE2021Other
Race Detection for Event-Driven Node.js Applications.
Xiaoning Chang, Wensheng Dou, Jun Wei 0001, Tao Huang 0001, Jinhui Xie
ASE2021Other
RULF: Rust Library Fuzzing via API Dependency Graph Traversal.
Jianfeng Jiang, Hui Xu 0009, Yangfan Zhou 0002
ASE2021Testing / QA
REPFINDER: Finding Replacements for Missing APIs in Library Update.
Kaifeng Huang 0001, Bihuan Chen 0001, Linghao Pan, Shuai Wu, Xin Peng 0001
ASE2021Other
Quito: a Coverage-Guided Test Generator for Quantum Programs.
Xinyi Wang 0004, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001
ASE2021Testing / QA
Quality analysis of mobile applications with special focus on security aspects.
Kristiina Rahkema
ASE2021Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
QDiff: Differential Testing of Quantum Software Stacks.
Jiyuan Wang, Qian Zhang 0020, Guoqing Harry Xu, Miryung Kim
ASE2021Testing / QA
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions.
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
ASE2021Debugging / Fault Localization / Diagnosis / Repair
PyNose: A Test Smell Detector For Python.
Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li 0013, Timofey Bryksin
ASE2021Testing / QA
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models.
Chanathip Pornprasit, Chakkrit Tantithamthavorn, Jirayus Jiarpakdee, Michael Fu, Patanamon Thongtanunam
ASE2021Other
Property-based Test for Part-of-Speech Tagging Tool.
Shuo Jin, Songqiang Chen, Xiaoyuan Xie
ASE2021Testing / QA
Program Synthesis with Algorithm Pseudocode Guidance.
Zihui Wang
ASE2021Other
Privacy as first-class requirements in software development: A socio-technical approach.
Yizhaq Benbenisty, Irit Hadar, Gil Luria, Paola Spoletini
ASE2021Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
Performance Testing for Cloud Computing with Dependent Data Bootstrapping.
Sen He 0002, Tianyi Liu, Palden Lama, Jaewoo Lee, In Kee Kim
ASE2021Testing / QA; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions.
David A. Tomassi, Cindy Rubio-González
ASE2021Program Analysis / Verification / Formal Methods
On Multi-Modal Learning of Editing Source Code.
Saikat Chakraborty 0001, Baishakhi Ray
ASE2021Other
Nekara: Generalized Concurrency Testing.
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal
ASE2021Testing / QA
Muskit: A Mutation Analysis Tool for Quantum Software Testing.
Eñaut Mendiluze, Shaukat Ali 0001, Paolo Arcaini, Tao Yue 0002
ASE2021Testing / QA
Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories.
Elvan Kula, Arie van Deursen, Georgios Gousios
ASE2021Requirements / Modeling / Architecture
Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach.
Md Kafil Uddin, Qiang He 0001, Jun Han 0004, Caslon Chua
ASE2021Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Metamorphic Testing on Multi-module UAV Systems.
Rui Li 0013, Huai Liu, Guannan Lou, James Xi Zheng, Xiao Liu 0004
ASE2021Testing / QA
Log-based Anomaly Detection Without Log Parsing.
Van-Hoang Le, Hongyu Zhang 0002
ASE2021Cloud / Microservices / Distributed Systems
Log Anomaly to Resolution: AI Based Proactive Incident Remediation.
Ruchi Mahindru, Harshit Kumar, Sahil Bansal
ASE2021AI / LLM for SE
Leveraging Code Clones and Natural Language Processing for Log Statement Prediction.
Sina Gholamian
ASE2021Other
Lessons learned from hyper-parameter tuning for microservice candidate identification.
Rahul Yedida, Rahul Krishna, Anup K. Kalia, Tim Menzies, Jin Xiao 0005
ASE2021Cloud / Microservices / Distributed Systems
Learning-based Assistant for Data Migration of Enterprise Information Systems.
Sayandeep Mitra, Debayan Mukherjee, Atreya Bandyopadhyay, Rajdip Chowdhury, Raveendra Kumar Medicherla
ASE2021AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Learning Patterns in Configuration.
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
ASE2021DevOps / CI / Build / Release
Learning Highly Recursive Input Grammars.
Neil Kulkarni, Caroline Lemieux, Koushik Sen
ASE2021Other
Learning GraphQL Query Cost.
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo
ASE2021Performance / Energy / Reliability
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining.
Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf
ASE2021Other
JTDog: a Gradle Plugin for Dynamic Test Smell Detection.
Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto
ASE2021Testing / QA
JSTAR: JavaScript Specification Type Analyzer using Refinement.
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
ASE2021Program Analysis / Verification / Formal Methods
Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? : A Case Study of the Gerrit Community.
Ian X. Gauthier, Maxime Lamothe, Gunter Mussbacher, Shane McIntosh
ASE2021Human / Empirical / Socio-technical
Interactive Cross-language Code Retrieval with Auto-Encoders.
Binger Chen, Ziawasch Abedjan
ASE2021Other
Intelligent Change Operators for Multi-Objective Refactoring.
Chaima Abid, James Ivers, Thiago do Nascimento Ferreira, Marouane Kessentini, Fares E. Kahla
ASE2021Maintenance / Evolution / Refactoring / Review
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing.
Yuwei Liu 0001, Yanhao Wang, Purui Su, Yuanping Yu, Xiangkun Jia
ASE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Infrastructure in Code: Towards Developer-Friendly Cloud Applications.
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, Timofey Bryksin
ASE2021Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
IncBL: Incremental Bug Localization.
Zhou Yang 0003, Jieke Shi, Shaowei Wang 0002, David Lo 0001
ASE2021Debugging / Fault Localization / Diagnosis / Repair
Improving Test Case Generation for REST APIs Through Hierarchical Clustering.
Dimitri Michel Stallenberg, Mitchell Olsthoorn, Annibale Panichella
ASE2021Testing / QA
Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators.
Juyoung Jeon, Shin Hong
ASE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA.
Hanyoung Yoo, Jingun Hong, Lucas Bader, Dongwon Hwang, Shin Hong
ASE2021Testing / QA; Human / Empirical / Socio-technical
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats.
Lin Shi 0006, Ziyou Jiang, Ye Yang, Xiao Chen 0015, Yumin Zhang
ASE2021Other
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware.
Peiyu Liu 0003, Shouling Ji, Xuhong Zhang 0002, Qinming Dai, Kangjie Lu
ASE2021Testing / QA
HyperGI: Automated Detection and Repair of Information Flow Leakage.
Ibrahim Mesecan, Daniel Blackwell, David Clark 0001, Myra B. Cohen, Justyna Petke
ASE2021Debugging / Fault Localization / Diagnosis / Repair
Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation.
Tien N. Nguyen, Kim-Kwang Raymond Choo
ASE2021Human / Empirical / Socio-technical
How Can Subgroup Discovery Help AIOps?
Youcef Remil
ASE2021Other
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings.
Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang
ASE2021Debugging / Fault Localization / Diagnosis / Repair
Graph-based Incident Aggregation for Large-Scale Online Service Systems.
Zhuangbin Chen, Jinyang Liu 0002, Yuxin Su 0001, Hongyu Zhang 0002, Xuemin Wen
ASE2021Other
Genetic Optimisation of C++ Applications.
Rafail Giavrimis, Alexis Butler, Constantin Cezar Petrescu, Michail Basios, Santanu Kumar Dash 0001
ASE2021Other
GenTree: Inferring Configuration Interactions using Decision Trees.
KimHao Nguyen, ThanhVu Nguyen
ASE2021DevOps / CI / Build / Release
Gas Estimation and Optimization for Smart Contracts on Ethereum.
Chunmiao Li
ASE2021Performance / Energy / Reliability
Fuzzing Methods Recommendation Based on Feature Vectors.
Chi Zhang 0046, Jinfu Chen 0001
ASE2021Testing / QA
FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt.
Saranphon Phaithoon, Supakarn Wongnil, Patiphol Pussawong, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul
ASE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution.
Qiang Liu 0034, Cen Zhang, Lin Ma 0009, Muhui Jiang, Yajin Zhou
ASE2021Other
Finding the Missing Piece: Permission Specification Analysis for Android NDK.
Hao Zhou 0043, Haoyu Wang 0001, Shuohan Wu, Xiapu Luo, Yajin Zhou
ASE2021Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes.
Jiayuan Zhou, Michael Pacheco, Zhiyuan Wan, Xin Xia 0001, David Lo 0001
ASE2021Other
FinFuzzer: One Step Further in Fuzzing Fintech Systems.
Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang
ASE2021Testing / QA
Faster Mutation Analysis with Fewer Processes and Smaller Overheads.
Bo Wang 0050, Sirui Lu, Yingfei Xiong 0001, Feng Liu 0061
ASE2021Testing / QA
FRUGAL: Unlocking Semi-Supervised Learning for Software Analytics.
Huy Tu, Tim Menzies
ASE2021Other
FLACK: Localizing Faults in Alloy Models.
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias
ASE2021Other
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning.
Shaohua Zhang, Shuang Liu 0007, Jun Sun 0001, Yuqi Chen 0013, Wenzhi Huang
ASE2021Debugging / Fault Localization / Diagnosis / Repair
Explainable AI for Software Engineering.
Chakkrit Kla Tantithamthavorn, Jirayus Jiarpakdee
ASE2021AI / LLM for SE
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.
Simos Gerasimou, Javier Cámara 0001, Radu Calinescu, Naif Alasmari, Faisal Alhwikem
ASE2021Program Analysis / Verification / Formal Methods
EvoMe: A Software Evolution Management Engine Based on Differential Factbase.
Xiuheng Wu, Mengyang Li, Yi Li 0008
ASE2021Maintenance / Evolution / Refactoring / Review
Evaluating Semantic Autocompletion of Business Processes with Domain Experts.
Maayan Goldstein, Cecilia González-Alvarez
ASE2021Other
End-to-End Automation of Feedback on Student Assembly Programs.
Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta
ASE2021Education / Program Comprehension
Empowering Web Applications with WebAssembly: Are We There Yet?
Weihang Wang 0001
ASE2021Mobile / Web / GUI / Android
Efficient state synchronisation in model-based testing through reinforcement learning.
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi 0001, Ivan Yu. Tyukin
ASE2021Testing / QA
Efficient SMT-Based Model Checking for Signal Temporal Logic.
Jia Lee, Geunyeol Yu, Kyungmin Bae
ASE2021Program Analysis / Verification / Formal Methods
Effectively Analyzing Evolving Software with Differential Facts.
Xiuheng Wu
ASE2021Maintenance / Evolution / Refactoring / Review
EditSum: A Retrieve-and-Edit Framework for Source Code Summarization.
Jia Li 0011, Yongmin Li, Ge Li 0001, Xing Hu 0008, Xin Xia 0001
ASE2021Other
Dynamic Generation of Python Bindings for HPC Kernels.
Steven Zhu, Nader Al Awar, Mattan Erez, Milos Gligoric 0001
ASE2021Other
Distribution Models for Falsification and Verification of DNNs.
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
ASE2021Program Analysis / Verification / Formal Methods
Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination.
Max Hort, Federica Sarro
ASE2021Other
Detecting TensorFlow Program Bugs in Real-World Industrial Environment.
Chen Liu, Jie Lu 0009, Guangwei Li, Ting Yuan, Lian Li 0002
ASE2021Other
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.
Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan 0009, Jian Zhang 0001
ASE2021Other
Detecting Adversarial Samples with Graph-Guided Testing.
Zuohui Chen, Renxuan Wang, Jingyang Xiang, Yue Yu 0001, Xin Xia 0001
ASE2021Testing / QA
Defeating Program Analysis Techniques via Ambiguous Translation.
Chijung Jung, Doowon Kim, Weihang Wang 0001, Yunhui Zheng, Kyu Hyung Lee
ASE2021Program Analysis / Verification / Formal Methods
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score.
Vincenzo Riccio, Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
ASE2021Testing / QA; AI / LLM for SE
DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models.
Derui Zhu, Jinfu Chen 0002, Weiyi Shang, Xuebing Zhou, Jens Grossklags
ASE2021AI / LLM for SE
DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning.
Triet Huynh Minh Le, David Hin, Roland Croft, Muhammad Ali Babar 0001
ASE2021DevOps / CI / Build / Release
Deep GUI: Black-box GUI Input Generation with Deep Learning.
Faraz Yazdani Banafshe Daragh, Sam Malek
ASE2021AI / LLM for SE; Mobile / Web / GUI / Android
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions.
José Miguel Pérez-Álvarez, Adrian Mos, Benjamin V. Hanrahan, Iyadunni J. Adenuga
ASE2021Cloud / Microservices / Distributed Systems
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost.
Malte Mues, Falk Howar
ASE2021Requirements / Modeling / Architecture; Performance / Energy / Reliability
DSInfoSearch: Supporting Experimentation Process of Data Scientists.
Shangeetha Sivasothy
ASE2021Other
DEVIATE: A Deep Learning Variance Testing Framework.
Hung Viet Pham, Mijung Kim, Lin Tan 0001, Yaoliang Yu, Nachiappan Nagappan
ASE2021Testing / QA; AI / LLM for SE
Cross-Lingual Transfer Learning Framework for Program Analysis.
Zhiming Li
ASE2021Program Analysis / Verification / Formal Methods
Counterexample Guided Inductive Repair of Reactive Contracts.
Soha Hussein, Vaibhav Sharma 0001, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
ASE2021Debugging / Fault Localization / Diagnosis / Repair
CorbFuzz: Checking Browser Security Policies with Fuzzing.
Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan
ASE2021Testing / QA; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Context Debloating for Object-Sensitive Pointer Analysis.
Dongjie He, Jingbo Lu, Jingling Xue
ASE2021Program Analysis / Verification / Formal Methods
CiFi: Versatile Analysis of Class and Field Immutability.
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
ASE2021Other
Characterizing and Detecting Configuration Compatibility Issues in Android Apps.
Huaxun Huang, Ming Wen 0001, Lili Wei 0001, Yepang Liu 0001, Shing-Chi Cheung
ASE2021DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.
Lu Liu, Lili Wei 0001, Wuqi Zhang, Ming Wen 0001, Yepang Liu 0001
ASE2021Other
Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ.
Chenyao Liu, Zeqi Lin, Jian-Guang Lou, Lijie Wen 0001, Dongmei Zhang 0001
ASE2021AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Business Process Extraction Using Static Analysis.
Md Rofiqul Islam, Tomás Cerný
ASE2021Program Analysis / Verification / Formal Methods
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs.
Pengzhan Zhao, Jianjun Zhao 0001, Zhongtao Miao, Shuhan Lan
ASE2021Other
Binary Diffing as a Network Alignment Problem via Belief Propagation.
Elie Mengin, Fabrice Rossi
ASE2021Other
Binary Code Similarity Detection.
Zian Liu
ASE2021Other
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications.
Jake Tronge, Jieyang Chen, Patricia Grubel, Tim Randles, Rusty Davis
ASE2021Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability
BeAFix: An Automated Repair Tool for Faulty Alloy Models.
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
ASE2021Debugging / Fault Localization / Diagnosis / Repair
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices.
Cen Zhang, Yuekang Li, Hongxu Chen 0001, Xiaoxing Luo, Miaohua Li
ASE2021Testing / QA; Mobile / Web / GUI / Android
Automating User Notice Generation for Smart Contract Functions.
Xing Hu 0008, Zhipeng Gao 0002, Xin Xia 0001, David Lo 0001, Xiaohu Yang 0001
ASE2021Security / Privacy / Vulnerability
Automating Developer Chat Mining.
Shengyi Pan, Lingfeng Bao, Xiaoxue Ren, Xin Xia 0001, David Lo 0001
ASE2021Human / Empirical / Socio-technical
Automatically Deciding on the Integration of Commits Based on Their Descriptions.
Samuel C. Fonseca, Mateus C. Lucena, Tiago M. Reis, Pedro F. Cabral, Walmir A. Silva
ASE2021Other
Automatically Annotating Sentences for Task-specific Bug Report Summarization.
Akalanka Galappaththi, John Anvik, Rafat Bin Islam
ASE2021Other
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning.
Yushi Cao, Yan Zheng 0002, Shang-Wei Lin 0001, Yang Liu 0003, Yon Shin Teo
ASE2021Other
Automated Verification of Go Programs via Bounded Model Checking.
Nicolas Dilley, Julien Lange
ASE2021Program Analysis / Verification / Formal Methods
Automated Testing for Machine Translation via Constituency Invariance.
Pin Ji, Yang Feng 0003, Jia Liu 0008, Zhihong Zhao, Baowen Xu
ASE2021Testing / QA
Automated Repair of Size-Based Inaccessibility Issues in Mobile Applications.
Ali S. Alotaibi, Paul T. Chiou, William G. J. Halfond
ASE2021Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Automated Code Refactoring upon Database-Schema Changes in Web Applications.
Sophie Xie, Junwen Yang, Shan Lu 0001
ASE2021Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Automated Approach for System-level Testing of Unmanned Aerial Systems.
Hassan Sartaj
ASE2021Testing / QA
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.
Leonhard Applis, Annibale Panichella, Arie van Deursen
ASE2021Program Analysis / Verification / Formal Methods
An Empirical Study on Obsolete Issue Reports.
Zexuan Li, Hao Zhong 0001
ASE2021Human / Empirical / Socio-technical
An Empirical Study of Bugs in WebAssembly Compilers.
Alan Romano, Xinyue Liu 0005, Yonghwi Kwon 0001, Weihang Wang 0001
ASE2021Human / Empirical / Socio-technical
An Automated Pipeline for Privacy Leak Analysis of Android Applications.
Yifan Zhou
ASE2021Security / Privacy / Vulnerability; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffeeƒ.
Phuong T. Nguyen 0001, Claudio Di Sipio, Juri Di Rocco, Massimiliano Di Penta, Davide Di Ruscio
ASE2021Other
Adaptation
Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel
ASE2021Other
Access Control Tree for Testing and Learning.
Davrondzhon Gafurov, Arne Erik Hurum, Margrete Sunde Grovan
ASE2021Testing / QA
AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization.
Ze Tang 0002, Chuanyi Li, Jidong Ge, Xiaoyu Shen 0001, Zheling Zhu
ASE2021AI / LLM for SE
ASE: A Value Set Decision Procedure for Symbolic Execution.
Alireza S. Abyaneh, Christoph M. Kirsch
ASE2021Program Analysis / Verification / Formal Methods
APIzation: Generating Reusable APIs from StackOverflow Code Snippets.
Valerio Terragni, Pasquale Salza
ASE2021Human / Empirical / Socio-technical
API Compatibility Issue Detection, Testing and Analysis for Android Apps.
Tarek Mahmud
ASE2021Testing / QA; Mobile / Web / GUI / Android
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems.
Tianyi Yang, Jiacheng Shen, Yuxin Su 0001, Xiao Ling, Yongqiang Yang
ASE2021Cloud / Microservices / Distributed Systems
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
Ali Shokri 0003
ASE2021Requirements / Modeling / Architecture
A Prediction Model for Software Requirements Change Impact.
Kareshna Zamani
ASE2021Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
A Mocktail of Source Code Representations.
Dheeraj Vagavolu, Karthik Chandra Swarna, Sridhar Chimalakonda
ASE2021Other
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.
Siqi Li, Yun Lin 0001, Xiaofei Xie, Yuekang Li, Xiaohong Li 0001
ASE2021Testing / QA; AI / LLM for SE
A Compositional Deadlock Detector for Android Java.
James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich
ASE2021Mobile / Web / GUI / Android
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis.
Youcef Remil, Anes Bendimerad, Romain Mathonat, Philippe Chaleat, Mehdi Kaytoue
ASE2021Other