ESEC/FSE 2021
29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
Powered by
Conference Publishing Consulting

29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021), August 23–28, 2021, Athens, Greece

ESEC/FSE 2021 – Proceedings

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

Frontmatter

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

Invited Presentations

Programming and Execution Models for Next Generation Code Intelligence Systems (Keynote)
Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
The 4Ps: Product, Process, People, and Productivity: A Data-Driven Approach to Improve Software Engineering (Keynote)
Nachiappan Nagappan
(Facebook, USA)
Publisher's Version
Interactive Analysis of Large Code Bases (Invited Talk)
Gerard J. Holzmann
(Nimble Research, USA)
Publisher's Version
Managers Hate Uncertainty: Good and Bad Experiences with Adaptive Project Management (Invited Talk)
Han Schaminée
(Wārtsilā, Netherlands)
Publisher's Version
Industrial Best Practices for Continuous Integration (CI) and Continuously Delivery (CD) (Invited Talk)
John Micco
(VMware, USA)
Publisher's Version
Huawei’s Practices on Trusted Software Engineering Capability Improvement (Invited Talk)
Wilson Wang
(Huawei Technologies, China)
Publisher's Version

Research Papers

Cyber-Physical Systems

Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems
Michael Vierhauser, Md Nafee Al Islam, Ankit Agrawal, Jane Cleland-Huang, and James Mason
(JKU Linz, Austria; University of Notre Dame, USA; Northrop Grumman, USA)
Publisher's Version Info
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles
Dinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu, and Yulei Sui
(University of Technology Sydney, Australia; Southern University of Science and Technology, China; Nanjing University of Aeronautics and Astronautics, China)
Publisher's Version
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Yuqi Chen, Christopher M. Poskitt, and Jun Sun
(Singapore Management University, Singapore)
Publisher's Version
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, and Sebastian Elbaum
(Purdue University, USA; University of Virginia, USA)
Publisher's Version

Continuous Integration and Delivery

Automating Serverless Deployments for DevOps Organizations
Daniel Sokolowski, Pascal Weisenburger, and Guido Salvaneschi
(TU Darmstadt, Germany; University of St. Gallen, Switzerland)
Publisher's Version Artifacts Reusable

Mobile Analysis and Testing

Algebraic-Datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks
Sydur Rahaman, Iulian Neamtiu, and Xin Yin
(New Jersey Institute of Technology, USA)
Publisher's Version Artifacts Functional
Vet: Identifying and Avoiding UI Exploration Tarpits
Wenyu Wang, Wei Yang, Tianyin Xu, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Peking University, China)
Publisher's Version
Checking Conformance of Applications against GUI Policies
Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, and Isil Dillig
(University of Washington, USA; University of California at Santa Barbara, USA; Google, USA; University of Texas at Austin, USA)
Publisher's Version

Mobile Human-Computer Interaction

Data-Driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps
Forough Mehralian, Navid Salehnamadi, and Sam Malek
(University of California at Irvine, USA)
Publisher's Version
Benchmarking Automated GUI Testing for Android against Real-World Bugs
Ting Su, Jue Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version Artifacts Reusable

Model Checking

Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Minjian Zhang, Umang Mathur, and Mahesh Viswanathan
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Artifacts Reusable
Conditional Interpolation: Making Concurrent Program Verification More Effective
Jie Su, Cong Tian, and Zhenhua Duan
(Xidian University, China)
Publisher's Version

Model-Driven Software Engineering

AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, and Eunsuk Kang
(Carnegie Mellon University, USA; INESC-ID, Portugal; University of Lisbon, Portugal)
Publisher's Version Artifacts Reusable
Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive Systems
Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, and Xiaoxing Ma
(Nanjing University, China)
Publisher's Version

Dependability

Lightweight and Modular Resource Leak Verification
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst
(University of Washington, USA; University of California at Riverside, USA)
Publisher's Version Artifacts Functional
JSISOLATE: Lightweight In-Browser JavaScript Isolation
Mingxue Zhang and Wei Meng
(Chinese University of Hong Kong, China)
Publisher's Version

Code Recommendation

Cross-Language Code Search using Static and Dynamic Analyses
George Mathew and Kathryn T. Stolee
(North Carolina State University, USA)
Publisher's Version
Automating the Removal of Obsolete TODO Comments
Zhipeng Gao, Xin Xia, David Lo, John Grundy, and Thomas Zimmermann
(Monash University, Australia; Singapore Management University, Singapore; Microsoft Research, USA)
Publisher's Version

Fuzzing

Estimating Residual Risk in Greybox Fuzzing
Marcel Böhme, Danushka Liyanage, and Valentin Wüstholz
(Monash University, Australia; ConsenSys, Germany)
Publisher's Version Info Artifacts Reusable
HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications
Qian Zhang, Jiyuan Wang, and Miryung Kim
(University of California at Los Angeles, USA)
Publisher's Version

Defect Prediction and Effort Estimation

