ESEC/FSE 2021 – Proceedings

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

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

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

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

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

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)

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)

Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Yuqi Chen, Christopher M. Poskitt, and Jun Sun
(Singapore Management University, Singapore)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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

Code Recommendation

Cross-Language Code Search using Static and Dynamic Analyses
George Mathew and Kathryn T. Stolee
(North Carolina State University, USA)

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)

Fuzzing

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

Info

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)

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)

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)

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)

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)

Identifying Casualty Changes in Software Patches
Adriana Sejfia, Yixue Zhao, and Nenad Medvidović
(University of Southern California, USA; University of Massachusetts at Amherst, USA)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Info

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)

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)

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)

Info

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)

Info

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)

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)

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)

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)

Analysis and Testing of Unconventional Software

Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors
Sangeeta Chowdhary and Santosh Nagarakatte
(Rutgers University, USA)

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)

Metamorphic Testing of Datalog Engines
Muhammad Numair Mansur, Maria Christakis, and Valentin Wüstholz
(MPI-SWS, Germany; ConsenSys, Germany)

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)

Info

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)

SynGuar: Guaranteeing Generalization in Programming by Example
Bo Wang, Teodora Baluta, Aashish Kolluri, and Prateek Saxena
(National University of Singapore, Singapore)

Info

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)

Info

Empirical Study of Transformers for Source Code
Nadezhda Chirkova and Sergey Troshin
(HSE University, Russia)

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)

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)

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)

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)

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)

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)

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)

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)

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)

NIL: Large-Scale Detection of Large-Variance Clones
Tasuku Nakagawa, Yoshiki Higo, and Shinji Kusumoto
(Osaka University, Japan)

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)

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)

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)

Info

Probabilistic Delta Debugging
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, and Lu Zhang
(Peking University, China; Tianjin University, China)

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)

Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
Jibesh Patra and Michael Pradel
(University of Stuttgart, Germany)

NOLINKDECO

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)

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)

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)

Generating Efficient Solvers from Constraint Models
Shu Lin, Na Meng, and Wenxin Li
(Peking University, China; Virginia Tech, USA)

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)

Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipeline
Sumon Biswas and Hridesh Rajan
(Iowa State University, USA)

Info

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)

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)

Info

A Longitudinal Analysis of Bloated Java Dependencies
César Soto-Valero, Thomas Durieux, and Benoit Baudry
(KTH, Sweden)

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)

How Disabled Tests Manifest in Test Maintainability Challenges?
Dong Jae Kim, Bo Yang, Jinqiu Yang, and Tse-Hsun (Peter) Chen
(Concordia University, Canada)

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)

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)

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)

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)

Metrics

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

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)

Accelerating JavaScript Static Analysis via Dynamic Shortcuts
Joonyoung Park, Jihyeok Park, Dongjun Youn, and Sukyoung Ryu
(KAIST, South Korea)

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)

Boosting Static Analysis Accuracy with Instrumented Test Executions
Tianyi Chen, Kihong Heo, and Mukund Raghothaman
(University of Southern California, USA; KAIST, South Korea)

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)

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)

Info

A Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Shachar Itzhaky, and Noam Rinetzky
(Tel Aviv University, Israel; Technion, Israel)

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)

Info

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)

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)

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)

Automated Code Transformation for Context Propagation in Go
Adam Welc
(Uber Technologies, USA)

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)

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)

Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts
Vivek Joshi, Preethu Rose Anish, and Smita Ghaisas
(TCS Research, India)

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)

Info

Turnover-Induced Knowledge Loss in Practice
Martin P. Robillard
(McGill University, Canada)

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)

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)

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)

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)

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)

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)

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)

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)

FuzzBench: An Open Fuzzer Benchmarking Platform and Service
Jonathan Metzman, László Szekeres, Laurent Simon, Read Sprabery, and Abhishek Arya
(Google, USA)

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)

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)

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)

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)

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)

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)

Reducing the Search Space of Bug Inducing Commits using Failure Coverage
Gabin An and Shin Yoo
(KAIST, South Korea)

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)

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)

Term Interrelations and Trends in Software Engineering
Janusan Baskararajah, Lei Zhang, and Andriy Miranskyy
(Ryerson University, Canada)

Software Robustness: A Survey, a Theory, and Prospects
Justyna Petke, David Clark, and William B. Langdon
(University College London, UK)

Towards Automating Code Review at Scale
Vincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, and Martin Hirzel
(Carnegie Mellon University, USA; IBM Research, USA)

Learning Type Annotation: Is Big Data Enough?
Kevin Jesse, Premkumar T. Devanbu, and Toufique Ahmed
(University of California at Davis, USA)

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)

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)

Demonstrations

LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Guannan Wei, Shangyin Tan, Oliver Bračevac, and Tiark Rompf
(Purdue University, USA)

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)

Video

Info

Exploit Those Code Reviews! Bigger Data for Deeper Learning
Robert Heumüller, Sebastian Nielebock, and Frank Ortmeier
(University of Magdeburg, Germany)

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)

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)

Sangrahaka: A Tool for Annotating and Querying Knowledge Graphs
Hrishikesh Terdalkar and Arnab Bhattacharya
(IIT Kanpur, India)

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)

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)

Info

AlloyFL: A Fault Localization Framework for Alloy
Tanvir Ahmed Khan, Allison Sullivan, and Kaiyuan Wang
(University of Texas at Arlington, USA; Google, USA)

Video

Info

BiasRV: Uncovering Biased Sentiment Predictions at Runtime
Zhou Yang, Muhammad Hilmi Asyrofi, and David Lo
(Singapore Management University, Singapore)

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)

Video

StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis
Akhila Sri Manasa Venigalla and Sridhar Chimalakonda
(IIT Tirupati, India)

Video

AC²: Towards Understanding Architectural Changes in Python Projects
A. Eashaan Rao, Dheeraj Vagavolu, and Sridhar Chimalakonda
(IIT Tirupati, India)

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)

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)

Slicer4J: A Dynamic Slicer for Java
Khaled Ahmed, Mieszko Lis, and Julia Rubin
(University of British Columbia, Canada)

Video

Info

CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition
Muhammad Hilmi Asyrofi, Zhou Yang, and David Lo
(Singapore Management University, Singapore)

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)

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)

Info

Analysis of Specifications of Multiparty Sessions with dcj-lint
Erik Horlings and Sung-Shik Jongmans
(Open University of the Netherlands, Netherlands; CWI, Netherlands)

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)

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)

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)

Documenting Evidence of a Reuse of ‘RefactoringMiner 2.0’
Andre Lustosa and Tim Menzies
(North Carolina State University, USA)

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)

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)

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)

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)

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)

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)

Doctoral Symposium

Investigating Documented Information for Accurate Effort Estimation in Agile Software Development
Jirat Pasuksmit
(University of Melbourne, Australia)

Security Guarantees for Automated Software Testing
Danushka Liyanage
(Monash University, Australia)

Unveiling Multiple Facets of Design Degradation in Modern Code Review
Anderson Uchôa
(PUC-Rio, Brazil)

Freeing Hybrid Distributed AI Training Configuration
Haoran Wang
(Huawei, France; University of Orléans, France)

Towards an Approach for Resource-Driven Adaptation
Paul A. Akiki
(Open University, UK)

Deployment Coordination for Cross-Functional DevOps Teams
Daniel Sokolowski
(TU Darmstadt, Germany)

Lightweight Verification via Specialized Typecheckers
Martin Kellogg
(University of Washington, USA)

Multi-location Cryptographic Code Repair with Neural-Network-Based Methodologies
Ya Xiao
(Virginia Tech, USA)

Improving the Effectiveness of Peer Code Review in Identifying Security Defects
Rajshakhar Paul
(Wayne State University, USA)

Reducing Cost in Continuous Integration with a Collection of Build Selection Approaches
Xianhao Jin
(Virginia Tech, USA)

A Live Environment for Inspection and Refactoring of Software Systems
Sara Fernandes
(University of Porto, Portugal; INESC-ID, Portugal)

Student Research Competition

Undergraduate Students

PorkFuzz: Testing Stateful Software-Defined Network Applications with Property Graphs
Chaofan Shou
(University of California at Santa Barbara, USA)

A Qualitative Study of Cleaning in Jupyter Notebooks
Helen Dong
(Carnegie Mellon University, USA)

Automated Generation of Realistic Test Inputs for Web APIs
Juan C. Alonso
(University of Seville, Spain)

Contextualizing Toxicity in Open Source: A Qualitative Study
Sophie Cohen
(Wesleyan University, USA)

Accelerating Redundancy-Based Program Repair via Code Representation Learning and Adaptive Patch Filtering
Chen Yang
(Tianjin University, China)

SMT Solver Testing with Type and Grammar Based Mutation
Jiwon Park
(École Polytechnique, France)

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)

A General Approach to Modeling Java Framework Behaviors
Linghui Luo
(University of Paderborn, Germany)

Discovering Repetitive Code Changes in ML Systems
Malinda Dilhara
(University of Colorado at Boulder, USA)

Does Reusing Pre-trained NLP Model Propagate Bugs?
Mohna Chakraborty
(Iowa State University, USA)

Mitigating Security Attacks in Kubernetes Manifests for Security Best Practices Violation
Shazibul Islam Shamim
(Tennessee Technological University, USA)