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

Title Page

Welcome from the Chairs

Committees

Sponsors

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)

Article Search

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)

Preprint

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)

Preprint Artifacts Available

EvaCRC: Evaluating Code Review Comments
Lanxin Yang , Jinwei Xu , Yifan Zhang , He Zhang , and Alberto Bacchelli 
(Nanjing University, China; University of Zurich, Switzerland)

Article Search Info

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)

Article Search

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)

Preprint Artifacts Available

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)

Article Search Artifacts Available

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)

Article Search Artifacts Available

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)

Article Search

EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes
Shinhae Kim  and Sungjae Hwang 
(Affiliated Institute of ETRI, South Korea; Sungkyunkwan University, South Korea)

Article Search Artifacts Available

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)

Article Search

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)

Article Search Archive submitted (770 kB)

LExecutor: Learning-Guided Execution
Beatriz Souza  and Michael Pradel 
(University of Stuttgart, Germany)

Article Search

Accelerating Continuous Integration with Parallel Batch Testing
Emad Fallahzadeh , Amir Hossein Bavand , and Peter C. Rigby 
(Concordia University, Canada)

Article Search

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)

Article Search

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)

Preprint Artifacts Available

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; Chinese Institute of Software at Chinese Academy of Sciences, China; Huazhong University of Science and Technology, China)

Article Search Artifacts Available

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; AntGroup, China)

Article Search

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)

Article Search

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)

Article Search Artifacts Available

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)

Article Search

Flow Experience in Software Engineering
Saima Ritonummi , Valtteri Siitonen , Markus Salo , Henri Pirkkalainen , and Anu Sivunen 
(University of Jyväskylä, Finland; Tampere University, Finland)

Article Search

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)

Article Search

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)

Preprint Artifacts Available

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)

Article Search

From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
Akshay Utture  and Jens Palsberg 
(University of California at Los Angeles, USA)

Article Search Artifacts Available

Statistical Reachability Analysis
Seongmin Lee  and Marcel Böhme 
(MPI-SP, Germany)

Article Search 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)

Article Search

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)

Article Search

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)

Preprint Info Artifacts Available

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)

Article Search

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)

Article Search

Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation
Xiaoke Wang , Tao Hui , Lei Zhao , and Yueqiang Cheng 
(Wuhan University, China; NIO, USA)

Article Search

PPR: Pairwise Program Reduction
Mengxiao Zhang , Zhenyang Xu , Yongqiang Tian , Yu Jiang , and Chengnian Sun 
(University of Waterloo, Canada; Tsinghua University, China)

Article Search Artifacts Available

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)

Article Search Info

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)

Article Search

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)

Preprint Info

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)

Preprint Artifacts Available

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)

Article Search

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)

Article Search Artifacts Available

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)

Preprint

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)

Article Search Artifacts Available

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)

Article Search

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)

Article Search

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)

Article Search

State Merging with Quantifiers in Symbolic Execution
David Trabish , Noam Rinetzky , Sharon Shoham , and Vaibhav Sharma 
(Tel Aviv University, Israel; University of Minnesota, USA)

Article Search Artifacts Available

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; Federal University of Technology Paraná, Brazil; University of Melbourne, Australia; Northern Arizona University, USA)

Preprint Info

Contextual Predictive Mutation Testing
Kush Jain , Uri Alon , Alex Groce , and Claire Le Goues 
(Carnegie Mellon University, USA; Northern Arizona University, USA)

Article Search

Engineering a Formally Verified Automated Bug Finder
Arthur Correnson  and Dominic Steinhöfel 
(CISPA Helmholtz Center for Information Security, Germany)

Article Search Artifacts Available

Evaluating Transfer Learning for Simplifying GitHub READMEs
Haoyu Gao , Christoph Treude , and Mansooreh Zahedi 
(University of Melbourne, Australia)

Article Search

Code Coverage Criteria for Asynchronous Programs
Mohammad Ganji , Saba Alimadadi , and Frank Tip 
(Simon Fraser University, Canada; Northeastern University, USA)

Article Search 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)

Article Search

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)

Article Search

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)

Article Search

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)

Preprint Info Artifacts Available

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)

Article Search

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)

Article Search Artifacts Available

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 
(Nanyang Technological University, Singapore; Tianjin University, China; Singapore Management University, Singapore)

Article Search

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)

Article Search Artifacts Available

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)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search 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)

Preprint Info

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)

Preprint

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)

Article Search Info 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)

Article Search

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; Hong Kong University of Science and Technology, China; Shanghai Jiao Tong University, China)

Article Search

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)

Article Search

When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
Alan Romano  and Weihang Wang 
(University of Southern California, USA)

Article Search Artifacts Available

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, France; INSA Rennes, France)

Article Search Info Artifacts Available

Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities
Prashast Srivastava , Flavio Toffalini , Kostyantyn Vorobyov , Francois Gauthier , Antonio Bianchi , and Mathias Payer 
(Purdue University, USA; EPFL, Switzerland; Oracle Labs, Australia)