Sound and Efficient Concurrency Bug Prediction
Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, and Jens Palsberg
(Institute of Software at Chinese Academy of Sciences, China; Beijing Institute of Control Engineering, China; University of California at Los Angeles, USA)
Publisher's Version Artifacts Reusable

Vulnerabilities

Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup Analysis
Song Li, Mingqing Kang, Jianwei Hou, and Yinzhi Cao
(Johns Hopkins University, USA; Renmin University of China, China)
Publisher's Version
Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events
Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, and Zijiang Yang
(Xi'an Jiaotong University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Hong Kong Polytechnic University, China)
Publisher's Version
Vulnerability Detection with Fine-Grained Interpretations
Yi Li, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version
Identifying Casualty Changes in Software Patches
Adriana Sejfia, Yixue Zhao, and Nenad Medvidović
(University of Southern California, USA; University of Massachusetts at Amherst, USA)
Publisher's Version Info
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, and Mohit Tiwari
(University of Texas at Austin, USA)
Publisher's Version Artifacts Reusable

Program Repair

Context-Aware and Data-Driven Feedback Generation for Programming Assignments
Dowon Song, Woosuk Lee, and Hakjoo Oh
(Korea University, South Korea; Hanyang University, South Korea)
Publisher's Version Artifacts Reusable
A Syntax-Guided Edit Decoder for Neural Program Repair
Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, and Lu Zhang
(Peking University, China; Stony Brook University, USA)
Publisher's Version
VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair
Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, and Claire Le Goues
(Carnegie Mellon University, USA; Coe College, USA)
Publisher's Version Info

Flaky Tests

Flaky Test Detection in Android via Event Order Exploration
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Publisher's Version

Collaborative Software Engineering

SmartCommit: A Graph-Based Interactive Assistant for Activity-Oriented Commits
Bo Shen, Wei Zhang, Christian Kästner, Haiyan Zhao, Zhao Wei, Guangtai Liang, and Zhi Jin
(Peking University, China; Carnegie Mellon University, USA; Huawei Technologies, China)
Publisher's Version Artifacts Reusable
A First Look at Developers’ Live Chat on Gitter
Lin Shi, Xiao Chen, Ye Yang, Hanzhi Jiang, Ziyou Jiang, Nan Niu, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Stevens Institute of Technology, USA; University of Cincinnati, USA)
Publisher's Version Info
Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
Souti Chattopadhyay, Thomas Zimmermann, and Denae Ford
(Oregon State University, USA; Microsoft Research, USA)
Publisher's Version Info

Cloud Computing

An Empirical Study on Challenges of Application Development in Serverless Computing
Jinfeng Wen, Zhenpeng Chen, Yi Liu, Yiling Lou, Yun Ma, Gang Huang, Xin Jin, and Xuanzhe Liu
(Peking University, China)
Publisher's Version

Search Based Software Engineering

Bias in Machine Learning Software: Why? How? What to Do?
Joymallya Chakraborty, Suvodeep Majumder, and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Understanding Neural Code Intelligence through Program Simplification
Md Rafiqul Islam Rabin, Vincent J. Hellendoorn, and Mohammad Amin Alipour
(University of Houston, USA; Carnegie Mellon University, USA)
Publisher's Version
Multi-objectivizing Software Configuration Tuning
Tao Chen and Miqing Li
(University of Electronic Science and Technology of China, China; Loughborough University, UK; University of Birmingham, UK)
Publisher's Version Info

Libraries and APIs

Embedding App-Library Graph for Neural Third Party Library Recommendation
Bo Li, Qiang He, Feifei Chen, Xin Xia, Li Li, John Grundy, and Yun Yang
(Swinburne University of Technology, Australia; Deakin University, Australia; Monash University, Australia)
Publisher's Version
A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and Rationales
Hao He, Runzhi He, Haiqiao Gu, and Minghui Zhou
(Peking University, China; Tsinghua University, China)
Publisher's Version Artifacts Reusable
Learning-Based Extraction of First-Order Logic Representations of API Directives
Mingwei Liu, Xin Peng, Andrian Marcus, Christoph Treude, Xuefang Bai, Gang Lyu, Jiazhan Xie, and Xiaoxin Zhang
(Fudan University, China; University of Texas at Dallas, USA; University of Adelaide, Australia)
Publisher's Version

Development Tools

DIFFBASE: A Differential Factbase for Effective Software Evolution Management
Xiuheng Wu, Chenguang Zhu, and Yi Li
(Nanyang Technological University, Singapore; University of Texas at Austin, USA)
Publisher's Version Info Artifacts Reusable
Would You Like a Quick Peek? Providing Logging Support to Monitor Data Processing in Big Data Applications
Zehao Wang, Haoxiang Zhang, Tse-Hsun (Peter) Chen, and Shaowei Wang
(Concordia University, Canada; Huawei, Canada; University of Manitoba, Canada)
Publisher's Version

Code Review and Changes

