Software Engineering Empirical Research Radar

ASE 2023 Papers

ASE 2023 paper list with topic labels.

PaperVenueYearTopics
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT.
Dapeng Yan, Zhipeng Gao 0002, Zhiming Liu 0001
ASE2023AI / LLM for SE
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 Comprehensive Study on Code Clones in Automated Driving Software.
Ran Mo, Yingjie Jiang, Wenjing Zhan, Dongyu Wang, Zengyang Li
ASE2023Human / Empirical / Socio-technical
A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem.
Wenke Li, Feng Wu, Cai Fu, Fan Zhou
ASE2023Human / Empirical / Socio-technical
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 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
ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision.
Zhipeng Xue 0002, Zhipeng Gao 0002, Xing Hu 0008, Shanping Li
ASE2023Other
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
ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems.
Shengyou Hu, Huayao Wu, Peng Wang 0125, Jing Chang, Yongjun Tu
ASE2023Testing / QA
Adaptive REST API Testing with Reinforcement Learning.
Myeongsoo Kim, Saurabh Sinha 0003, Alessandro Orso
ASE2023Testing / QA
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
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 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 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 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 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 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 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 Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning Systems.
Ahmed Haj Yahmed, Rached Bouchoucha, Houssem Ben Braiek, Foutse Khomh
ASE2023Other
ArduinoProg: Towards Automating Arduino Programming.
Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang
ASE2023Other
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
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
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
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
AutoDebloater: Automated Android App Debloating.
Jiakun Liu, Xing Hu 0008, Ferdian Thung, Shahar Maoz, Eran Toch
ASE2023Mobile / 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
Automated Fixing of Web UI Tests via Iterative Element Matching.
Yuanzhang Lin, Guoyao Wen, Xiang Gao 0012
ASE2023Testing / QA; Mobile / Web / GUI / Android
Automated Software Entity Matching Between Successive Versions.
Bo Liu 0094, Hui Liu 0003, Nan Niu, Yuxia Zhang, Guangjie Li
ASE2023Other
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
Automating Bias Testing of LLMs.
Sergio Morales 0001, Robert Clarisó, Jordi Cabot
ASE2023Testing / QA
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++.
Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo
ASE2023Other
Better Patching Using LLM Prompting, via Self-Consistency.
Toufique Ahmed, Premkumar T. Devanbu
ASE2023AI / LLM for SE
Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations.
Szymon Stradowski, Lech Madeyski
ASE2023AI / LLM for SE
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
Bus Factor Explorer.
Egor Klimov, Muhammad Umair Ahmed, Nikolai Sviridov, Pouria Derakhshanfar, Eray Tüzün
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
COMEX: A Tool for Generating Customized Source Code Representations.
Debeshee Das, Noble Saji Mathews, Alex Mathai, Srikanth Tamilselvam, Kranthi Sedamaki
ASE2023Other
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
Causality-Aided Trade-Off Analysis for Machine Learning Fairness.
Zhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011, Yanhui Li
ASE2023AI / LLM for SE
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks.
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
ASE2023DevOps / CI / Build / Release
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
Challenges of Accurate and Efficient AutoML.
Swarnava Dey, Avik Ghose, Soumik Das
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
CiD4HMOS: A Solution to HarmonyOS Compatibility Issues.
Tianzhi Ma, Yanjie Zhao 0001, Li Li 0029, Liang Liu 0006
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
Code Difference Guided Adversarial Example Generation for Deep Code Models.
Zhao Tian, Junjie Chen 0003, Zhi Jin
ASE2023Other
CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation.
Mingwei Liu 0002, Tianyong Yang, Yiling Lou, Xueying Du, Ying Wang
ASE2023Other
Coding and Debugging by Separating Secret Code Toward Secure Remote Development.
Shinobu Saito
ASE2023Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Compiler Auto-Tuning via Critical Flag Selection.
Mingxuan Zhu, Dan Hao 0001
ASE2023Other
Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues.
Xiufeng Xu, Chenguang Zhu 0002, Yi Li 0008
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
Contextuality of Code Representation Learning.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ASE2023Other
Contrastive Learning for API Aspect Analysis.
G. M. Shahariar, Tahmid Hasan, Anindya Iqbal, Gias Uddin 0001
ASE2023Other
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
DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities.
Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen
ASE2023Mobile / Web / GUI / Android
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
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
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
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
Detecting Smart Home Automation Application Interferences with Domain Knowledge.
Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001
ASE2023Other
Detection of Java Basic Thread Misuses Based on Static Event Analysis.
Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan 0009
ASE2023Other
Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases.
Ze Tang 0002, Jidong Ge, Shangqing Liu, Tingwei Zhu, Tongtong Xu
ASE2023Other
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers.
Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal 0002
ASE2023Testing / QA; Human / Empirical / Socio-technical
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
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
ESRO: Experience Assisted Service Reliability against Outages.
Sarthak Chakraborty, Shubham Agarwal 0007, Shaddy Garg, Abhimanyu Sethia, Udit Narayan Pandey
ASE2023Performance / Energy / Reliability
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
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
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation.
Zuoyan Zhang, Bei Zhou 0004, Jiangwei Hao, Hongru Yang, Mengqi Cui
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
Enhancing Code Safety in Quantum Intermediate Representation.
Junjie Luo 0005, Jianjun Zhao 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
Evolve the Model Universe of a System Universe.
Tao Yue 0002, Shaukat Ali 0001
ASE2023Other
Expediting Neural Network Verification via Network Reduction.
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
ASE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
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
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers.
Eric Liu, Shengjie Xu, David Lie
ASE2023Testing / QA
Fast and Reliable Program Synthesis via User Interaction.
Yanju Chen, Chenglong Wang 0005, Xinyu Wang 0006, Osbert Bastani, Yu Feng 0001
ASE2023Other
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
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
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
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
From Commit Message Generation to History-Aware Commit Message Completion.
Aleksandra Eliseeva, Yaroslav Sokolov, Egor Bogomolov, Yaroslav Golubev, Danny Dig
ASE2023DevOps / CI / Build / Release
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
Function-Level Vulnerability Detection Through Fusing Multi-Modal Knowledge.
Chao Ni 0001, Xinrong Guo, Yan Zhu, Xiaodan Xu, Xiaohu Yang 0001
ASE2023Other
Fuzzing for CPS Mutation Testing.
Jaekwon Lee, Enrico Viganò, Oscar Cornejo 0001, Fabrizio Pastore, Lionel C. Briand
ASE2023Testing / QA
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
Generating Variable Explanations via Zero-shot Prompt Learning.
Chong Wang 0013, Yiling Lou, Junwei Liu, Xin Peng 0001
ASE2023Other
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
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
Government Mobile Apps: Analysing Citizen Feedback via App Reviews.
Tooba Aamir, Mohan Baruwal Chhetri, M. A. P. Chamikara, Marthie Grobler
ASE2023Mobile / Web / GUI / Android
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
HOBAT: Batch Verification for Homogeneous Structural Neural Networks.
Jingyang Li, Guoqiang Li 0001
ASE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
HexT5: Unified Pre-Training for Stripped Binary Code Information Inference.
Jiaqi Xiong, Guoqiang Chen, Kejiang Chen, Han Gao 0014, Shaoyin Cheng
ASE2023Other
Hot Patching Hot Fixes: Reflection and Perspectives.
Carol Hanna, Justyna Petke
ASE2023Other
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
How to Train Your Neural Bug Detector: Artificial vs Real Bugs.
Cedric Richter, Heike Wehrheim
ASE2023AI / LLM for SE
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
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
Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder Model.
Abdulkarim Malkadi, Ahmad Tayeb, Sonia Haiduc
ASE2023Other
Improving Design Reviews at Google.
Celal Ziftci, Ben Greenberg
ASE2023Requirements / Modeling / Architecture
Increasing the Responsiveness of Web Applications by Introducing Lazy Loading.
Alexi Turcotte, Satyajit Gokhale, Frank Tip
ASE2023Mobile / Web / GUI / Android
InfeRE: Step-by-Step Regex Generation via Chain of Inference.
Shuai Zhang, Xiaodong Gu 0002, Yuting Chen 0001, Beijun Shen
ASE2023Other
Information Retrieval-Based Fault Localization for Concurrent Programs.
Shuai Shao, Tingting Yu 0001
ASE2023Debugging / Fault Localization / Diagnosis / Repair
LEAP: Efficient and Automated Test Method for NLP Software.
Mingxuan Xiao, Yan Xiao 0002, Hai Dong, Shunhui Ji, Pengcheng Zhang 0001
ASE2023Testing / QA
LIV: Loop-Invariant Validation Using Straight-Line Programs.
Dirk Beyer 0001, Martin Spiessl
ASE2023Testing / QA; Program Analysis / Verification / Formal Methods
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
Learning to Locate and Describe Vulnerabilities.
Jian Zhang 0087, Shangqing Liu, Xu Wang 0007, Tianlin Li, Yang Liu 0003
ASE2023Other
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
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
Live Programming for Finite Model Finders.
Allison Sullivan
ASE2023Other
Log Parsing: How Far Can ChatGPT Go?
Van-Hoang Le, Hongyu Zhang 0002
ASE2023AI / LLM for SE
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
MELT: Mining Effective Lightweight Transformations from Pull Requests.
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins
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
MUT4SLX: Fast Mutant Generation for Simulink.
Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer
ASE2023Other
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
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
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
Merge Conflict Resolution: Classification or Generation?
Jinhao Dong, Qihao Zhu, Zeyu Sun 0004, Yiling Lou, Dan Hao 0001
ASE2023Other
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows.
Yujiang Gui, Dongjie He, Jingling Xue
ASE2023Security / Privacy / Vulnerability
Message from the Chairs: ASE 2023.
Tegawendé F. Bissyandé, Jacques Klein, Christian Bird, Federica Sarro
ASE2023Other
Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context.
Sai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal
ASE2023Other
Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem.
Lyuye Zhang, Chengwei Liu, Sen Chen 0001, Zhengzi Xu, Lingling Fan 0003
ASE2023Other
Modeling Programmer Attention as Scanpath Prediction.
Aakash Bansal, Chia-Yi Su, Zachary Karas, Yifan Zhang 0013, Yu Huang 0015
ASE2023Requirements / Modeling / Architecture
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
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.
Minghao Liu 0001, Kunhang Lv, Pei Huang 0002, Rui Han, Fuqi Jia
ASE2023Performance / Energy / Reliability
NaturalFuzz: Natural Input Generation for Big Data Analytics.
Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar
ASE2023Other
Neural SZZ Algorithm.
Lingxiao Tang, Lingfeng Bao, Xin Xia 0001, Zhongdong Huang
ASE2023AI / LLM for SE
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
On Automated Assistants for Software Development: The Role of LLMs.
Mira Leung, Gail C. Murphy
ASE2023Other
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-the-fly Improving Performance of Deep Code Models via Input Denoising.
Zhao Tian, Junjie Chen 0003, Xiangyu Zhang 0001
ASE2023Performance / Energy / Reliability
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
Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation.
Talank Baral, Shanto Rahman, Bala Naren Chanumolu, Basak Balci, Tuna Tuncer
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
PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001
ASE2023Other
PTDETECTOR: An Automated JavaScript Front-end Library Detector.
Xinyue Liu 0005, Lukasz Ziarek
ASE2023Other
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
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
Persisting and Reusing Results of Static Program Analyses on a Large Scale.
Johannes Düsing, Ben Hermann
ASE2023Other
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
PhyFu: Fuzzing Modern Physics Simulation Engines.
Dongwei Xiao, Zhibo Liu, Shuai Wang 0011
ASE2023Testing / QA
Pluggable Type Inference for Free.
Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst
ASE2023Program Analysis / Verification / Formal Methods
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
Potential Solutions to Challenges in C Program Repair: A Practical Perspective.
Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao
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
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
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
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
Provengo: A Tool Suite for Scenario Driven Model-Based Testing.
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
ASE2023Testing / QA
QuCAT: A Combinatorial Testing Tool for Quantum Software.
Xinyi Wang 0004, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001
ASE2023Testing / QA
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma 0003
ASE2023Testing / QA
REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes.
Chaozheng Wang, Zongjie Li, Yun Peng 0003, Shuzheng Gao, Sirong Chen
ASE2023Other
RJoules: An Energy Measurement Tool for R.
Rajrupa Chattaraj, Sridhar Chimalakonda
ASE2023Performance / Energy / Reliability
RPCover: Recovering gRPC Dependency in Multilingual Projects.
Aoyang Fang, Ruiyu Zhou, Xiaoying Tang 0002, Pinjia He
ASE2023Other
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
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
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
Revisiting and Improving Retrieval-Augmented Deep Assertion Generation.
Weifeng Sun 0004, Hongyan Li, Meng Yan 0001, Yan Lei, Hongyu Zhang 0002
ASE2023Testing / QA
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
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
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du
ASE2023Other
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
SMT Solver Validation Empowered by Large Pre-Trained Language Models.
Maolin Sun, Yibiao Yang, Yang Wang 0165, Ming Wen 0001, Haoxiang Jia
ASE2023Testing / QA
Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing.
Justin Kur, Jingshu Chen, Jun Huang 0001
ASE2023Testing / QA
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
Semantic Data Augmentation for Deep Learning Testing Using Generative AI.
Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas
ASE2023Testing / QA; AI / LLM for SE
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
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
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
Sicheng Hao 0001, Yuhong Nan, Zibin Zheng, Xiaohui Liu
ASE2023Other
Software Engineering Using Autonomous Agents: Are We There Yet?
Samdyuti Suri, Sankar Narayan Das, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma
ASE2023Other
Software Entity Recognition with Noise-Robust Learning.
Tai Nguyen 0005, Yifeng Di, Joohan Lee, Muhao Chen 0001, Tianyi Zhang 0001
ASE2023Performance / Energy / Reliability
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
ASE2023Testing / QA
Symbolic Fixpoint Algorithms for Logical LTL Games.
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
ASE2023Program Analysis / Verification / Formal Methods
Symbolic Verification of Fuzzy Logic Models.
Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang 0001
ASE2023Program Analysis / Verification / Formal Methods
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
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software.
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu
ASE2023Testing / QA
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
The MAP Metric in Information Retrieval Fault Localization.
Thomas Hirsch, Birgit Hofer
ASE2023Debugging / Fault Localization / Diagnosis / Repair
The Plastic Surgery Hypothesis in the Era of Large Language Models.
Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang 0001
ASE2023Other
Thunderkaller: Profiling and Improving the Performance of Syzkaller.
Yang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma
ASE2023Performance / Energy / Reliability
To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems.
Mukelabai Mukelabai, Christoph Derks, Jacob Krüger, Thorsten Berger
ASE2023Testing / QA
Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?
Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota
ASE2023Maintenance / Evolution / Refactoring / Review
Towards Autonomous Testing Agents via Conversational Large Language Models.
Robert Feldt, Sungmin Kang, Juyeon Yoon, Shin Yoo
ASE2023Testing / QA
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 Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching.
Shubham Kulkarni, Arya Marda, Karthik Vaidhyanathan
ASE2023AI / LLM for SE
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 a Knowledge Base of Common Sustainability Weaknesses in Green Software Development.
Priyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder
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
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
Understanding and Enhancing Issue Prioritization in GitHub.
Yingying He, Wenhua Yang 0001, Minxue Pan, Yasir Hussain, Yu Zhou 0010
ASE2023Human / Empirical / Socio-technical
Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem.
Weiwei Xu 0001, Hao He 0012, Kai Gao 0008, Minghui Zhou 0001
ASE2023Other
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
Using Deep Learning to Automatically Improve Code Readability.
Antonio Vitale, Valentina Piantadosi, Simone Scalabrino, Rocco Oliveto
ASE2023AI / LLM for SE; Education / Program Comprehension
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
VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device.
Yuwei Liu 0001, Siqi Chen, Yuchong Xie, Yanhao Wang, Libo Chen 0001
ASE2023Testing / QA
VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage.
Xiaoyin Wang, Tahmid Rafi, Na Meng 0001
ASE2023Testing / QA
Vicious Cycles in Distributed Software Systems.
Shangshu Qian, Wen Fan, Lin Tan 0001, Yongle Zhang
ASE2023Cloud / Microservices / Distributed Systems
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
WADIFF: A Differential Testing Framework for WebAssembly Runtimes.
Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou 0043, Haoyu Wang 0001
ASE2023Testing / QA
Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs.
Shi Meng, Liu Wang 0002, Shenao Wang 0001, Kailong Wang 0001, Xusheng Xiao
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
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
Where to Go Now? Finding Alternatives for Declining Packages in the npm Ecosystem.
Suhaib Mujahid, Diego Elias Costa, Rabe Abdalkareem, Emad Shihab
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
ZC
Jia Li 0012, Chongyang Tao, Zhi Jin 0001, Fang Liu 0032, Jia Li 0011
ASE2023Other
Zero-Config Fuzzing for Microservices.
Wei Wang, Andrei Benea, Franjo Ivancic
ASE2023Testing / QA
cegar-pt: A Tool for Abstraction by Program Transformation.
Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl
ASE2023Other
iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm.
Neng Zhang 0001, Qinde Chen, Zibin Zheng, Ying Zou 0001
ASE2023Other