ESEC/FSE 2023
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
Powered by
Conference Publishing Consulting

31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), December 3–9, 2023, San Francisco, CA, USA

ESEC/FSE 2023 – Proceedings

Contents - Abstracts - Authors
Twitter: https://twitter.com/esecfse

Frontmatter

Title Page
Welcome from the Chairs
ESEC/FSE 2023 Organization
Sponsors

Keynotes

Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote)
Eran Yahav
(Technion, Israel)
Publisher's Version
Getting Outside the Bug Boxes (Keynote)
Margaret Burnett
(Oregon State University, USA)
Publisher's Version

Research Papers

Human Aspects I

A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention
Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, and Yu Huang
(Vanderbilt University, USA; University of Michigan, USA; Microsoft Research, USA)
Publisher's Version
Do CONTRIBUTING Files Provide Information about OSS Newcomers’ Onboarding Barriers?
Felipe Fronchetti, David C. Shepherd, Igor Wiese, Christoph Treude, Marco Aurélio Gerosa, and Igor Steinmacher
(Virginia Commonwealth University, USA; Lousiana State University, USA; Federal University of Technology Paraná, Brazil; University of Melbourne, Australia; Northern Arizona University, USA)
Publisher's Version Info
How Early Participation Determines Long-Term Sustained Activity in GitHub Projects?
Wenxin Xiao, Hao He, Weiwei Xu, Yuxia Zhang, and Minghui Zhou
(Peking University, China; Beijing Institute of Technology, China)
Publisher's Version
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors
Hongbo Fang, James Herbsleb, and Bogdan Vasilescu
(Carnegie Mellon University, USA)
Publisher's Version

Testing I