Identifying Bad Software Changes via Multimodal Anomaly Detection for Online Service Systems
Nengwen Zhao, Junjie Chen, Zhaoyang Yu, Honglin Wang, Jiesong Li, Bin Qiu, Hongyu Xu, Wenchi Zhang, Kaixin Sui, and Dan Pei
(Tsinghua University, China; Tianjin University, China; BizSeer, China; China Guangfa Bank, China)
Publisher's Version

Refactoring

An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking Mechanism
Xiao Wang, Lu Xiao, Tingting Yu, Anne Woepse, and Sunny Wong
(Stevens Institute of Technology, USA; University of Cincinnati, USA; Analytical Graphics, USA)
Publisher's Version Info Artifacts Functional

Blockchain

ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China)
Publisher's Version Info Artifacts Functional
iBatch: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations
Yibo Wang, Qi Zhang, Kai Li, Yuzhe Tang, Jiaqi Chen, Xiapu Luo, and Ting Chen
(Syracuse University, USA; Hong Kong Polytechnic University, China; University of Electronic Science and Technology of China, China)
Publisher's Version

Recommender Systems

Which Abbreviations Should Be Expanded?
Yanjie Jiang, Hui Liu, Yuxia Zhang, Nan Niu, Yuhai Zhao, and Lu Zhang
(Beijing Institute of Technology, China; University of Cincinnati, USA; Northeastern University, USA; Peking University, China)
Publisher's Version

Testing of Machine Learning Models

Validation on Machine Reading Comprehension Software without Annotated Labels: A Property-Based Method
Songqiang Chen, Shuo Jin, and Xiaoyuan Xie
(Wuhan University, China)
Publisher's Version
FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds
Saikat Dutta, August Shi, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA)
Publisher's Version

Analysis and Testing of Unconventional Software

Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors
Sangeeta Chowdhary and Santosh Nagarakatte
(Rutgers University, USA)
Publisher's Version Artifacts Functional
Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation
Ming Yan, Junjie Chen, Xiangyu Zhang, Lin Tan, Gan Wang, and Zan Wang
(Tianjin University, China; Purdue University, USA)
Publisher's Version
Metamorphic Testing of Datalog Engines
Muhammad Numair Mansur, Maria Christakis, and Valentin Wüstholz
(MPI-SWS, Germany; ConsenSys, Germany)
Publisher's Version Info

Human Computer Interaction

Synthesis of Web Layouts from Examples
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, and Nadia Polikarpova
(University of California at San Diego, USA; Cornell University, USA; Technion, Israel)
Publisher's Version Info Artifacts Reusable