Article Search Artifacts Available

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)

Article Search

Mining Resource-Operation Knowledge to Support Resource Leak Detection
Chong Wang , Yiling Lou , Xin Peng , Jianan Liu , and Baihan Zou 
(Fudan University, China)

Article Search

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; Amazon, India; Traceable.ai, India; Cisco, India)

Article Search

KG4CraSolver: Recommending Crash Solutions via Knowledge Graph
Xueying Du , Yiling Lou , Mingwei Liu , Xin Peng , and Tianyong Yang 
(Fudan University, China)

Preprint Info

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)

Article Search Info

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)

Article Search

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)

Article Search Info Artifacts Available

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)

Article Search

TransMap: Pinpointing Mistakes in Neural Code Translation
Bo Wang , Ruishi Li , Mingkai Li , and Prateek Saxena 
(National University of Singapore, Singapore)

Article Search Info Artifacts Available

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; ShanghaiTech University, China; Monash University, Australia; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; University of Luxembourg, Luxembourg)

Article Search

Semantic Test Repair for Web Applications
Xiaofang Qi , Xiang Qian , and Yanhui Li 
(Southeast University, China; Nanjing University, China)

Article Search

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)

Article Search

Practical Inference of Nullability Types
Nima Karimipour , Justin Pham , Lazaro Clapp , and Manu Sridharan 
(University of California, Riverside, USA; Uber Technologies, USA)

Article Search Artifacts Available

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)

Article Search Artifacts Available

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)

Article Search

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)

Preprint Info

ViaLin: Path-Aware Dynamic Taint Analysis for Android
Khaled Ahmed , Yingying Wang , Mieszko Lis , and Julia Rubin 
(University of British Columbia, Canada)

Article Search

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)

Article Search 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)

Article Search

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)

Article Search

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)

Article Search Info

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)

Article Search

Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing
Suhwan Song  and Byoungyoung Lee 
(Seoul National University, South Korea)

Article Search

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)

Article Search Artifacts Available

Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization
Yali Du  and Zhongxing Yu 
(Shandong University, China)

Article Search

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; Huawei, China)

Article Search

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)

Article Search Artifacts Available

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
Sunbeom So  and Hakjoo Oh 
(Korea University, South Korea)

Article Search Archive submitted (500 kB)

Understanding Solidity Event Logging Practices in the Wild
Lantian Li , Yejian Liang , Zhihao Liu , and Zhongxing Yu 
(Shandong University, China)

Article Search

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)

Article Search Artifacts Available

LibKit: Detecting Third-Party Libraries in iOS Apps
Daniel Dominguez Alvarez , Alejandro de la Cruz , Alessandra Gorla , and Juan Caballero 
(IMDEA Software Institute, Spain; University of Verona, Italy)

Article Search Info

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)

Article Search Info Artifacts Available

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)

Article Search

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)

Article Search

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)

Article Search

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)

Preprint

Multilingual Code Co-evolution using Large Language Models
Jiyang Zhang , Pengyu Nie , Junyi Jessy Li , and Milos Gligoric 
(University of Texas at Austin, USA)

Article Search

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 
(Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; Singapore Management University, Singapore)

Article Search

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)

Article Search Info

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)

Article Search Artifacts Available

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)

Article Search Info

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)

Article Search

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)

Article Search

Speeding up SMT Solving via Compiler Optimization
Benjamin Mikek  and Qirun Zhang 
(Georgia Institute of Technology, USA)

Article Search

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)

Article Search

𝜇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)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
Soomin Kim , Hyungseok Kim , and Sang Kil Cha 
(KAIST, South Korea)

Article Search

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)

Article Search

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)

Article Search

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)

Preprint

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)

Article Search

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)

Article Search

Incrementalizing Production CodeQL Analyses
Tamás Szabó 
(GitHub, Germany)

Article Search

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)

Article Search

MuRS: Mutant Ranking and Suppression using Identifier Templates
Zimin Chen , Malgorzata Salawa , Manushree Vijayvergiya , Goran Petrovic , Marko Ivankovic , and René Just 
(KTH Royal Institute of Technology, Sweden; Google, Switzerland; University of Washington, USA)

Article Search

PropProof: Free Model-Checking Harnesses from PBT
Yoshiki Takashima 
(Carnegie Mellon University, USA)

Article Search

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, n.n.; Microsoft, China; Microsoft 365, n.n.)

Article Search

Rotten Green Tests in Google Test
Paul T. Robinson 
(Sony Interactive Entertainment, USA)

Article Search

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)

Article Search

AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision
Xiaoyun Liang , Jiayi Qi , Yongqiang Gao , Chao Peng , and Ping Yang 
(ByteDance, China)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

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)

Preprint

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, n.n.)

Article Search

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)

Preprint

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)

