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 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 Article: fse21main-p265-p doi:10.1145/3468264.3468569

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 Article: fse21main-p736-p doi:10.1145/3468264.3468615

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

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 Article: fse21main-p702-p doi:10.1145/3468264.3468612

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

Publisher's Version Article: fse21main-p278-p doi:10.1145/3468264.3468573

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

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 Article: fse21main-p378-p doi:10.1145/3468264.3468580

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

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

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

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

Publisher's Version Article: fse21main-p691-p doi:10.1145/3468264.3468611

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 Article: fse21main-p726-p doi:10.1145/3468264.3468614

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 Article: fse21main-p605-p doi:10.1145/3468264.3468603

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

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 Article: fse21main-p402-p doi:10.1145/3468264.3468583

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 Article: fse21main-p350-p doi:10.1145/3468264.3468579

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

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 Article: fse21main-p544-p doi:10.1145/3468264.3468595

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 Article: fse21main-p19-p doi:10.1145/3468264.3468532

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 Article: fse21main-p210-p doi:10.1145/3468264.3468560

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

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

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

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 Article: fse21main-p384-p doi:10.1145/3468264.3468581

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 Article: fse21main-p589-p doi:10.1145/3468264.3468601

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

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

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

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

Publisher's Version Published Artifact Artifacts Available NOLINKDECO Artifacts Functional Article: fse21main-p1033-p doi:10.1145/3468264.3468623

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 Article: fse21main-p390-p doi:10.1145/3468264.3468582

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

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 Article: fse21main-p95-p doi:10.1145/3468264.3468545

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

Publisher's Version Article: fse21main-p243-p doi:10.1145/3468264.3468566

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

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

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

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

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

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

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

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 Article: fse21main-p676-p doi:10.1145/3468264.3468609

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 Article: fse21main-p231-p doi:10.1145/3468264.3468563

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 Article: fse21main-p919-p doi:10.1145/3468264.3468619

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 Article: fse21main-p1026-p doi:10.1145/3468264.3468622

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

Metrics

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

Publisher's Version Article: fse21main-p478-p doi:10.1145/3468264.3468588

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 Article: fse21main-p69-p doi:10.1145/3468264.3468541

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

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

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 Article: fse21main-p63-p doi:10.1145/3468264.3468540

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

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

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 Article: fse21main-p30-p doi:10.1145/3468264.3468535

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

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

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

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 Article: fse21ind-p3-p doi:10.1145/3468264.3473915

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 Article: fse21ind-p4-p doi:10.1145/3468264.3473916

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 Article: fse21ind-p6-p doi:10.1145/3468264.3473917

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

Publisher's Version Article: fse21ind-p9-p doi:10.1145/3468264.3473918

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 Article: fse21ind-p13-p doi:10.1145/3468264.3473919

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 Article: fse21ind-p28-p doi:10.1145/3468264.3473920

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 Article: fse21ind-p31-p doi:10.1145/3468264.3473921

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 Article: fse21ind-p36-p doi:10.1145/3468264.3473922

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

Publisher's Version Article: fse21ind-p38-p doi:10.1145/3468264.3473923

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 Article: fse21ind-p50-p doi:10.1145/3468264.3473924

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 Article: fse21ind-p52-p doi:10.1145/3468264.3473925

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 Article: fse21ind-p62-p doi:10.1145/3468264.3473926

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 Article: fse21ind-p69-p doi:10.1145/3468264.3473927

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 Article: fse21ind-p70-p doi:10.1145/3468264.3473928

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 Article: fse21ind-p73-p doi:10.1145/3468264.3473929

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 Article: fse21ind-p81-p doi:10.1145/3468264.3473930

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 Article: fse21ind-p87-p doi:10.1145/3468264.3473931

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 Article: fse21ind-p88-p doi:10.1145/3468264.3473932

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 Article: fse21ind-p95-p doi:10.1145/3468264.3473933

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 Article: fse21ind-p100-p doi:10.1145/3468264.3473934

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 Article: fse21ind-p124-p doi:10.1145/3468264.3473935

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 Article: fse21ind-p157-p doi:10.1145/3468264.3473936

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 Article: fse21ind-p163-p doi:10.1145/3468264.3473937

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 Article: fse21ivr-p2-p doi:10.1145/3468264.3473128

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

Publisher's Version Published Artifact Artifacts Available Article: fse21ivr-p9-p doi:10.1145/3468264.3473129

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 Article: fse21ivr-p12-p doi:10.1145/3468264.3473130

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 Article: fse21ivr-p14-p doi:10.1145/3468264.3473131

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

Publisher's Version Article: fse21ivr-p16-p doi:10.1145/3468264.3473132

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

Publisher's Version Article: fse21ivr-p18-p doi:10.1145/3468264.3473133

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 Article: fse21ivr-p19-p doi:10.1145/3468264.3473134

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