Machine Learning for Software Engineering

Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning
Yiling Lou, Qihao Zhu, Jinhao Dong, Xia Li, Zeyu Sun, Dan Hao, Lu Zhang, and Lingming Zhang
(Peking University, China; Kennesaw State University, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
SynGuar: Guaranteeing Generalization in Programming by Example
Bo Wang, Teodora Baluta, Aashish Kolluri, and Prateek Saxena
(National University of Singapore, Singapore)
Publisher's Version Info Artifacts Reusable
StateFormer: Fine-Grained Type Recovery from Binaries using Generative State Modeling
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, and Suman Jana
(Columbia University, USA; University of Toronto, Canada; Dublin High School, Ireland)
Publisher's Version Info Artifacts Reusable
Empirical Study of Transformers for Source Code
Nadezhda Chirkova and Sergey Troshin
(HSE University, Russia)
Publisher's Version Info
Explaining Mispredictions of Machine Learning Models using Rule Induction
Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, and Satish Chandra
(TU Vienna, Austria; Facebook, Austria; University of Texas at Austin, USA; Facebook, USA)
Publisher's Version
Generalizable and Interpretable Learning for Configuration Extrapolation
Yi Ding, Ahsan Pervaiz, Michael Carbin, and Henry Hoffmann
(Massachusetts Institute of Technology, USA; University of Chicago, USA)
Publisher's Version

Program Comprehension

Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge
Shangwen Wang, Ming Wen, Bo Lin, and Xiaoguang Mao
(National University of Defense Technology, China; Huazhong University of Science and Technology, China)
Publisher's Version Info
To Read or to Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability
Madeline Endres, Madison Fansher, Priti Shah, and Westley Weimer
(University of Michigan, USA)
Publisher's Version Info
Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity
Zachary Karas, Andrew Jahn, Westley Weimer, and Yu Huang
(University of Michigan, USA)
Publisher's Version

Software Security

LastPyMile: Identifying the Discrepancy between Sources and Packages
Duc-Ly Vu, Fabio Massacci, Ivan Pashchenko, Henrik Plate, and Antonino Sabetta
(University of Trento, Italy; Vrije Universiteit Amsterdam, Netherlands; SAP Security Research, France)
Publisher's Version
A Grounded Theory of the Role of Coordination in Software Security Patch Management
Nesara Dissanayake, Mansooreh Zahedi, Asangi Jayatilaka, and Muhammad Ali Babar
(University of Adelaide, Australia)
Publisher's Version
TaintStream: Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
Chengxu Yang, Yuanchun Li, Mengwei Xu, Zhenpeng Chen, Yunxin Liu, Gang Huang, and Xuanzhe Liu
(Peking University, China; Microsoft Research, China; Beijing University of Posts and Telecommunications, China; Tsinghua University, China)
Publisher's Version

Debugging

Demystifying “Bad” Error Messages in Data Science Libraries
Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, and Shengchao Qin
(Shenzhen University, China; Southern University of Science and Technology, China; Wuhan University, China; Teesside University, UK)
Publisher's Version
NIL: Large-Scale Detection of Large-Variance Clones
Tasuku Nakagawa, Yoshiki Higo, and Shinji Kusumoto
(Osaka University, Japan)
Publisher's Version Info
Understanding and Detecting Server-Side Request Races in Web Applications
Zhengyi Qiu, Shudi Shao, Qi Zhao, and Guoliang Jin
(North Carolina State University, USA)
Publisher's Version
Detecting and Localizing Keyboard Accessibility Failures in Web Applications
Paul T. Chiou, Ali S. Alotaibi, and William G. J. Halfond
(University of Southern California, USA)
Publisher's Version Artifacts Reusable
Swarmbug: Debugging Configuration Bugs in Swarm Robotics
Chijung Jung, Ali Ahad, Jinho Jung, Sebastian Elbaum, and Yonghwi Kwon
(University of Virginia, USA; Georgia Institute of Technology, USA)
Publisher's Version Info
Probabilistic Delta Debugging
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, and Lu Zhang
(Peking University, China; Tianjin University, China)
Publisher's Version Info

Bug Characterization and Fixing

Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language
Jeho Oh, Necip Fazıl Yıldıran, Julian Braha, and Paul Gazzillo
(University of Texas at Austin, USA; University of Central Florida, USA)
Publisher's Version Artifacts Functional
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
Jibesh Patra and Michael Pradel
(University of Stuttgart, Germany)
Publisher's Version NOLINKDECO Artifacts Functional

Mining Software Repositories

Characterizing Search Activities on Stack Overflow
Jiakun Liu, Sebastian Baltes, Christoph Treude, David Lo, Yun Zhang, and Xin Xia
(Zhejiang University, China; University of Adelaide, Australia; Singapore Management University, Singapore; Zhejiang University City College, China; Huawei, China)
Publisher's Version
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Egor Bogomolov, Vladimir Kovalenko, Yurii Rebryk, Alberto Bacchelli, and Timofey Bryksin
(JetBrains Research, Russia; HSE University, Russia; JetBrains Research, Netherlands; University of Zurich, Switzerland)
Publisher's Version

Software Engineering for Machine Learning

Probing Model Signal-Awareness via Prediction-Preserving Input Minimization
Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim A. Laredo, and Alessandro Morari
(IBM Research, USA)
Publisher's Version
Generating Efficient Solvers from Constraint Models
Shu Lin, Na Meng, and Wenxin Li
(Peking University, China; Virginia Tech, USA)
Publisher's Version
A Comprehensive Study of Deep Learning Compiler Bugs
Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, and Xiang Chen
(Tianjin University, China; University of Waterloo, Canada; Hong Kong University of Science and Technology, China; Nantong University, China)
Publisher's Version
Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipeline
Sumon Biswas and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version Info Artifacts Functional
Fairea: A Model Behaviour Mutation Approach to Benchmarking Bias Mitigation Methods
Max Hort, Jie M. Zhang, Federica Sarro, and Mark Harman
(University College London, UK)
Publisher's Version Artifacts Functional

Software Evolution

Feature Trace Recording
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, and Lukas Linsbauer
(University of Ulm, Germany; Humboldt University of Berlin, Germany; Oregon State University, USA; TU Braunschweig, Germany)
Publisher's Version Info Artifacts Reusable
A Longitudinal Analysis of Bloated Java Dependencies
César Soto-Valero, Thomas Durieux, and Benoit Baudry
(KTH, Sweden)
Publisher's Version Info

Software Practices

XAI Tools in the Public Sector: A Case Study on Predicting Combined Sewer Overflows
Nicholas Maltbie, Nan Niu, Matthew Van Doren, and Reese Johnson
(University of Cincinnati, USA; Metropolitan Sewer District of Greater Cincinnati, USA)
Publisher's Version Artifacts Reusable
How Disabled Tests Manifest in Test Maintainability Challenges?
Dong Jae Kim, Bo Yang, Jinqiu Yang, and Tse-Hsun (Peter) Chen
(Concordia University, Canada)
Publisher's Version

Software Processes

Sustainability Forecasting for Apache Incubator Projects
Likang Yin, Zhuangzhi Chen, Qi Xuan, and Vladimir Filkov
(University of California at Davis, USA; Zhejiang University of Technology, China)
Publisher's Version

Test Generation

Graph-Based Seed Object Synthesis for Search-Based Unit Testing
Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, and Jin Song Dong
(National University of Singapore, Singapore; Singapore Management University, Singapore; University of Passau, Germany)
Publisher's Version Info
LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage
Chuan Luo, Binqi Sun, Bo Qiao, Junjie Chen, Hongyu Zhang, Jinkun Lin, Qingwei Lin, and Dongmei Zhang
(Microsoft Research, China; Tianjin University, China; University of Newcastle, Australia; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
GLIB: Towards Automated Test Oracle for Graphically-Rich Applications
Ke Chen, Yufei Li, Yingfeng Chen, Changjie Fan, Zhipeng Hu, and Wei Yang
(Netease, China; University of Texas at Dallas, USA)
Publisher's Version

Metrics

Reassessing Automatic Evaluation Metrics for Code Summarization Tasks
Devjeet Roy, Sarah Fakhoury, and Venera Arnaoudova
(Washington State University, USA)
Publisher's Version

Programming Languages

Toward Efficient Interactions between Python and Native Libraries
Jialiang Tan, Yu Chen, Zhenming Liu, Bin Ren, Shuaiwen Leon Song, Xipeng Shen, and Xu Liu
(College of William & Mary, USA; University of Sydney, Australia; North Carolina State University, USA)
Publisher's Version
Accelerating JavaScript Static Analysis via Dynamic Shortcuts
Joonyoung Park, Jihyeok Park, Dongjun Youn, and Sukyoung Ryu
(KAIST, South Korea)
Publisher's Version Artifacts Reusable

Approximations in Program Analysis and Testing

Skeletal Approximation Enumeration for SMT Solver Testing
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Ant Group, China; Xiamen University, China)
Publisher's Version
Boosting Static Analysis Accuracy with Instrumented Test Executions
Tianyi Chen, Kihong Heo, and Mukund Raghothaman
(University of Southern California, USA; KAIST, South Korea)
Publisher's Version Artifacts Functional
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Yicheng Luo, Antonio Filieri, and Yuan Zhou
(University College London, UK; Imperial College London, UK; DII, China)
Publisher's Version Artifacts Reusable

Static Analysis and Symbolic Execution

IDE Support for Cloud-Based Static Analyses
Linghui Luo, Martin Schäf, Daniel Sanchez, and Eric Bodden
(University of Paderborn, Germany; Amazon Web Services, USA; Amazon Alexa, USA; Fraunhofer IEM, Germany)
Publisher's Version Info
A Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Shachar Itzhaky, and Noam Rinetzky
(Tel Aviv University, Israel; Technion, Israel)
Publisher's Version Artifacts Reusable

Dynamic Analysis

Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization
Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; TU Crete, Greece)
Publisher's Version Info Artifacts Functional

