Software Engineering Empirical Research Radar

FSE 2023 Papers

FSE 2023 paper list with topic labels.

PaperVenueYearTopics
"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
A Case Study of Developer Bots: Motivations, Perceptions, and Challenges.
Sumit Asthana, Hitesh Sajnani, Elena Voyloshnikova, Birendra Acharya, Kim Herzig
FSE2023Human / Empirical / Socio-technical
A Data Set of Extracted Rationale from Linux Kernel Commit Messages.
Mouna Dhaouadi
FSE2023DevOps / CI / Build / Release
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 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 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 Language Model of Java Methods with Train/Test Deduplication.
Chia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, Collin McMillan
FSE2023Testing / QA
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 Multidimensional Analysis of Bug Density in SAP HANA.
Julian Reck, Thomas Bach 0001, Jan Stoess
FSE2023Other
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 Unified Framework for Mini-game Testing: Experience on WeChat.
Chaozheng Wang, Haochuan Lu, Cuiyun Gao 0001, Zongjie Li, Ting Xiong
FSE2023Testing / QA
A Vision on Intentions in Software Engineering.
Jacob Krüger, Yi Li 0008, Chenguang Zhu 0002, Marsha Chechik, Thorsten Berger
FSE2023Other
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
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
Accelerating Continuous Integration with Parallel Batch Testing.
Emad Fallahzadeh, Amir Hossein Bavand, Peter C. Rigby
FSE2023Testing / QA; DevOps / CI / Build / Release
Ad Hoc Syntax-Guided Program Reduction.
Jia Le Tian, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Yiwen Dong 0002
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
AdaptivePaste: Intelligent Copy-Paste in IDE.
Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, Alexey Svyatkovskiy
FSE2023Other
An Automated Approach to Extracting Local Variables.
Xiaye Chi, Hui Liu 0003, Guangjie Li, Weixiao Wang, Yunni Xia
FSE2023Other
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
Analyzing Microservice Connectivity with Kubesonde.
Jacopo Bufalino, Mario Di Francesco, Tuomas Aura
FSE2023Cloud / Microservices / Distributed Systems
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
Assess and Summarize: Improve Outage Understanding with Large Language Models.
Pengxiang Jin, Shenglin Zhang, Minghua Ma, Haozhe Li, Yu Kang 0006
FSE2023Other
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
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
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
Automated Testing and Improvement of Named Entity Recognition Systems.
Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, Pinjia He
FSE2023Testing / QA
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
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
BFSig: Leveraging File Significance in Bus Factor Estimation.
Vahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko
FSE2023Other
Baldur: Whole-Proof Generation and Repair with Large Language Models.
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
FSE2023Debugging / Fault Localization / Diagnosis / Repair
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
Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection.
Haotian Si, Changhua Pei, Zhihan Li, Yadong Zhao, Jingjing Li
FSE2023Other
BiasAsker: Measuring the Bias in Conversational AI System.
Yuxuan Wan, Wenxuan Wang 0001, Pinjia He, Jiazhen Gu, Haonan Bai
FSE2023AI / LLM for SE
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
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
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
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
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
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
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics.
Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar
FSE2023Testing / QA; Program Analysis / Verification / Formal Methods
Code Coverage Criteria for Asynchronous Programs.
Mohammad Ganji, Saba Alimadadi, Frank Tip
FSE2023Testing / QA
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
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
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
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
Compositional Taint Analysis for Enforcing Security Policies at Scale.
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean
FSE2023Security / Privacy / Vulnerability
Contextual Predictive Mutation Testing.
Kush Jain, Uri Alon 0002, Alex Groce, Claire Le Goues
FSE2023Testing / QA
Contribution-Based Firing of Developers?
Vincenzo Orrei, Marco Raglianti, Csaba Nagy 0001, Michele Lanza 0001
FSE2023Human / Empirical / Socio-technical
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
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
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
D2S2: Drag 'n' Drop Mobile App Screen Search.
Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, Christoph Csallner
FSE2023Mobile / Web / GUI / Android
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
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
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
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
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
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
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
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
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
Demystifying Dependency Bugs in Deep Learning Stack.
Kaifeng Huang 0001, Bihuan Chen 0001, Susheng Wu, Junming Cao, Lei Ma 0003
FSE2023AI / LLM for SE
Demystifying the Composition and Code Reuse in Solidity Smart Contracts.
Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li 0002, Yang Liu 0003
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
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
Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection.
Niklas Risse
FSE2023AI / LLM for SE
Detection Is Better Than Cure: A Cloud Incidents Perspective.
Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang 0006, Minghua Ma
FSE2023Cloud / Microservices / Distributed Systems
Detection of Optimizations Missed by the Compiler.
Yi Zhang 0153
FSE2023Other
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
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
Discovering Parallelisms in Python Programs.
Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu
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
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
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
Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers?
Felipe Fronchetti, David C. Shepherd, Igor Wiese, Christoph Treude, Marco Aurélio Gerosa
FSE2023Other
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
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
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
Engineering a Formally Verified Automated Bug Finder.
Arthur Correnson, Dominic Steinhöfel
FSE2023Program Analysis / Verification / Formal Methods
Enhancing Coverage-Guided Fuzzing via Phantom Program.
Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi 0002
FSE2023Testing / QA
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes.
Shinhae Kim, Sungjae Hwang
FSE2023Testing / QA
EvaCRC: Evaluating Code Review Comments.
Lanxin Yang, Jinwei Xu, Yifan Zhang, He Zhang 0001, Alberto Bacchelli
FSE2023Maintenance / Evolution / Refactoring / Review
Evaluating Transfer Learning for Simplifying GitHub READMEs.
Haoyu Gao, Christoph Treude, Mansooreh Zahedi
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
Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues.
Ramtin Ehsani, Rezvaneh Rezapour, Preetha Chatterjee
FSE2023Human / Empirical / Socio-technical
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
Flow Experience in Software Engineering.
Saima Ritonummi, Valtteri Siitonen, Markus Salo, Henri Pirkkalainen, Anu Sivunen
FSE2023Other
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings.
Akshay Utture, Jens Palsberg
FSE2023Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
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
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis.
Soomin Kim 0002, Hyungseok Kim 0002, Sang Kil Cha
FSE2023Other
Getting Outside the Bug Boxes (Keynote).
Margaret Burnett
FSE2023Other
Getting pwn'd by AI: Penetration Testing with Large Language Models.
Andreas Happe, Jürgen Cito
FSE2023Testing / QA
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
Grace: Language Models Meet Code Edits.
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty 0001, Sumit Gulwani
FSE2023Other
Helion: Enabling Natural Testing of Smart Homes.
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk
FSE2023Testing / QA
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
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
How Practitioners Expect Code Completion?
Chaozheng Wang, Junhao Hu, Cuiyun Gao 0001, Yu Jin, Tao Xie 0001
FSE2023Other
Hue: A User-Adaptive Parser for Hybrid Logs.
Junjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li 0007
FSE2023Cloud / Microservices / Distributed Systems
HyperDiff: Computing Source Code Diffs at Scale.
Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel
FSE2023Other
Incrementalizing Production CodeQL Analyses.
Tamás Szabó
FSE2023Other
InferFix: End-to-End Program Repair with LLMs.
Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Inferring Complexity Bounds from Recurrence Relations.
Didier Ishimwe
FSE2023Other
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation.
Xiaoke Wang, Tao Hui, Lei Zhao 0012, Yueqiang Cheng
FSE2023Security / Privacy / Vulnerability
IoPV: On Inconsistent Option Performance Variations.
Jinfu Chen 0002, Zishuo Ding, Yiming Tang 0002, Mohammed Sayagh, Heng Li 0007
FSE2023Performance / Energy / Reliability
Issue Report Validation in an Industrial Context.
Ethem Utku Aktas, Ebru Cakmak, Mete Inan, Cemal Yilmaz 0001
FSE2023Testing / QA
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection.
Qinghua Xu, Shaukat Ali 0001, Tao Yue 0002, Zaimovic Nedim, Inderjeet Singh
FSE2023Other
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph.
Xueying Du, Yiling Lou, Mingwei Liu 0002, Xin Peng 0001, Tianyong Yang
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants.
Milos Ojdanic, Mike Papadakis, Mark Harman
FSE2023Testing / QA
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
LExecutor: Learning-Guided Execution.
Beatriz Souza, Michael Pradel
FSE2023Other
LLM-Based Code Generation Method for Golang Compiler Testing.
Qiuhan Gu
FSE2023Testing / QA; AI / LLM for SE
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions.
Yuxin Wang 0004, Adam Welc, Lazaro Clapp, Lingchao Chen
FSE2023Other
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
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
Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems.
Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Christoph Treude, Kenichi Matsumoto
FSE2023Other
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
LibKit: Detecting Third-Party Libraries in iOS Apps.
Daniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, Juan Caballero
FSE2023Mobile / Web / GUI / Android
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
Log Parsing with Generalization Ability under New Log Types.
Siyu Yu, Yifan Wu 0002, Zhijing Li 0007, Pinjia He, Ningjiang Chen
FSE2023Other
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
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors.
Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu
FSE2023Requirements / Modeling / Architecture
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
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing.
Suhwan Song, Byoungyoung Lee
FSE2023Testing / QA; Mobile / Web / GUI / Android
Mining Resource-Operation Knowledge to Support Resource Leak Detection.
Chong Wang 0013, Yiling Lou, Xin Peng 0001, Jianan Liu, Baihan Zou
FSE2023Performance / Energy / Reliability
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
MuRS: Mutant Ranking and Suppression using Identifier Templates.
Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic
FSE2023Other
Multilingual Code Co-evolution using Large Language Models.
Jiyang Zhang 0003, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001
FSE2023Maintenance / Evolution / Refactoring / Review
NaNofuzz: A Usable Tool for Automatic Test Generation.
Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine
FSE2023Testing / QA
Natural Language to Code: How Far Are We?
Shangwen Wang, Mingyang Geng, Bo Lin 0011, Zhensu Sun, Ming Wen 0001
FSE2023Other
NeuRI: Diversifying DNN Generation via Inductive Rule Inference.
Jiawei Liu 0004, Jinjun Peng, Yuyao Wang, Lingming Zhang 0001
FSE2023Other
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
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
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
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
On the Dual Nature of Necessity in Use of Rust Unsafe Code.
Yuchen Zhang 0006, Ashish Kundu, Georgios Portokalidis, Jun Xu 0024
FSE2023Other
On the Relationship between Code Verifiability and Understandability.
Kobi Feldman, Martin Kellogg, Oscar Chaparro
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-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report.
Anes Bendimerad, Youcef Remil, Romain Mathonat, Mehdi Kaytoue
FSE2023Other
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer.
Shubham Agarwal 0007, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain
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
P4b: A Translator from P4 Programs to Boogie.
Chong Ye, Fei He 0001
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
PPR: Pairwise Program Reduction.
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Yu Jiang 0001, Chengnian Sun
FSE2023Other
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice.
Sira Vegas, Sebastian G. Elbaum
FSE2023Other
Practical Inference of Nullability Types.
Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan
FSE2023Other
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization.
Yali Du 0002, Zhongxing Yu
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Predicting Software Performance with Divide-and-Learn.
Jingzhi Gong, Tao Chen 0001
FSE2023Performance / Energy / Reliability
Prioritizing Natural Language Test Cases Based on Highly-Used Game Features.
Markos Viggiato, Dale Paas, Cor-Paul Bezemer
FSE2023Testing / QA
Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection.
Issam Sedki
FSE2023Security / Privacy / Vulnerability
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
PropProof: Free Model-Checking Harnesses from PBT.
Yoshiki Takashima
FSE2023Other
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
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
Recommending Analogical APIs via Knowledge Graph Embedding.
Mingwei Liu 0002, Yanjun Yang, Yiling Lou, Xin Peng 0001, Zhong Zhou
FSE2023AI / 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
Revisiting Neural Program Smoothing for Fuzzing.
Maria-Irina Nicolae, Max Eisele, Andreas Zeller
FSE2023Testing / QA; AI / LLM for SE
Rotten Green Tests in Google Test.
Paul Robinson
FSE2023Testing / QA
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.
Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen 0003, Yingquan Zhao
FSE2023Testing / QA
STEAM: Observability-Preserving Trace Sampling.
Shilin He, Botao Feng, Liqun Li, Xu Zhang 0024, Yu Kang 0006
FSE2023Cloud / Microservices / Distributed Systems
STraceBERT: Source Code Retrieval using Semantic Application Traces.
Claudio Spiess
FSE2023Other
Scalable Program Clone Search through Spectral Analysis.
Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
FSE2023Maintenance / Evolution / Refactoring / Review
Self-Supervised Query Reformulation for Code Search.
Yuetian Mao, Chengcheng Wan 0001, Yuze Jiang, Xiaodong Gu 0002
FSE2023Other
Semantic Debugging.
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller
FSE2023Debugging / Fault Localization / Diagnosis / Repair
Semantic Test Repair for Web Applications.
Xiaofang Qi, Xiang Qian, Yanhui Li
FSE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
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
Software Architecture Recovery with Information Fusion.
Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen 0001, Jianwen Sun
FSE2023Requirements / Modeling / Architecture
Software Architecture in Practice: Challenges and Opportunities.
Zhiyuan Wan, Yun Zhang 0011, Xin Xia 0001, Yi Jiang, David Lo 0001
FSE2023Requirements / Modeling / Architecture
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
Speeding up SMT Solving via Compiler Optimization.
Benjamin Mikek, Qirun Zhang
FSE2023Performance / Energy / Reliability
State Merging with Quantifiers in Symbolic Execution.
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma 0001
FSE2023Program Analysis / Verification / Formal Methods
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations.
Huaien Zhang, Yu Pei 0001, Junjie Chen 0003, Shin Hwei Tan
FSE2023Testing / QA
Statistical Reachability Analysis.
Seongmin Lee 0001, Marcel Böhme
FSE2023Other
Statistical Type Inference for Incomplete Programs.
Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li
FSE2023Program Analysis / Verification / Formal Methods
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
Testing Coreference Resolution Systems without Labeled Test Sets.
Jialun Cao, Yaojie Lu 0001, Ming Wen 0001, Shing-Chi Cheung
FSE2023Testing / QA
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.
Hassan Sartaj, Shaukat Ali 0001, Tao Yue 0002, Kjetil Moberg
FSE2023Testing / QA
The Call Graph Chronicles: Unleashing the Power Within.
Masudul Hasan Masud Bhuiyan
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 Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development.
Zheng Li 0001, Austen Rainer
FSE2023Other
The State of Survival in OSS: The Impact of Diversity.
Zixuan Feng
FSE2023Other
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote).
Eran Yahav
FSE2023AI / LLM for SE
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects.
Hsu Myat Win, Haibo Wang, Shin Hwei Tan
FSE2023Other
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 Feature-Based Analysis of the Machine Learning Development Lifecycle.
Boyue Caroline Hu, Marsha Chechik
FSE2023AI / LLM for SE
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 Strengthening Formal Specifications with Mutation Model Checking.
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
FSE2023Testing / QA; Program Analysis / Verification / Formal Methods
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 Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study.
Amirali Sajadi, Kostadin Damevski, Preetha Chatterjee
FSE2023Human / Empirical / Socio-technical
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
TransMap: Pinpointing Mistakes in Neural Code Translation.
Bo Wang 0146, Ruishi Li, Mingkai Li, Prateek Saxena
FSE2023AI / LLM for SE
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts.
Chenyang Ma, Wei Song 0003, Jeff Huang 0001
FSE2023Other
Triggering Modes in Spectrum-Based Multi-location Fault Localization.
Tung Dao, Na Meng 0001, ThanhVu Nguyen
FSE2023Debugging / Fault Localization / Diagnosis / Repair
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
Understanding Hackers' Work: An Empirical Study of Offensive Security Practitioners.
Andreas Happe, Jürgen Cito
FSE2023Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Understanding Solidity Event Logging Practices in the Wild.
Lantian Li, Yejian Liang, Zhihao Liu, Zhongxing Yu
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 the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts.
Wenhua Yang 0001, Chong Zhang, Minxue Pan
FSE2023Other
ViaLin: Path-Aware Dynamic Taint Analysis for Android.
Khaled Ahmed 0004, Yingying Wang, Mieszko Lis, Julia Rubin
FSE2023Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance.
Alan Romano, Weihang Wang 0001
FSE2023Performance / Energy / Reliability
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.
Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang
FSE2023Security / Privacy / Vulnerability
npm-follower: A Complete Dataset Tracking the NPM Ecosystem.
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001
FSE2023Other
xASTNN: Improved Code Representations for Industrial Practice.
Zhiwei Xu, Min Zhou 0001, Xibin Zhao, Yang Chen 0001, Xi Cheng
FSE2023Other
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs.
Mohsen Moradi-Moghadam, Mehdi Bagherzadeh 0001, Raffi Khatchadourian, Hamid Bagheri
FSE2023Testing / QA