Publisher's Version Article: fse21ivr-p23-p doi:10.1145/3468264.3473135

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 Article: fse21ivr-p28-p doi:10.1145/3468264.3473136

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 Article: fse21ivr-p32-p doi:10.1145/3468264.3473137

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 Article: fse21demo-p1-p doi:10.1145/3468264.3473108

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 Article: fse21demo-p3-p doi:10.1145/3468264.3473109

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

Publisher's Version Article: fse21demo-p4-p doi:10.1145/3468264.3473110

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 Article: fse21demo-p5-p doi:10.1145/3468264.3473111

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 Article: fse21demo-p6-p doi:10.1145/3468264.3473112

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

Publisher's Version Article: fse21demo-p7-p doi:10.1145/3468264.3473113

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 Article: fse21demo-p8-p doi:10.1145/3468264.3473114

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 Article: fse21demo-p9-p doi:10.1145/3468264.3473115

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 Article: fse21demo-p10-p doi:10.1145/3468264.3473116

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

Publisher's Version Article: fse21demo-p16-p doi:10.1145/3468264.3473117

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 Article: fse21demo-p17-p doi:10.1145/3468264.3473118

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

Publisher's Version Article: fse21demo-p18-p doi:10.1145/3468264.3473119

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

Publisher's Version Article: fse21demo-p19-p doi:10.1145/3468264.3473120

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 Article: fse21demo-p23-p doi:10.1145/3468264.3473121

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 Article: fse21demo-p25-p doi:10.1145/3468264.3473122

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

Publisher's Version Published Artifact Artifacts Available Article: fse21demo-p26-p doi:10.1145/3468264.3473123

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 Article: fse21demo-p27-p doi:10.1145/3468264.3473124

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 Published Artifact Artifacts Available Article: fse21demo-p28-p doi:10.1145/3468264.3473125

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 Article: fse21demo-p29-p doi:10.1145/3468264.3473126

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 Article: fse21demo-p30-p doi:10.1145/3468264.3473127

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 Article: fse21val-p24-p doi:10.1145/3468264.3477212

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 Article: fse21val-p25-p doi:10.1145/3468264.3477213

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 Article: fse21val-p34-p doi:10.1145/3468264.3477214

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

Publisher's Version Article: fse21val-p35-p doi:10.1145/3468264.3477215

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 Article: fse21val-p50-p doi:10.1145/3468264.3477216

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 Article: fse21val-p51-p doi:10.1145/3468264.3477217

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 Article: fse21val-p64-p doi:10.1145/3468264.3477218

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 Article: fse21val-p65-p doi:10.1145/3468264.3477219

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 Article: fse21val-p67-p doi:10.1145/3468264.3477220

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 Published Artifact Artifacts Available Article: fse21val-p79-p doi:10.1145/3468264.3477221

Doctoral Symposium

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

Publisher's Version Article: fse21doc-p12-p doi:10.1145/3468264.3473106

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

Publisher's Version Article: fse21doc-p2-p doi:10.1145/3468264.3473097

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

Publisher's Version Article: fse21doc-p4-p doi:10.1145/3468264.3473099

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

Publisher's Version Article: fse21doc-p10-p doi:10.1145/3468264.3473104

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

Publisher's Version Article: fse21doc-p3-p doi:10.1145/3468264.3473098

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

Publisher's Version Article: fse21doc-p6-p doi:10.1145/3468264.3473101

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

Publisher's Version Article: fse21doc-p11-p doi:10.1145/3468264.3473105

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

Publisher's Version Article: fse21doc-p7-p doi:10.1145/3468264.3473102

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

Publisher's Version Article: fse21doc-p13-p doi:10.1145/3468264.3473107

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

Publisher's Version Article: fse21doc-p9-p doi:10.1145/3468264.3473103

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

Publisher's Version Article: fse21doc-p5-p doi:10.1145/3468264.3473100

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 Article: fse21src-p1-p doi:10.1145/3468264.3473487

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

Publisher's Version Article: fse21src-p6-p doi:10.1145/3468264.3473490

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

Publisher's Version Article: fse21src-p7-p doi:10.1145/3468264.3473491

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

Publisher's Version Article: fse21src-p8-p doi:10.1145/3468264.3473492

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

Publisher's Version Article: fse21src-p19-p doi:10.1145/3468264.3473496

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

Publisher's Version Article: fse21src-p20-p doi:10.1145/3468264.3473497

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 Article: fse21src-p4-p doi:10.1145/3468264.3473488

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

Publisher's Version Article: fse21src-p5-p doi:10.1145/3468264.3473489

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

Publisher's Version Article: fse21src-p9-p doi:10.1145/3468264.3473493

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

Publisher's Version Article: fse21src-p15-p doi:10.1145/3468264.3473494

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

Publisher's Version Article: fse21src-p17-p doi:10.1145/3468264.3473495

proc time: 0.33