Industry Papers

Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices
Anup K. Kalia, Jin Xiao, Rahul Krishna, Saurabh Sinha, Maja Vukovic, and Debasish Banerjee
(IBM Research, USA; IBM, USA)
Publisher's Version
Data-Driven Test Selection at Scale
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan, Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, and Anirudh Santhiar
(Microsoft Research, India; University of California at Irvine, USA; Microsoft, USA)
Publisher's Version
Effective Low Capacity Status Prediction for Cloud Systems
Hang Dong, Si Qin, Yong Xu, Bo Qiao, Shandan Zhou, Xian Yang, Chuan Luo, Pu Zhao, Qingwei Lin, Hongyu Zhang, Abulikemu Abuduweili, Sanjay Ramanujan, Karthikeyan Subramanian, Andrew Zhou, Saravanakumar Rajmohan, Dongmei Zhang, and Thomas Moscibroda
(Microsoft Research, China; Microsoft Azure, USA; Hong Kong Baptist University, China; University of Newcastle, Australia; Microsoft 365, China; Microsoft 365, USA)
Publisher's Version
Automated Code Transformation for Context Propagation in Go
Adam Welc
(Uber Technologies, USA)
Publisher's Version
Onion: Identifying Incident-Indicating Logs for Cloud Systems
Xu Zhang, Yong Xu, Si Qin, Shilin He, Bo Qiao, Ze Li, Hongyu Zhang, Xukun Li, Yingnong Dang, Qingwei Lin, Murali Chintalapati, Saravanakumar Rajmohan, and Dongmei Zhang
(Microsoft Research, China; Microsoft Azure, USA; University of Newcastle, Australia; Microsoft 365, USA)
Publisher's Version
Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study
Jon Ayerdi, Valerio Terragni, Aitor Arrieta, Paolo Tonella, Goiuria Sagardui, and Maite Arratibel
(Mondragon University, Spain; University of Auckland, New Zealand; USI Lugano, Switzerland; Orona, Spain)
Publisher's Version
Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts
Vivek Joshi, Preethu Rose Anish, and Smita Ghaisas
(TCS Research, India)
Publisher's Version
How Can Manual Testing Processes Be Optimized? Developer Survey, Optimization Guidelines, and Case Studies
Roman Haas, Daniel Elsner, Elmar Juergens, Alexander Pretschner, and Sven Apel
(Saarland University, Germany; CQSE, Germany; TU Munich, Germany)
Publisher's Version Info
Turnover-Induced Knowledge Loss in Practice
Martin P. Robillard
(McGill University, Canada)
Publisher's Version
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
Yaroslav Golubev, Zarina Kurbatova, Eman Abdullah AlOmar, Timofey Bryksin, and Mohamed Wiem Mkaouer
(JetBrains Research, Russia; Rochester Institute of Technology, USA; HSE University, Russia)
Publisher's Version
A Comprehensive Study on Learning-Based PE Malware Family Classification Methods
Yixuan Ma, Shuang Liu, Jiajun Jiang, Guanhong Chen, and Keqiu Li
(State Key Laboratory of Communication Content Cognition, China; Tianjin University, China)
Publisher's Version Info
Infiltrating Security into Development: Exploring the World’s Largest Software Security Study
Charles Weir, Sammy Migues, Mike Ware, and Laurie Williams
(Lancaster University, UK; Synopsys, USA; North Carolina State University, USA)
Publisher's Version
Data-Driven Extract Method Recommendations: A Study at ING
David van der Leij, Jasper Binda, Robbert van Dalen, Pieter Vallen, Yaping Luo, and Maurício Aniche
(Delft University of Technology, Netherlands; ING, Netherlands; Eindhoven University of Technology, Netherlands)
Publisher's Version
Duplicated Code Pattern Mining in Visual Programming Languages
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, and António Alegria
(OutSystems, Portugal)
Publisher's Version
Making Smart Contract Development More Secure and Easier
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, and Yu Jiang
(Tsinghua University, China; Ant Group, China; WeBank, China; University of York, UK)
Publisher's Version
Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson
Maaz Hafeez Ur Rehman and Peter C. Rigby
(Concordia University, Canada)
Publisher's Version
When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla
Johannes Lampel, Sascha Just, Sven Apel, and Andreas Zeller
(CISPA, Germany; Saarland University, Germany; Microsoft, USA)
Publisher's Version
FuzzBench: An Open Fuzzer Benchmarking Platform and Service
Jonathan Metzman, László Szekeres, Laurent Simon, Read Sprabery, and Abhishek Arya
(Google, USA)
Publisher's Version Info
An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems
Nengwen Zhao, Honglin Wang, Zeyan Li, Xiao Peng, Gang Wang, Zhu Pan, Yong Wu, Zhen Feng, Xidao Wen, Wenchi Zhang, Kaixin Sui, and Dan Pei
(Tsinghua University, China; BizSeer, China; China Everbright Bank, China)
Publisher's Version
RAPID: Checking API Usage for the Cloud in the Cloud
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, and Willem Visser
(Amazon Web Services, USA)
Publisher's Version
An Empirical Study of GUI Widget Detection for Industrial Mobile Games
Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma, Ruochen Huang, Yingfeng Chen, Yinxing Xue, and Jianjun Zhao
(Kyushu University, Japan; Netease, China; University of Alberta, Canada; University of Science and Technology of China, China)
Publisher's Version
Intelligent Container Reallocation at Microsoft 365
Bo Qiao, Fangkai Yang, Chuan Luo, Yanan Wang, Johnny Li, Qingwei Lin, Hongyu Zhang, Mohit Datta, Andrew Zhou, Thomas Moscibroda, Saravanakumar Rajmohan, and Dongmei Zhang
(Microsoft Research, China; Microsoft 365, China; University of Newcastle, Australia; Microsoft 365, USA; Microsoft Azure, USA)
Publisher's Version
Organizational Implications of Agile Adoption: A Case Study from the Public Sector
Parastoo Mohagheghi and Casper Lassenius
(NAV, Norway; Simula Metropolitan Center for Digital Engineering, Norway)
Publisher's Version