Article Search

A Multidimensional Analysis of Bug Density in SAP HANA
Julian Reck , Thomas Bach , and Jan Stoess 
(SAP, Germany; University of Applied Sciences Karlsruhe, Germany)

Article Search Archive submitted (420 kB)

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; LIRIS UMR5201, France; CNRS, France)

Article Search

BFSig: Leveraging File Significance in Bus Factor Estimation
Vahid Haratian , Mikhail Evtikhiev , Pouria Derakhshanfar , Eray Tüzün , and Vladimir Kovalenko 
(Bilkent University, Turkey; JetBrains Research, Cyprus; JetBrains Research, Netherlands)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

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 365, USA)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search 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)

Article Search

The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development
Zheng Li  and Austen Rainer 
(Queen's University Belfast, UK)

Article Search

Issue Report Validation in an Industrial Context
Ethem Utku Aktas , Ebru Cakmak , Mete Cihad Inan , and Cemal Yilmaz 
(Softtech Research and Development, Turkey; Microsoft EMEA, Turkey; Sabanci University, Turkey)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

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; Microsoft 365, China)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

AdaptivePaste: Intelligent Copy-Paste in IDE
Xiaoyu Liu , Jinu Jang , Neel Sundaresan , Miltiadis Allamanis , and Alexey Svyatkovskiy 
(Microsoft, USA; Google Research, UK)

Article Search

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; Tsinghua University, China)

Preprint Info

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)

Article Search

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)

Article Search

Analyzing Microservice Connectivity with Kubesonde
Jacopo Bufalino , Mario Di Francesco , and Tuomas Aura 
(Aalto University, Finland; Eficode, Finland)

Article Search

Understanding Hackers’ Work: An Empirical Study of Offensive Security Practitioners
Andreas Happe  and Jürgen Cito 
(TU Wien, Austria)

Preprint Artifacts Available

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)

Article Search

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)

Preprint

Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues
Ramtin Ehsani , Rezvaneh Rezapour , and Preetha Chatterjee 
(Drexel University, USA)

Preprint

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)

Article Search

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)

Article Search

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)

Article Search

Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants
Milos Ojdanic , Mike Papadakis , and Mark Harman 
(University of Luxembourg, Luxembourg; University College London, UK)

Article Search

Towards Feature-Based Analysis of the Machine Learning Development Lifecycle
Boyue Caroline Hu  and Marsha Chechik 
(University of Toronto, Canada)

Article Search

Getting pwn’d by AI: Penetration Testing with Large Language Models
Andreas Happe  and Jürgen Cito 
(TU Wien, Austria)

Preprint Info

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)

Preprint

Contribution-Based Firing of Developers?
Vincenzo Orrei , Marco Raglianti , Csaba Nagy , and Michele Lanza 
(USI Lugano, Switzerland)

Article Search

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)

Article Search

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; University of British Columbia, Canada)

Article Search

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)

Article Search Info

P4b: A Translator from P4 Programs to Boogie
Chong Ye  and Fei He 
(Tsinghua University, China)

Article Search Video 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)

Article Search

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)

Preprint Video Info Artifacts Available

npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Donald Pinckney , Federico Cassano , Arjun Guha , and Jonathan Bell 
(Northeastern University, USA)

Article Search

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; George Mason University, USA)

Article Search

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)

Article Search Video Info

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)

Article Search Video Info

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)

Article Search

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; George Mason University, USA)

Article Search

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)

Article Search Video

Ad Hoc Syntax-Guided Program Reduction
Jia Le Tian , Mengxiao Zhang , Zhenyang Xu , Yongqiang Tian , Yiwen Dong , and Chengnian Sun 
(University of Waterloo, Canada)

Article Search Video

Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection
Niklas Risse 
(MPI-SP, Germany)

Article Search

Detection of Optimizations Missed by the Compiler
Yi Zhang 
(Nanjing University, China)

Article Search

Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection
Issam Sedki
(Concordia University, Canada)

Article Search

The State of Survival in OSS: The Impact of Diversity
Zixuan Feng 
(Oregon State University, USA)

Article Search

Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage
Emily Nguyen 
(University of California at Los Angeles, USA)

Article Search

LLM-Based Code Generation Method for Golang Compiler Testing
Qiuhan Gu 
(Nanjing University, China)

Article Search

A Data Set of Extracted Rationale from Linux Kernel Commit Messages
Mouna Dhaouadi 
(Université de Montréal, Canada)

Article Search

STraceBERT: Source Code Retrieval using Semantic Application Traces
Claudio Spiess 
(University of California at Davis, USA)

Article Search

Inferring Complexity Bounds from Recurrence Relations
Didier Ishimwe 
(George Mason University, USA)

Article Search

The Call Graph Chronicles: Unleashing the Power Within
Masudul Hasan Masud Bhuiyan 
(CISPA Helmholtz Center for Information Security, Germany)

Article Search