Accelerating Continuous Integration with Parallel Batch Testing
Emad Fallahzadeh, Amir Hossein Bavand, and Peter C. Rigby
(Concordia University, Canada)
Publisher's Version
DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems
Longtian Wang, Xiaofei Xie, Xiaoning Du, Meng Tian, Qing Guo, Zheng Yang, and Chao Shen
(Xi’an Jiaotong University, China; Singapore Management University, Singapore; Monash University, Australia; A*STAR, Singapore; Huawei, China)
Publisher's Version
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, and Chunming Hu
(Beihang University, China; Institute of Software at Chinese Academy of Sciences, China; Central South University, China; Xiangjiang Laboratory, China; SeedMath Technology, China; Chongqing University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Machine Learning I

Design by Contract for Deep Learning APIs
Shibbir Ahmed, Sayem Mohammad Imtiaz, Samantha Syeda Khairunnesa, Breno Dantas Cruz, and Hridesh Rajan
(Iowa State University, USA; Bradley University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Testing Coreference Resolution Systems without Labeled Test Sets
Jialun Cao, Yaojie Lu, Ming Wen, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China; Institute of Software at Chinese Academy of Sciences, China; Huazhong University of Science and Technology, China)
Publisher's Version Published Artifact Artifacts Available
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian Elbaum, and Willem Visser
(University of Virginia, USA; Amazon Web Services, USA)
Publisher's Version Published Artifact Artifacts Available
Revisiting Neural Program Smoothing for Fuzzing
Maria-Irina Nicolae, Max Eisele, and Andreas Zeller
(Bosch, Germany; Saarland University, Germany; CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Automated Repair I

RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair
Weishi Wang, Yue Wang, Shafiq Joty, and Steven C.H. Hoi
(Nanyang Technological University, Singapore; Salesforce AI Research, Singapore; Salesforce AI Research, USA)
Publisher's Version
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
Akshay Utture and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair
Yuxiang Wei, Chunqiu Steven Xia, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
Sunbeom So and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version Published Artifact Archive submitted (500 kB) Artifacts Available Artifacts Reusable
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints
Huiyan Wang, Shuguan Liu, Lingyu Zhang, and Chang Xu
(Nanjing University, China)
Publisher's Version

Empirical Studies I

On the Relationship between Code Verifiability and Understandability
Kobi Feldman, Martin Kellogg, and Oscar Chaparro
(College of William and Mary, USA; New Jersey Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study
Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang, Wasi Ahmad, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, and Bing Xiang
(AWS AI Labs, USA)
Publisher's Version

Testing II

Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
Huaien Zhang, Yu Pei, Junjie Chen, and Shin Hwei Tan
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Tianjin University, China; Concordia University, Canada)
Publisher's Version
Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, Alex Groce, and Claire Le Goues
(Carnegie Mellon University, USA; Northern Arizona University, USA)
Publisher's Version
𝜇Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs
Mohsen Moradi Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, and Hamid Bagheri
(Oakland University, USA; City University of New York, USA; University of Nebraska-Lincoln, USA)
Publisher's Version

Software Evolution I

EvaCRC: Evaluating Code Review Comments
Lanxin Yang, Jinwei Xu, Yifan Zhang, He Zhang, and Alberto Bacchelli
(Nanjing University, China; University of Zurich, Switzerland)
Publisher's Version Info
HyperDiff: Computing Source Code Diffs at Scale
Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, and Jean-Marc Jézéquel
(University of Rennes, France; CNRS - University of Rennes, France; INSA Rennes, France)
Publisher's Version Published Artifact Info Artifacts Available
Understanding Solidity Event Logging Practices in the Wild
Lantian Li, Yejian Liang, Zhihao Liu, and Zhongxing Yu
(Shandong University, China)
Publisher's Version

Program Analysis I

An Automated Approach to Extracting Local Variables
Xiaye Chi, Hui Liu, Guangjie Li, Weixiao Wang, Yunni Xia, Yanjie Jiang, Yuxia Zhang, and Weixing Ji
(Beijing Institute of Technology, China; National Innovation Institute of Defense Technology, China; Chongqing University, China)
Publisher's Version Published Artifact Artifacts Available
Statistical Reachability Analysis
Seongmin Lee and Marcel Böhme
(MPI-SP, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
PPR: Pairwise Program Reduction
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, and Chengnian Sun
(University of Waterloo, Canada; Tsinghua University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
Alan Romano and Weihang Wang
(University of Southern California, USA)
Publisher's Version Published Artifact Artifacts Available

Code Search and Text to Code

Self-Supervised Query Reformulation for Code Search
Yuetian Mao, Chengcheng Wan, Yuze Jiang, and Xiaodong Gu
(Shanghai Jiao Tong University, China; East China Normal University, China)
Publisher's Version
Natural Language to Code: How Far Are We?
Shangwen Wang, Mingyang Geng, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Li Li, Tegawendé F. Bissyandé, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Beihang University, China; University of Luxembourg, Luxembourg)
Publisher's Version Published Artifact Artifacts Available
Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models
Akhilesh Deepak Gotmare, Junnan Li, Shafiq Joty, and Steven C.H. Hoi
(Salesforce AI Research, Singapore; Salesforce AI Research, USA)
Publisher's Version
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Log Analysis and Debugging

Hue: A User-Adaptive Parser for Hybrid Logs
Junjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li, Yuchi Ma, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China; Huawei Cloud Computing Technologies, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Log Parsing with Generalization Ability under New Log Types
Siyu Yu, Yifan Wu, Zhijing Li, Pinjia He, Ningjiang Chen, and Changjian Liu
(Guangxi University, China; Peking University, China; Chinese University of Hong Kong, China)
Publisher's Version
Semantic Debugging
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, and Andreas Zeller
(Humboldt University of Berlin, Germany; CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Demystifying Dependency Bugs in Deep Learning Stack
Kaifeng Huang, Bihuan Chen, Susheng Wu, Junming Cao, Lei Ma, and Xin Peng
(Fudan University, China; University of Tokyo, Japan; University of Alberta, Canada)
Publisher's Version

Machine Learning II

Can Machine Learning Pipelines Be Better Configured?
Yibo Wang, Ying Wang, Tingwei Zhang, Yue Yu, Shing-Chi Cheung, Hai Yu, and Zhiliang Zhu
(Northeastern University, China; Hong Kong University of Science and Technology, China; National University of Defense Technology, China)
Publisher's Version Info
Compatibility Issues in Deep Learning Systems: Problems and Opportunities
Jun Wang, Guanping Xiao, Shuai Zhang, Huashan Lei, Yepang Liu, and Yulei Sui
(Nanjing University of Aeronautics and Astronautics, China; Southern University of Science and Technology, China; UNSW, Australia)
Publisher's Version Published Artifact Artifacts Available
An Extensive Study on Adversarial Attack against Pre-trained Models of Code
Xiaohu Du, Ming Wen, Zichao Wei, Shangwen Wang, and Hai Jin
(Huazhong University of Science and Technology, China; National University of Defense Technology, China)
Publisher's Version Published Artifact Artifacts Available
Fix Fairness, Don’t Ruin Accuracy: Performance Aware Fairness Repair using AutoML
Giang Nguyen, Sumon Biswas, and Hridesh Rajan
(Iowa State University, USA; Carnegie Mellon University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
BiasAsker: Measuring the Bias in Conversational AI System
Yuxuan Wan, Wenxuan Wang, Pinjia He, Jiazhen Gu, Haonan Bai, and Michael R. Lyu
(Chinese University of Hong Kong, China)
Publisher's Version
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice
Sira Vegas and Sebastian Elbaum
(Universidad Politécnica de Madrid, Spain; University of Virginia, USA)
Publisher's Version Published Artifact Info Artifacts Available
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse
Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, and Marsha Chechik
(University of Toronto, Canada; Waabi, Canada)
Publisher's Version

Fault Diagnosis and Root Cause Analysis I

Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data
Guangba Yu, Pengfei Chen, Yufeng Li, Hongyang Chen, Xiaoyun Li, and Zibin Zheng
(Sun Yat-sen University, China)
Publisher's Version Published Artifact Artifacts Available
DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems
Zhiming Chen, Pengfei Chen, Peipei Wang, Guangba Yu, Zilong He, and Genting Mai
(Sun Yat-sen University, China; ByteDance Infrastructure System Lab, USA)
Publisher's Version Published Artifact Artifacts Available
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization
Yali Du and Zhongxing Yu
(Shandong University, China)
Publisher's Version Published Artifact Artifacts Available
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, and Zhendong Su
(East China Normal University, China; Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction
Liyan Song, Leandro Lei Minku, Cong Teng, and Xin Yao
(Southern University of Science and Technology, China; University of Birmingham, UK)
Publisher's Version Published Artifact Info Artifacts Available

Human Aspects II

Flow Experience in Software Engineering
Saima Ritonummi, Valtteri Siitonen, Markus Salo, Henri Pirkkalainen, and Anu Sivunen
(University of Jyväskylä, Finland; Tampere University, Finland)
Publisher's Version
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, and Emerson Murphy-Hill
(Google, USA; Oregon State University, USA)
Publisher's Version
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects
Hsu Myat Win, Haibo Wang, and Shin Hwei Tan
(Southern University of Science and Technology, China; Concordia University, Canada)
Publisher's Version

Testing III

NeuRI: Diversifying DNN Generation via Inductive Rule Inference
Jiawei Liu, Jinjun Peng, Yuyao Wang, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Columbia University, USA; Nanjing University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support
Yibiao Yang, Maolin Sun, Yang Wang, Qingyang Li, Ming Wen, and Yuming Zhou
(Nanjing University, China; Huazhong University of Science and Technology, China)
Publisher's Version Published Artifact Artifacts Available
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer
Shubham Agarwal, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain, Ashritha Gonuguntla, and Shiv Saini
(Adobe Research, India; University of Illinois at Urbana-Champaign, USA; Adobe, India; Amazon, India; Traceable.ai, India; Cisco, India)
Publisher's Version

Software Evolution II

Multilingual Code Co-evolution using Large Language Models
Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
(University of Texas at Austin, USA)
Publisher's Version
Knowledge-Based Version Incompatibility Detection for Deep Learning
Zhongkai Zhao, Bonan Kou, Mohamed Yilmaz Ibrahim, Muhao Chen, and Tianyi Zhang
(Tongji University, China; Purdue University, USA; University of California at Davis, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Program Analysis II

Statistical Type Inference for Incomplete Programs
Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li, Jingling Xue, and Mengting Yuan
(Wuhan University, China; UNSW, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach
Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, and Hui Xu
(Fudan University, China; Ant Group, China)
Publisher's Version
DeepInfer: Deep Type Inference from Smart Contract Bytecode
Kunsong Zhao, Zihao Li, Jianfeng Li, He Ye, Xiapu Luo, and Ting Chen
(Hong Kong Polytechnic University, China; Xi’an Jiaotong University, China; KTH Royal Institute of Technology, Sweden; University of Electronic Science and Technology of China, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
DeMinify: Neural Variable Name Recovery and Type Inference
Yi Li, Aashish Yadavally, Jiaxing Zhang, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version

Clone and Similarity Detection

Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model
Deqing Zou, Siyue Feng, Yueming Wu, Wenqi Suo, and Hai Jin
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore)
Publisher's Version Info
Gitor: Scalable Code Clone Detection by Building Global Sample Graph
Junjie Shan, Shihan Dou, Yueming Wu, Hairu Wu, and Yang Liu
(Westlake University, China; Fudan University, China; Nanyang Technological University, Singapore)
Publisher's Version
Demystifying the Composition and Code Reuse in Solidity Smart Contracts
Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, and Yang Liu
(Nanyang Technological University, Singapore; East China Normal University, China)
Publisher's Version
Scalable Program Clone Search through Spectral Analysis
Tristan Benoit, Jean-Yves Marion, and Sébastien Bardin
(LORIA, France; CNRS, France; Université de Lorraine, France; CEA, France; Université Paris-Saclay, France)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Performance

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, and Michael Franz
(University of California at Irvine, USA; SiFive, USA)
Publisher's Version
Discovering Parallelisms in Python Programs
Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, and Yan Cai
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Ant Group, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
IoPV: On Inconsistent Option Performance Variations
Jinfu Chen, Zishuo Ding, Yiming Tang, Mohammed Sayagh, Heng Li, Bram Adams, and Weiyi Shang
(Wuhan University, China; University of Waterloo, Canada; Rochester Institute of Technology, USA; ÉTS, Canada; Polytechnique Montréal, Canada; Queen’s University, Canada)
Publisher's Version
Predicting Software Performance with Divide-and-Learn
Jingzhi Gong and Tao Chen
(University of Electronic Science and Technology of China, China; Loughborough University, UK; University of Birmingham, UK)
Publisher's Version Info

Machine Learning III

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities
Xinyu Gao, Zhijie Wang, Yang Feng, Lei Ma, Zhenyu Chen, and Baowen Xu
(Nanjing University, China; University of Alberta, Canada; University of Tokyo, Japan)
Publisher's Version Published Artifact Info Artifacts Available
Automated Testing and Improvement of Named Entity Recognition Systems
Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, and Pinjia He
(Chinese University of Hong Kong, China)
Publisher's Version
The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification
Anastasiia Grishina, Max Hort, and Leon Moonen
(Simula Research Laboratory, Norway; BI Norwegian Business School, Norway)
Publisher's Version Published Artifact Artifacts Available
Deep Learning Based Feature Envy Detection Boosted by Real-World Examples
Bo Liu, Hui Liu, Guangjie Li, Nan Niu, Zimao Xu, Yifan Wang, Yunni Xia, Yuxia Zhang, and Yanjie Jiang
(Beijing Institute of Technology, China; National Innovation Institute of Defense Technology, China; University of Cincinnati, USA; Huawei Cloud, China; Chongqing University, China; Peking University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Security I

Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java
Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, and Yixiang Chen
(East China Normal University, China; Tianjin University, China; Nankai University, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation
Xiaoke Wang, Tao Hui, Lei Zhao, and Yueqiang Cheng
(Wuhan University, China; NIO, USA)
Publisher's Version
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
Chenyang Ma, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects
Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, and Yang Liu
(Singapore Management University, Singapore; Tianjin University, China; Nanyang Technological University, Singapore)
Publisher's Version

Fault Diagnosis and Root Cause Analysis II

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers
Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, and Hong Mei
(Shanghai Jiao Tong University, China; National University of Singapore, Singapore)
Publisher's Version
Mining Resource-Operation Knowledge to Support Resource Leak Detection
Chong Wang, Yiling Lou, Xin Peng, Jianan Liu, and Baihan Zou
(Fudan University, China)
Publisher's Version
TransMap: Pinpointing Mistakes in Neural Code Translation
Bo Wang, Ruishi Li, Mingkai Li, and Prateek Saxena
(National University of Singapore, Singapore)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling
Elvan Kula, Eric Greuter, Arie van Deursen, and Georgios Gousios
(Delft University of Technology, Netherlands; ING, Netherlands)
Publisher's Version
Commit-Level, Neural Vulnerability Detection and Assessment
Yi Li, Aashish Yadavally, Jiaxing Zhang, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version

Fuzzing

Enhancing Coverage-Guided Fuzzing via Phantom Program
Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi, Junjie Chen, Heming Cui, and Yuqun Zhang
(Southern University of Science and Technology, China; University of Hong Kong, China; Tianjin University, China)
Publisher's Version
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics
Ahmad Humayun, Miryung Kim, and Muhammad Ali Gulzar
(Virginia Tech, USA; University of California at Los Angeles, USA)
Publisher's Version Published Artifact Artifacts Available
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, and Yuqun Zhang
(Southern University of Science and Technology, China; University of Hong Kong, China; Tianjin University, China; University of Queensland, Australia)
Publisher's Version
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing
Suhwan Song and Byoungyoung Lee
(Seoul National University, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps
Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, and Zhendong Su
(East China Normal University, China; Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications
Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, and Miryung Kim
(University of California at Los Angeles, USA; University of California at Riverside, USA; Intel Labs, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
NaNofuzz: A Usable Tool for Automatic Test Generation
Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, and Joshua Sunshine
(Carnegie Mellon University, USA; Rose-Hulman Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available
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, Bo Zhang, Wenxiang Qian, and Zheng Wang
(Northwest University, China; Concordia University, Canada; Tencent, China; University of Leeds, UK)
Publisher's Version Published Artifact Artifacts Available

Formal Verification

State Merging with Quantifiers in Symbolic Execution
David Trabish, Noam Rinetzky, Sharon Shoham, and Vaibhav Sharma
(Tel Aviv University, Israel; University of Minnesota, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, and Zhenhua Duan
(Xidian University, China; Beijing Institute of Control Engineering, China)
Publisher's Version Info
Engineering a Formally Verified Automated Bug Finder
Arthur Correnson and Dominic Steinhöfel
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Speeding up SMT Solving via Compiler Optimization
Benjamin Mikek and Qirun Zhang
(Georgia Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Automated Repair II

Semantic Test Repair for Web Applications
Xiaofang Qi, Xiang Qian, and Yanhui Li
(Southeast University, China; Nanjing University, China)
Publisher's Version
A Large-Scale Empirical Review of Patch Correctness Checking Approaches
Jun Yang, Yuehan Wang, Yiling Lou, Ming Wen, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Fudan University, China; Huazhong University of Science and Technology, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Program Repair Guided by Datalog-Defined Static Analysis
Yu Liu, Sergey Mechtaev, Pavle Subotić, and Abhik Roychoudhury
(National University of Singapore, Singapore; University College London, UK; Microsoft, Serbia)
Publisher's Version
Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus N. Rabe, Talia Ringer, and Yuriy Brun
(University of Massachusetts, USA; Augment Computing, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph
Xueying Du, Yiling Lou, Mingwei Liu, Xin Peng, and Tianyong Yang
(Fudan University, China)
Publisher's Version Info
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps
Yuxin Zhang, Sen Chen, Lingling Fan, Chunyang Chen, and Xiaohong Li
(Tianjin University, China; Nankai University, China; Monash University, Australia)
Publisher's Version Info

Human Aspects III

A Case Study of Developer Bots: Motivations, Perceptions, and Challenges
Sumit Asthana, Hitesh Sajnani, Elena Voyloshnikova, Birendra Acharya, and Kim Herzig
(University of Michigan, USA; Trade Desk, USA; Microsoft, USA)
Publisher's Version Published Artifact Artifacts Available
“We Feel Like We’re Winging It:” A Study on Navigating Open-Source Dependency Abandonment
Courtney Miller, Christian Kästner, and Bogdan Vasilescu
(Carnegie Mellon University, USA)
Publisher's Version
How Practitioners Expect Code Completion?
Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, and Yuetang Deng
(Chinese University of Hong Kong, China; Peking University, China; Tencent, USA; Tencent, China)
Publisher's Version

Testing IV

Code Coverage Criteria for Asynchronous Programs
Mohammad Ganji, Saba Alimadadi, and Frank Tip
(Simon Fraser University, Canada; Northeastern University, USA)
Publisher's Version Published Artifact Artifacts Available
API-Knowledge Aware Search-Based Software Testing: Where, What, and How
Xiaoxue Ren, Xinyuan Ye, Yun Lin, Zhenchang Xing, Shuqing Li, and Michael R. Lyu
(Zhejiang University, China; Australian National University, Australia; Shanghai Jiao Tong University, China; CSIRO’s Data61, Australia; Chinese University of Hong Kong, China)
Publisher's Version
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes
Shinhae Kim and Sungjae Hwang
(Affiliated Institute of ETRI, South Korea; Sungkyunkwan University, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Machine Learning IV

Dynamic Data Fault Localization for Deep Neural Networks
Yining Yin, Yang Feng, Shihao Weng, Zixi Liu, Yuan Yao, Yichi Zhang, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems
Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, and Hai Jin
(Huazhong University of Science and Technology, China; Hong Kong University of Science and Technology, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing
Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, and Shang-Wei Lin
(Singapore Management University, Singapore; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China)
Publisher's Version
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks
Fuyuan Zhang, Xinwen Hu, Lei Ma, and Jianjun Zhao
(Kyushu University, Japan; Hunan Normal University, China; University of Tokyo, Japan; University of Alberta, Canada)
Publisher's Version

Program Analysis III

Practical Inference of Nullability Types
Nima Karimipour, Justin Pham, Lazaro Clapp, and Manu Sridharan
(University of California, Riverside, USA; Uber Technologies, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
LibKit: Detecting Third-Party Libraries in iOS Apps
Daniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, and Juan Caballero
(IMDEA Software Institute, Spain; University of Verona, Italy)
Publisher's Version Published Artifact Info Artifacts Available
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
Soomin Kim, Hyungseok Kim, and Sang Kil Cha
(KAIST, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, and Shengjian Guo
(Nanjing University, China; Alibaba Group, USA; Alibaba Group, China; Baidu Research, USA)
Publisher's Version Published Artifact Artifacts Available

Empirical Studies II

Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts
Wenhua Yang, Chong Zhang, and Minxue Pan
(Nanjing University of Aeronautics and Astronautics, China; Nanjing University, China)
Publisher's Version
Software Architecture in Practice: Challenges and Opportunities
Zhiyuan Wan, Yun Zhang, Xin Xia, Yi Jiang, and David Lo
(Zhejiang University, China; Hangzhou City University, China; Huawei, China; Singapore Management University, Singapore)
Publisher's Version

Models of Code and Documentation

On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code
Martin Weyssow, Xin Zhou, Kisub Kim, David Lo, and Houari Sahraoui
(Université de Montréal, Canada; Singapore Management University, Singapore)
Publisher's Version Published Artifact Artifacts Available
Grace: Language Models Meet Code Edits
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Microsoft, India; University of Pennsylvania, USA; Microsoft Research, USA; Microsoft, USA; Microsoft Research, India)
Publisher's Version Published Artifact Archive submitted (770 kB) Artifacts Available
Recommending Analogical APIs via Knowledge Graph Embedding
Mingwei Liu, Yanjun Yang, Yiling Lou, Xin Peng, Zhong Zhou, Xueying Du, and Tianyong Yang
(Fudan University, China)
Publisher's Version Info
CCT5: A Code-Change-Oriented Pre-trained Model
Bo Lin, Shangwen Wang, Zhongxin Liu, Yepang Liu, Xin Xia, and Xiaoguang Mao
(National University of Defense Technology, China; Zhejiang University, China; Southern University of Science and Technology, China)
Publisher's Version Published Artifact Artifacts Available

Machine Learning V

LExecutor: Learning-Guided Execution
Beatriz Souza and Michael Pradel
(University of Stuttgart, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Software Architecture Recovery with Information Fusion
Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen, Jianwen Sun, Dong Qiu, and Yang Liu
(Nanyang Technological University, Singapore; Huawei Technologies, China)
Publisher's Version
Evaluating Transfer Learning for Simplifying GitHub READMEs
Haoyu Gao, Christoph Treude, and Mansooreh Zahedi
(University of Melbourne, Australia)
Publisher's Version
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models
Zhensu Sun, Xiaoning Du, Fu Song, and Li Li
(Beihang University, China; Monash University, Australia; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Automotive Software Innovation Center, China)
Publisher's Version

Security II

Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors
Ruoxi Sun, Minhui Xue, Gareth Tyson, Tian Dong, Shaofeng Li, Shuo Wang, Haojin Zhu, Seyit Camtepe, and Surya Nepal
(CSIRO’s Data61, Australia; Cybersecurity CRC, Australia; Hong Kong University of Science and Technology, China; Shanghai Jiao Tong University, China; Peng Cheng Laboratory, China)
Publisher's Version Published Artifact Artifacts Available
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities
Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier, Antonio Bianchi, and Mathias Payer
(Purdue University, USA; EPFL, Switzerland; Oracle Labs, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
ViaLin: Path-Aware Dynamic Taint Analysis for Android
Khaled Ahmed, Yingying Wang, Mieszko Lis, and Julia Rubin
(University of British Columbia, Canada)
Publisher's Version
Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation
Chao Ni, Xin Yin, Kaiwen Yang, Dehai Zhao, Zhenchang Xing, and Xin Xia
(Zhejiang University, China; Australian National University, Australia; CSIRO’s Data61, Australia; Huawei, China)
Publisher's Version

Industry

Industry Papers

A Unified Framework for Mini-game Testing: Experience on WeChat
Chaozheng Wang, Haochuan Lu, Cuiyun Gao, Zongjie Li, Ting Xiong, and Yuetang Deng
(Chinese University of Hong Kong, China; Tencent, China; Hong Kong University of Science and Technology, China)
Publisher's Version
Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection
Haotian Si, Changhua Pei, Zhihan Li, Yadong Zhao, Jingjing Li, Haiming Zhang, Zulong Diao, Jianhui Li, Gaogang Xie, and Dan Pei
(Computer Network Information Center at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Kuaishou Technology, China; Institute of Computing Technology at Chinese Academy of Sciences, China; Purple Mountain Laboratories, China; Tsinghua University, China)
Publisher's Version Info
InferFix: End-to-End Program Repair with LLMs
Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu, Neel Sundaresan, and Alexey Svyatkovskiy
(Microsoft, USA; University of California at Los Angeles, USA; Microsoft Research, China)
Publisher's Version
Assess and Summarize: Improve Outage Understanding with Large Language Models
Pengxiang Jin, Shenglin Zhang, Minghua Ma, Haozhe Li, Yu Kang, Liqun Li, Yudong Liu, Bo Qiao, Chaoyun Zhang, Pu Zhao, Shilin He, Federica Sarro, Yingnong Dang, Saravan Rajmohan, Qingwei Lin, and Dongmei Zhang
(Nankai University, China; Microsoft, China; Peking University, China; University College London, UK)
Publisher's Version
Understanding Hackers’ Work: An Empirical Study of Offensive Security Practitioners
Andreas Happe and Jürgen Cito
(TU Wien, Austria)
Publisher's Version Published Artifact Artifacts Available
Towards Efficient Record and Replay: A Case Study in WeChat
Sidong Feng, Haochuan Lu, Ting Xiong, Yuetang Deng, and Chunyang Chen
(Monash University, Australia; Tencent, China)
Publisher's Version
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions
Yuxin Wang, Adam Welc, Lazaro Clapp, and Lingchao Chen
(Uber Technologies, USA; Mysten Labs, USA)
Publisher's Version Published Artifact Artifacts Available
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, James Gill, Nachiappan Nagappan, Karim Nakad, Ioannis Papagiannis, Luke Petre, Giorgi Megreli, Patrick Riggs, and James Saindon
(Meta, USA; Concordia University, Canada)
Publisher's Version
Incrementalizing Production CodeQL Analyses
Tamás Szabó
(GitHub, Germany)
Publisher's Version
xASTNN: Improved Code Representations for Industrial Practice
Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, and Hongyu Zhang
(Tsinghua University, China; Fudan University, China; VMware, China; Chongqing University, China)
Publisher's Version
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, Jianhui Li, Gaogang Xie, and Dan Pei
(Tsinghua University, China; Computer Network Information Center at Chinese Academy of Sciences, China; eBay, China)
Publisher's Version
STEAM: Observability-Preserving Trace Sampling
Shilin He, Botao Feng, Liqun Li, Xu Zhang, Yu Kang, Qingwei Lin, Saravan Rajmohan, and Dongmei Zhang
(Microsoft Research, Beijing, China; Microsoft, Beijing, China; Microsoft, USA)
Publisher's Version
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems
Ruomeng Ding, Chaoyun Zhang, Lu Wang, Yong Xu, Minghua Ma, Xiaomin Wu, Meng Zhang, Qingjun Chen, Xin Gao, Xuedong Gao, Hao Fan, Saravan Rajmohan, Qingwei Lin, and Dongmei Zhang
(Microsoft, China; Microsoft 365, China; Microsoft 365, USA)
Publisher's Version
Triggering Modes in Spectrum-Based Multi-location Fault Localization
Tung Dao, Na Meng, and ThanhVu Nguyen
(Cvent, USA; Virginia Tech, USA; George Mason University, USA)
Publisher's Version Info
Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception
Yongxiang Hu, Jiazhen Gu, Shuqing Hu, Yu Zhang, Wenjie Tian, Shiyu Guo, Chaoyi Chen, and Yangfan Zhou
(Fudan University, China; Meituan, China; Shanghai Key Laboratory of Intelligent Information Processing, China)
Publisher's Version
MuRS: Mutant Ranking and Suppression using Identifier Templates
Zimin Chen, Małgorzata Salawa, Manushree Vijayvergiya, Goran Petrović, Marko Ivanković, and René Just
(KTH Royal Institute of Technology, Sweden; Google, Switzerland; University of Washington, USA)
Publisher's Version
Modeling the Centrality of Developer Output with Software Supply Chains
Audris Mockus, Peter C. Rigby, Rui Abreu, Parth Suresh, Yifen Chen, and Nachiappan Nagappan
(Meta, USA; University of Tennessee, USA; Concordia University, Canada)
Publisher's Version
On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report
Anes Bendimerad, Youcef Remil, Romain Mathonat, and Mehdi Kaytoue
(Infologic, France; INSA Lyon, France; CNRS, France; LIRIS UMR5205, France)
Publisher's Version
C³: Code Clone-Based Identification of Duplicated Components
Yanming Yang, Ying Zou, Xing Hu, David Lo, Chao Ni, John Grundy, and Xin Xia
(Zhejiang University, China; Queen’s University, Canada; Singapore Management University, Singapore; Monash University, Australia; Huawei, China)
Publisher's Version
AdaptivePaste: Intelligent Copy-Paste in IDE
Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, and Alexey Svyatkovskiy
(Microsoft, USA; Google, UK)
Publisher's Version
Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report
Lizhi Liao, Heng Li, Weiyi Shang, Catalin Sporea, Andrei Toma, and Sarah Sajedi
(University of Waterloo, Canada; Polytechnique Montréal, Canada; ERA Environmental, Canada)
Publisher's Version
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection
Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, and Inderjeet Singh
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; Alstom Rail, Sweden)
Publisher's Version
AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision
Xiaoyun Liang, Jiayi Qi, Yongqiang Gao, Chao Peng, and Ping Yang
(ByteDance, China)
Publisher's Version
Detection Is Better Than Cure: A Cloud Incidents Perspective
Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang, Minghua Ma, Chetan Bansal, Suman Nath, and Jonathan Mace
(Microsoft, India; Microsoft, China; Microsoft, USA)
Publisher's Version
PropProof: Free Model-Checking Harnesses from PBT
Yoshiki Takashima
(Carnegie Mellon University, USA)
Publisher's Version
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, and Geguang Pu
(East China Normal University, China; Shanghai Trusted Industrial Control Platform, China)
Publisher's Version Published Artifact Artifacts Available
BFSig: Leveraging File Significance in Bus Factor Estimation
Vahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, and Vladimir Kovalenko
(Bilkent University, Turkiye; JetBrains Research, Cyprus; JetBrains Research, Netherlands)
Publisher's Version
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, and Jan F. Nygård
(Simula Research Laboratory, Norway; Oslo Metropolitan University, Norway; Cancer Registry of Norway, Norway; UiT The Arctic University of Norway, Norway)
Publisher's Version
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, and Claudio Menghi
(McMaster University, Canada; University of Bergamo, Italy)
Publisher's Version
Prioritizing Natural Language Test Cases Based on Highly-Used Game Features
Markos Viggiato, Dale Paas, and Cor-Paul Bezemer
(University of Alberta, Canada; Prodigy Education, Canada)
Publisher's Version
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
Chengjie Lu, Qinghua Xu, Tao Yue, Shaukat Ali, Thomas Schwitalla, and Jan F. Nygård
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; Cancer Registry of Norway, Norway; Arctic University of Norway, Norway)
Publisher's Version
Compositional Taint Analysis for Enforcing Security Policies at Scale
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, and Jingbo Wang
(Amazon Web Services, USA; Texas A&M University, USA; Amazon Web Services, Germany; University of Southern California, USA)
Publisher's Version
A Multidimensional Analysis of Bug Density in SAP HANA
Julian Reck, Thomas Bach, and Jan Stoess
(SAP, Germany; University of Applied Sciences Karlsruhe, Germany)
Publisher's Version Archive submitted (420 kB)
Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey
Umme Ayman Koana, Francis Chew, Chris Carlson, and Maleknaz Nayebi
(York University, Canada; Brightsquid, Canada)
Publisher's Version

Industry Short Papers

Rotten Green Tests in Google Test
Paul T. Robinson
(Sony Interactive Entertainment, USA)
Publisher's Version
Issue Report Validation in an Industrial Context
Ethem Utku Aktas, Ebru Cakmak, Mete Cihad Inan, and Cemal Yilmaz
(Softtech Research and Development, Turkiye; Microsoft EMEA, Turkiye; Sabanci University, Turkiye)
Publisher's Version
On the Dual Nature of Necessity in Use of Rust Unsafe Code
Yuchen Zhang, Ashish Kundu, Georgios Portokalidis, and Jun Xu
(Stevens Institute of Technology, USA; Cisco Research, USA; University of Utah, USA)
Publisher's Version
Analyzing Microservice Connectivity with Kubesonde
Jacopo Bufalino, Mario Di Francesco, and Tuomas Aura
(Aalto University, Finland; Eficode, Finland)
Publisher's Version
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
Hassan Sartaj, Shaukat Ali, Tao Yue, and Kjetil Moberg
(Simula Research Laboratory, Norway; Oslo Metropolitan University, Norway; Norwegian Health Authority, Norway)
Publisher's Version
Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365
Fangkai Yang, Wenjie Yin, Lu Wang, Tianci Li, Pu Zhao, Bo Liu, Paul Wang, Bo Qiao, Yudong Liu, Mårten Björkman, Saravan Rajmohan, Qingwei Lin, and Dongmei Zhang
(Microsoft, China; KTH Royal Institute of Technology, Sweden; Microsoft, USA)
Publisher's Version
The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development
Zheng Li and Austen Rainer
(Queen's University Belfast, UK)
Publisher's Version

Ideas, Visions, and Reflections

Contribution-Based Firing of Developers?
Vincenzo Orrei, Marco Raglianti, Csaba Nagy, and Michele Lanza
(USI Lugano, Switzerland)
Publisher's Version
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants
Milos Ojdanic, Mike Papadakis, and Mark Harman
(University of Luxembourg, Luxembourg; Meta Platforms, UK; University College London, UK)
Publisher's Version
Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables
Jian Gu and Harald C. Gall
(Monash University, Australia; University of Zurich, Switzerland)
Publisher's Version
Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems
Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Christoph Treude, and Kenichi Matsumoto
(NAIST, Japan; University of Melbourne, Australia)
Publisher's Version
Getting pwn’d by AI: Penetration Testing with Large Language Models
Andreas Happe and Jürgen Cito
(TU Wien, Austria)
Publisher's Version Info
Towards Feature-Based Analysis of the Machine Learning Development Lifecycle
Boyue Caroline Hu and Marsha Chechik
(University of Toronto, Canada)
Publisher's Version
Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues
Ramtin Ehsani, Rezvaneh Rezapour, and Preetha Chatterjee
(Drexel University, USA)
Publisher's Version
Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study
Amirali Sajadi, Kostadin Damevski, and Preetha Chatterjee
(Drexel University, USA; Virginia Commonwealth University, USA)
Publisher's Version
Towards Strengthening Formal Specifications with Mutation Model Checking
Maxime Cordy, Sami Lazreg, Axel Legay, and Pierre Yves Schobbens
(University of Luxembourg, Luxembourg; Université Catholique de Louvain, Belgium; University of Namur, Belgium)
Publisher's Version
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian
(University of California at Riverside, USA)
Publisher's Version
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, and James C. Davis
(Purdue University, USA; University of Michigan, USA)
Publisher's Version
A Vision on Intentions in Software Engineering
Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, and Julia Rubin
(Eindhoven University of Technology, Netherlands; Nanyang Technological University, Singapore; University of Texas at Austin, USA; University of Toronto, Canada; Ruhr University Bochum, Germany; Chalmers - University of Gothenburg, Sweden; University of British Columbia, Canada)
Publisher's Version
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities
Felipe Toledo, David Shriver, Sebastian Elbaum, and Matthew B. Dwyer
(University of Virginia, USA)
Publisher's Version

Demonstrations

LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation
Xiaoyu Sun, Xiao Chen, Yonghui Liu, John Grundy, and Li Li
(Australian National University, Australia; Monash University, Australia; Beihang University, China)
Publisher's Version
npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Donald Pinckney, Federico Cassano, Arjun Guha, and Jonathan Bell
(Northeastern University, USA)
Publisher's Version
Ad Hoc Syntax-Guided Program Reduction
Jia Le Tian, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yiwen Dong, and Chengnian Sun
(University of Waterloo, Canada)
Publisher's Version Video
On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers
Laura Cabra-Acela, Anamaria Mojica-Hanke, Mario Linares-Vásquez, and Steffen Herbold
(University of Los Andes, Colombia; University of Passau, Germany)
Publisher's Version Published Artifact Video Info Artifacts Available
Helion: Enabling Natural Testing of Smart Homes
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, and Adwait Nadkarni
(College of William and Mary, USA; IBM Research, USA; University of Central Florida, USA)
Publisher's Version
A Language Model of Java Methods with Train/Test Deduplication
Chia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, and Collin McMillan
(University of Notre Dame, USA; University of Maine, USA)
Publisher's Version Info
DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy Patterns
Shriram Shanbhag, Sridhar Chimalakonda, Vibhu Saujanya Sharma, and Vikrant Kaulgud
(IIT Tirupati, India; Accenture Labs, India)
Publisher's Version
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, Kevin Moran, Denys Poshyvanyk, and Adwait Nadkarni
(College of William and Mary, USA; University of Dhaka, Bangladesh; University of Central Florida, USA)
Publisher's Version
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs
Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, and Bo-Yin Yang
(Shenzhen University, China; Institute of Software at Chinese Academy of Sciences, China; National Institute of Cyber Security, Taiwan; Academia Sinica, Taiwan)
Publisher's Version Video Info
P4b: A Translator from P4 Programs to Boogie
Chong Ye and Fei He
(Tsinghua University, China)
Publisher's Version Video Info
D2S2: Drag ’n’ Drop Mobile App Screen Search
Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, and Christoph Csallner
(University of Texas at Arlington, USA)
Publisher's Version Video
CONAN: Statically Detecting Connectivity Issues in Android Applications
Alejandro Mazuera-Rozo, Camilo Escobar-Velásquez, Juan Espitia-Acero, Mario Linares-Vásquez, and Gabriele Bavota
(USI Lugano, Switzerland; University of Los Andes, Colombia)
Publisher's Version Video Info

Student Research Competition

A Data Set of Extracted Rationale from Linux Kernel Commit Messages
Mouna Dhaouadi
(Université de Montréal, Canada)
Publisher's Version
Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection
Niklas Risse
(MPI-SP, Germany)
Publisher's Version
Detection of Optimizations Missed by the Compiler
Yi Zhang
(Nanjing University, China)
Publisher's Version
Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage
Emily Nguyen
(University of California at Los Angeles, USA)
Publisher's Version
Inferring Complexity Bounds from Recurrence Relations
Didier Ishimwe
(George Mason University, USA)
Publisher's Version
LLM-Based Code Generation Method for Golang Compiler Testing
Qiuhan Gu
(Nanjing University, China)
Publisher's Version
Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection
Issam Sedki
(Concordia University, Canada)
Publisher's Version
STraceBERT: Source Code Retrieval using Semantic Application Traces
Claudio Spiess
(University of California at Davis, USA)
Publisher's Version
The Call Graph Chronicles: Unleashing the Power Within
Masudul Hasan Masud Bhuiyan
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
The State of Survival in OSS: The Impact of Diversity
Zixuan Feng
(Oregon State University, USA)
Publisher's Version

proc time: 29.55