Ideas, Visions, and Reflections

Towards Immersive Software Archaeology: Regaining Legacy Systems’ Design Knowledge via Interactive Exploration in Virtual Reality
Adrian Hoff, Michael Nieke, and Christoph Seidl
(IT University of Copenhagen, Denmark)
Publisher's Version
Reducing the Search Space of Bug Inducing Commits using Failure Coverage
Gabin An and Shin Yoo
(KAIST, South Korea)
Publisher's Version Info
The Gas Triangle and Its Challenges to the Development of Blockchain-Powered Applications
Gustavo A. Oliva and Ahmed E. Hassan
(Queen's University, Canada)
Publisher's Version
Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances
Yu-Seung Ma, Shin Yoo, and Taeho Kim
(Electronics and Telecommunications Research Institute, South Korea; KAIST, South Korea)
Publisher's Version
Term Interrelations and Trends in Software Engineering
Janusan Baskararajah, Lei Zhang, and Andriy Miranskyy
(Ryerson University, Canada)
Publisher's Version
Software Robustness: A Survey, a Theory, and Prospects
Justyna Petke, David Clark, and William B. Langdon
(University College London, UK)
Publisher's Version
Towards Automating Code Review at Scale
Vincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, and Martin Hirzel
(Carnegie Mellon University, USA; IBM Research, USA)
Publisher's Version
Learning Type Annotation: Is Big Data Enough?
Kevin Jesse, Premkumar T. Devanbu, and Toufique Ahmed
(University of California at Davis, USA)
Publisher's Version
New Visions on Metamorphic Testing after a Quarter of a Century of Inception
Tsong Yueh Chen and T. H. Tse
(Swinburne University of Technology, Australia; University of Hong Kong, Hong Kong)
Publisher's Version Info
Health of Smart Ecosystems
Noura El Moussa, Davide Molinelli, Mauro Pezzè, and Martin Tappler
(USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland; TU Graz, Austria; Silicon Austria Labs, Austria)
Publisher's Version

Demonstrations

LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Guannan Wei, Shangyin Tan, Oliver Bračevac, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues
Yuhui Su, Zhe Liu, Chunyang Chen, Junjie Wang, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Monash University, Australia)
Publisher's Version Video Info
Exploit Those Code Reviews! Bigger Data for Deeper Learning
Robert Heumüller, Sebastian Nielebock, and Frank Ortmeier
(University of Magdeburg, Germany)
Publisher's Version Video
BRAID: An API Recommender Supporting Implicit User Feedback
Yu Zhou, Haonan Jin, Xinying Yang, Taolue Chen, Krishna Narasimhan, and Harald C. Gall
(Nanjing University of Aeronautics and Astronautics, China; University of London, UK; TU Darmstadt, Germany; University of Zurich, Switzerland)
Publisher's Version
KGAMD: An API-Misuse Detector Driven by Fine-Grained API-Constraint Knowledge Graph
Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia, Xiwei Xu, Liming Zhu, and Jianling Sun
(Zhejiang University, China; Australian National University, Australia; Monash University, Australia; CSIRO’s Data61, Australia)
Publisher's Version
Sangrahaka: A Tool for Annotating and Querying Knowledge Graphs
Hrishikesh Terdalkar and Arnab Bhattacharya
(IIT Kanpur, India)
Publisher's Version
Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow
Zhipeng Gao, Xin Xia, David Lo, John Grundy, and Yuan-Fang Li
(Monash University, Australia; Singapore Management University, Singapore)
Publisher's Version
BF-Detector: An Automated Tool for CI Build Failure Detection
Islem Saidani, Ali Ouni, Moataz Chouchen, and Mohamed Wiem Mkaouer
(ETS, Canada; Rochester Institute of Technology, USA)
Publisher's Version Info
AlloyFL: A Fault Localization Framework for Alloy
Tanvir Ahmed Khan, Allison Sullivan, and Kaiyuan Wang
(University of Texas at Arlington, USA; Google, USA)
Publisher's Version Video Info
BiasRV: Uncovering Biased Sentiment Predictions at Runtime
Zhou Yang, Muhammad Hilmi Asyrofi, and David Lo
(Singapore Management University, Singapore)
Publisher's Version Video
ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments
Chehara Pathmabandu, John Grundy, Mohan Baruwal Chhetri, and Zubair Baig
(Monash University, Australia; CSIRO’s Data61, Australia; Deakin University, Australia)
Publisher's Version Video
StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis
Akhila Sri Manasa Venigalla and Sridhar Chimalakonda
(IIT Tirupati, India)
Publisher's Version Video
AC²: Towards Understanding Architectural Changes in Python Projects
A. Eashaan Rao, Dheeraj Vagavolu, and Sridhar Chimalakonda
(IIT Tirupati, India)
Publisher's Version Video Info
csDetector: An Open Source Tool for Community Smells Detection
Nuri Almarimi, Ali Ouni, Moataz Chouchen, and Mohamed Wiem Mkaouer
(ETS, Canada; University of Quebec, Canada; Rochester Institute of Technology, USA)
Publisher's Version
CrossVul: A Cross-Language Vulnerability Dataset with Commit Data
Georgios Nikitopoulos, Konstantina Dritsa, Panos Louridas, and Dimitris Mitropoulos
(University of Thessaly, Greece; Athens University of Economics and Business, Greece; University of Athens, Greece)
Publisher's Version
Slicer4J: A Dynamic Slicer for Java
Khaled Ahmed, Mieszko Lis, and Julia Rubin
(University of British Columbia, Canada)
Publisher's Version Video Info
CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition
Muhammad Hilmi Asyrofi, Zhou Yang, and David Lo
(Singapore Management University, Singapore)
Publisher's Version Video Info
Frontmatter: Mining Android User Interfaces at Scale
Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, and Andreas Zeller
(CISPA, Germany; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Institute of Intelligent Software, China)
Publisher's Version Video
GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces
Stanly Samuel, Deepak D'Souza, and Raghavan Komondoor
(IISc Bengaluru, India)
Publisher's Version Info
Analysis of Specifications of Multiparty Sessions with dcj-lint
Erik Horlings and Sung-Shik Jongmans
(Open University of the Netherlands, Netherlands; CWI, Netherlands)
Publisher's Version

