ESEC/FSE 2021 – Proceedings

Frontmatter

Invited Presentations

Programming and Execution Models for Next Generation Code Intelligence Systems (Keynote)
Mira Mezini
(TU Darmstadt, Germany)

Publisher's Version Article: fse21inv-inv5-p doi:10.1145/3468264.3478688

The 4Ps: Product, Process, People, and Productivity: A Data-Driven Approach to Improve Software Engineering (Keynote)
Nachiappan Nagappan
(Facebook, USA)

Publisher's Version Article: fse21inv-inv6-p doi:10.1145/3468264.3478690

Interactive Analysis of Large Code Bases (Invited Talk)
Gerard J. Holzmann
(Nimble Research, USA)

Publisher's Version Article: fse21inv-inv1-p doi:10.1145/3468264.3478691

Managers Hate Uncertainty: Good and Bad Experiences with Adaptive Project Management (Invited Talk)
Han Schaminée
(Wārtsilā, Netherlands)

Publisher's Version Article: fse21inv-inv2-p doi:10.1145/3468264.3478692

Industrial Best Practices for Continuous Integration (CI) and Continuously Delivery (CD) (Invited Talk)
John Micco
(VMware, USA)

Publisher's Version Article: fse21inv-inv3-p doi:10.1145/3468264.3478693

Huawei’s Practices on Trusted Software Engineering Capability Improvement (Invited Talk)
Wilson Wang
(Huawei Technologies, China)

Publisher's Version Article: fse21inv-inv4-p doi:10.1145/3468264.3478694

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 Published Artifact Artifacts Available Article: fse21main-p27-p doi:10.1145/3468264.3468534

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 Published Artifact Artifacts Available Article: fse21main-p205-p doi:10.1145/3468264.3468559

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 Article: fse21main-p826-p doi:10.1145/3468264.3468617

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 Published Artifact Artifacts Available Article: fse21main-p661-p doi:10.1145/3468264.3468608

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p304-p doi:10.1145/3468264.3468575

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 Published Artifact Artifacts Available Artifacts Functional Article: fse21main-p120-p doi:10.1145/3468264.3468550

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 Article: fse21main-p146-p doi:10.1145/3468264.3468554

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 Published Artifact Artifacts Available Article: fse21main-p217-p doi:10.1145/3468264.3468561

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 Published Artifact Artifacts Available Article: fse21main-p608-p doi:10.1145/3468264.3468604

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p1009-p doi:10.1145/3468264.3468620

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p170-p doi:10.1145/3468264.3468557

Conditional Interpolation: Making Concurrent Program Verification More Effective
Jie Su, Cong Tian, and Zhenhua Duan
(Xidian University, China)

Publisher's Version Article: fse21main-p601-p doi:10.1145/3468264.3468602

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p457-p doi:10.1145/3468264.3468587

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 Published Artifact Artifacts Available Article: fse21main-p106-p doi:10.1145/3468264.3468548

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 Published Artifact Artifacts Available Artifacts Functional Article: fse21main-p307-p doi:10.1145/3468264.3468576

JSISOLATE: Lightweight In-Browser JavaScript Isolation
Mingxue Zhang and Wei Meng
(Chinese University of Hong Kong, China)

Publisher's Version Published Artifact Artifacts Available Article: fse21main-p310-p doi:10.1145/3468264.3468577

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 Published Artifact Artifacts Available Article: fse21main-p57-p doi:10.1145/3468264.3468538

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 Article: fse21main-p141-p doi:10.1145/3468264.3468553

Fuzzing

Estimating Residual Risk in Greybox Fuzzing
Marcel Böhme, Danushka Liyanage, and Valentin Wüstholz
(Monash University, Australia; ConsenSys, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p270-p doi:10.1145/3468264.3468570

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 Published Artifact Artifacts Available Article: fse21main-p679-p doi:10.1145/3468264.3468610

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 Article: fse21main-p115-p doi:10.1145/3468264.3468549

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 Published Artifact Artifacts Available Article: fse21main-p73-p doi:10.1145/3468264.3468542

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 Article: fse21main-p273-p doi:10.1145/3468264.3468572

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 Article: fse21main-p549-p doi:10.1145/3468264.3468597

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 Article: fse21main-p1039-p doi:10.1145/3468264.3468624

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p1091-p doi:10.1145/3468264.3468627

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p566-p doi:10.1145/3468264.3468598

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 Published Artifact Artifacts Available Article: fse21main-p92-p doi:10.1145/3468264.3468544

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 Article: fse21main-p579-p doi:10.1145/3468264.3468600

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 Article: fse21main-p411-p doi:10.1145/3468264.3468584

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p123-p doi:10.1145/3468264.3468551

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 Published Artifact Artifacts Available Article: fse21main-p221-p doi:10.1145/3468264.3468562

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 Article: fse21main-p575-p doi:10.1145/3468264.3468599

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 Article: fse21main-p189-p doi:10.1145/3468264.3468558

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 Article: fse21main-p54-p doi:10.1145/3468264.3468537

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 Published Artifact Artifacts Available Article: fse21main-p60-p doi:10.1145/3468264.3468539

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 Published Artifact Artifacts Available Article: fse21main-p157-p doi:10.1145/3468264.3468555

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 Article: fse21main-p131-p doi:10.1145/3468264.3468552

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p271-p doi:10.1145/3468264.3468571

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 Article: fse21main-p853-p doi:10.1145/3468264.3468618

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 Published Artifact Artifacts Available Artifacts Reusable Article: fse21main-p610-p doi:10.1145/3468264.3468605

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 Article: fse21main-p704-p doi:10.1145/3468264.3468613

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 Article: fse21main-p81-p doi:10.1145/3468264.3468543

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 Published Artifact Artifacts Available Artifacts Functional Article: fse21main-p492-p doi:10.1145/3468264.3468590

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 Published Artifact Artifacts Available Artifacts Functional Article: fse21main-p98-p doi:10.1145/3468264.3468546

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 Article: fse21main-p258-p doi:10.1145/3468264.3468568

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 Published Artifact Artifacts Available Article: fse21main-p787-p doi:10.1145/3468264.3468616

Testing of Machi