Software Engineering Empirical Research Radar

FSE 2024 Papers

FSE 2024 paper list with topic labels.

PaperVenueYearTopics
"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
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques.
Max Landauer; Florian Skopik; Markus Wurzenberger
FSE2024Other
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 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 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 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 Weak Supervision-Based Approach to Improve Chatbots for Code Repositories.
Farbod Farhour; Ahmad Abdellatif; Essam Mansour 0001; Emad Shihab
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
AROMA: Automatic Reproduction of Maven Artifacts.
Mehdi Keshani; Tudor-Gabriel Velican; Gideon Bot; Sebastian Proksch 0001
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
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems.
Yi Qin 0002; Yanxiang Tong; Yifei Xu; Chun Cao; Xiaoxing Ma
FSE2024Other
Adapting Multi-objectivized Software Configuration Tuning.
Tao Chen 0001; Miqing Li
FSE2024DevOps / CI / Build / Release
An Analysis of the Costs and Benefits of Autocomplete in IDEs.
Shaokang Jiang; Michael Coblenz
FSE2024Other
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 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
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit.
Matteo Paltenghi; Michael Pradel
FSE2024Program Analysis / Verification / Formal Methods
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
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
BRF: Fuzzing the eBPF Runtime.
Hsin-Wei Hung; Ardalan Amiri Sani
FSE2024Testing / QA
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
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings.
Zirui Song; Jiongyi Chen; Kehuan Zhang
FSE2024Other
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis.
Georgios-Petros Drosos; Thodoris Sotiropoulos; Diomidis Spinellis; Dimitris Mitropoulos
FSE2024Other
Bounding Random Test Set Size with Computational Learning Theory.
Neil Walkinshaw; Michael Foster 0001; José Miguel Rojas; Robert M. Hierons
FSE2024Testing / QA
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
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
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
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
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
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
Characterizing Python Library Migrations.
Mohayeminul Islam; Ajay Kumar Jha; Ildar Akhmetov; Sarah Nadi
FSE2024Other
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
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
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
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
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
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
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
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization.
Chengpeng Wang 0001; Jipeng Zhang; Rongxin Wu; Charles Zhang 0001
FSE2024Performance / Energy / Reliability
DTD: Comprehensive and Scalable Testing for Debuggers.
Hongyi Lu; Zhibo Liu 0001; Shuai Wang 0011; Fengwei Zhang
FSE2024Testing / QA
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing.
Sabaat Haroon; Chris Brown 0001; Muhammad Ali Gulzar
FSE2024Debugging / Fault Localization / Diagnosis / Repair
DeciX: Explain Deep Learning Based Code Generation Applications.
Simin Chen; Zexin Li 0001; Wei Yang 0013; Cong Liu 0005
FSE2024AI / LLM for SE
Decomposing Software Verification using Distributed Summary Synthesis.
Dirk Beyer 0001; Matthias Kettl; Thomas Lemberger 0002
FSE2024Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
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
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
Detecting, Creating, Repairing, and Understanding Indivisible Multi-Hunk Bugs.
Qi Xin 0001; Haojun Wu; Jinran Tang; Xinyu Liu; Steven P. Reiss; Jifeng Xuan
FSE2024Other
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
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
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion.
Md Shamimur Rahman; Zadia Codabux; Chanchal K. Roy
FSE2024Maintenance / Evolution / Refactoring / Review
DyPyBench: A Benchmark of Executable Python Software.
Islem Bouzenia; Bajaj Piyush Krishan; Michael Pradel
FSE2024Other
Effective Teaching through Code Reviews: Patterns and Anti-patterns.
Anita Sarma; Nina Chen
FSE2024Other
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts.
Zexu Wang; Jiachi Chen; Yanlin Wang 0001; Yu Zhang 0036; Weizhe Zhang; Zibin Zheng
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
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
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim; Jaeseung Choi 0002; Seongjae Im; Kihong Heo; Sang Kil Cha
FSE2024Other
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
Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation.
Shasha Zhou; Mingyu Huang; Yanan Sun 0001; Ke Li 0001
FSE2024Performance / Energy / Reliability
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
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
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
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution.
Jaehan Yoon; Sooyoung Cha
FSE2024Program Analysis / Verification / Formal Methods
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
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
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
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
Harnessing Neuron Stability to Improve DNN Verification.
Hai Duong; Dong Xu 0021; ThanhVu Nguyen; Matthew B. Dwyer
FSE2024Program Analysis / Verification / Formal Methods
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
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
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
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation.
Oussama Ben Sghaier; Houari A. Sahraoui
FSE2024Maintenance / Evolution / Refactoring / Review
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
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
Java JIT Testing with Template Extraction.
Zhiqiang Zang; Fu-Yao Yu; Aditya Thimmaiah; August Shi; Milos Gligoric 0001
FSE2024Testing / QA
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
Learning to Detect and Localize Multilingual Bugs.
Haoran Yang 0002; Yu Nong; Tao Zhang 0001; Xiapu Luo; Haipeng Cai
FSE2024Other
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
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
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems.
Xiaoyan Zhu; Mingyue Jiang; Xiao-Yi Zhang 0005; Liming Nie; Zuohua Ding
FSE2024Other
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
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers.
Yichen Li 0004; Dongwei Xiao; Zhibo Liu 0001; Qi Pang; Shuai Wang 0011
FSE2024Testing / QA
Mining Action Rules for Defect Reduction Planning.
Khouloud Oueslati; Gabriel Laberge; Maxime Lamothe; Foutse Khomh
FSE2024Other
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
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
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
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
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
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software.
Ophir M. Carmel; Guy Katz
FSE2024AI / LLM for SE
On the Contents and Utility of IoT Cybersecurity Guidelines.
Jesse Chen; Dharun Anandayuvaraj; James C. Davis 0001; Sazzadur Rahaman
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
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software.
Yoel Kim; Yunja Choi
FSE2024Other
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
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
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
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning.
Jingzhi Gong; Tao Chen 0001
FSE2024DevOps / CI / Build / Release; Performance / Energy / Reliability
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
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning.
Aashish Yadavally; Yi Li 0048; Tien N. Nguyen
FSE2024Program Analysis / Verification / Formal Methods
ProveNFix: Temporal Property-Guided Program Repair.
Yahui Song; Xiang Gao 0012; Wenhua Li; Wei-Ngan Chin; Abhik Roychoudhury
FSE2024Debugging / Fault Localization / Diagnosis / Repair
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
R2I: A Relative Readability Metric for Decompiled Code.
Haeun Eom; Dohee Kim; Sori Lim; Hyungjoon Koo; Sungjae Hwang
FSE2024Education / Program Comprehension
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction.
Gengyi Sun; Sarra Habchi; Shane McIntosh
FSE2024DevOps / CI / Build / Release
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
Revealing Software Development Work Patterns with PR-Issue Graph Topologies.
Cleidson R. B. de Souza; Emilie Ma; Jesse Wong; Dongwook Yoon; Ivan Beschastnikh
FSE2024Other
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
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
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
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations.
David Broneske; Sebastian Kittan; Jacob Krüger
FSE2024Maintenance / Evolution / Refactoring / Review
SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach.
Xin Jin; Zhiqiang Lin 0001
FSE2024AI / LLM for SE
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
State Reconciliation Defects in Infrastructure as Code.
Md. Mahadi Hassan; John Salvador; Shubhra Kanti Karmaker Santu; Akond Rahman
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
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
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers.
Changwei Zou; Dongjie He; Yulei Sui; Jingling Xue
FSE2024Program Analysis / Verification / Formal Methods
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
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 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 Efficient Verification of Constant-Time Cryptographic Implementations.
Luwei Cai; Fu Song; Taolue Chen 0001
FSE2024Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
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
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
Understanding and Detecting Annotation-Induced Faults of Static Analyzers.
Huaien Zhang; Yu Pei 0001; Shuyun Liang; Shin Hwei Tan
FSE2024Other
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications.
Dhanushka Jayasuriya; Valerio Terragni; Jens Dietrich 0001; Kelly Blincoe
FSE2024Maintenance / Evolution / Refactoring / Review
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example.
Malinda Dilhara; Abhiram Bellur; Timofey Bryksin; Danny Dig
FSE2024Maintenance / Evolution / Refactoring / Review
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