Reuse, Reproduction, and Replication

Documenting Evidence of a Reuse of ‘A Systematic Study of the Class Imbalance Problem in Convolutional Neural Networks’
Rahul Yedida and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Reuse of ‘On the Number of Linear Regions of Deep Neural Networks’
Rahul Yedida and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Reuse of ‘A Systematic Literature Review of Techniques and Metrics to Reduce the Cost of Mutation Testing’
Andre Lustosa and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Reuse of ‘RefactoringMiner 2.0’
Andre Lustosa and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Reuse of ‘What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines’
Kewen Peng and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Reuse of ‘“Why Should I Trust You?”: Explaining the Predictions of Any Classifier’
Kewen Peng and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Replication of ‘Populating a Release History Database from Version Control and Bug Tracking Systems’
Xueqi Yang and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Replication of ‘Analyze This! 145 Questions for Data Scientists in Software Engineering’
Xueqi Yang and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
Documenting Evidence of a Reproduction of ‘Is There A “Golden” Feature Set for Static Warning Identification? — An Experimental Evaluation’
Xueqi Yang and Tim Menzies
(North Carolina State University, USA)
Publisher's Version
A Replication of ‘DeepBugs: A Learning Approach to Name-based Bug Detection’
Jordan Winkler, Abhimanyu Agarwal, Caleb Tung, Dario Rios Ugalde, Young Jin Jung, and James C. Davis
(Purdue University, USA; Lockheed Martin, USA)
Publisher's Version

