Software Engineering Empirical Research Radar

FSE Papers

Recent FSE papers in the SEER Radar snapshot.

PaperVenueYearTopics
Zero-Shot Cross-Domain Code Search without Fine-Tuning.
Keyu Liang; Zhongxin Liu 0002; Chao Liu 0014; Zhiyuan Wan; David Lo 0001; Xiaohu Yang 0001
FSE2025Other
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.
Xiaokun Luan; David Sanán; Zhe Hou; Qiyuan Xu; Chengwei Liu; Yufan Cai 0001; Yang Liu 0003; Meng Sun 0002
FSE2025Human / Empirical / Socio-technical
Who Will Stop Contributing to OSS Projects? Predicting Company Turnover Based on Initial Behavior.
Mian Qin; Yuxia Zhang; Klaas-Jan Stol; Hui Liu 0003
FSE2025Other
VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-object Typestate Analysis.
Liqing Cao; Haofeng Li; Chenghang Shi; Jie Lu 0009; Haining Meng; Lian Li 0002; Jingling Xue
FSE2025Other
VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation.
Zhijie Wang 0014; Zhehua Zhou; Jiayang Song; Yuheng Huang 0004; Zhan Shu 0001; Lei Ma 0003
FSE2025Testing / QA
Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers.
Md Rashedul Hasan; Mohammad Rashedul Hasan; Hamid Bagheri
FSE2025Other
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions.
Sujin Jang; Yeonhee Ryou; Heewon Lee; Kihong Heo
FSE2025Testing / QA
Understanding and Characterizing Mock Assertions in Unit Tests.
Hengcheng Zhu 0001; Valerio Terragni; Lili Wei 0001; Shing-Chi Cheung; Jiarong Wu; Yepang Liu 0001
FSE2025Testing / QA
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation.
Yuan Li; Peisen Yao; Kan Yu; Chengpeng Wang 0001; Yaoyang Ye; Song Li 0006; Meng Luo 0002; Yepang Liu 0001; Kui Ren 0001
FSE2025Testing / QA; Security / Privacy / Vulnerability
Understanding Debugging as Episodes: A Case Study on Performance Bugs in Configurable Software Systems.
Max Weber; Alina Mailach; Sven Apel; Janet Siegmund; Raimund Dachselt; Norbert Siegmund
FSE2025Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; Performance / Energy / Reliability
TracePicker: Optimization-Based Trace Sampling for Microservice-Based Systems.
Shuaiyu Xie; Jian Wang 0018; Maodong Li 0006; Peiran Chen; Jifeng Xuan; Bing Li 0010
FSE2025Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Towards Understanding Performance Bugs in Popular Data Science Libraries.
Haowen Yang; Zhengda Li; Zhiqing Zhong; Xiaoying Tang 0002; Pinjia He
FSE2025Performance / Energy / Reliability
Towards Understanding Fine-Grained Programming Mistakes and Fixing Patterns in Data Science.
Wei-Hao Chen; Jia Lin Cheoh; Manthan Keim; Sabine Brunswicker; Tianyi Zhang 0001
FSE2025Other
Towards Understanding Docker Build Faults in Practice: Symptoms, Root Causes, and Fix Patterns.
Yiwen Wu 0001; Yang Zhang 0026; Tao Wang 0006; Bo Ding 0007; Huaimin Wang 0001
FSE2025Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Towards Diverse Program Transformations for Program Simplification.
Haibo Wang; Zezhong Xing; Chengnian Sun; Zheng Wang 0001; Shin Hwei Tan
FSE2025Other
Today's Cat Is Tomorrow's Dog: Accounting for Time-Based Changes in the Labels of ML Vulnerability Detection Approaches.
Ranindya Paramitha; Yuan Feng; Fabio Massacci
FSE2025Maintenance / Evolution / Refactoring / Review
The Struggles of LLMs in Cross-Lingual Code Clone Detection.
Micheline Bénédicte Moumoula; Abdoul Kader Kaboré; Jacques Klein; Tegawendé F. Bissyandé
FSE2025Maintenance / Evolution / Refactoring / Review
The Landscape of Toxicity: An Empirical Investigation of Toxicity on GitHub.
Jaydeb Sarker; Asif Kamal Turzo; Amiangshu Bosu
FSE2025Human / Empirical / Socio-technical
Teaching AI the 'Why' and 'How' of Software Vulnerability Fixes.
Amiao Gao; Zenong Zhang; Simin Wang; Liguo Huang; Shiyi Wei; Vincent Ng 0001
FSE2025AI / LLM for SE
Statement-Level Adversarial Attack on Vulnerability Detection Models via Out-of-Distribution Features.
Xiaohu Du; Ming Wen 0001; Haoyu Wang; Zichao Wei; Hai Jin 0001
FSE2025Security / Privacy / Vulnerability
Standing on the Shoulders of Giants: Bug-Aware Automated GUI Testing via Retrieval Augmentation.
Mengzhuo Chen; Zhe Liu 0025; Chunyang Chen 0001; Junjie Wang 0001; Boyu Wu; Jun Hu 0015; Qing Wang 0001
FSE2025Testing / QA; Mobile / Web / GUI / Android
Software Fairness Dilemma: Is Bias Mitigation a Zero-Sum Game?
Zhenpeng Chen 0001; Xinyue Li; Jie M. Zhang; Weisong Sun; Ying Xiao; Tianlin Li; Yiling Lou; Yang Liu 0003
FSE2025Other
SmartShot: Hunt Hidden Vulnerabilities in Smart Contracts using Mutable Snapshots.
Ruichao Liang; Jing Chen 0003; Ruochen Cao; Kun He 0008; Ruiying Du; Shuhua Li; Zheng Lin 0001; Cong Wu 0003
FSE2025Other
SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works.
Farbod Daneshyan; Runzhi He; Jianyu Wu; Minghui Zhou 0001
FSE2025AI / LLM for SE; DevOps / CI / Build / Release
Smart Contract Fuzzing Towards Profitable Vulnerabilities.
Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 0003; Yue Xue; Ye Liu 0012; Haijun Wang 0002; Yang Liu 0003
FSE2025Testing / QA; Security / Privacy / Vulnerability
Smaller but Better: Self-Paced Knowledge Distillation for Lightweight yet Effective LCMs.
Yujia Chen 0004; Yang Ye; Zhongqi Li; Yuchi Ma; Cuiyun Gao 0001
FSE2025Other
SemBIC: Semantic-Aware Identification of Bug-Inducing Commits.
Xiao Chen 0026; Hengcheng Zhu 0001; Jialun Cao; Ming Wen 0001; Shing-Chi Cheung
FSE2025Other
Scientific Open-Source Software Is Less Likely to Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software.
Addi Malviya-Thakur; Reed Milewicz; Mahmoud Jahanshahi; Lavínia Paganini; Bogdan Vasilescu; Audris Mockus
FSE2025Other
Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems.
Trey Woodlief; Felipe Toledo; Matthew B. Dwyer; Sebastian G. Elbaum
FSE2025Other
Revolutionizing Newcomers' Onboarding Process in OSS Communities: The Future AI Mentor.
Xin Tan 0003; Xiao Long; Yinghao Zhu; Lin Shi 0006; Xiaoli Lian; Li Zhang 0029
FSE2025AI / LLM for SE
Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis.
Xiaolei Ren 0001; Mengfei Ren 0001; Yu Lei 0001; Jiang Ming 0002
FSE2025Performance / Energy / Reliability
ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement.
Tanakorn Leesatapornwongsa; Fazle Elahi Faisal; Suman Nath
FSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
RegTrieve: Reducing System-Level Regression Errors for Machine Learning Systems via Retrieval-Enhanced Ensemble.
Junming Cao; Xuwen Xiang; Mingfei Cheng; Bihuan Chen 0001; Xinyan Wang; You Lu 0005; Chaofeng Sha; Xiaofei Xie; Xin Peng 0001
FSE2025Testing / QA; AI / LLM for SE
Recasting Type Hints from WebAssembly Contracts.
Kunsong Zhao; Zihao Li 0001; Weimin Chen; Xiapu Luo; Ting Chen 0002; Guozhu Meng; Yajin Zhou
FSE2025Program Analysis / Verification / Formal Methods
RePurr: Automated Repair of Block-Based Learners' Programs.
Sebastian Schweikl; Gordon Fraser 0001
FSE2025Debugging / Fault Localization / Diagnosis / Repair
Ransomware Detection through Temporal Correlation between Encryption and I/O Behavior.
Lihua Guo; Yiwei Hou; Chijin Zhou; Quan Zhang 0003; Yu Jiang 0001
FSE2025Other
ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems.
Sayali Kate; Yifei Gao; Shiwei Feng 0002; Xiangyu Zhang 0001
FSE2025Other
QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints.
Xu Yang; Zhenbang Chen 0001; Wei Dong 0006; Ji Wang 0001
FSE2025Performance / Energy / Reliability
Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts.
Jenny T. Liang; Melissa Lin; Nikitha Rao; Brad A. Myers
FSE2025Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend against Supply Chain Attacks.
Hao He 0012; Bogdan Vasilescu; Christian Kästner
FSE2025Other
PDCAT: Preference-Driven Compiler Auto-tuning.
Mingxuan Zhu; Zeyu Sun 0004; Dan Hao 0001
FSE2025Other
One-for-All Does Not Work! Enhancing Vulnerability Detection by Mixture-of-Experts (MoE).
Xu Yang; Shaowei Wang 0002; Jiayuan Zhou; Wenhan Zhu
FSE2025Other
On-Demand Scenario Generation for Testing Automated Driving Systems.
Songyang Yan; Xiaodong Zhang 0014; Kunkun Hao; Haojie Xin; Yonggang Luo; Jucheng Yang 0001; Ming Fan 0002; Chao Yang 0025; Jun Sun 0001; Zijiang Yang 0006
FSE2025Testing / QA
On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations.
Yuteng Sun; Joyanta Debnath; Wenzheng Hong; Omar Chowdhury; Sze Yiu Chau
FSE2025Other
On the Characteristics and Impacts of Protestware Libraries.
Tanner Finken; Jesse Chen; Sazzadur Rahaman
FSE2025Other
No More Labelled Examples? An Unsupervised Log Parser with LLMs.
Junjie Huang 0008; Zhihan Jiang; Zhuangbin Chen; Michael R. Lyu
FSE2025Other
NLP Libraries, Energy Consumption and Runtime: An Empirical Study.
Rajrupa Chattaraj; Sridhar Chimalakonda
FSE2025Human / Empirical / Socio-technical; Performance / Energy / Reliability
Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM.
Susheng Wu; Ruisi Wang; Yiheng Cao; Bihuan Chen 0001; Zhuotong Zhou; Yiheng Huang; Junpeng Zhao; Xin Peng 0001
FSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing.
Zhi Tu; Liangkun Niu; Wei Fan; Tianyi Zhang 0001
FSE2025Testing / QA
Mitigating Emergent Malware Label Noise in DNN-Based Android Malware Detection.
Haodong Li; Xiao Cheng 0002; Guohan Zhang; Guosheng Xu 0001; Guoai Xu; Haoyu Wang 0001
FSE2025Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
MiSum: Multi-modality Heterogeneous Code Graph Learning for Multi-intent Binary Code Summarization.
Kangchen Zhu; Zhiliang Tian; Shangwen Wang; Weiguo Chen; Zixuan Dong; Mingyue Leng; Xiaoguang Mao
FSE2025Other
MendelFuzz: The Return of the Deterministic Stage.
Han Zheng 0006; Flavio Toffalini; Marcel Böhme; Mathias Payer
FSE2025Other
Medusa: A Framework for Collaborative Development of Foundation Models with Automated Parameter Ownership Assignment.
Dezhi Ran; Yuan Cao; Yuzhe Guo; Yuetong Li; Mengzhou Wu; Simin Chen; Wei Yang 0013; Tao Xie 0001
FSE2025Other
LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts.
Shoupeng Ren; Lipeng He; Tianyu Tu; Di Wu; Jian Liu 0012; Kui Ren 0001; Chun Chen 0001
FSE2025Other
LlamaRestTest: Effective REST API Testing with Small Language Models.
Myeongsoo Kim; Saurabh Sinha 0003; Alessandro Orso
FSE2025Testing / QA
Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance without Consumer Code.
Flavio Toffalini; Nicolas Badoux; Zurab Tsinadze; Mathias Payer
FSE2025Testing / QA
Less Is More: On the Importance of Data Quality for Unit Test Generation.
Junwei Zhang; Xing Hu 0008; Shan Gao 0009; Xin Xia 0001; David Lo 0001; Shanping Li
FSE2025Testing / QA
Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End".
Francesco Sovrano; Adam Bauer; Alberto Bacchelli
FSE2025Other
LLMDroid: Enhancing Automated Mobile App GUI Testing Coverage with Large Language Model Guidance.
Chenxu Wang 0011; Tianming Liu 0002; Yanjie Zhao 0001; Minghui Yang; Haoyu Wang 0001
FSE2025Testing / QA; AI / LLM for SE; Mobile / Web / GUI / Android
LLM-Based Method Name Suggestion with Automatically Generated Context-Rich Prompts.
Waseem Akram 0007; Yanjie Jiang; Yuxia Zhang; Haris Ali Khan; Hui Liu 0003
FSE2025AI / LLM for SE
It's Acting Odd! Exploring Equivocal Behaviors of Goodware.
Gregorio Dalia; Andrea Di Sorbo; Corrado Aaron Visaggio; Gerardo Canfora
FSE2025Other
Integrating Large Language Models and Reinforcement Learning for Non-linear Reasoning.
Yoav Alon; Cristina David
FSE2025Other
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications.
Xiaoli Lian; Shuaisong Wang; Hanyu Zou; Fang Liu 0032; Jiajun Wu 0024; Li Zhang 0029
FSE2025Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
Impact of Request Formats on Effort Estimation: Are LLMs Different Than Humans?
Gül Çalikli; Mohammed Alhamed
FSE2025Other
IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models.
Sayem Mohammad Imtiaz; Astha Singh; Fraol Batole; Hridesh Rajan
FSE2025Debugging / Fault Localization / Diagnosis / Repair
How Do Programming Students Use Generative AI?
Christian Rahe; Walid Maalej
FSE2025AI / LLM for SE
HornBro: Homotopy-Like Method for Automated Quantum Program Repair.
Siwei Tan; Liqiang Lu; Debin Xiang; Tianyao Chu; Congliang Lang; Jintao Chen 0001; Xing Hu 0008; Jianwei Yin
FSE2025Debugging / Fault Localization / Diagnosis / Repair
Has My Code Been Stolen for Model Training? A Naturalness Based Approach to Code Contamination Detection.
Haris Ali Khan; Yanjie Jiang; Qasim Umer; Yuxia Zhang; Waseem Akram 0007; Hui Liu 0003
FSE2025Other
Hallucination Detection in Large Language Models with Metamorphic Relations.
Borui Yang; Md Afif Al Mamun; Jie M. Zhang; Gias Uddin 0001
FSE2025Other
Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities.
Bruno Kreyssig; Alexandre Bartel
FSE2025Other
Expressing and Checking Statistical Assumptions.
Alexi Turcotte; Zheyuan Wu
FSE2025Other
Error Delayed Is Not Error Handled: Understanding and Fixing Propagated Error-Handling Bugs.
Haoran Liu; Shan-shan Li 0001; Zhouyang Jia; Yuanliang Zhang; Linxiao Bai; Si Zheng 0003; Xiaoguang Mao; Xiangke Liao
FSE2025Other
Enhancing Web Accessibility: Automated Detection of Issues with Generative AI.
Ziyao He; Syed Fatiul Huq; Sam Malek
FSE2025AI / LLM for SE; Mobile / Web / GUI / Android
Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs.
Valentin Bourcier; Pooja Rani 0001; Maximilian Ignacio Willembrinck Santander; Alberto Bacchelli; Steven Costiou
FSE2025Debugging / Fault Localization / Diagnosis / Repair
Eliminating Backdoors in Neural Code Models for Secure Code Understanding.
Weisong Sun; Yuchen Chen; Chunrong Fang; Yebo Feng; Yuan Xiao 0003; An Guo 0002; Quanjun Zhang; Zhenyu Chen 0001; Baowen Xu; Yang Liu 0003
FSE2025AI / LLM for SE
Element-Based Automated DNN Repair with Fine-Tuned Masked Language Model.
Xu Wang 0007; Mingming Zhang; Xiangxin Meng; Jian Zhang 0087; Yang Liu 0003; Chunming Hu
FSE2025Debugging / Fault Localization / Diagnosis / Repair
Dynamic Taint Tracking for Modern Java Virtual Machines.
Katherine Hough; Jonathan Bell 0001
FSE2025Security / Privacy / Vulnerability
DyLin: A Dynamic Linter for Python.
Aryaz Eghbali; Felix Burk; Michael Pradel
FSE2025Other
DuoReduce: Bug Isolation for Multi-layer Extensible Compilation.
Jiyuan Wang; Yuxin Qiu; Ben Limpanukorn; Hong Jin Kang; Qian Zhang 0020; Miryung Kim
FSE2025Other
Doc2OracLL: Investigating the Impact of Documentation on LLM-Based Test Oracle Generation.
Soneya Binta Hossain; Raygan Taylor; Matthew B. Dwyer
FSE2025Testing / QA; AI / LLM for SE
Divide-and-Conquer: Generating UI Code from Screenshots.
Yuxuan Wan; Chaozheng Wang; Yi Dong; Wenxuan Wang 0001; Shuqing Li 0001; Yintong Huo; Michael R. Lyu
FSE2025Mobile / Web / GUI / Android
Dissecting Real-World Cross-Language Bugs.
Haoran Yang 0002; Haipeng Cai
FSE2025Other
Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing.
Weiyuan Tong; Zixu Wang; Zhanyong Tang; Jianbin Fang; Yuqun Zhang; Guixin Ye
FSE2025Testing / QA
DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models.
Xing Su; Hanzhong Liang; Hao Wu 0067; Ben Niu 0001; Fengyuan Xu; Sheng Zhong 0002
FSE2025Other
Detecting and Reducing the Factual Hallucinations of Large Language Models with Metamorphic Testing.
Weibin Wu 0002; Yuhang Cao; Ning Yi; Rongyi Ou; Zibin Zheng
FSE2025Testing / QA
Detecting and Handling WoT Violations by Learning Physical Interactions from Device Logs.
Bingkun Sun; Shiqi Sun; Jialin Ren; Mingming Hu; Kun Hu 0001; Liwei Shen; Xin Peng 0001
FSE2025Cloud / Microservices / Distributed Systems
Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution.
Yinxi Liu; Wei Meng 0001; Yinqian Zhang
FSE2025Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Detecting Metadata-Related Bugs in Enterprise Applications.
Md Mahir Asef Kabir; Xiaoyin Wang; Na Meng 0001
FSE2025Other
Demystifying Memorization in LLM-Based Program Repair via a General Hypothesis Testing Framework.
Jiaolong Kong; Xiaofei Xie; Shangqing Liu
FSE2025Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Demystifying LLM-Based Software Engineering Agents.
Chunqiu Steven Xia; Yinlin Deng; Soren Dunn; Lingming Zhang 0001
FSE2025AI / LLM for SE
DeclarUI: Bridging Design and Development with Automated Declarative UI Code Generation.
Ting Zhou; Yanjie Zhao 0001; Xinyi Hou; Xiaoyu Sun 0002; Kai Chen 0030; Haoyu Wang 0001
FSE2025Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
De-duplicating Silent Compiler Bugs via Deep Semantic Representation.
Junjie Chen 0003; Xingyu Fan; Chen Yang; Shuang Liu 0007; Jun Sun 0001
FSE2025Other
Cross-System Categorization of Abnormal Traces in Microservice-Based Systems via Meta-Learning.
Yuqing Wang 0002; Mika V. Mäntylä; Serge Demeyer; Mutlu Beyazit; Joanna Kisaakye; Jesse Nyyssölä
FSE2025Cloud / Microservices / Distributed Systems
CoverUp: Effective High Coverage Test Generation for Python.
Juan Altmayer Pizzorno; Emery D. Berger
FSE2025Testing / QA
Core Developer Turnover in the Rust Package Ecosystem: Prevalence, Impact, and Awareness.
Meng Fan; Yuxia Zhang; Klaas-Jan Stol; Hui Liu 0003
FSE2025Human / Empirical / Socio-technical
Code Red! On the Harmfulness of Applying Off-the-Shelf Large Language Models to Programming Tasks.
Ali Al-Kaswan; Sebastian Deatc; Begüm Koç; Arie van Deursen; Maliheh Izadi
FSE2025Other
Code Change Intention, Development Artifact, and History Vulnerability: Putting Them Together for Vulnerability Fix Detection by LLM.
Xu Yang; Wenhan Zhu; Michael Pacheco; Jiayuan Zhou; Shaowei Wang 0002; Xing Hu 0008; Kui Liu 0001
FSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
Clone Detection for Smart Contracts: How Far Are We?
Zuobin Wang; Zhiyuan Wan; Yujing Chen; Yun Zhang 0011; David Lo 0001; Difan Xie; Xiaohu Yang 0001
FSE2025Maintenance / Evolution / Refactoring / Review
ChatDBG: Augmenting Debugging with Large Language Models.
Kyla Levin; Nicolas van Kempen; Emery D. Berger; Stephen N. Freund
FSE2025Debugging / Fault Localization / Diagnosis / Repair
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution.
Lars Gröninger; Beatriz Souza; Michael Pradel
FSE2025Maintenance / Evolution / Refactoring / Review
Calibration of Large Language Models on Code Summarization.
Yuvraj Virk; Premkumar T. Devanbu; Toufique Ahmed
FSE2025Other
CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building.
Zhengmin Yu; Yuan Zhang 0009; Ming Wen 0001; Yinan Nie; Wenhui Zhang; Min Yang 0002
FSE2025AI / LLM for SE; Human / Empirical / Socio-technical
CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction.
Hridya Dhulipala; Aashish Yadavally; Smit Soneshbhai Patel; Tien N. Nguyen
FSE2025Testing / QA
COFFE: A Code Efficiency Benchmark for Code Generation.
Yun Peng 0003; Jun Wan; Yichen Li 0003; Xiaoxue Ren
FSE2025Performance / Energy / Reliability
CKTyper: Enhancing Type Inference for Java Code Snippets by Leveraging Crowdsourcing Knowledge in Stack Overflow.
Anji Li 0001; Neng Zhang 0001; Ying Zou 0001; Zhixiang Chen 0016; Jian Wang 0018; Zibin Zheng
FSE2025Program Analysis / Verification / Formal Methods
CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift.
Jiongchi Yu; Xiaofei Xie; Qiang Hu; Bowen Zhang; Ziming Zhao 0008; Yun Lin 0001; Lei Ma 0003; Ruitao Feng; Frank Liauw
FSE2025Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems
Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach.
Xingpei Li; Yan Lei; Zhouyang Jia; Yuanliang Zhang; Haoran Liu; Liqian Chen; Wei Dong 0006; Shan-shan Li 0001
FSE2025Other
Blended Analysis for Predictive Execution.
Yi Li 0048; Hridya Dhulipala; Aashish Yadavally; Xiaokai Rong; Shaohua Wang 0002; Tien N. Nguyen
FSE2025Other
Beyond PEFT: Layer-Wise Optimization for More Effective and Efficient Large Code Model Tuning.
Chaozheng Wang; Jia Feng; Shuzheng Gao; Cuiyun Gao 0001; Zongjie Li; Ting Peng; Hailiang Huang 0004; Yuetang Deng; Michael R. Lyu
FSE2025AI / LLM for SE; Performance / Energy / Reliability
Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models.
Yanlin Wang 0001; Tianyue Jiang; Mingwei Liu 0002; Jiachi Chen; Mingzhi Mao; Xilin Liu 0001; Yuchi Ma; Zibin Zheng
FSE2025Other
Automatically Fixing Dependency Breaking Changes.
Lukas Fruntke; Jens Krinke
FSE2025Maintenance / Evolution / Refactoring / Review
Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions.
Shaila Sharmin; Anwar Hossain Zahid; Subhankar Bhattacharjee; Chiamaka Igwilo; Miryung Kim; Wei Le
FSE2025AI / LLM for SE
Automated and Accurate Token Transfer Identification and Its Applications in Cryptocurrency Security.
Shuwei Song; Ting Chen 0002; Ao Qiao; Xiapu Luo; Leqing Wang; Zheyuan He; Ting Wang 0006; Xiaodong Lin 0001; Peng He; Wensheng Zhang; Xiaosong Zhang 0001
FSE2025Security / Privacy / Vulnerability
Automated Unit Test Refactoring.
Yi Gao; Xing Hu 0008; Xiaohu Yang 0001; Xin Xia 0001
FSE2025Testing / QA; Maintenance / Evolution / Refactoring / Review
Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers.
Lam Nguyen Tung; Steven Cho; Xiaoning Du 0001; Neelofar; Valerio Terragni; Stefano Ruberto; Aldeida Aleti
FSE2025Testing / QA; AI / LLM for SE
Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead.
Yanqi Su; Zhenchang Xing; Chong Wang 0013; Chunyang Chen 0001; Xiwei Xu 0001; Qinghua Lu 0001; Liming Zhu 0001
FSE2025Testing / QA
Automated Recognition of Buggy Behaviors from Mobile Bug Reports.
Zhaoxu Zhang; Komei Ryu; Tingting Yu 0001; William G. J. Halfond
FSE2025Mobile / Web / GUI / Android
Automated Extraction and Analysis of Developer's Rationale in Open Source Software.
Mouna Dhaouadi; Bentley Oakes; Michalis Famelis
FSE2025Human / Empirical / Socio-technical
An Empirical Study on Release-Wise Refactoring Patterns.
Shayan Noei; Heng Li 0007; Ying Zou 0001
FSE2025Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
An Empirical Study of Suppressed Static Analysis Warnings.
Huimin Hu; Yingying Wang; Julia Rubin; Michael Pradel
FSE2025Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
An Empirical Study of Code Clones from Commercial AI Code Generators.
Weibin Wu 0002; Haoxuan Hu; Zhaoji Fan; Yitong Qiao; Yizhan Huang; Yichen Li 0003; Zibin Zheng; Michael R. Lyu
FSE2025AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study of Bugs in Data Visualization Libraries.
Weiqi Lu; Yongqiang Tian 0001; Xiaohan Zhong; Haoyang Ma; Zhenyang Xu; Shing-Chi Cheung; Chengnian Sun
FSE2025Human / Empirical / Socio-technical
An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code.
Mootez Saad; José Antonio Hernández López; Boqi Chen; Dániel Varró; Tushar Sharma 0001
FSE2025Other
AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation.
Ali Reza Ibrahimzada; Kaiyao Ke; Mrigank Pawagi; Muhammad Salman Abid; Rangeet Pan; Saurabh Sinha 0003; Reyhaneh Jabbarvand
FSE2025Testing / QA; Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release
Alert Summarization for Online Service Systems by Validating Propagation Paths of Faults.
Jia Chen 0037; Yuang He; Peng Wang 0027; Xiaolei Chen 0001; Jie Shi 0010; Wei Wang 0009
FSE2025Other
Adaptive Random Testing with Q-grams: The Illusion Comes True.
Matteo Biagiola; Robert Feldt; Paolo Tonella
FSE2025Testing / QA
A New Approach to Evaluating Nullability Inference Tools.
Nima Karimipour; Erfan Arvan; Martin Kellogg; Manu Sridharan
FSE2025Other
A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings.
Shaoheng Cao; Renyi Chen; Wenhua Yang 0001; Minxue Pan; Xuandong Li
FSE2025Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
A Knowledge Enhanced Large Language Model for Bug Localization.
Yue Li 0047; Bohan Liu 0003; Ting Zhang 0011; Zhiqi Wang; David Lo 0001; Lanxin Yang; Jun Lyu; He Zhang 0001
FSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
A Comprehensive Study of Bug-Fix Patterns in Autonomous Driving Systems.
Yuntianyi Chen; Yuqi Huai; Yirui He; Shilong Li 0002; Changnam Hong; Qi Alfred Chen; Joshua Garcia
FSE2025Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
A Causal Learning Framework for Enhancing Robustness of Source Code Models.
Junyao Ye; Zhen Li 0027; Xi Tang; Deqing Zou; Shouhuai Xu; Weizhong Qiang; Hai Jin 0001
FSE2025Other
10 Years Later: Revisiting How Developers Search for Code.
Kathryn T. Stolee; Tobias Welp; Caitlin Sadowski; Sebastian G. Elbaum
FSE2025Human / Empirical / Socio-technical
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials.
Yizhan Huang; Yichen Li 0003; Weibin Wu 0002; Jianping Zhang 0002; Michael R. Lyu
FSE2024AI / LLM for SE; Security / Privacy / Vulnerability
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example.
Malinda Dilhara; Abhiram Bellur; Timofey Bryksin; Danny Dig
FSE2024Maintenance / Evolution / Refactoring / Review
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications.
Dhanushka Jayasuriya; Valerio Terragni; Jens Dietrich 0001; Kelly Blincoe
FSE2024Maintenance / Evolution / Refactoring / Review
Understanding and Detecting Annotation-Induced Faults of Static Analyzers.
Huaien Zhang; Yu Pei 0001; Shuyun Liang; Shin Hwei Tan
FSE2024Other
Understanding Developers' Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem.
Anderson Oliveira; João Lucas Correia; Wesley K. G. Assunção; Juliana Alves Pereira; Rafael Maiani de Mello; Daniel Coutinho; Caio Barbosa; Paulo Vítor C. F. Libório; Alessandro Garcia 0001
FSE2024Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State.
Haiyu Huang 0002; Xiaoyu Zhang; Pengfei Chen 0002; Zilong He; Zhiming Chen; Guangba Yu; Hongyang Chen 0002; Chen Sun 0005
FSE2024Cloud / Microservices / Distributed Systems
Towards Efficient Verification of Constant-Time Cryptographic Implementations.
Luwei Cai; Fu Song; Taolue Chen 0001
FSE2024Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations.
Jun Lyu; Shanshan Li 0002; He Zhang 0001; Lanxin Yang; Bohan Liu 0003; Manuel Rigger
FSE2024DevOps / CI / Build / Release
Towards Better Graph Neural Network-Based Fault Localization through Enhanced Code Representation.
Md Nakhla Rafi; Dong Jae Kim; An Ran Chen; Tse-Hsun (Peter) Chen; Shaowei Wang 0002
FSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Towards AI-Assisted Synthesis of Verified Dafny Methods.
Md Rakib Hossain Misu; Cristina V. Lopes; Iris Ma; James Noble 0001
FSE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers.
Changwei Zou; Dongjie He; Yulei Sui; Jingling Xue
FSE2024Program Analysis / Verification / Formal Methods
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation.
Sourav Deb; Kush Jain; Rijnard van Tonder; Claire Le Goues; Alex Groce
FSE2024Other
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li 0002; Yue Xue; Sen Chen 0001; Han Liu 0012; Kairan Sun; Ming Hu 0003; Haijun Wang 0002; Yang Liu 0003; Yixiang Chen 0001
FSE2024Testing / QA; Security / Privacy / Vulnerability
State Reconciliation Defects in Infrastructure as Code.
Md. Mahadi Hassan; John Salvador; Shubhra Kanti Karmaker Santu; Akond Rahman
FSE2024Other
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Zeqin Liao; Yuhong Nan; Henglong Liang; Sicheng Hao 0001; Juan Zhai; Jiajing Wu; Zibin Zheng
FSE2024Program Analysis / Verification / Formal Methods
SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach.
Xin Jin; Zhiqiang Lin 0001
FSE2024AI / LLM for SE
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations.
David Broneske; Sebastian Kittan; Jacob Krüger
FSE2024Maintenance / Evolution / Refactoring / Review
Shadows in the Interface: A Comprehensive Study on Dark Patterns.
Liming Nie; Yangyang Zhao; Chenglin Li; Xuqiong Luo; Yang Liu 0003
FSE2024Human / Empirical / Socio-technical
Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules.
Shengcheng Yu; Chunrong Fang; Quanjun Zhang; Mingzhe Du; Jia Liu 0015; Zhenyu Chen 0001
FSE2024Testing / QA
Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks.
Wei Wang 0353; Huilong Ning; Gaowei Zhang; Libo Liu; Yi Wang 0013
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Revealing Software Development Work Patterns with PR-Issue Graph Topologies.
Cleidson R. B. de Souza; Emilie Ma; Jesse Wong; Dongwook Yoon; Ivan Beschastnikh
FSE2024Other
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models.
Zejun Zhang 0006; Zhenchang Xing; Xiaoxue Ren; Qinghua Lu 0001; Xiwei Xu 0001
FSE2024Maintenance / Evolution / Refactoring / Review
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction.
Gengyi Sun; Sarra Habchi; Shane McIntosh
FSE2024DevOps / CI / Build / Release
R2I: A Relative Readability Metric for Decompiled Code.
Haeun Eom; Dohee Kim; Sori Lim; Hyungjoon Koo; Sungjae Hwang
FSE2024Education / Program Comprehension
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages.
Kai Gao 0008; Weiwei Xu 0001; Wenhao Yang; Minghui Zhou 0001
FSE2024DevOps / CI / Build / Release
ProveNFix: Temporal Property-Guided Program Repair.
Yahui Song; Xiang Gao 0012; Wenhua Li; Wei-Ngan Chin; Abhik Roychoudhury
FSE2024Debugging / Fault Localization / Diagnosis / Repair
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning.
Aashish Yadavally; Yi Li 0048; Tien N. Nguyen
FSE2024Program Analysis / Verification / Formal Methods
Predicting Failures of Autoscaling Distributed Applications.
Giovanni Denaro; Noura El Moussa; Rahim Heydarov; Francesco Lomio; Mauro Pezzè; Ketai Qiu
FSE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning.
Jingzhi Gong; Tao Chen 0001
FSE2024DevOps / CI / Build / Release; Performance / Energy / Reliability
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks.
Tarek Alakmeh; David R. Reich; Lena A. Jäger; Thomas Fritz 0001
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical; Education / Program Comprehension
Partial Solution Based Constraint Solving Cache in Symbolic Execution.
Ziqi Shuai; Zhenbang Chen 0001; Kelin Ma; Kunlin Liu; Yufeng Zhang 0001; Jun Sun 0001; Ji Wang 0001
FSE2024Program Analysis / Verification / Formal Methods
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models.
Simin Chen; Xiaoning Feng; Xiaohong Han; Cong Liu 0005; Wei Yang 0013
FSE2024Other
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software.
Yoel Kim; Yunja Choi
FSE2024Other
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model.
Jiawei Li 0013; David Faragó; Christian Petrov; Iftekhar Ahmed 0001
FSE2024AI / LLM for SE; DevOps / CI / Build / Release
On the Contents and Utility of IoT Cybersecurity Guidelines.
Jesse Chen; Dharun Anandayuvaraj; James C. Davis 0001; Sazzadur Rahaman
FSE2024Other
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software.
Ophir M. Carmel; Guy Katz
FSE2024AI / LLM for SE
Natural Symbolic Execution-Based Testing for Big Data Analytics.
Yaoxuan Wu; Ahmad Humayun; Muhammad Ali Gulzar; Miryung Kim
FSE2024Testing / QA; Program Analysis / Verification / Formal Methods
Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models.
Yan Wang 0014; Xiaoning Li; Tien N. Nguyen; Shaohua Wang 0002; Chao Ni 0001; Ling Ding
FSE2024Other
Mobile Bug Report Reproduction via Global Search on the App UI Model.
Zhaoxu Zhang; Fazle Mohammed Tawsif; Komei Ryu; Tingting Yu 0001; William G. J. Halfond
FSE2024Mobile / Web / GUI / Android
Misconfiguration Software Testing for Failure Emergence in Autonomous Driving Systems.
Yuntianyi Chen; Yuqi Huai; Shilong Li 0002; Changnam Hong; Joshua Garcia
FSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions.
Ying Xiao; Jie M. Zhang; Yepang Liu 0001; Mohammad Reza Mousavi 0001; Sicen Liu; Dingyuan Xue
FSE2024AI / LLM for SE
Mining Action Rules for Defect Reduction Planning.
Khouloud Oueslati; Gabriel Laberge; Maxime Lamothe; Foutse Khomh
FSE2024Other
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers.
Yichen Li 0004; Dongwei Xiao; Zhibo Liu 0001; Qi Pang; Shuai Wang 0011
FSE2024Testing / QA
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times.
Necip Fazil Yildiran; Jeho Oh; Julia Lawall; Paul Gazzillo
FSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems.
Xiaoyan Zhu; Mingyue Jiang; Xiao-Yi Zhang 0005; Liming Nie; Zuohua Ding
FSE2024Other
LogSD: Detecting Anomalies from System Logs through Self-Supervised Learning and Frequency-Based Masking.
Yongzheng Xie; Hongyu Zhang 0002; Muhammad Ali Babar 0001
FSE2024Cloud / Microservices / Distributed Systems
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Apps.
Shuqing Li 0001; Cuiyun Gao 0001; Jianping Zhang 0002; Yujia Zhang 0018; Yepang Liu 0001; Jiazhen Gu; Yun Peng 0003; Michael R. Lyu
FSE2024Mobile / Web / GUI / Android
Learning to Detect and Localize Multilingual Bugs.
Haoran Yang 0002; Yu Nong; Tao Zhang 0001; Xiapu Luo; Haipeng Cai
FSE2024Other
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache.
Zhihan Jiang; Jinyang Liu 0002; Zhuangbin Chen; Yichen Li 0003; Junjie Huang 0008; Yintong Huo; Pinjia He; Jiazhen Gu; Michael R. Lyu
FSE2024Other
Java JIT Testing with Template Extraction.
Zhiqiang Zang; Fu-Yao Yu; Aditya Thimmaiah; August Shi; Milos Gligoric 0001
FSE2024Testing / QA
JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization.
Xiangping Chen; Furen Xu; Yuan Huang 0002; Neng Zhang 0001; Zibin Zheng
FSE2024Other
Investigating Documented Privacy Changes in Android OS.
Chuan Yan; Mark Huasong Meng; Fuman Xie; Guangdong Bai
FSE2024Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation.
Oussama Ben Sghaier; Houari A. Sahraoui
FSE2024Maintenance / Evolution / Refactoring / Review
IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion.
Bolun Li; Zhihong Sun; Tao Huang; Hongyu Zhang 0002; Yao Wan 0001; Ge Li 0001; Zhi Jin 0001; Chen Lyu 0001
FSE2024Other
How to Gain Commit Rights in Modern Top Open Source Communities?
Xin Tan 0003; Yan Gong 0001; Geyu Huang; Haohua Wu; Li Zhang 0029
FSE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?
Christian Birchler; Tanzil Kombarabettu Mohammed; Pooja Rani 0001; Teodora Nechita; Timo Kehrer; Sebastiano Panichella
FSE2024Testing / QA; Human / Empirical / Socio-technical
Harnessing Neuron Stability to Improve DNN Verification.
Hai Duong; Dong Xu 0021; ThanhVu Nguyen; Matthew B. Dwyer
FSE2024Program Analysis / Verification / Formal Methods
Go Static: Contextualized Logging Statement Generation.
Yichen Li 0003; Yintong Huo; Renyi Zhong; Zhihan Jiang; Jinyang Liu 0002; Junjie Huang 0008; Jiazhen Gu; Pinjia He; Michael R. Lyu
FSE2024Other
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection.
Yuxi Li 0010; Yi Liu 0069; Gelei Deng; Ying Zhang 0066; Wenjia Song; Ling Shi 0002; Kailong Wang 0001; Yuekang Li; Yang Liu 0003; Haoyu Wang 0001
FSE2024Other
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions.
Tao Xiao 0001; Hideaki Hata; Christoph Treude; Kenichi Matsumoto
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Weigang He; Peng Di; Mengli Ming; Chengyu Zhang 0001; Ting Su 0001; Shijie Li; Yulei Sui
FSE2024Other
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution.
Jaehan Yoon; Sooyoung Cha
FSE2024Program Analysis / Verification / Formal Methods
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing.
Xiao Cheng 0002; Jiawei Ren 0003; Yulei Sui
FSE2024Program Analysis / Verification / Formal Methods
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization.
Yifan Zhang 0013; Jiliang Li; Zachary Karas; Aakash Bansal; Toby Jia-Jun Li; Collin McMillan; Kevin Leach; Yu Huang 0015
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation.
Zhen Yang 0022; Fang Liu 0032; Zhongxing Yu; Jacky Wai Keung; Jia Li 0011; Shuo Liu 0020; Yifan Hong; Xiaoxue Ma; Zhi Jin 0001; Ge Li 0001
FSE2024Other
Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation.
Shasha Zhou; Mingyu Huang; Yanan Sun 0001; Ke Li 0001
FSE2024Performance / Energy / Reliability
Evaluating and Improving ChatGPT for Unit Test Generation.
Zhiqiang Yuan; Mingwei Liu 0002; Shiji Ding; Kaixin Wang; Yixuan Chen 0012; Xin Peng 0001; Yiling Lou
FSE2024Testing / QA; AI / LLM for SE
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim; Jaeseung Choi 0002; Seongjae Im; Kihong Heo; Sang Kil Cha
FSE2024Other
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-task Learning.
Xiaoling Zhang 0009; Zhengzi Xu; Shouguo Yang; Zhi Li 0018; Zhiqiang Shi; Limin Sun 0001
FSE2024Other
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs.
Yanfu Yan; Nathan Cooper; Kevin Moran; Gabriele Bavota; Denys Poshyvanyk; Steve Rich
FSE2024Other
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts.
Zexu Wang; Jiachi Chen; Yanlin Wang 0001; Yu Zhang 0036; Weizhe Zhang; Zibin Zheng
FSE2024Other
Effective Teaching through Code Reviews: Patterns and Anti-patterns.
Anita Sarma; Nina Chen
FSE2024Other
DyPyBench: A Benchmark of Executable Python Software.
Islem Bouzenia; Bajaj Piyush Krishan; Michael Pradel
FSE2024Other
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion.
Md Shamimur Rahman; Zadia Codabux; Chanchal K. Roy
FSE2024Maintenance / Evolution / Refactoring / Review
Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code?
Bonan Kou; Shengmai Chen; Zhijie Wang 0014; Lei Ma 0003; Tianyi Zhang 0001
FSE2024Human / Empirical / Socio-technical
DiffCoder: Enhancing Large Language Model on API Invocation via Analogical Code Exercises.
Daoguang Zan; Ailun Yu; Bo Shen; Bei Chen 0008; Wei Li 0326; Yongshun Gong; Xiaolin Chen; Yafen Yao; Weihua Luo; Bei Guan; Yan Liu; Yongji Wang 0002; Qianxiang Wang; Lizhen Cui 0001
FSE2024AI / LLM for SE
Detecting, Creating, Repairing, and Understanding Indivisible Multi-Hunk Bugs.
Qi Xin 0001; Haojun Wu; Jinran Tang; Xinyu Liu; Steven P. Reiss; Jifeng Xuan
FSE2024Other
Dependency-Induced Waste in Continuous Integration: An Empirical Study of Unused Dependencies in the npm Ecosystem.
Nimmi Rashinika Weeraddana; Mahmoud Alfadel; Shane McIntosh
FSE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Demystifying Invariant Effectiveness for Securing Smart Contracts.
Zhiyang Chen 0004; Ye Liu 0012; Sidi Mohamed Beillahi; Yi Li 0008; Fan Long
FSE2024Program Analysis / Verification / Formal Methods
Decomposing Software Verification using Distributed Summary Synthesis.
Dirk Beyer 0001; Matthias Kettl; Thomas Lemberger 0002
FSE2024Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
DeciX: Explain Deep Learning Based Code Generation Applications.
Simin Chen; Zexin Li 0001; Wei Yang 0013; Cong Liu 0005
FSE2024AI / LLM for SE
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing.
Sabaat Haroon; Chris Brown 0001; Muhammad Ali Gulzar
FSE2024Debugging / Fault Localization / Diagnosis / Repair
DTD: Comprehensive and Scalable Testing for Debuggers.
Hongyi Lu; Zhibo Liu 0001; Shuai Wang 0011; Fengwei Zhang
FSE2024Testing / QA
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization.
Chengpeng Wang 0001; Jipeng Zhang; Rongxin Wu; Charles Zhang 0001
FSE2024Performance / Energy / Reliability
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs.
Haoran Liu; Zhouyang Jia; Shanshan Li 0001; Yan Lei; Yue Yu 0001; Yu Jiang 0001; Xiaoguang Mao; Xiangke Liao
FSE2024Other
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models.
Qilin Zhou; Zhengyuan Wei; Haipeng Wang 0005; Bo Jiang 0001; Wing-Kwong Chan
FSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications.
Keke Lian; Lei Zhang 0096; Guangliang Yang 0001; Shuo Mao; Xinjie Wang; Yuan Zhang 0009; Min Yang 0002
FSE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
CodePlan: Repository-Level Coding using LLMs and Planning.
Ramakrishna Bairi; Atharv Sonwane; Aditya Kanade 0001; Vageesh D. C.; Arun Iyer; Suresh Parthasarathy; Sriram K. Rajamani; Balasubramanyan Ashok; Shashank Shet
FSE2024DevOps / CI / Build / Release
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking.
Zian Su; Xiangzhe Xu; Ziyang Huang 0004; Zhuo Zhang 0002; Yapeng Ye; Jianjun Huang 0001; Xiangyu Zhang 0001
FSE2024Other
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM.
Gabriel Ryan; Siddhartha Jain 0001; Mingyue Shang; Shiqi Wang 0002; Xiaofei Ma 0001; Murali Krishna Ramanathan; Baishakhi Ray
FSE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements Clarification.
Fangwen Mu; Lin Shi 0006; Song Wang 0009; Zhuohao Yu 0002; Binquan Zhang; Chenxue Wang; Shichao Liu; Qing Wang 0001
FSE2024AI / LLM for SE; Requirements / Modeling / Architecture
Characterizing Python Library Migrations.
Mohayeminul Islam; Ajay Kumar Jha; Ildar Akhmetov; Sarah Nadi
FSE2024Other
ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems.
Guangba Yu; Pengfei Chen 0002; Zilong He; Qiuyu Yan; Yu Luo; Fangyuan Li; Zibin Zheng
FSE2024Maintenance / Evolution / Refactoring / Review
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Madeline Endres; Sarah Fakhoury; Saikat Chakraborty 0001; Shuvendu K. Lahiri
FSE2024Program Analysis / Verification / Formal Methods
Can GPT-4 Replicate Empirical Software Engineering Research?
Jenny T. Liang; Carmen Badea; Christian Bird; Robert DeLine; Denae Ford; Nicole Forsgren; Thomas Zimmermann 0001
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings.
Weipeng Jiang; Juan Zhai; Shiqing Ma; Xiaoyu Zhang 0013; Chao Shen 0001
FSE2024Testing / QA; AI / LLM for SE
CORE: Resolving Code Quality Issues using LLMs.
Nalin Wadhwa; Jui Pradhan; Atharv Sonwane; Surya Prakash Sahu; Nagarajan Natarajan; Aditya Kanade 0001; Suresh Parthasarathy; Sriram K. Rajamani
FSE2024Other
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection.
Shihan Dou; Yueming Wu 0001; Haoxiang Jia; Yuhao Zhou 0005; Yan Liu 0012; Yang Liu 0003
FSE2024Maintenance / Evolution / Refactoring / Review
Bounding Random Test Set Size with Computational Learning Theory.
Neil Walkinshaw; Michael Foster 0001; José Miguel Rojas; Robert M. Hierons
FSE2024Testing / QA
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis.
Georgios-Petros Drosos; Thodoris Sotiropoulos; Diomidis Spinellis; Dimitris Mitropoulos
FSE2024Other
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings.
Zirui Song; Jiongyi Chen; Kehuan Zhang
FSE2024Other
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice.
Ranim Khojah; Mazen Mohamad; Philipp Leitner 0001; Francisco Gomes de Oliveira Neto
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
BRF: Fuzzing the eBPF Runtime.
Hsin-Wei Hung; Ardalan Amiri Sani
FSE2024Testing / QA
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection.
Luan Pham; Huong Ha 0001; Hongyu Zhang 0002
FSE2024Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review; Performance / Energy / Reliability
Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning.
Yubo Mai; Zhipeng Gao 0002; Xing Hu 0008; Lingfeng Bao; Yu Liu 0146; Jianling Sun
FSE2024Human / Empirical / Socio-technical
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit.
Matteo Paltenghi; Michael Pradel
FSE2024Program Analysis / Verification / Formal Methods
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation.
Yibo He; Jiaming Huang; Hao Yu 0016; Tao Xie 0001
FSE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study on Code Review Activity Prediction and Its Impact in Practice.
Doriane Olewicki; Sarra Habchi; Bram Adams
FSE2024Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Analysis of the Costs and Benefits of Autocomplete in IDEs.
Shaokang Jiang; Michael Coblenz
FSE2024Other
Adapting Multi-objectivized Software Configuration Tuning.
Tao Chen 0001; Miqing Li
FSE2024DevOps / CI / Build / Release
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems.
Yi Qin 0002; Yanxiang Tong; Yifei Xu; Chun Cao; Xiaoxing Ma
FSE2024Other
Abstraction-Aware Inference of Metamorphic Relations.
Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias
FSE2024Other
AROMA: Automatic Reproduction of Maven Artifacts.
Mehdi Keshani; Tudor-Gabriel Velican; Gideon Bot; Sebastian Proksch 0001
FSE2024Other
AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation.
Vijayaraghavan Murali; Chandra Shekhar Maddila; Imad Ahmad; Michael Bolin; Daniel Cheng; Negar Ghorbani; Renuka Fernandez; Nachiappan Nagappan; Peter C. Rigby
FSE2024AI / LLM for SE
A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories.
Farbod Farhour; Ahmad Abdellatif; Essam Mansour 0001; Emad Shihab
FSE2024Other
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Dirk Beyer 0001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee
FSE2024Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization.
Sungmin Kang; Gabin An; Shin Yoo
FSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators.
Jinyin Chen; Chengyu Jia 0001; Yunjie Yan; Jie Ge; Haibin Zheng; Yao Cheng 0002
FSE2024Testing / QA; AI / LLM for SE
A Deep Dive into Large Language Models for Automated Bug Localization and Repair.
Soneya Binta Hossain; Nan Jiang 0012; Qiang Zhou 0009; Xiaopeng Li 0002; Wen-Hao Chiang; Yingjun Lyu; Hoan Anh Nguyen; Omer Tripp
FSE2024Debugging / Fault Localization / Diagnosis / Repair
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques.
Max Landauer; Florian Skopik; Markus Wurzenberger
FSE2024Other
"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners.
Nathan Wintersgill; Trevor Stalnaker; Laura A. Heymann; Oscar Chaparro; Denys Poshyvanyk
FSE2024Other
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs.
Mohsen Moradi-Moghadam, Mehdi Bagherzadeh 0001, Raffi Khatchadourian, Hamid Bagheri
FSE2023Testing / QA
xASTNN: Improved Code Representations for Industrial Practice.
Zhiwei Xu, Min Zhou 0001, Xibin Zhao, Yang Chen 0001, Xi Cheng
FSE2023Other
npm-follower: A Complete Dataset Tracking the NPM Ecosystem.
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001
FSE2023Other
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.
Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang
FSE2023Security / Privacy / Vulnerability
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance.
Alan Romano, Weihang Wang 0001
FSE2023Performance / Energy / Reliability
ViaLin: Path-Aware Dynamic Taint Analysis for Android.
Khaled Ahmed 0004, Yingying Wang, Mieszko Lis, Julia Rubin
FSE2023Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts.
Wenhua Yang 0001, Chong Zhang, Minxue Pan
FSE2023Other
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems.
Xiaohu Du, Xiao Chen 0026, Jialun Cao, Ming Wen 0001, Shing-Chi Cheung
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Understanding Solidity Event Logging Practices in the Wild.
Lantian Li, Yejian Liang, Zhihao Liu, Zhongxing Yu
FSE2023Other
Understanding Hackers' Work: An Empirical Study of Offensive Security Practitioners.
Andreas Happe, Jürgen Cito
FSE2023Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model.
Deqing Zou, Siyue Feng, Yueming Wu 0001, Wenqi Suo, Hai Jin 0001
FSE2023DevOps / CI / Build / Release
Triggering Modes in Spectrum-Based Multi-location Fault Localization.
Tung Dao, Na Meng 0001, ThanhVu Nguyen
FSE2023Debugging / Fault Localization / Diagnosis / Repair
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts.
Chenyang Ma, Wei Song 0003, Jeff Huang 0001
FSE2023Other
TransMap: Pinpointing Mistakes in Neural Code Translation.
Bo Wang 0146, Ruishi Li, Mingkai Li, Prateek Saxena
FSE2023AI / LLM for SE
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems.
Ruomeng Ding, Chaoyun Zhang, Lu Wang 0029, Yong Xu 0010, Minghua Ma
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study.
Amirali Sajadi, Kostadin Damevski, Preetha Chatterjee
FSE2023Human / Empirical / Socio-technical
Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables.
Jian Gu 0001, Harald C. Gall
FSE2023Program Analysis / Verification / Formal Methods
Towards Strengthening Formal Specifications with Mutation Model Checking.
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
FSE2023Testing / QA; Program Analysis / Verification / Formal Methods
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study.
Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang 0002, Wasi Uddin Ahmad, Baishakhi Ray
FSE2023Human / Empirical / Socio-technical
Towards Feature-Based Analysis of the Machine Learning Development Lifecycle.
Boyue Caroline Hu, Marsha Chechik
FSE2023AI / LLM for SE
Towards Efficient Record and Replay: A Case Study in WeChat.
Sidong Feng, Haochuan Lu, Ting Xiong, Yuetang Deng, Chunyang Chen 0001
FSE2023Human / Empirical / Socio-technical
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects.
Hsu Myat Win, Haibo Wang, Shin Hwei Tan
FSE2023Other
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote).
Eran Yahav
FSE2023AI / LLM for SE
The State of Survival in OSS: The Impact of Diversity.
Zixuan Feng
FSE2023Other
The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development.
Zheng Li 0001, Austen Rainer
FSE2023Other
The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification.
Anastasiia Grishina, Max Hort, Leon Moonen
FSE2023Other
The Call Graph Chronicles: Unleashing the Power Within.
Masudul Hasan Masud Bhuiyan
FSE2023Other
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.
Hassan Sartaj, Shaukat Ali 0001, Tao Yue 0002, Kjetil Moberg
FSE2023Testing / QA
Testing Coreference Resolution Systems without Labeled Test Sets.
Jialun Cao, Yaojie Lu 0001, Ming Wen 0001, Shing-Chi Cheung
FSE2023Testing / QA
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford
FSE2023Testing / QA; Requirements / Modeling / Architecture
Statistical Type Inference for Incomplete Programs.
Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li
FSE2023Program Analysis / Verification / Formal Methods
Statistical Reachability Analysis.
Seongmin Lee 0001, Marcel Böhme
FSE2023Other
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations.
Huaien Zhang, Yu Pei 0001, Junjie Chen 0003, Shin Hwei Tan
FSE2023Testing / QA
State Merging with Quantifiers in Symbolic Execution.
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma 0001
FSE2023Program Analysis / Verification / Formal Methods
Speeding up SMT Solving via Compiler Optimization.
Benjamin Mikek, Qirun Zhang
FSE2023Performance / Energy / Reliability
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects.
Lida Zhao, Sen Chen 0001, Zhengzi Xu, Chengwei Liu, Lyuye Zhang
FSE2023Human / Empirical / Socio-technical
Software Architecture in Practice: Challenges and Opportunities.
Zhiyuan Wan, Yun Zhang 0011, Xin Xia 0001, Yi Jiang, David Lo 0001
FSE2023Requirements / Modeling / Architecture
Software Architecture Recovery with Information Fusion.
Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen 0001, Jianwen Sun
FSE2023Requirements / Modeling / Architecture
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models.
Sunbeom So, Hakjoo Oh
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Semantic Test Repair for Web Applications.
Xiaofang Qi, Xiang Qian, Yanhui Li
FSE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Semantic Debugging.
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Self-Supervised Query Reformulation for Code Search.
Yuetian Mao, Chengcheng Wan 0001, Yuze Jiang, Xiaodong Gu 0002
FSE2023Other
Scalable Program Clone Search through Spectral Analysis.
Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
FSE2023Maintenance / Evolution / Refactoring / Review
STraceBERT: Source Code Retrieval using Semantic Application Traces.
Claudio Spiess
FSE2023Other
STEAM: Observability-Preserving Trace Sampling.
Shilin He, Botao Feng, Liqun Li, Xu Zhang 0024, Yu Kang 0006
FSE2023Cloud / Microservices / Distributed Systems
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.
Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen 0003, Yingquan Zhao
FSE2023Testing / QA
Rotten Green Tests in Google Test.
Paul Robinson
FSE2023Testing / QA
Revisiting Neural Program Smoothing for Fuzzing.
Maria-Irina Nicolae, Max Eisele, Andreas Zeller
FSE2023Testing / QA; AI / LLM for SE
Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering.
Kelechi G. Kalu, Taylor R. Schorlemmer, Sophie Chen, Kyle A. Robinson, Erik Kocinare
FSE2023Human / Empirical / Socio-technical
Recommending Analogical APIs via Knowledge Graph Embedding.
Mingwei Liu 0002, Yanjun Yang, Yiling Lou, Xin Peng 0001, Zhong Zhou
FSE2023AI / LLM for SE
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair.
Weishi Wang, Yue Wang 0034, Shafiq Joty, Steven C. H. Hoi
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.
Jingling Sun, Ting Su 0001, Jiayi Jiang, Jue Wang, Geguang Pu
FSE2023Testing / QA; Mobile / Web / GUI / Android
PropProof: Free Model-Checking Harnesses from PBT.
Yoshiki Takashima
FSE2023Other
Program Repair Guided by Datalog-Defined Static Analysis.
Yu Liu 0130, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection.
Issam Sedki
FSE2023Security / Privacy / Vulnerability
Prioritizing Natural Language Test Cases Based on Highly-Used Game Features.
Markos Viggiato, Dale Paas, Cor-Paul Bezemer
FSE2023Testing / QA
Predicting Software Performance with Divide-and-Learn.
Jingzhi Gong, Tao Chen 0001
FSE2023Performance / Energy / Reliability
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization.
Yali Du 0002, Zhongxing Yu
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Practical Inference of Nullability Types.
Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan
FSE2023Other
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice.
Sira Vegas, Sebastian G. Elbaum
FSE2023Other
PPR: Pairwise Program Reduction.
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Yu Jiang 0001, Chengnian Sun
FSE2023Other
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model.
Xiangzhe Xu, Zhou Xuan, Shiwei Feng 0002, Siyuan Cheng 0005, Yapeng Ye
FSE2023Other
P4b: A Translator from P4 Programs to Boogie.
Chong Ye, Fei He 0001
FSE2023Other
Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey.
Umme Ayman Koana, Francis Chew, Chris Carlson, Maleknaz Nayebi
FSE2023Human / Empirical / Socio-technical
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer.
Shubham Agarwal 0007, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain
FSE2023Other
On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report.
Anes Bendimerad, Youcef Remil, Romain Mathonat, Mehdi Kaytoue
FSE2023Other
On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code.
Martin Weyssow, Xin Zhou 0014, Kisub Kim, David Lo 0001, Houari A. Sahraoui
FSE2023Other
On the Relationship between Code Verifiability and Understandability.
Kobi Feldman, Martin Kellogg, Oscar Chaparro
FSE2023Other
On the Dual Nature of Necessity in Use of Rust Unsafe Code.
Yuchen Zhang 0006, Ashish Kundu, Georgios Portokalidis, Jun Xu 0024
FSE2023Other
On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers.
Laura Cabra-Acela, Anamaria Mojica-Hanke, Mario Linares-Vásquez, Steffen Herbold
FSE2023AI / LLM for SE
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach.
Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu 0009
FSE2023Other
Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data.
Guangba Yu, Pengfei Chen 0002, Yufeng Li, Hongyang Chen 0002, Xiaoyun Li
FSE2023Cloud / Microservices / Distributed Systems
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned.
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
FSE2023Testing / QA; AI / LLM for SE
NeuRI: Diversifying DNN Generation via Inductive Rule Inference.
Jiawei Liu 0004, Jinjun Peng, Yuyao Wang, Lingming Zhang 0001
FSE2023Other
Natural Language to Code: How Far Are We?
Shangwen Wang, Mingyang Geng, Bo Lin 0011, Zhensu Sun, Ming Wen 0001
FSE2023Other
NaNofuzz: A Usable Tool for Automatic Test Generation.
Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine
FSE2023Testing / QA
Multilingual Code Co-evolution using Large Language Models.
Jiyang Zhang 0003, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001
FSE2023Maintenance / Evolution / Refactoring / Review
MuRS: Mutant Ranking and Suppression using Identifier Templates.
Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic
FSE2023Other
Modeling the Centrality of Developer Output with Software Supply Chains.
Audris Mockus, Peter C. Rigby, Rui Abreu 0001, Parth Suresh, Yifen Chen
FSE2023Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Mining Resource-Operation Knowledge to Support Resource Leak Detection.
Chong Wang 0013, Yiling Lou, Xin Peng 0001, Jianan Liu, Baihan Zou
FSE2023Performance / Energy / Reliability
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing.
Suhwan Song, Byoungyoung Lee
FSE2023Testing / QA; Mobile / Web / GUI / Android
Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors.
Ruoxi Sun 0001, Minhui Xue 0001, Gareth Tyson, Tian Dong, Shaofeng Li 0001
FSE2023Testing / QA; Security / Privacy / Vulnerability
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors.
Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu
FSE2023Requirements / Modeling / Architecture
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors.
Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle
FSE2023Testing / QA
Log Parsing with Generalization Ability under New Log Types.
Siyu Yu, Yifan Wu 0002, Zhijing Li 0007, Pinjia He, Ningjiang Chen
FSE2023Other
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
Yibo Dong 0001, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen
FSE2023Program Analysis / Verification / Formal Methods
LibKit: Detecting Third-Party Libraries in iOS Apps.
Daniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, Juan Caballero
FSE2023Mobile / Web / GUI / Android
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications.
Jiyuan Wang, Qian Zhang 0020, Hongbo Rong, Guoqing Harry Xu, Miryung Kim
FSE2023Testing / QA
Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems.
Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Christoph Treude, Kenichi Matsumoto
FSE2023Other
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing.
Bozhi Wu, Shangqing Liu, Yang Xiao 0011, Zhiming Li, Jun Sun 0001
FSE2023Program Analysis / Verification / Formal Methods
LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation.
Xiaoyu Sun 0002, Xiao Chen 0002, Yonghui Liu 0001, John C. Grundy, Li Li 0029
FSE2023Testing / QA; Mobile / Web / GUI / Android
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions.
Yuxin Wang 0004, Adam Welc, Lazaro Clapp, Lingchao Chen
FSE2023Other
LLM-Based Code Generation Method for Golang Compiler Testing.
Qiuhan Gu
FSE2023Testing / QA; AI / LLM for SE
LExecutor: Learning-Guided Execution.
Beatriz Souza, Michael Pradel
FSE2023Other
Knowledge-Based Version Incompatibility Detection for Deep Learning.
Zhongkai Zhao, Bonan Kou, Mohamed Yilmaz Ibrahim, Muhao Chen 0001, Tianyi Zhang 0001
FSE2023AI / LLM for SE
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants.
Milos Ojdanic, Mike Papadakis, Mark Harman
FSE2023Testing / QA
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph.
Xueying Du, Yiling Lou, Mingwei Liu 0002, Xin Peng 0001, Tianyong Yang
FSE2023Debugging / Fault Localization / Diagnosis / Repair
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection.
Qinghua Xu, Shaukat Ali 0001, Tao Yue 0002, Zaimovic Nedim, Inderjeet Singh
FSE2023Other
Issue Report Validation in an Industrial Context.
Ethem Utku Aktas, Ebru Cakmak, Mete Inan, Cemal Yilmaz 0001
FSE2023Testing / QA
IoPV: On Inconsistent Option Performance Variations.
Jinfu Chen 0002, Zishuo Ding, Yiming Tang 0002, Mohammed Sayagh, Heng Li 0007
FSE2023Performance / Energy / Reliability
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation.
Xiaoke Wang, Tao Hui, Lei Zhao 0012, Yueqiang Cheng
FSE2023Security / Privacy / Vulnerability
Inferring Complexity Bounds from Recurrence Relations.
Didier Ishimwe
FSE2023Other
InferFix: End-to-End Program Repair with LLMs.
Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Incrementalizing Production CodeQL Analyses.
Tamás Szabó
FSE2023Other
HyperDiff: Computing Source Code Diffs at Scale.
Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel
FSE2023Other
Hue: A User-Adaptive Parser for Hybrid Logs.
Junjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li 0007
FSE2023Cloud / Microservices / Distributed Systems
How Practitioners Expect Code Completion?
Chaozheng Wang, Junhao Hu, Cuiyun Gao 0001, Yu Jin, Tao Xie 0001
FSE2023Other
How Early Participation Determines Long-Term Sustained Activity in GitHub Projects?
Wenxin Xiao, Hao He 0012, Weiwei Xu 0001, Yuxia Zhang, Minghui Zhou 0001
FSE2023Human / Empirical / Socio-technical
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support.
Yibiao Yang, Maolin Sun, Yang Wang 0165, Qingyang Li 0006, Ming Wen 0001
FSE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Helion: Enabling Natural Testing of Smart Homes.
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk
FSE2023Testing / QA
Grace: Language Models Meet Code Edits.
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty 0001, Sumit Gulwani
FSE2023Other
Gitor: Scalable Code Clone Detection by Building Global Sample Graph.
Junjie Shan, Shihan Dou, Yueming Wu 0001, Hairu Wu, Yang Liu 0003
FSE2023DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
Getting pwn'd by AI: Penetration Testing with Large Language Models.
Andreas Happe, Jürgen Cito
FSE2023Testing / QA
Getting Outside the Bug Boxes (Keynote).
Margaret Burnett
FSE2023Other
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis.
Soomin Kim 0002, Hyungseok Kim 0002, Sang Kil Cha
FSE2023Other
From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach.
Zhe Xie, Changhua Pei, Wanxue Li, Huai Jiang, Liangfei Su
FSE2023Cloud / Microservices / Distributed Systems
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings.
Akshay Utture, Jens Palsberg
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Flow Experience in Software Engineering.
Saima Ritonummi, Valtteri Siitonen, Markus Salo, Henri Pirkkalainen, Anu Sivunen
FSE2023Other
Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML.
Giang Nguyen, Sumon Biswas, Hridesh Rajan
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues.
Ramtin Ehsani, Rezvaneh Rezapour, Preetha Chatterjee
FSE2023Human / Empirical / Socio-technical
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System.
Chengjie Lu, Qinghua Xu, Tao Yue 0002, Shaukat Ali 0001, Thomas Schwitalla
FSE2023Maintenance / Evolution / Refactoring / Review
Evaluating Transfer Learning for Simplifying GitHub READMEs.
Haoyu Gao, Christoph Treude, Mansooreh Zahedi
FSE2023Human / Empirical / Socio-technical
EvaCRC: Evaluating Code Review Comments.
Lanxin Yang, Jinwei Xu, Yifan Zhang, He Zhang 0001, Alberto Bacchelli
FSE2023Maintenance / Evolution / Refactoring / Review
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes.
Shinhae Kim, Sungjae Hwang
FSE2023Testing / QA
Enhancing Coverage-Guided Fuzzing via Phantom Program.
Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi 0002
FSE2023Testing / QA
Engineering a Formally Verified Automated Bug Finder.
Arthur Correnson, Dominic Steinhöfel
FSE2023Program Analysis / Verification / Formal Methods
Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models.
Akhilesh Deepak Gotmare, Junnan Li 0001, Shafiq Joty, Steven C. H. Hoi
FSE2023AI / LLM for SE
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling.
Elvan Kula, Eric Greuter, Arie van Deursen, Georgios Gousios
FSE2023Requirements / Modeling / Architecture
Dynamic Data Fault Localization for Deep Neural Networks.
Yining Yin, Yang Feng 0003, Shihao Weng, Zixi Liu, Yuan Yao 0001
FSE2023AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers?
Felipe Fronchetti, David C. Shepherd, Igor Wiese, Christoph Treude, Marco Aurélio Gerosa
FSE2023Other
Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage.
Emily Nguyen
FSE2023Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation.
Chao Ni 0001, Xin Yin, Kaiwen Yang, Dehai Zhao, Zhenchang Xing
FSE2023Other
DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems.
Longtian Wang, Xiaofei Xie, Xiaoning Du 0001, Meng Tian, Qing Guo 0005
FSE2023Testing / QA; AI / LLM for SE
Discovering Parallelisms in Python Programs.
Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu
FSE2023Other
Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365.
Fangkai Yang, Wenjie Yin, Lu Wang 0029, Tianci Li, Pu Zhao 0004
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems.
Zhiming Chen, Pengfei Chen 0002, Peipei Wang, Guangba Yu, Zilong He
FSE2023DevOps / CI / Build / Release; Performance / Energy / Reliability
Detection of Optimizations Missed by the Compiler.
Yi Zhang 0153
FSE2023Other
Detection Is Better Than Cure: A Cloud Incidents Perspective.
Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang 0006, Minghua Ma
FSE2023Cloud / Microservices / Distributed Systems
Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection.
Niklas Risse
FSE2023AI / LLM for SE
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.
Bin Yu 0008, Cong Tian 0001, Hengrui Xing, Zuchao Yang, Jie Su 0002
FSE2023Other
Design by Contract for Deep Learning APIs.
Shibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan
FSE2023AI / LLM for SE; Requirements / Modeling / Architecture
Demystifying the Composition and Code Reuse in Solidity Smart Contracts.
Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li 0002, Yang Liu 0003
FSE2023Other
Demystifying Dependency Bugs in Deep Learning Stack.
Kaifeng Huang 0001, Bihuan Chen 0001, Susheng Wu, Junming Cao, Lei Ma 0003
FSE2023AI / LLM for SE
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
FSE2023Other
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.
Fuyuan Zhang, Xinwen Hu, Lei Ma 0003, Jianjun Zhao 0001
FSE2023AI / LLM for SE; Security / Privacy / Vulnerability
DeepInfer: Deep Type Inference from Smart Contract Bytecode.
Kunsong Zhao, Zihao Li 0001, Jianfeng Li 0006, He Ye, Xiapu Luo
FSE2023Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers.
Xianglin Yang, Yun Lin 0001, Yifan Zhang 0019, Linpeng Huang, Jin Song Dong 0001
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Deep Learning Based Feature Envy Detection Boosted by Real-World Examples.
Bo Liu 0094, Hui Liu 0003, Guangjie Li, Nan Niu, Zimao Xu
FSE2023AI / LLM for SE
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse.
Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik
FSE2023Performance / Energy / Reliability
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data.
Will Shackleton, Katriel Cohn-Gordon, Peter C. Rigby, Rui Abreu 0001, James Gill
FSE2023Maintenance / Evolution / Refactoring / Review
DeMinify: Neural Variable Name Recovery and Type Inference.
Yi Li 0048, Aashish Yadavally, Jiaxing Zhang 0002, Shaohua Wang 0002, Tien N. Nguyen
FSE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy Patterns.
Shriram Shanbhag, Sridhar Chimalakonda, Vibhu Saujanya Sharma, Vikrant Kaulgud
FSE2023AI / LLM for SE; Performance / Energy / Reliability
D2S2: Drag 'n' Drop Mobile App Screen Search.
Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, Christoph Csallner
FSE2023Mobile / Web / GUI / Android
C³: Code Clone-Based Identification of Duplicated Components.
Yanming Yang, Ying Zou 0001, Xing Hu 0008, David Lo 0001, Chao Ni 0001
FSE2023Maintenance / Evolution / Refactoring / Review
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities.
Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier 0001, Antonio Bianchi
FSE2023Other
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair.
Yuxiang Wei 0003, Chunqiu Steven Xia, Lingming Zhang 0001
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Contribution-Based Firing of Developers?
Vincenzo Orrei, Marco Raglianti, Csaba Nagy 0001, Michele Lanza 0001
FSE2023Human / Empirical / Socio-technical
Contextual Predictive Mutation Testing.
Kush Jain, Uri Alon 0002, Alex Groce, Claire Le Goues
FSE2023Testing / QA
Compositional Taint Analysis for Enforcing Security Policies at Scale.
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean
FSE2023Security / Privacy / Vulnerability
Compatibility Issues in Deep Learning Systems: Problems and Opportunities.
Jun Wang 0167, Guanping Xiao, Shuai Zhang 0046, Huashan Lei, Yepang Liu 0001
FSE2023AI / LLM for SE
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java.
Kaixuan Li 0002, Sen Chen 0001, Lingling Fan 0003, Ruitao Feng, Han Liu 0012
FSE2023Testing / QA; Security / Privacy / Vulnerability
Commit-Level, Neural Vulnerability Detection and Assessment.
Yi Li 0048, Aashish Yadavally, Jiaxing Zhang 0002, Shaohua Wang 0002, Tien N. Nguyen
FSE2023AI / LLM for SE; DevOps / CI / Build / Release
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models.
Zhensu Sun, Xiaoning Du 0001, Fu Song, Li Li 0029
FSE2023AI / LLM for SE
Code Coverage Criteria for Asynchronous Programs.
Mohammad Ganji, Saba Alimadadi, Frank Tip
FSE2023Testing / QA
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics.
Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar
FSE2023Testing / QA; Program Analysis / Verification / Formal Methods
Can Machine Learning Pipelines Be Better Configured?
Yibo Wang 0008, Ying Wang 0038, Tingwei Zhang, Yue Yu 0001, Shing-Chi Cheung
FSE2023AI / LLM for SE
CONAN: Statically Detecting Connectivity Issues in Android Applications.
Alejandro Mazuera-Rozo, Camilo Escobar-Velásquez, Juan Espitia-Acero, Mario Linares-Vásquez, Gabriele Bavota
FSE2023Mobile / Web / GUI / Android
CCT5: A Code-Change-Oriented Pre-trained Model.
Bo Lin 0011, Shangwen Wang, Zhongxin Liu 0002, Yepang Liu 0001, Xin Xia 0001
FSE2023Maintenance / Evolution / Refactoring / Review
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays.
Qiyuan Zhao, Chuan Luo 0002, Shaowei Cai 0001, Wei Wu 0011, Jinkun Lin
FSE2023Other
Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google.
Ella Dagan, Anita Sarma, Alison Chang, Sarah D'Angelo, Jill Dicker
FSE2023Human / Empirical / Socio-technical; DevOps / CI / Build / Release
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang
FSE2023Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
BiasAsker: Measuring the Bias in Conversational AI System.
Yuxuan Wan, Wenxuan Wang 0001, Pinjia He, Jiazhen Gu, Haonan Bai
FSE2023AI / LLM for SE
Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection.
Haotian Si, Changhua Pei, Zhihan Li, Yadong Zhao, Jingjing Li
FSE2023Other
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
Xinyu Gao, Zhijie Wang 0014, Yang Feng 0003, Lei Ma 0003, Zhenyu Chen 0001
FSE2023AI / LLM for SE
Baldur: Whole-Proof Generation and Repair with Large Language Models.
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
FSE2023Debugging / Fault Localization / Diagnosis / Repair
BFSig: Leveraging File Significance in Bus Factor Estimation.
Vahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko
FSE2023Other
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints.
Huiyan Wang 0001, Shuguan Liu, Lingyu Zhang 0005, Chang Xu 0001
FSE2023Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps.
Yuxin Zhang, Sen Chen 0001, Lingling Fan 0003, Chunyang Chen 0001, Xiaohong Li 0001
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Automated Testing and Improvement of Named Entity Recognition Systems.
Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, Pinjia He
FSE2023Testing / QA
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway.
Christoph Laaber, Tao Yue 0002, Shaukat Ali 0001, Thomas Schwitalla, Jan Nygård
FSE2023Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.
Enze Ma, Shan Huang, Weigang He, Ting Su 0001, Jue Wang
FSE2023Testing / QA; Mobile / Web / GUI / Android
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment.
Haonan Li 0009, Yu Hao 0006, Yizhuo Zhai, Zhiyun Qian
FSE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
Assess and Summarize: Improve Outage Understanding with Large Language Models.
Pengxiang Jin, Shenglin Zhang, Minghua Ma, Haozhe Li, Yu Kang 0006
FSE2023Other
Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception.
Yongxiang Hu 0003, Jiazhen Gu, Shuqing Hu, Yu Zhang 0165, Wenjie Tian
FSE2023Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Analyzing Microservice Connectivity with Kubesonde.
Jacopo Bufalino, Mario Di Francesco, Tuomas Aura
FSE2023Cloud / Microservices / Distributed Systems
An Extensive Study on Adversarial Attack against Pre-trained Models of Code.
Xiaohu Du, Ming Wen 0001, Zichao Wei, Shangwen Wang, Hai Jin 0001
FSE2023Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
An Automated Approach to Extracting Local Variables.
Xiaye Chi, Hui Liu 0003, Guangjie Li, Weixiao Wang, Yunni Xia
FSE2023Other
AdaptivePaste: Intelligent Copy-Paste in IDE.
Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, Alexey Svyatkovskiy
FSE2023Other
Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report.
Lizhi Liao, Heng Li 0007, Weiyi Shang, Catalin Sporea, Andrei Toma
FSE2023Performance / Energy / Reliability
Ad Hoc Syntax-Guided Program Reduction.
Jia Le Tian, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Yiwen Dong 0002
FSE2023Other
Accelerating Continuous Integration with Parallel Batch Testing.
Emad Fallahzadeh, Amir Hossein Bavand, Peter C. Rigby
FSE2023Testing / QA; DevOps / CI / Build / Release
API-Knowledge Aware Search-Based Software Testing: Where, What, and How.
Xiaoxue Ren, Xinyuan Ye, Yun Lin 0001, Zhenchang Xing, Shuqing Li 0001
FSE2023Testing / QA
AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision.
Xiaoyun Liang 0006, Jiayi Qi, Yongqiang Gao, Chao Peng 0002, Ping Yang
FSE2023Mobile / Web / GUI / Android
A Vision on Intentions in Software Engineering.
Jacob Krüger, Yi Li 0008, Chenguang Zhu 0002, Marsha Chechik, Thorsten Berger
FSE2023Other
A Unified Framework for Mini-game Testing: Experience on WeChat.
Chaozheng Wang, Haochuan Lu, Cuiyun Gao 0001, Zongjie Li, Ting Xiong
FSE2023Testing / QA
A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction.
Liyan Song, Leandro L. Minku, Cong Teng, Xin Yao 0001
FSE2023Human / Empirical / Socio-technical
A Multidimensional Analysis of Bug Density in SAP HANA.
Julian Reck, Thomas Bach 0001, Jan Stoess
FSE2023Other
A Large-Scale Empirical Review of Patch Correctness Checking Approaches.
Jun Yang 0062, Yuehan Wang, Yiling Lou, Ming Wen 0001, Lingming Zhang 0001
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
A Language Model of Java Methods with Train/Test Deduplication.
Chia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, Collin McMillan
FSE2023Testing / QA
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing.
Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz
FSE2023Other
A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing.
Guixin Ye, Tianmin Hu, Zhanyong Tang, Zhenye Fan, Shin Hwei Tan
FSE2023Testing / QA; AI / LLM for SE
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention.
Zihan Fang, Madeline Endres, Thomas Zimmermann 0001, Denae Ford, Westley Weimer
FSE2023Human / Empirical / Socio-technical; Education / Program Comprehension
A Data Set of Extracted Rationale from Linux Kernel Commit Messages.
Mouna Dhaouadi
FSE2023DevOps / CI / Build / Release
A Case Study of Developer Bots: Motivations, Perceptions, and Challenges.
Sumit Asthana, Hitesh Sajnani, Elena Voyloshnikova, Birendra Acharya, Kim Herzig
FSE2023Human / Empirical / Socio-technical
"We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency Abandonment.
Courtney Miller, Christian Kästner, Bogdan Vasilescu
FSE2023Human / Empirical / Socio-technical
iTiger: an automatic issue title generation tool.
Ting Zhang 0011, Ivana Clairine Irsan, Ferdian Thung, DongGyun Han, David Lo 0001
FSE2022Other
eGEN: an energy-saving modeling language and code generator for location-sensing of mobile apps.
Kowndinya Boyalakuntla, Marimuthu Chinnakali, Sridhar Chimalakonda, K. Chandrasekaran 0001
FSE2022Requirements / Modeling / Architecture; Mobile / Web / GUI / Android; Performance / Energy / Reliability
You see what I want you to see: poisoning vulnerabilities in neural code search.
Yao Wan 0001, Shijie Zhang, Hongyu Zhang 0002, Yulei Sui, Guandong Xu
FSE2022AI / LLM for SE
Workgraph: personal focus vs. interruption for engineers at Meta.
Yifen Chen, Peter C. Rigby, Yulin Chen, Kun Jiang, Nader Dehghani
FSE2022Other
WikiDoMiner: wikipedia domain-specific miner.
Saad Ezzini, Sallam Abualhaija, Mehrdad Sabetzadeh
FSE2022Other
What motivates software practitioners to contribute to inner source?
Zhiyuan Wan, Xin Xia 0001, Yun Zhang 0011, David Lo 0001, Daibing Zhou
FSE2022Other
What improves developer productivity at google? code quality.
Lan Cheng, Emerson R. Murphy-Hill, Mark Canning, Ciera Jaspan, Collin Green
FSE2022Human / Empirical / Socio-technical
What did you pack in my app? a systematic analysis of commercial Android packers.
Zikan Dong, Hongxuan Liu, Liu Wang 0002, Xiapu Luo, Yao Guo 0001
FSE2022Mobile / Web / GUI / Android
VulRepair: a T5-based automated software vulnerability repair.
Michael Fu, Chakkrit Tantithamthavorn, Trung Le 0001, Van Nguyen 0002, Dinh Q. Phung
FSE2022Debugging / Fault Localization / Diagnosis / Repair
VulCurator: a vulnerability-fixing commit detector.
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Xuan-Bach Dinh Le 0001, David Lo 0001
FSE2022Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Using nudges to accelerate code reviews at scale.
Qianhua Shan, David Sukhdeo, Qianying Huang, Seth Rogers, Lawrence Chen 0002
FSE2022Other
Using graph neural networks for program termination.
Yoav Alon, Cristina David
FSE2022AI / LLM for SE
Unite: an adapter for transforming analysis tools to web services via OSLC.
Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka
FSE2022Mobile / Web / GUI / Android
Understanding why we cannot model how long a code review will take: an industrial case study.
Lawrence Chen 0002, Peter C. Rigby, Nachiappan Nagappan
FSE2022Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Understanding skills for OSS communities on GitHub.
Jenny T. Liang, Thomas Zimmermann 0001, Denae Ford
FSE2022Human / Empirical / Socio-technical
Understanding performance problems in deep learning systems.
Junming Cao, Bihuan Chen 0001, Chao Sun, Longjie Hu, Shuaihong Wu
FSE2022AI / LLM for SE; Performance / Energy / Reliability
Understanding automated code review process and developer experience in industry.
Hyungjin Kim, Yonghwi Kwon 0003, Sangwoo Joh, Hyukin Kwon, Yeonhee Ryou
FSE2022Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Uncertainty-aware transfer learning to evolve digital twins for industrial elevators.
Qinghua Xu, Shaukat Ali 0001, Tao Yue 0002, Maite Arratibel
FSE2022Other
UTANGO: untangling commits with context-aware, graph-based, code change clustering learning model.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
FSE2022Maintenance / Evolution / Refactoring / Review
Tracking patches for open source software vulnerabilities.
Congying Xu, Bihuan Chen 0001, Chenhao Lu, Kaifeng Huang 0001, Xin Peng 0001
FSE2022Human / Empirical / Socio-technical
TraceCRL: contrastive representation learning for microservice trace analysis.
Chenxi Zhang 0003, Xin Peng 0001, Tong Zhou, Chaofeng Sha, Zhenghui Yan
FSE2022Cloud / Microservices / Distributed Systems
Trace analysis based microservice architecture measurement.
Xin Peng 0001, Chenxi Zhang 0003, Zhongyuan Zhao, Akasaka Isami, Xiaofeng Guo
FSE2022Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
Towards developer-centered automatic program repair: findings from Bloomberg.
Emily Rowan Winter, Vesna Nowack, David Bowes, Steve Counsell, Tracy Hall
FSE2022Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Toward interactive bug reporting for (android app) end-users.
Yang Song, Junayed Mahmud, Ying Zhou, Oscar Chaparro, Kevin Moran
FSE2022Mobile / Web / GUI / Android
This is your cue! assisting search behaviour with resource style properties.
Deeksha M. Arya
FSE2022Performance / Energy / Reliability
The evolution of type annotations in python: an empirical study.
Luca Di Grazia, Michael Pradel
FSE2022Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
The best of both worlds: integrating semantic features with expert features for defect prediction and localization.
Chao Ni 0001, Wei Wang 0087, Kaiwen Yang, Xin Xia 0001, Kui Liu 0001
FSE2022Other
Testing of machine learning models with limited samples: an industrial vacuum pumping application.
Ayan Chatterjee, Bestoun S. Ahmed, Erik Hallin, Anton Engman
FSE2022Testing / QA; AI / LLM for SE
Testing of autonomous driving systems: where are we and where should we go?
Guannan Lou, Yao Deng, Xi Zheng 0001, Mengshi Zhang, Tianyi Zhang 0001
FSE2022Testing / QA
Task modularity and the emergence of software value streams (impact award paper keynote).
Gail C. Murphy, Mik Kersten
FSE2022Other
TSA: a tool to detect and quantify network side-channels.
Ismet Burak Kadron, Tevfik Bultan
FSE2022Other
TAPHSIR: towards AnaPHoric ambiguity detection and ReSolution in requirements.
Saad Ezzini, Sallam Abualhaija, Chetan Arora 0002, Mehrdad Sabetzadeh
FSE2022Requirements / Modeling / Architecture
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications.
Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid
FSE2022Other
Static executes-before analysis for event driven programs.
Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy 0001, Pranshul Kushwaha, Deepak D'Souza
FSE2022Other
Sometimes you have to treat the symptoms: tackling model drift in an industrial clone-and-own software product line.
Christof Tinnes, Wolfgang Rössler, Uwe Hohenstein, Torsten Kühn, Andreas Biesdorf
FSE2022Maintenance / Evolution / Refactoring / Review
SolSEE: a source-level symbolic execution engine for solidity.
Shang-Wei Lin 0001, Palina Tolmach, Ye Liu 0012, Yi Li 0008
FSE2022Program Analysis / Verification / Formal Methods
Software security during modern code review: the developer's perspective.
Larissa Braz, Alberto Bacchelli
FSE2022Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Sentiment in software engineering: detection and application.
Nathan Cassee
FSE2022Other
Semi-supervised pre-processing for learning-based traceability framework on real-world software projects.
Liming Dong 0001, He Zhang 0001, Wei Liu, Zhiluo Weng, Hongyu Kuang
FSE2022AI / LLM for SE; Requirements / Modeling / Architecture
SemCluster: a semi-supervised clustering tool for crowdsourced test reports with deep image understanding.
Mingzhe Du, Shengcheng Yu, Chunrong Fang, Tongyu Li, Heyuan Zhang
FSE2022Testing / QA
Security code smells in apps: are we getting better?
Steven Arzt
FSE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Scenario-based test reduction and prioritization for multi-module autonomous driving systems.
Yao Deng, Xi Zheng 0001, Mengshi Zhang, Guannan Lou, Tianyi Zhang 0001
FSE2022Testing / QA
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems.
Chuan Luo 0002, Qiyuan Zhao, Shaowei Cai 0001, Hongyu Zhang 0002, Chunming Hu
FSE2022Testing / QA
SPINE: a scalable log parser with feedback guidance.
Xuheng Wang, Xu Zhang 0024, Liqun Li, Shilin He, Hongyu Zhang 0002
FSE2022Other
SFLKit: a workbench for statistical fault localization.
Marius Smytzek, Andreas Zeller
FSE2022Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution.
Penghui Li 0001, Wei Meng 0001, Kangjie Lu
FSE2022Testing / QA; Program Analysis / Verification / Formal Methods
RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs.
Seulbae Kim, Taesoo Kim
FSE2022Testing / QA
RegMiner: mining replicable regression dataset from code repositories.
Xuezhi Song, Yun Lin 0001, Yijian Wu, Yifan Zhang 0019, Siang Hwee Ng
FSE2022Testing / QA
Reflections on software failure analysis.
Paschal C. Amusuo, Aishwarya Sharma, Siddharth R. Rao, Abbey Vincent, James C. Davis 0001
FSE2022Debugging / Fault Localization / Diagnosis / Repair
RecipeGen++: an automated trigger action programs generator.
Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang, David Lo 0001
FSE2022Other
RULER: discriminative and iterative adversarial training for deep neural network fairness.
Guanhong Tao 0001, Weisong Sun, Tingxu Han, Chunrong Fang, Xiangyu Zhang 0001
FSE2022AI / LLM for SE
RESTInfer: automated inferring parameter constraints from natural language RESTful API descriptions.
Yi Liu 0069
FSE2022Other
Quantitative relational modelling with QAlloy.
Pedro Silva, José N. Oliveira, Nuno Macedo 0001, Alcino Cunha
FSE2022Requirements / Modeling / Architecture
Quantifying community evolution in developer social networks.
Liang Wang 0006, Ying Li 0114, Jierui Zhang, Xianping Tao
FSE2022Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Python-by-contract dataset.
Jiyang Zhang 0003, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, Milos Gligoric 0001
FSE2022Other
PyTER: effective program repair for Python type errors.
Wonseok Oh, Hakjoo Oh
FSE2022Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Putting them under microscope: a fine-grained approach for detecting redundant test cases in natural language.
Zhiyuan Chang, Mingyang Li 0005, Junjie Wang 0001, Qing Wang 0001, Shoubin Li
FSE2022Testing / QA
Psychologically-inspired, unsupervised inference of perceptual groups of GUI widgets from GUI images.
Mulong Xie, Zhenchang Xing, Sidong Feng, Xiwei Xu 0001, Liming Zhu 0001
FSE2022Mobile / Web / GUI / Android
Program merge conflict resolution via neural transformers.
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella
FSE2022AI / LLM for SE
Program analysis using WALA (tutorial).
Joanna C. S. Santos, Julian Dolby
FSE2022Program Analysis / Verification / Formal Methods
PolyFax: a toolkit for characterizing multi-language software.
Wen Li 0007, Li Li 0029, Haipeng Cai
FSE2022Other
Performing large-scale mining studies: from start to finish (tutorial).
Robert Dyer 0001, Samuel W. Flint
FSE2022Other
Perfect is the enemy of test oracle.
Ali Reza Ibrahimzada, Yigit Varli, Dilara Tekinoglu, Reyhaneh Jabbarvand
FSE2022Testing / QA
Peahen: fast and precise static deadlock detection via context reduction.
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang 0001
FSE2022Other
Paving the way for mature secondary research: the seven types of literature review.
Paul Ralph, Sebastian Baltes
FSE2022Other
Parasol: efficient parallel synthesis of large model spaces.
Clay Stevens, Hamid Bagheri
FSE2022Other
Pair programming conversations with agents vs. developers: challenges and opportunities for SE community.
Peter Robe, Sandeep Kaur Kuttal, Jake AuBuchon, Jacob C. Hart
FSE2022Human / Empirical / Socio-technical
PaReco: patched clones and missed patches among the divergent variants of a software family.
Poedjadevie Kadjel Ramkisoen, John Businge, Brent van Bladel, Alexandre Decan, Serge Demeyer
FSE2022Other
Online testing of RESTful APIs: promises and challenges.
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
FSE2022Testing / QA
On-the-fly syntax highlighting using neural networks.
Marco Edoardo Palma, Pasquale Salza, Harald C. Gall
FSE2022AI / LLM for SE
On the vulnerability proneness of multilingual code.
Wen Li 0007, Li Li 0029, Haipeng Cai
FSE2022Other
On safety, assurance, and reliability: a software engineering perspective (keynote).
Marsha Chechik
FSE2022Performance / Energy / Reliability
No more fine-tuning? an experimental evaluation of prompt tuning in code intelligence.
Chaozheng Wang, Yuanhang Yang, Cuiyun Gao 0001, Yun Peng 0003, Hongyu Zhang 0002
FSE2022Other
Neural termination analysis.
Mirco Giacobbe, Daniel Kroening, Julian Parsert
FSE2022AI / LLM for SE
NeuDep: neural binary memory dependence analysis.
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan
FSE2022AI / LLM for SE
NatGen: generative pre-training by "naturalizing" source code.
Saikat Chakraborty 0001, Toufique Ahmed, Yangruibo Ding, Premkumar T. Devanbu, Baishakhi Ray
FSE2022AI / LLM for SE
Nalanda: a socio-technical graph platform for building software analytics tools at enterprise scale.
Chandra Shekhar Maddila, Suhas Shanbhogue, Apoorva Agrawal, Thomas Zimmermann 0001, Chetan Bansal
FSE2022DevOps / CI / Build / Release
NMTSloth: understanding and testing efficiency degradation of neural machine translation systems.
Simin Chen, Cong Liu 0005, Mirazul Haque, Zihe Song, Wei Yang 0013
FSE2022Testing / QA; AI / LLM for SE; Performance / Energy / Reliability
NL2Viz: natural language to visualization via constrained syntax-guided synthesis.
Zhengkai Wu, Vu Le 0002, Ashish Tiwari 0001, Sumit Gulwani, Arjun Radhakrishna
FSE2022Other
Multi-phase invariant synthesis.
Daniel Riley, Grigory Fedyukovich
FSE2022Program Analysis / Verification / Formal Methods
Multi-perspective representation learning for source code analytics (invited tutorial).
Zhi Jin
FSE2022Other
MultIPAs: applying program transformations to introductory programming assignments for data augmentation.
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
FSE2022Other
MpBP: verifying robustness of neural networks with multi-path bound propagation.
Ye Zheng, Jiaxiang Liu 0001, Xiaomu Shi
FSE2022AI / LLM for SE
Modus: a Datalog dialect for building container images.
Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev
FSE2022DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
Minerva: browser API fuzzing with dynamic mod-ref analysis.
Chijin Zhou, Quan Zhang 0003, Mingzhe Wang, Lihua Guo, Jie Liang 0006
FSE2022Testing / QA; Mobile / Web / GUI / Android
Metadata-based retrieval for resolution recommendation in AIOps.
Harshit Kumar, Ruchi Mahindru, Debanjana Kar
FSE2022Other
Making Python code idiomatic by automatic refactoring non-idiomatic Python code with pythonic idioms.
Zejun Zhang 0006, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001, Liming Zhu 0001
FSE2022Maintenance / Evolution / Refactoring / Review
Machine learning and natural language processing for automating software testing (tutorial).
Mauro Pezzè
FSE2022Testing / QA; AI / LLM for SE
MOSAT: finding safety violations of autonomous driving systems using multi-objective genetic algorithm.
Haoxiang Tian 0001, Yan Jiang, Guoquan Wu, Jiren Yan, Jun Wei 0001
FSE2022Other
MANDO-GURU: vulnerability detection for smart contract source code by heterogeneous graph embeddings.
Hoang H. Nguyen, Nhat-Minh Nguyen, Hong-Phuc Doan, Zahra Ahmadi, Thanh-Nam Doan
FSE2022Security / Privacy / Vulnerability
MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning software.
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
FSE2022AI / LLM for SE; Performance / Energy / Reliability
Lighting up supervised learning in user review-based code localization: dataset and benchmark.
Xinwen Hu, Yu Guo, Jianjie Lu, Zheling Zhu, Chuanyi Li
FSE2022Other
Leveraging test plan quality to improve code review efficacy.
Lawrence Chen 0002, Rui Abreu 0001, Tobi Akomolede, Peter C. Rigby, Satish Chandra 0001
FSE2022Testing / QA; Maintenance / Evolution / Refactoring / Review
Less training, more repairing please: revisiting automated program repair via zero-shot learning.
Chunqiu Steven Xia, Lingming Zhang 0001
FSE2022Debugging / Fault Localization / Diagnosis / Repair
Large-scale analysis of non-termination bugs in real-world OSS projects.
Xiuhan Shi, Xiaofei Xie, Yi Li 0008, Yao Zhang 0019, Sen Chen 0001
FSE2022Other
Language-agnostic dynamic analysis of multilingual code: promises, pitfalls, and prospects.
Haoran Yang 0002, Wen Li 0007, Haipeng Cai
FSE2022Program Analysis / Verification / Formal Methods
KVS: a tool for knowledge-driven vulnerability searching.
Xingqi Cheng, Xiaobing Sun 0001, Lili Bo, Ying Wei 0012
FSE2022Other
JSIMutate: understanding performance results through mutations.
Thomas Laurent 0003, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
FSE2022Testing / QA; Performance / Energy / Reliability
Investigating and improving log parsing in practice.
Ying Fu, Meng Yan 0001, Jian Xu, Jianguo Li, Zhongxin Liu 0002
FSE2022Other
Input splitting for cloud-based static application security testing platforms.
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur
FSE2022Testing / QA; Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems
Input invariants.
Dominic Steinhöfel, Andreas Zeller
FSE2022Other
Infrastructure as code for dynamic deployments.
Daniel Sokolowski
FSE2022Other
Industry practice of configuration auto-tuning for cloud applications and services.
Runzhe Wang, Qinglong Wang 0003, Yuxi Hu, Heyuan Shi, Yuheng Shen
FSE2022DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
Industry experiences with large-scale refactoring.
James Ivers, Robert L. Nord, Ipek Ozkaya, Chris Seifried, Christopher Steven Timperley
FSE2022Maintenance / Evolution / Refactoring / Review
Incorporating domain knowledge through task augmentation for front-end JavaScript code generation.
Sijie Shen, Xiang Zhu, Yihong Dong, Qizhi Guo, Yankun Zhen
FSE2022Other
In war and peace: the impact of world politics on software ecosystems.
Raula Gaikovina Kula, Christoph Treude
FSE2022Other
Improving ML-based information retrieval software with user-driven functional testing and defect class analysis.
Junjie Zhu, Teng Long 0003, Wei Wang, Atif M. Memon
FSE2022Testing / QA
Improving IDE code inspections with tree automata.
Yunjeong Lee
FSE2022Other
How to formulate specific how-to questions in software development?
Mingwei Liu 0002, Xin Peng 0001, Andrian Marcus, Christoph Treude, Jiazhan Xie
FSE2022Other
How to better utilize code graphs in semantic code search?
Yucen Shi, Ying Yin 0001, Zhengkui Wang, David Lo 0001, Tao Zhang 0001
FSE2022Other
Hierarchical Bayesian multi-kernel learning for integrated classification and summarization of app reviews.
Moayad Alshangiti, Weishi Shi, Eduardo Lima, Xumin Liu, Qi Yu 0001
FSE2022Mobile / Web / GUI / Android
Group-based corpus scheduling for parallel fuzzing.
Taotao Gu, Xiang Li 0078, Shuaibing Lu, Jianwen Tian, Yuanping Nie
FSE2022Testing / QA
Generic sensitivity: customizing context-sensitive pointer analysis for generics.
Haofeng Li, Jie Lu 0009, Haining Meng, Liqing Cao, Yongheng Huang
FSE2022Program Analysis / Verification / Formal Methods
Generating realistic vulnerabilities via neural code editing: an empirical study.
Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen 0001, Haipeng Cai
FSE2022AI / LLM for SE; Human / Empirical / Socio-technical
GFI-bot: automated good first issue recommendation on GitHub.
Hao He 0012, Haonan Su, Wenxin Xiao, Runzhi He, Minghui Zhou 0001
FSE2022Human / Empirical / Socio-technical
Fuzzing deep-learning libraries via automated relational API inference.
Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang 0001
FSE2022Testing / QA
FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests.
Tanakorn Leesatapornwongsa, Xiang Ren 0003, Suman Nath
FSE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
First come first served: the impact of file position on code review.
Enrico Fregnan, Larissa Braz, Marco D'Ambros, Gül Çalikli, Alberto Bacchelli
FSE2022Maintenance / Evolution / Refactoring / Review
Fault localization to detect co-change fixing locations.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
FSE2022Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers.
Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang 0001
FSE2022Program Analysis / Verification / Formal Methods
FIM: fault injection and mutation for Simulink.
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
FSE2022Testing / QA
Exploring the under-explored terrain of non-open source data for software engineering through the lens of federated learning.
Shriram Shanbhag, Sridhar Chimalakonda
FSE2022Human / Empirical / Socio-technical
Exploring and evaluating personalized models for code generation.
Andrei Zlotchevski, Dawn Drain, Alexey Svyatkovskiy, Colin B. Clement, Neel Sundaresan
FSE2022Other
Explaining and debugging pathological program behavior.
Martin Eberlein
FSE2022Debugging / Fault Localization / Diagnosis / Repair
Effective and scalable fault injection using bug reports and generative language models.
Ahmed Khanfir
FSE2022AI / LLM for SE
Dynamic data race prediction: fundamentals, theory, and practice (tutorial).
Umang Mathur 0001, Andreas Pavlogiannis
FSE2022Other
DynaPyt: a dynamic analysis framework for Python.
Aryaz Eghbali, Michael Pradel
FSE2022Program Analysis / Verification / Formal Methods
Do bugs lead to unnaturalness of source code?
Yanjie Jiang, Hui Liu 0003, Yuxia Zhang, Weixing Ji, Hao Zhong 0001
FSE2022Other
Discrepancies among pre-trained deep neural networks: a new threat to model zoo reliability.
Diego Montes, Pongpatapee Peerapatanapokin, Jeff Schultz, Chengjun Guo, Wenxin Jiang 0001
FSE2022AI / LLM for SE; Performance / Energy / Reliability
Discovering feature flag interdependencies in Microsoft office.
Michael Schröder 0005, Katja Kevic, Dan Gopstein, Brendan Murphy, Jennifer Beckmann
FSE2022Other
Diet code is healthy: simplifying programs for pre-trained models of code.
Zhaowei Zhang, Hongyu Zhang 0002, Beijun Shen, Xiaodong Gu 0002
FSE2022Other
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
Jue Wang, Yanyan Jiang 0001, Ting Su 0001, Shaohua Li 0002, Chang Xu 0001
FSE2022Mobile / Web / GUI / Android
Detecting Simulink compiler bugs via controllable zombie blocks mutation.
Shikai Guo, He Jiang 0001, Zhihao Xu, Xiaochen Li, Zhilei Ren
FSE2022Testing / QA
Demystifying the underground ecosystem of account registration bots.
Yuhao Gao, Guoai Xu, Li Li 0029, Xiapu Luo, Chenyu Wang 0002
FSE2022Other
Demystifying "removed reviews" in iOS app store.
Liu Wang 0002, Haoyu Wang 0001, Xiapu Luo, Tao Zhang 0001, Shangguang Wang
FSE2022Mobile / Web / GUI / Android
DeepDev-PERF: a deep learning-based approach for improving software performance.
Spandan Garg, Roshanak Zilouchian Moghaddam, Colin B. Clement, Neel Sundaresan, Chen Wu
FSE2022AI / LLM for SE; Performance / Energy / Reliability
Declarative smart contracts.
Haoxian Chen 0001, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang 0001, Boon Thau Loo
FSE2022Other
DeJITLeak: eliminating JIT-induced timing side-channel leaks.
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen 0001, Xinyu Xing 0001
FSE2022Other
Cross-language Android permission specification.
Chaoran Li, Xiao Chen 0002, Ruoxi Sun 0001, Minhui Xue 0001, Sheng Wen
FSE2022Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Cross-device record and replay for Android apps.
Cong Li 0003, Yanyan Jiang 0001, Chang Xu 0001
FSE2022Mobile / Web / GUI / Android
Correlates of programmer efficacy and their link to experience: a combined EEG and eye-tracking study.
Norman Peitek, Annabelle Bergum, Maurice Rekrut, Jonas Mucke, Matthias Nadig
FSE2022Human / Empirical / Socio-technical
Corporate dominance in open source ecosystems: a case study of OpenStack.
Yuxia Zhang, Klaas-Jan Stol, Hui Liu 0003, Minghui Zhou 0001
FSE2022Human / Empirical / Socio-technical
Context-aware code recommendation in Intellij IDEA.
Shamsa Abid, Hamid Abdul Basit, Shafay Shamail
FSE2022Other
CommentFinder: a simpler, faster, more accurate code review comments recommendation.
Yang Hong 0004, Chakkrit Tantithamthavorn, Patanamon Thongtanunam, Aldeida Aleti
FSE2022Maintenance / Evolution / Refactoring / Review
CodeMatcher: a tool for large-scale code search based on query semantics matching.
Chao Liu 0014, Xuanlin Bao, Xin Xia 0001, Meng Yan 0001, David Lo 0001
FSE2022Other
Code, quality, and process metrics in graduated and retired ASFI projects.
Stefan Stanciulescu, Likang Yin, Vladimir Filkov
FSE2022Other
Classifying edits to variability in source code.
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer
FSE2022Other
Clang __usercall: towards native support for user defined calling conventions.
Jared Q. Widberg, Sashank Narain, Yimin Chen 0004
FSE2022Other
CheapET-3: cost-efficient use of remote DNN models.
Michael Weiss 0004
FSE2022Performance / Energy / Reliability
Change-aware mutation testing for evolving systems.
Milos Ojdanic
FSE2022Testing / QA; Maintenance / Evolution / Refactoring / Review
CORMS: a GitHub and Gerrit based hybrid code reviewer recommendation approach for modern code review.
Prahar Pandya, Saurabh Tiwari 0001
FSE2022Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
COREQQA: a COmpliance REQuirements understanding using question answering tool.
Sallam Abualhaija, Chetan Arora 0002, Lionel C. Briand
FSE2022Requirements / Modeling / Architecture
CLIFuzzer: mining grammars for command-line invocations.
Abhilash Gupta, Rahul Gopinath, Andreas Zeller
FSE2022Testing / QA
Blackbox adversarial attacks and explanations for automatic speech recognition.
Xiaoliang Wu
FSE2022Other
Avgust: automating usage-based test generation from videos of app executions.
Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee
FSE2022Testing / QA; Mobile / Web / GUI / Android
Automating code review activities by large-scale pre-training.
Zhiyu Li, Shuai Lu, Daya Guo, Nan Duan 0001, Shailesh Jannu
FSE2022Maintenance / Evolution / Refactoring / Review
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.
Jihyeok Park, Seungmin An, Sukyoung Ryu
FSE2022Program Analysis / Verification / Formal Methods
Automated unearthing of dangerous issue reports.
Shengyi Pan, Jiayuan Zhou, Filipe Roseiro Côgo, Xin Xia 0001, Lingfeng Bao
FSE2022Other
Automated generation of test oracles for RESTful APIs.
Juan C. Alonso
FSE2022Testing / QA
Automated capacity analysis of limitation-aware microservices architectures.
Rafael Fresno-Aranda
FSE2022Other
AutoTSG: learning and synthesis for incident troubleshooting.
Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
FSE2022Other
AutoPruner: transformer-based call graph pruning.
Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo 0001
FSE2022AI / LLM for SE
Asynchronous technical interviews: reducing the effect of supervised think-aloud on communication ability.
Mahnaz Behroozi, Chris Parnin, Chris Brown 0001
FSE2022Other
Are we building on the rock? on the importance of data preprocessing for code summarization.
Lin Shi 0006, Fangwen Mu, Xiao Chen 0015, Song Wang 0009, Junjie Wang 0001
FSE2022DevOps / CI / Build / Release
Are elevator software robust against uncertainties? results and experiences from an industrial case study.
Liping Han, Tao Yue 0002, Shaukat Ali 0001, Aitor Arrieta, Maite Arratibel
FSE2022Human / Empirical / Socio-technical; Performance / Energy / Reliability
An exploratory study on the predominant programming paradigms in Python code.
Robert Dyer 0001, Jigyasa Chauhan
FSE2022Human / Empirical / Socio-technical
An empirical study of log analysis at Microsoft.
Shilin He, Xu Zhang 0024, Pinjia He, Yong Xu 0010, Liqun Li
FSE2022Human / Empirical / Socio-technical
An empirical study of deep transfer learning-based program repair for Kotlin projects.
Misoo Kim, Youngkyoung Kim, Hohyeon Jeong, Jinseok Heo, Sungoh Kim
FSE2022AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
An empirical study of blockchain system vulnerabilities: modules, types, and patterns.
Xiao Yi, Daoyuan Wu, Lingxiao Jiang, Yuzhou Fang, Kehuan Zhang
FSE2022Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
An empirical investigation of missing data handling in cloud node failure prediction.
Minghua Ma, Yudong Liu, Yuang Tong, Haozhe Li, Pu Zhao 0004
FSE2022Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
All you need is logs: improving code completion by learning from anonymous IDE usage logs.
Vitaliy Bibaev, Alexey Kalina, Vadim Lomshakov, Yaroslav Golubev, Alexander Bezzubov
FSE2022Cloud / Microservices / Distributed Systems
AgileCtrl: a self-adaptive framework for configuration tuning.
Shu Wang, Henry Hoffmann, Shan Lu 0001
FSE2022DevOps / CI / Build / Release
Adaptive fairness improvement based on causality analysis.
Mengdi Zhang 0003, Jun Sun 0001
FSE2022Other
Actionable and interpretable fault localization for recurring failures in online service systems.
Zeyan Li, Nengwen Zhao, Mingjie Li 0005, Xianglin Lu, Lixin Wang
FSE2022Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Achievement unlocked: a case study on gamifying DevOps practices in industry.
Patrick Ayoup, Diego Elias Costa, Emad Shihab
FSE2022Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Accurate method and variable tracking in commit history.
Mehran Jodavi, Nikolaos Tsantalis
FSE2022DevOps / CI / Build / Release
AccessiText: automated detection of text accessibility issues in Android apps.
Abdulaziz Alshayban, Sam Malek
FSE2022Mobile / Web / GUI / Android
Academic prototyping (invited tutorial).
Andreas Zeller
FSE2022Other
AUGER: automatically generating review comments with pre-training models.
Lingwei Li, Li Yang 0015, Huaxi Jiang, Jun Yan, Tiejian Luo
FSE2022Other
API recommendation for machine learning libraries: how far are we?
Moshi Wei, Yuchao Huang, Junjie Wang 0001, Jiho Shin, Nima Shiri Harzevili
FSE2022AI / LLM for SE
AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote).
Sumit Gulwani
FSE2022AI / LLM for SE; Program Analysis / Verification / Formal Methods
A study on identifying code author from real development.
Siyi Gong, Hao Zhong 0001
FSE2022Human / Empirical / Socio-technical
A retrospective study of one decade of artifact evaluations.
Stefan Winter 0001, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell 0001
FSE2022Human / Empirical / Socio-technical
A practical call graph construction method for Python.
Jiacheng Zhong
FSE2022Other
A case study of implicit mentoring, its prevalence, and impact in Apache.
Zixuan Feng, Amreeta Chatterjee, Anita Sarma, Iftekhar Ahmed 0001
FSE2022Human / Empirical / Socio-technical
23 shades of self-admitted technical debt: an empirical study on machine learning software.
David O'Brien, Sumon Biswas, Sayem Imtiaz, Rabe Abdalkareem, Emad Shihab
FSE2022AI / LLM for SE; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications.
Wuqi Zhang, Lili Wei 0001, Shuqing Li 0001, Yepang Liu 0001, Shing-Chi Cheung
FSE2021Other
iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations.
Yibo Wang 0006, Qi Zhang 0009, Kai Li 0017, Yuzhe Tang, Jiaqi Chen
FSE2021Performance / Energy / Reliability
csDetector: an open source tool for community smells detection.
Nuri Almarimi, Ali Ouni 0001, Moataz Chouchen, Mohamed Wiem Mkaouer
FSE2021Human / Empirical / Socio-technical
XAI tools in the public sector: a case study on predicting combined sewer overflows.
Nicholas Maltbie, Nan Niu, Matthew Van Doren, Reese Johnson
FSE2021Human / Empirical / Socio-technical
Would you like a quick peek? providing logging support to monitor data processing in big data applications.
Zehao Wang, Haoxiang Zhang 0001, Tse-Hsun (Peter) Chen, Shaowei Wang 0002
FSE2021Other
Which abbreviations should be expanded?
Yanjie Jiang, Hui Liu 0003, Yuxia Zhang, Nan Niu, Yuhai Zhao
FSE2021Other
When life gives you oranges: detecting and diagnosing intermittent job failures at Mozilla.
Johannes Lampel, Sascha Just, Sven Apel, Andreas Zeller
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Vulnerability detection with fine-grained interpretations.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
FSE2021Other
Vet: identifying and avoiding UI exploration tarpits.
Wenyu Wang, Wei Yang 0013, Tianyin Xu, Tao Xie 0001
FSE2021Mobile / Web / GUI / Android
VarFix: balancing edit expressiveness and search effectiveness in automated program repair.
Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, Claire Le Goues
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Validation on machine reading comprehension software without annotated labels: a property-based method.
Songqiang Chen, Shuo Jin, Xiaoyuan Xie
FSE2021Testing / QA; Education / Program Comprehension
Unveiling multiple facets of design degradation in modern code review.
Anderson G. Uchôa
FSE2021Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
Understanding neural code intelligence through program simplification.
Md. Rafiqul Islam Rabin, Vincent J. Hellendoorn, Mohammad Amin Alipour
FSE2021AI / LLM for SE
Understanding and detecting server-side request races in web applications.
Zhengyi Qiu, Shudi Shao, Qi Zhao 0003, Guoliang Jin
FSE2021Mobile / Web / GUI / Android
Turnover-induced knowledge loss in practice.
Martin P. Robillard
FSE2021Other
Towards immersive software archaeology: regaining legacy systems' design knowledge via interactive exploration in virtual reality.
Adrian Hoff, Michael Nieke, Christoph Seidl 0001
FSE2021Requirements / Modeling / Architecture
Towards automating code review at scale.
Vincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, Martin Hirzel
FSE2021Maintenance / Evolution / Refactoring / Review
Towards an approach for resource-driven adaptation.
Paul A. Akiki
FSE2021Performance / Energy / Reliability
Toward efficient interactions between Python and native libraries.
Jialiang Tan, Yu Chen 0036, Zhenming Liu, Bin Ren 0002, Shuaiwen Leon Song
FSE2021Other
To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability.
Madeline Endres, Madison Fansher, Priti Shah, Westley Weimer
FSE2021Education / Program Comprehension
Timely and accurate detection of model deviation in self-adaptive software-intensive systems.
Yanxiang Tong, Yi Qin 0002, Yanyan Jiang 0001, Chang Xu 0001, Chun Cao
FSE2021Other
The gas triangle and its challenges to the development of blockchain-powered applications.
Gustavo Ansaldi Oliva, Ahmed E. Hassan
FSE2021Security / Privacy / Vulnerability
The 4ps: product, process, people, and productivity: a data-driven approach to improve software engineering (keynote).
Nachiappan Nagappan
FSE2021Other
Term interrelations and trends in software engineering.
Janusan Baskararajah, Lei Zhang 0078, Andriy V. Miranskyy
FSE2021Other
TaintStream: fine-grained taint tracking for big data platforms through dynamic code translation.
Chengxu Yang, Yuanchun Li 0003, Mengwei Xu 0001, Zhenpeng Chen, Yunxin Liu 0001
FSE2021Security / Privacy / Vulnerability
Synthesis of web layouts from examples.
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner
FSE2021Mobile / Web / GUI / Android
SynGuar: guaranteeing generalization in programming by example.
Bo Wang 0146, Teodora Baluta, Aashish Kolluri, Prateek Saxena
FSE2021Other
Symbolic parallel adaptive importance sampling for probabilistic program analysis.
Yicheng Luo, Antonio Filieri, Yuan Zhou 0028
FSE2021Program Analysis / Verification / Formal Methods
Swarmbug: debugging configuration bugs in swarm robotics.
Chijung Jung, Ali Ahad, Jinho Jung 0001, Sebastian G. Elbaum, Yonghwi Kwon 0001
FSE2021Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Sustainability forecasting for Apache incubator projects.
Likang Yin, Zhuangzhi Chen, Qi Xuan 0001, Vladimir Filkov
FSE2021Other
StateFormer: fine-grained type recovery from binaries using generative state modeling.
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao
FSE2021AI / LLM for SE; Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
StackEmo: towards enhancing user experience by augmenting stack overflow with emojis.
Akhila Sri Manasa Venigalla, Sridhar Chimalakonda
FSE2021Other
Sound and efficient concurrency bug prediction.
Yan Cai 0001, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
FSE2021Other
Software robustness: a survey, a theory, and prospects.
Justyna Petke, David Clark 0001, William B. Langdon
FSE2021Human / Empirical / Socio-technical
SmartCommit: a graph-based interactive assistant for activity-oriented commits.
Bo Shen, Wei Zhang 0004, Christian Kästner, Haiyan Zhao 0001, Zhao Wei
FSE2021Other
Slicer4J: a dynamic slicer for Java.
Khaled Ahmed 0004, Mieszko Lis, Julia Rubin
FSE2021Other
Skeletal approximation enumeration for SMT solver testing.
Peisen Yao, Heqing Huang 0002, Wensheng Tang, Qingkai Shi, Rongxin Wu
FSE2021Testing / QA
Semantic bug seeding: a learning-based approach for creating realistic bugs.
Jibesh Patra, Michael Pradel
FSE2021AI / LLM for SE
Selecting test inputs for DNNs using differential testing with subspecialized model instances.
Yu-Seung Ma, Shin Yoo, Taeho Kim 0001
FSE2021Testing / QA
Security guarantees for automated software testing.
Danushka Liyanage
FSE2021Testing / QA; Security / Privacy / Vulnerability
Sangrahaka: a tool for annotating and querying knowledge graphs.
Hrishikesh Terdalkar, Arnab Bhattacharya 0001
FSE2021Other
SMT solver testing with type and grammar based mutation.
Jiwon Park
FSE2021Testing / QA; Program Analysis / Verification / Formal Methods
Reel life vs. real life: how software developers share their daily life through vlogs.
Souti Chattopadhyay, Thomas Zimmermann 0001, Denae Ford
FSE2021Human / Empirical / Socio-technical
Reducing the search space of bug inducing commits using failure coverage.
Gabin An, Shin Yoo
FSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Reducing cost in continuous integration with a collection of build selection approaches.
Xianhao Jin
FSE2021DevOps / CI / Build / Release; Performance / Energy / Reliability
Reassessing automatic evaluation metrics for code summarization tasks.
Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova
FSE2021Other
RAPID: checking API usage for the cloud in the cloud.
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner
FSE2021Maintenance / Evolution / Refactoring / Review; Cloud / Microservices / Distributed Systems
Quantifying no-fault-found test failures to prioritize inspection of flaky tests at Ericsson.
Maaz Hafeez Ur Rehman, Peter C. Rigby
FSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Programming and execution models for next generation code intelligence systems (keynote).
Mira Mezini
FSE2021Other
Probing model signal-awareness via prediction-preserving input minimization.
Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Alain Laredo, Alessandro Morari
FSE2021Other
Probabilistic Delta debugging.
Guancheng Wang 0001, Ruobing Shen, Junjie Chen 0003, Yingfei Xiong 0001, Lu Zhang 0023
FSE2021Debugging / Fault Localization / Diagnosis / Repair
PorkFuzz: testing stateful software-defined network applications with property graphs.
Chaofan Shou
FSE2021Testing / QA
Parallel shadow execution to accelerate the debugging of numerical errors.
Sangeeta Chowdhary, Santosh Nagarakatte
FSE2021Debugging / Fault Localization / Diagnosis / Repair
PHYSFRAME: type checking physical frames of reference for robotic systems.
Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang 0001, Sebastian G. Elbaum
FSE2021Program Analysis / Verification / Formal Methods
OwlEyes-online: a fully automated platform for detecting and localizing UI display issues.
Yuhui Su, Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Qing Wang 0001
FSE2021Mobile / Web / GUI / Android
Overcoming metric diversity in meta-analysis for software engineering: proposed approach and a case study on its usage on the effects of software reuse.
Kirill Daniakin
FSE2021Human / Empirical / Socio-technical
Organizational implications of agile adoption: a case study from the public sector.
Parastoo Mohagheghi, Casper Lassenius
FSE2021Human / Empirical / Socio-technical
Onion: identifying incident-indicating logs for cloud systems.
Xu Zhang 0024, Yong Xu 0010, Si Qin, Shilin He, Bo Qiao 0001
FSE2021Cloud / Microservices / Distributed Systems
One thousand and one stories: a large-scale survey of software refactoring.
Yaroslav Golubev, Zarina Kurbatova, Eman Abdullah AlOmar, Timofey Bryksin, Mohamed Wiem Mkaouer
FSE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
New visions on metamorphic testing after a quarter of a century of inception.
Tsong Yueh Chen, T. H. Tse
FSE2021Testing / QA
NIL: large-scale detection of large-variance clones.
Tasuku Nakagawa, Yoshiki Higo, Shinji Kusumoto
FSE2021Other
Multi-objectivizing software configuration tuning.
Tao Chen 0001, Miqing Li
FSE2021DevOps / CI / Build / Release
Multi-location cryptographic code repair with neural-network-based methodologies.
Ya Xiao 0002
FSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Mono2Micro: a practical and effective tool for decomposing monolithic Java applications to microservices.
Anup K. Kalia, Jin Xiao 0005, Rahul Krishna, Saurabh Sinha 0003, Maja Vukovic
FSE2021Other
Mitigating security attacks in kubernetes manifests for security best practices violation.
Shazibul Islam Shamim
FSE2021Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems
Metamorphic testing of Datalog engines.
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz
FSE2021Testing / QA
Managers hate uncertainty: good and bad experiences with adaptive project management (invited talk).
Han Schaminée
FSE2021Other
Making smart contract development more secure and easier.
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li
FSE2021Security / Privacy / Vulnerability
Lightweight verification via specialized typecheckers.
Martin Kellogg
FSE2021Program Analysis / Verification / Formal Methods
Lightweight global and local contexts guided method name recommendation with prior knowledge.
Shangwen Wang, Ming Wen 0001, Bo Lin 0011, Xiaoguang Mao
FSE2021Other
Lightweight and modular resource leak verification.
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
FSE2021Program Analysis / Verification / Formal Methods; Performance / Energy / Reliability
Learning-based extraction of first-order logic representations of API directives.
Mingwei Liu 0002, Xin Peng 0001, Andrian Marcus, Christoph Treude, Xuefang Bai
FSE2021AI / LLM for SE
Learning type annotation: is big data enough?
Kevin Jesse, Premkumar T. Devanbu, Toufique Ahmed
FSE2021Program Analysis / Verification / Formal Methods
LastPyMile: identifying the discrepancy between sources and packages.
Duc-Ly Vu, Fabio Massacci, Ivan Pashchenko, Henrik Plate, Antonino Sabetta
FSE2021Other
LS-sampling: an effective local search based sampling approach for achieving high t-wise coverage.
Chuan Luo 0002, Binqi Sun, Bo Qiao 0001, Junjie Chen 0003, Hongyu Zhang 0002
FSE2021Testing / QA
LLSC: a parallel symbolic execution compiler for LLVM IR.
Guannan Wei 0001, Shangyin Tan, Oliver Bracevac, Tiark Rompf
FSE2021Program Analysis / Verification / Formal Methods
KGAMD: an API-misuse detector driven by fine-grained API-constraint knowledge graph.
Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001
FSE2021Other
JSISOLATE: lightweight in-browser JavaScript isolation.
Mingxue Zhang 0001, Wei Meng 0001
FSE2021Mobile / Web / GUI / Android
Investigating documented information for accurate effort estimation in agile software development.
Jirat Pasuksmit
FSE2021Other
Interactive analysis of large code bases (invited talk).
Gerard J. Holzmann
FSE2021Other
Intelligent container reallocation at Microsoft 365.
Bo Qiao 0001, Fangkai Yang, Chuan Luo 0002, Yanan Wang, Johnny Li
FSE2021Cloud / Microservices / Distributed Systems
Infiltrating security into development: exploring the world's largest software security study.
Charles Weir, Sammy Migues, Mike Ware, Laurie A. Williams
FSE2021Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Industrial best practices for continuous integration (CI) and continuously delivery (CD) (invited talk).
John Micco
FSE2021DevOps / CI / Build / Release
Improving the effectiveness of peer code review in identifying security defects.
Rajshakhar Paul
FSE2021Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review
Identifying casualty changes in software patches.
Adriana Sejfia, Yixue Zhao, Nenad Medvidovic
FSE2021Maintenance / Evolution / Refactoring / Review
Identifying bad software changes via multimodal anomaly detection for online service systems.
Nengwen Zhao, Junjie Chen 0003, Zhaoyang Yu 0002, Honglin Wang, Jiesong Li
FSE2021Maintenance / Evolution / Refactoring / Review
IDE support for cloud-based static analyses.
Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden
FSE2021Cloud / Microservices / Distributed Systems
ICME: an informed consent management engine for conformance in smart building environments.
Chehara Pathmabandu, John C. Grundy, Mohan Baruwal Chhetri, Zubair A. Baig
FSE2021DevOps / CI / Build / Release
Huawei's practices on trusted software engineering capability improvement (invited talk).
Wilson Wang
FSE2021Other
How disabled tests manifest in test maintainability challenges?
Dong Jae Kim, Bo Yang 0058, Jinqiu Yang 0001, Tse-Hsun (Peter) Chen
FSE2021Testing / QA
How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies.
Roman Haas, Daniel Elsner, Elmar Jürgens, Alexander Pretschner, Sven Apel
FSE2021Testing / QA; Human / Empirical / Socio-technical; Performance / Energy / Reliability
HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications.
Qian Zhang 0020, Jiyuan Wang, Miryung Kim
FSE2021Testing / QA
Health of smart ecosystems.
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
FSE2021Other
Hazard analysis for human-on-the-loop interactions in sUAS systems.
Michael Vierhauser, Md Nafee Al Islam, Ankit Agrawal 0002, Jane Cleland-Huang, James Mason
FSE2021Human / Empirical / Socio-technical
Graph-based seed object synthesis for search-based unit testing.
Yun Lin 0001, You Sheng Ong, Jun Sun 0001, Gordon Fraser 0001, Jin Song Dong 0001
FSE2021Testing / QA
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study.
Jon Ayerdi, Valerio Terragni, Aitor Arrieta, Paolo Tonella, Goiuria Sagardui
FSE2021Human / Empirical / Socio-technical
Generating efficient solvers from constraint models.
Shu Lin 0003, Na Meng 0001, Wenxin Li 0005
FSE2021Other
Generalizable and interpretable learning for configuration extrapolation.
Yi Ding 0006, Ahsan Pervaiz, Michael Carbin, Henry Hoffmann
FSE2021DevOps / CI / Build / Release
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
FSE2021Other
GLIB: towards automated test oracle for graphically-rich applications.
Ke Chen 0005, Yufei Li 0001, Yingfeng Chen, Changjie Fan, Zhipeng Hu
FSE2021Testing / QA
FuzzBench: an open fuzzer benchmarking platform and service.
Jonathan Metzman, László Szekeres, Laurent Simon 0001, Read Sprabery, Abhishek Arya
FSE2021Testing / QA
Frontmatter: mining Android user interfaces at scale.
Konstantin Kuznetsov 0001, Chen Fu, Song Gao 0014, David N. Jansen, Lijun Zhang 0001
FSE2021Mobile / Web / GUI / Android
Freeing hybrid distributed AI training configuration.
Haoran Wang
FSE2021AI / LLM for SE; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
Flaky test detection in Android via event order exploration.
Zhen Dong, Abhishek Tiwari 0001, Xiao Liang Yu, Abhik Roychoudhury
FSE2021Testing / QA; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Finding broken Linux configuration specifications by statically analyzing the Kconfig language.
Jeho Oh, Necip Fazil Yildiran, Julian Braha, Paul Gazzillo
FSE2021DevOps / CI / Build / Release
Feature trace recording.
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young
FSE2021Other
Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods.
Max Hort, Jie M. Zhang, Federica Sarro, Mark Harman
FSE2021Testing / QA
Fair preprocessing: towards understanding compositional fairness of data transformers in machine learning pipeline.
Sumon Biswas, Hridesh Rajan
FSE2021AI / LLM for SE; DevOps / CI / Build / Release
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.
Saikat Dutta 0001, August Shi, Sasa Misailovic
FSE2021Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Exposing numerical bugs in deep learning via gradient back-propagation.
Ming Yan 0010, Junjie Chen 0003, Xiangyu Zhang 0001, Lin Tan 0001, Gan Wang
FSE2021AI / LLM for SE
Exploit those code reviews! bigger data for deeper learning.
Robert Heumüller, Sebastian Nielebock 0001, Frank Ortmeier
FSE2021Security / Privacy / Vulnerability
Explaining mispredictions of machine learning models using rule induction.
Jürgen Cito, Isil Dillig, Seohyun Kim 0001, Vijayaraghavan Murali, Satish Chandra 0001
FSE2021AI / LLM for SE
Estimating residual risk in greybox fuzzing.
Marcel Böhme, Danushka Liyanage, Valentin Wüstholz
FSE2021Testing / QA
Empirical study of transformers for source code.
Nadezhda Chirkova, Sergey Troshin 0001
FSE2021Human / Empirical / Socio-technical
Embedding app-library graph for neural third party library recommendation.
Bo Li 0103, Qiang He 0001, Feifei Chen 0001, Xin Xia 0001, Li Li 0029
FSE2021AI / LLM for SE; Mobile / Web / GUI / Android
Efficient module-level dynamic analysis for dynamic languages with module recontextualization.
Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, Martin C. Rinard
FSE2021Program Analysis / Verification / Formal Methods
Effective low capacity status prediction for cloud systems.
Hang Dong 0004, Si Qin, Yong Xu 0010, Bo Qiao 0001, Shandan Zhou
FSE2021Cloud / Microservices / Distributed Systems
Duplicated code pattern mining in visual programming languages.
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga
FSE2021Other
Domain adaptation for an automated classification of deontic modalities in software engineering contracts.
Vivek Joshi, Preethu Rose Anish, Smita Ghaisas
FSE2021Other
Does reusing pre-trained NLP model propagate bugs?
Mohna Chakraborty
FSE2021Other
Documenting evidence of a reuse of 'what is a feature? a qualitative study of features in industrial software product lines'.
Kewen Peng, Tim Menzies
FSE2021Human / Empirical / Socio-technical
Documenting evidence of a reuse of 'on the number of linear regions of deep neural networks'.
Rahul Yedida, Tim Menzies
FSE2021AI / LLM for SE
Documenting evidence of a reuse of 'a systematic study of the class imbalance problem in convolutional neural networks'.
Rahul Yedida, Tim Menzies
FSE2021AI / LLM for SE; Human / Empirical / Socio-technical
Documenting evidence of a reuse of 'a systematic literature review of techniques and metrics to reduce the cost of mutation testing'.
Andre Lustosa, Tim Menzies
FSE2021Testing / QA; Performance / Energy / Reliability
Documenting evidence of a reuse of 'RefactoringMiner 2.0'.
Andre Lustosa, Tim Menzies
FSE2021Other
Documenting evidence of a reuse of '"why should I trust you?": explaining the predictions of any classifier'.
Kewen Peng, Tim Menzies
FSE2021Other
Documenting evidence of a reproduction of 'is there a "golden" feature set for static warning identification? - an experimental evaluation'.
Xueqi Yang, Tim Menzies
FSE2021Other
Documenting evidence of a replication of 'populating a release history database from version control and bug tracking systems'.
Xueqi Yang, Tim Menzies
FSE2021DevOps / CI / Build / Release
Documenting evidence of a replication of 'analyze this! 145 questions for data scientists in software engineering'.
Xueqi Yang, Tim Menzies
FSE2021Other
Discovering repetitive code changes in ML systems.
Malinda Dilhara
FSE2021Maintenance / Evolution / Refactoring / Review
Detecting concurrency vulnerabilities based on partial orders of memory and thread events.
Kunpeng Yu, Chenxu Wang 0001, Yan Cai 0001, Xiapu Luo, Zijiang Yang 0006
FSE2021Other
Detecting and localizing keyboard accessibility failures in web applications.
Paul T. Chiou, Ali S. Alotaibi, William G. J. Halfond
FSE2021Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Detecting Node.js prototype pollution vulnerabilities via object lookup analysis.
Song Li 0006, Mingqing Kang, Jianwei Hou, Yinzhi Cao
FSE2021Other
Deployment coordination for cross-functional DevOps teams.
Daniel Sokolowski
FSE2021DevOps / CI / Build / Release
Demystifying "bad" error messages in data science libraries.
Yida Tao, Zhihui Chen, Yepang Liu 0001, Jifeng Xuan, Zhiwu Xu 0001
FSE2021Other
Data-driven test selection at scale.
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan, Suraj Guptha, Sina Jafari
FSE2021Testing / QA; DevOps / CI / Build / Release
Data-driven extract method recommendations: a study at ING.
David van der Leij, Jasper Binda, Robbert van Dalen, Pieter Vallen, Yaping Luo
FSE2021Human / Empirical / Socio-technical
Data-driven accessibility repair revisited: on the effectiveness of generating labels for icons in Android apps.
Forough Mehralian, Navid Salehnamadi, Sam Malek
FSE2021Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
DIFFBASE: a differential factbase for effective software evolution management.
Xiuheng Wu, Chenguang Zhu 0002, Yi Li 0008
FSE2021Maintenance / Evolution / Refactoring / Review
CrossVul: a cross-language vulnerability dataset with commit data.
Georgios Nikitopoulos, Konstantina Dritsa, Panos Louridas, Dimitris Mitropoulos
FSE2021DevOps / CI / Build / Release
CrossASR++: a modular differential testing framework for automatic speech recognition.
Muhammad Hilmi Asyrofi, Zhou Yang 0003, David Lo 0001
FSE2021Testing / QA
Cross-language code search using static and dynamic analyses.
George Mathew, Kathryn T. Stolee
FSE2021Other
Contextualizing toxicity in open source: a qualitative study.
Sophie Cohen
FSE2021Human / Empirical / Socio-technical
Context-aware and data-driven feedback generation for programming assignments.
Dowon Song, Woosuk Lee, Hakjoo Oh
FSE2021Other
Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity.
Zachary Karas, Andrew Jahn, Westley Weimer, Yu Huang 0015
FSE2021Other
Conditional interpolation: making concurrent program verification more effective.
Jie Su 0002, Cong Tian 0001, Zhenhua Duan
FSE2021Program Analysis / Verification / Formal Methods
Code2Que: a tool for improving question titles from mined code snippets in stack overflow.
Zhipeng Gao 0002, Xin Xia 0001, David Lo 0001, John C. Grundy, Yuan-Fang Li
FSE2021Other
Code integrity attestation for PLCs using black box neural network predictions.
Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001
FSE2021Testing / QA; AI / LLM for SE
Checking conformance of applications against GUI policies.
Zhen Zhang, Yu Feng 0001, Michael D. Ernst, Sebastian Porst, Isil Dillig
FSE2021Mobile / Web / GUI / Android
Checking LTL[F, G, X] on compressed traces in polynomial time.
Minjian Zhang 0002, Umang Mathur 0001, Mahesh Viswanathan 0001
FSE2021Other
Characterizing search activities on stack overflow.
Jiakun Liu, Sebastian Baltes, Christoph Treude, David Lo 0001, Yun Zhang 0011
FSE2021Other
Boosting static analysis accuracy with instrumented test executions.
Tianyi Chen, Kihong Heo, Mukund Raghothaman
FSE2021Testing / QA; Program Analysis / Verification / Formal Methods
Boosting coverage-based fault localization via graph-based representation learning.
Yiling Lou, Qihao Zhu, Jinhao Dong, Xia Li 0009, Zeyu Sun 0004
FSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
BiasRV: uncovering biased sentiment predictions at runtime.
Zhou Yang 0003, Muhammad Hilmi Asyrofi, David Lo 0001
FSE2021Other
Bias in machine learning software: why? how? what to do?
Joymallya Chakraborty, Suvodeep Majumder, Tim Menzies
FSE2021AI / LLM for SE
Benchmarking automated GUI testing for Android against real-world bugs.
Ting Su 0001, Jue Wang, Zhendong Su 0001
FSE2021Testing / QA; Mobile / Web / GUI / Android
BRAID: an API recommender supporting implicit user feedback.
Yu Zhou 0010, Haonan Jin, Xinying Yang, Taolue Chen 0001, Krishna Narasimhan
FSE2021Other
BF-detector: an automated tool for CI build failure detection.
Islem Saidani, Ali Ouni 0001, Moataz Chouchen, Mohamed Wiem Mkaouer
FSE2021Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Automating the removal of obsolete TODO comments.
Zhipeng Gao 0002, Xin Xia 0001, David Lo 0001, John C. Grundy, Thomas Zimmermann 0001
FSE2021Other
Automating serverless deployments for DevOps organizations.
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
FSE2021DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
Automated generation of realistic test inputs for web APIs.
Juan C. Alonso
FSE2021Testing / QA; Mobile / Web / GUI / Android
Automated code transformation for context propagation in Go.
Adam Welc
FSE2021Other
Authorship attribution of source code: a language-agnostic approach and applicability in software engineering.
Egor Bogomolov, Vladimir Kovalenko, Yurii Rebryk, Alberto Bacchelli, Timofey Bryksin
FSE2021Other
Analysis of specifications of multiparty sessions with dcj-lint.
Erik Horlings, Sung-Shik Jongmans
FSE2021Other
An exploratory study of autopilot software bugs in unmanned aerial vehicles.
Dinghua Wang, Shuqing Li 0001, Guanping Xiao, Yepang Liu 0001, Yulei Sui
FSE2021Human / Empirical / Socio-technical
An empirical study on challenges of application development in serverless computing.
Jinfeng Wen, Zhenpeng Chen, Yi Liu 0014, Yiling Lou, Yun Ma 0002
FSE2021Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
An empirical study of GUI widget detection for industrial mobile games.
Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma 0003, Ruochen Huang
FSE2021Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
An empirical investigation of practical log anomaly detection for online service systems.
Nengwen Zhao, Honglin Wang, Zeyan Li, Xiao Peng, Gang Wang
FSE2021Human / Empirical / Socio-technical
An automatic refactoring framework for replacing test-production inheritance by mocking mechanism.
Xiao Wang 0030, Lu Xiao 0001, Tingting Yu 0001, Anne Woepse, Sunny Wong 0001
FSE2021Testing / QA; Maintenance / Evolution / Refactoring / Review
AlloyMax: bringing maximum satisfaction to relational specifications.
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho
FSE2021Other
AlloyFL: a fault localization framework for Alloy.
Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks.
Sydur Rahaman, Iulian Neamtiu, Xin Yin
FSE2021Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Accelerating redundancy-based program repair via code representation learning and adaptive patch filtering.
Chen Yang
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Accelerating JavaScript static analysis via dynamic shortcuts.
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
FSE2021Program Analysis / Verification / Formal Methods
AC²: towards understanding architectural changes in Python projects.
A. Eashaan Rao, Dheeraj Vagavolu, Sridhar Chimalakonda
FSE2021Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities.
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid
FSE2021Other
A syntax-guided edit decoder for neural program repair.
Qihao Zhu, Zeyu Sun 0004, Yuan-an Xiao, Wenjie Zhang 0007, Kang Yuan
FSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
A replication of 'DeepBugs: a learning approach to name-based bug detection'.
Jordan Winkler, Abhimanyu Agarwal, Caleb Tung, Dario Rios Ugalde, Young Jin Jung
FSE2021Testing / QA
A qualitative study of cleaning in Jupyter notebooks.
Helen Dong
FSE2021Human / Empirical / Socio-technical
A longitudinal analysis of bloated Java dependencies.
César Soto-Valero, Thomas Durieux, Benoit Baudry
FSE2021Other
A live environment for inspection and refactoring of software systems.
Sara Fernandes
FSE2021Maintenance / Evolution / Refactoring / Review
A large-scale empirical study on Java library migrations: prevalence, trends, and rationales.
Hao He 0012, Runzhi He, Haiqiao Gu, Minghui Zhou 0001
FSE2021Human / Empirical / Socio-technical
A grounded theory of the role of coordination in software security patch management.
Nesara Dissanayake, Mansooreh Zahedi, Asangi Jayatilaka, Muhammad Ali Babar 0001
FSE2021Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
A general approach to modeling Java framework behaviors.
Linghui Luo
FSE2021Requirements / Modeling / Architecture
A first look at developers' live chat on Gitter.
Lin Shi 0006, Xiao Chen 0015, Ye Yang, Hanzhi Jiang, Ziyou Jiang
FSE2021Human / Empirical / Socio-technical
A comprehensive study on learning-based PE malware family classification methods.
Yixuan Ma, Shuang Liu 0007, Jiajun Jiang, Guanhong Chen, Keqiu Li
FSE2021AI / LLM for SE; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
A comprehensive study of deep learning compiler bugs.
Qingchao Shen, Haoyang Ma, Junjie Chen 0003, Yongqiang Tian 0001, Shing-Chi Cheung
FSE2021AI / LLM for SE; Human / Empirical / Socio-technical
A bounded symbolic-size model for symbolic execution.
David Trabish, Shachar Itzhaky, Noam Rinetzky
FSE2021Program Analysis / Verification / Formal Methods