Doctoral Symposium

Investigating Documented Information for Accurate Effort Estimation in Agile Software Development
Jirat Pasuksmit
(University of Melbourne, Australia)
Publisher's Version
Security Guarantees for Automated Software Testing
Danushka Liyanage
(Monash University, Australia)
Publisher's Version
Unveiling Multiple Facets of Design Degradation in Modern Code Review
Anderson Uchôa
(PUC-Rio, Brazil)
Publisher's Version
Freeing Hybrid Distributed AI Training Configuration
Haoran Wang
(Huawei, France; University of Orléans, France)
Publisher's Version
Towards an Approach for Resource-Driven Adaptation
Paul A. Akiki
(Open University, UK)
Publisher's Version
Deployment Coordination for Cross-Functional DevOps Teams
Daniel Sokolowski
(TU Darmstadt, Germany)
Publisher's Version
Lightweight Verification via Specialized Typecheckers
Martin Kellogg
(University of Washington, USA)
Publisher's Version
Multi-location Cryptographic Code Repair with Neural-Network-Based Methodologies
Ya Xiao
(Virginia Tech, USA)
Publisher's Version
Improving the Effectiveness of Peer Code Review in Identifying Security Defects
Rajshakhar Paul
(Wayne State University, USA)
Publisher's Version
Reducing Cost in Continuous Integration with a Collection of Build Selection Approaches
Xianhao Jin
(Virginia Tech, USA)
Publisher's Version
A Live Environment for Inspection and Refactoring of Software Systems
Sara Fernandes
(University of Porto, Portugal; INESC-ID, Portugal)
Publisher's Version

Student Research Competition

Undergraduate Students

PorkFuzz: Testing Stateful Software-Defined Network Applications with Property Graphs
Chaofan Shou
(University of California at Santa Barbara, USA)
Publisher's Version
A Qualitative Study of Cleaning in Jupyter Notebooks
Helen Dong
(Carnegie Mellon University, USA)
Publisher's Version
Automated Generation of Realistic Test Inputs for Web APIs
Juan C. Alonso
(University of Seville, Spain)
Publisher's Version
Contextualizing Toxicity in Open Source: A Qualitative Study
Sophie Cohen
(Wesleyan University, USA)
Publisher's Version
Accelerating Redundancy-Based Program Repair via Code Representation Learning and Adaptive Patch Filtering
Chen Yang
(Tianjin University, China)
Publisher's Version
SMT Solver Testing with Type and Grammar Based Mutation
Jiwon Park
(École Polytechnique, France)
Publisher's Version

Graduate Students

Overcoming Metric Diversity in Meta-analysis for Software Engineering: Proposed Approach and a Case Study on Its Usage on the Effects of Software Reuse
Kirill Daniakin
(Innopolis University, Russia)
Publisher's Version
A General Approach to Modeling Java Framework Behaviors
Linghui Luo
(University of Paderborn, Germany)
Publisher's Version
Discovering Repetitive Code Changes in ML Systems
Malinda Dilhara
(University of Colorado at Boulder, USA)
Publisher's Version
Does Reusing Pre-trained NLP Model Propagate Bugs?
Mohna Chakraborty
(Iowa State University, USA)
Publisher's Version
Mitigating Security Attacks in Kubernetes Manifests for Security Best Practices Violation
Shazibul Islam Shamim
(Tennessee Technological University, USA)
Publisher's Version

proc time: 29.62