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

28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), November 8–13, 2020, Virtual Event, USA

ESEC/FSE 2020 – Preliminary Table of Contents

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

Frontmatter

Title Page
Message from the Chairs
Committees

Research Papers

Analysis

A Behavioral Notion of Robustness for Software Systems
Changjian Zhang, David Garlan, and Eunsuk Kang
(Carnegie Mellon University, USA)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Sahar Badihi, Faridah Akinotcho, Yi Li, and Julia Rubin
(University of British Columbia, Canada; Nanyang Technological University, Singapore)
Article Search Artifacts Available Artifacts Functional
C2S: Translating Natural Language Comments to Formal Program Specifications
Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, and Xiangyu Zhang
(Rutgers University, USA; Purdue University, USA; Nanjing University, China)
Article Search
Detecting and Understanding JavaScript Global Identifier Conflicts on the Web
Mingxue Zhang and Wei Meng
(Chinese University of Hong Kong, China)
Article Search Artifacts Available Artifacts Functional
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
Dirk Beyer and Karlheinz Friedberger
(LMU Munich, Germany)
Article Search Artifacts Available Artifacts Functional
Flexeme: Untangling Commits Using Lexical Flows
Profir-Petru Pârțachi, Santanu Kumar Dash, Miltiadis Allamanis, and Earl T. Barr
(University College London, UK; University of Surrey, UK; Microsoft Research, UK)
Article Search Info Artifacts Available
HISyn: Human Learning-Inspired Natural Language Programming
Zifan Nan, Hui Guan, and Xipeng Shen
(North Carolina State University, USA; University of Massachusetts at Amherst, USA)
Article Search
Inductive Program Synthesis over Noisy Data
Shivam Handa and Martin C. Rinard
(Massachusetts Institute of Technology, USA)
Article Search
Inherent Vacuity for GR(1) Specifications
Shahar Maoz and Rafi Shalom
(Tel Aviv University, Israel)
Article Search Info
Interval Counterexamples for Loop Invariant Learning
Rongchen Xu, Fei He, and Bow-Yaw Wang
(Tsinghua University, China; Academia Sinica, Taiwan)
Article Search Artifacts Functional
Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, and Willem Visser
(University of Minnesota, USA; Ain Shams University, Egypt; Stellenbosch University, South Africa)
Article Search Artifacts Reusable Artifacts Functional
JShrink: In-Depth Investigation into Debloating Modern Java Applications
Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, and Miryung Kim
(University of California at Davis, USA; Harvard University, USA; University of California at Los Angeles, USA)
Article Search Artifacts Available Artifacts Functional
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Sooyoung Cha and Hakjoo Oh
(Korea University, South Korea)
Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Mining Assumptions for Software Components using Machine Learning
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, and David Wolfe
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; QRA, Canada)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Mining Input Grammars from Dynamic Control Flow
Rahul Gopinath, Björn Mathis, and Andreas Zeller
(CISPA, Germany)
Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
Modular Collaborative Program Analysis in OPAL
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Past-Sensitive Pointer Analysis for Symbolic Execution
David Trabish, Timotej Kapus, Noam Rinetzky, and Cristian Cadar
(Tel Aviv University, Israel; Imperial College London, UK)
Article Search Archive submitted (0 MB) Artifacts Available Artifacts Reusable Artifacts Functional
TypeWriter: Neural Type Prediction with Search-Based Validation
Michael Pradel, Georgios Gousios, Jason Liu, and Satish Chandra
(University of Stuttgart, Germany; Delft University of Technology, Netherlands; Facebook, USA)
Article Search
UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, and Paul Yu
(University of California at Riverside, USA; U.S. Army Research Laboratory, USA)
Article Search Info Artifacts Available Artifacts Functional

APIs

Exploring How Deprecated Python Library APIs Are (Not) Handled
Jiawei Wang, Li Li, Kui Liu, and Haipeng Cai
(Monash University, Australia; Nanjing University of Aeronautics and Astronautics, China; Washington State University, USA)
Article Search
Selecting Third-Party Libraries: The Practitioners’ Perspective
Enrique Larios Vargas, Maurício Aniche, Christoph Treude, Magiel Bruntink, and Georgios Gousios
(Software Improvement Group, Netherlands; Delft University of Technology, Netherlands; University of Adelaide, Australia)
Article Search

Cloud / Services

A Principled Approach to GraphQL Query Cost Analysis
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, and Jim A. Laredo
(IBM Research, USA; IBM, USA; Purdue University, USA)
Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
Alex Cummaudo, Scott Barnett, Rajesh Vasa, John Grundy, and Mohamed Abdelrazek
(Deakin University, Australia; Monash University, Australia)
Article Search
Block Public Access: Trust Safety Verification of Access Control Policies
Malik Bouchet, Byron Cook, Bryant Cutler, Anna Druzkina, Andrew Gacek, Liana Hadarean, Ranjit Jhala, Brad Marshall, Dan Peebles, Neha Rungta, Cole Schlesinger, Chriss Stephens, Carsten Varming, and Andy Warfield
(Amazon, USA)
Article Search
Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search
Jiazhen Gu, Chuan Luo, Si Qin, Bo Qiao, Qingwei Lin, Hongyu Zhang, Ze Li, Yingnong Dang, Shaowei Cai, Wei Wu, Yangfan Zhou, Murali Chintalapati, and Dongmei Zhang
(Fudan University, China; Microsoft Research, China; University of Newcastle, Australia; Microsoft, USA; Institute of Software at Chinese Academy of Sciences, China; University of Technology Sydney, Australia)
Article Search
Identifying Linked Incidents in Large-Scale Online Service Systems
Yujun Chen, Xian Yang, Hang Dong, Xiaoting He, Hongyu Zhang, Qingwei Lin, Junjie Chen, Pu Zhao, Yu Kang, Feng Gao, Zhangwei Xu, and Dongmei Zhang
(Microsoft Research, China; Hong Kong Baptist University, China; Chinese Academy of Sciences, China; University of Newcastle, Australia; Tianjin University, China; Microsoft, USA)
Article Search
Real-Time Incident Prediction for Online Service Systems
Nengwen Zhao, Junjie Chen, Zhou Wang, Xiao Peng, Gang Wang, Yong Wu, Fang Zhou, Zhen Feng, Xiaohui Nie, Wenchi Zhang, Kaixin Sui, and Dan Pei
(Tsinghua University, China; Tianjin University, China; BizSeer, China; Beijing University of Posts and Telecommunications, China; EverBright Bank, China)
Article Search

Configuration

Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab
Carmine Vassallo, Sebastian Proksch, Anna Jancso, Harald C. Gall, and Massimiliano Di Penta
(University of Zurich, Switzerland; Delft University of Technology, Netherlands; University of Sannio, Italy)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Dimensions of Software Configuration: On the Configuration Context in Modern Software Development
Norbert Siegmund, Nicolai Ruckel, and Janet Siegmund
(Leizpig University, Germany; Bauhaus-University Weimar, Germany; Chemnitz University of Technology, Germany)
Preprint Info
Global Cost/Quality Management across Multiple Applications
Liu Liu, Sibren Isaacman, and Ulrich Kremer
(Rutgers University, USA; Loyola University Maryland, USA)
Article Search
Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA; National University of Defense Technology, China; Cornell University, USA)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional

Documentation

Docable: Evaluating the Executability of Software Tutorials
Samim Mirhosseini and Chris Parnin
(North Carolina State University, USA)
Article Search Artifacts Functional
RulePad: Interactive Authoring of Checkable Design Rules
Sahar Mehrpour, Thomas D. LaToza, and Hamed Sarvari
(George Mason University, USA)
Preprint Video Info

Empirical

A First Look at Good First Issues on GitHub
Xin Tan, Minghui Zhou, and Zeyu Sun
(Peking University, China)
Article Search Info
A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching
P. Merlin Uesbeck, Cole S. Peterson, Bonita Sharif, and Andreas Stefik
(University of Nevada at Las Vegas, USA; University of Nebraska-Lincoln, USA)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
A Theory of the Engagement in Open Source Projects via Summer of Code Programs
Jefferson Silva, Igor Wiese, Daniel M. German, Christoph Treude, Marco Aurélio Gerosa, and Igor Steinmacher
(PUC-SP, Brazil; Federal University of Technology Paraná, Brazil; University of Victoria, Canada; University of Adelaide, Australia; Northern Arizona University, USA)
Article Search
An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Jacob Krüger and Thorsten Berger
(University of Toronto, Canada; University of Magdeburg, Germany; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Preprint Artifacts Available
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
Linda Erlenhov, Francisco Gomes de Oliveira Neto, and Philipp Leitner
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article Search Artifacts Available Artifacts Functional
Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines
Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, and Westley Weimer
(University of Michigan, USA; University of California at Santa Barbara, USA)
Article Search
Community Expectations for Research Artifacts and Evaluation Processes
Ben Hermann, Stefan Winter, and Janet Siegmund
(University of Paderborn, Germany; TU Darmstadt, Germany; TU Chemnitz, Germany)
Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
Does Stress Impact Technical Interview Performance?
Mahnaz Behroozi, Shivani Shirolkar, Titus Barik, and Chris Parnin
(North Carolina State University, USA; Microsoft, USA)
Article Search
Exploring the Evolution of Software Practices
Yvonne Dittrich, Christian Bo Michelsen, Paolo Tell, Pernille Lous, and Allan Ebdrup
(IT University of Copenhagen, Denmark)
Article Search
Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem
Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, and Bogdan Vasilescu
(Carnegie Mellon University, USA)
Preprint Info
Interactive, Effort-Aware Library Version Harmonization
Kaifeng Huang, Bihuan Chen, Bowen Shi, Ying Wang, Congying Xu, and Xin Peng
(Fudan University, China)
Preprint
On the Naturalness of Hardware Descriptions
Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
(University of Texas at Austin, USA)
Article Search
On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects
Umme Ayda Mannan, Iftekhar Ahmed, Carlos Jensen, and Anita Sarma
(Oregon State University, USA; University of California at Irvine, USA)
Article Search Info
On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication
Massimiliano Di Penta, Gabriele Bavota, and Fiorella Zampetti
(University of Sannio, Italy; USI Lugano, Switzerland)
Article Search
Questions for Data Scientists in Software Engineering: A Replication
Hennie Huijgens, Ayushi Rastogi, Ernst Mulders, Georgios Gousios, and Arie van Deursen
(Delft University of Technology, Netherlands)
Article Search
Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work?
Yi Wang and Min Zhang
(CoCo Labs, USA; East China Normal University, China)
Article Search
Robotics Software Engineering: A Perspective from the Service Robotics Domain
Sergio García, Daniel Strüber, Davide Brugali, Thorsten Berger, and Patrizio Pelliccione
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Radboud University Nijmegen, Netherlands; University of Bergamo, Italy; University of L'Aquila, Italy)
Preprint Info Artifacts Available Artifacts Functional
Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
Dan Gopstein, Anne-Laure Fayard, Sven Apel, and Justin Cappos
(New York University, USA; Saarland University, Germany)
Article Search Info
Understanding Build Issue Resolution in Practice: Symptoms and Fix Patterns
Yiling Lou, Zhenpeng Chen, Yanbin Cao, Dan Hao, and Lu Zhang
(Peking University, China)
Article Search
Understanding Type Changes in Java
Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig
(Oregon State University, USA; Concordia University, Canada; University of Colorado Boulder, USA)
Article Search Info

Fairness

Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness
Sumon Biswas and Hridesh Rajan
(Iowa State University, USA)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Fairway: A Way to Build Fair ML Software
Joymallya Chakraborty, Suvodeep Majumder, Zhe Yu, and Tim Menzies
(North Carolina State University, USA)
Preprint Artifacts Available
Towards Automated Verification of Smart Contract Fairness
Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao
(Nanyang Technological University, Singapore)
Article Search Artifacts Available Artifacts Functional

Fuzzing

Boosting Fuzzer Efficiency: An Information Theoretic Perspective
Marcel Böhme, Valentin J. M. Manès, and Sang Kil Cha
(Monash University, Australia; KAIST, South Korea)
Preprint Artifacts Available Artifacts Reusable Artifacts Functional
CrFuzz: Fuzzing Multi-purpose Programs through Input Validation
Suhwan Song, Chengyu Song, Yeongjin Jang, and Byoungyoung Lee
(Seoul National University, South Korea; University of California at Riverside, USA; Oregon State University, USA)
Article Search
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang
(MPI-SWS, Germany; ConsenSys, Germany)
Article Search
Fuzzing: On the Exponential Cost of Vulnerability Discovery
Marcel Böhme and Brandon Falk
(Monash University, Australia; Gamozo Labs, USA)
Preprint Info Artifacts Available
Intelligent REST API Data Fuzzing
Patrice Godefroid, Bo-Yuan Huang, and Marina Polishchuk
(Microsoft Research, USA; Princeton University, USA)
Article Search
MTFuzz: Fuzzing with a Multi-task Neural Network
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, and Baishakhi Ray
(Columbia University, USA; Shanghai Jiao Tong University, China)
Preprint Artifacts Available Artifacts Reusable Artifacts Functional

Machine Learning

A Comprehensive Study on Challenges in Deploying Deep Learning Based Software
Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, and Xuanzhe Liu
(Peking University, China; Beijing University of Posts and Telecommunications, China)
Article Search
AMS: Generating AutoML Search Spaces from Weak Specifications
José P. Cambronero, Jürgen Cito, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; TU Wien, Austria)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Correlations between Deep Neural Network Model Coverage Criteria and Model Quality
Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, and Xiangyu Zhang
(Rutgers University, USA; Purdue University, USA; Nanjing University, China)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Deep Learning Library Testing via Effective Model Generation
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, and Dongdi Zhang
(Tianjin University, China)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks
Fuyuan Zhang, Sankalan Pal Chowdhury, and Maria Christakis
(MPI-SWS, Germany)
Article Search
DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks
Simin Chen, Soroush Bateni, Sampath Grandhi, Xiaodi Li, Cong Liu, and Wei Yang
(University of Texas at Dallas, USA)
Article Search
Detecting Numerical Bugs in Neural Network Architectures
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, and Tao Xie
(Peking University, China; National University of Defense Technology, China; Hong Kong University of Science and Technology, China)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Dynamic Slicing for Deep Neural Networks
Ziqi Zhang, Yuanchun Li, Yao Guo, Xiangqun Chen, and Yunxin Liu
(Peking University, China; Microsoft Research, China)
Article Search Artifacts Available
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
Fabrice Harel-Canada, Lingxiao Wang, Muhammad Ali Gulzar, Quanquan Gu, and Miryung Kim
(University of California at Los Angeles, USA; Virgina Tech, USA)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Machine Translation Testing via Pathological Invariance
Shashij Gupta, Pinjia He, Clara Meister, and Zhendong Su
(IIT Bombay, India; ETH Zurich, Switzerland)
Article Search
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
Vincenzo Riccio and Paolo Tonella
(USI Lugano, Switzerland)
Article Search Artifacts Available Artifacts Functional
On Decomposing a Deep Neural Network into Modules
Rangeet Pan and Hridesh Rajan
(Iowa State University, USA)
Article Search Artifacts Available Artifacts Functional
Operational Calibration: Debugging Confidence Errors for DNNs in the Field
Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, and Jian Lü
(Nanjing University, China)
Article Search

Mobile

All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks
Yutian Tang, Yulei Sui, Haoyu Wang, Xiapu Luo, Hao Zhou, and Zhou Xu
(ShanghaiTech University, China; University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China; Hong Kong Polytechnic University, China; Chongqing University, China)
Article Search
Automated Construction of Energy Test Oracles for Android
Reyhaneh Jabbarvand, Forough Mehralian, and Sam Malek
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA)
Article Search
Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation
Jun Gao, Li Li, Pingfan Kong, Tegawendé F. Bissyandé, and Jacques Klein
(University of Luxembourg, Luxembourg; Monash University, Australia)
Article Search Artifacts Available
Static Asynchronous Component Misuse Detection for Android Applications
Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Technology, China)
Article Search

Performance / QoS

Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns
Yutong Zhao, Lu Xiao, Pouria Babvey, Lei Sun, Sunny Wong, Angel A. Martinez, and Xiao Wang
(Stevens Institute of Technology, USA; Analytical Graphics, USA)
Article Search Info
Calm Energy Accounting for Multithreaded Java Applications
Timur Babakol, Anthony Canino, Khaled Mahmoud, Rachit Saxena, and Yu David Liu
(SUNY Binghamton, USA)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Dynamically Reconfiguring Software Microbenchmarks: Reducing Execution Time without Sacrificing Result Quality
Christoph Laaber, Stefan Würsten, Harald C. Gall, and Philipp Leitner
(University of Zurich, Switzerland; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article Search Artifacts Available
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
Claudio Mandrioli and Martina Maggio
(Lund University, Sweden; Saarland University, Germany)
Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional

Recommendation

API Method Recommendation via Explicit Matching of Functionality Verb Phrases
Wenkai Xie, Xin Peng, Mingwei Liu, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang, and Wenyun Zhao
(Fudan University, China; University of Adelaide, Australia; Australian National University, Australia)
Article Search
Code Recommendation for Exception Handling
Tam Nguyen, Phong Vu, and Tung Nguyen
(Auburn University, USA)
Article Search Artifacts Available
eQual: Informing Early Design Decisions
Arman Shahbazian, Suhrid Karthik, Yuriy Brun, and Nenad Medvidovic
(University of Southern California, USA; Google, USA; University of Massachusetts at Amherst, USA)
Preprint Info Artifacts Available
Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching
Sonal Mahajan, Negarsadat Abolhassani, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)
Article Search Artifacts Available Artifacts Functional
Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers
Chris Brown and Chris Parnin
(North Carolina State University, USA)
Article Search

Security

An Evaluation of Methods to Port Legacy Code to SGX Enclaves
Kripa Shanker, Arun Joseph, and Vinod Ganapathy
(IISc Bangalore, India)
Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boystov, Yves Le Traon, and Anne Goujon
(University of Luxembourg, Luxembourg; BGL BNP Paribas, Luxembourg)
Article Search Artifacts Available Artifacts Functional
SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed
Pan Bian, Bin Liang, Jianjun Huang, Wenchang Shi, Xidong Wang, and Jian Zhang
(Renmin University of China, China; Institute of Software at Chinese Academy of Sciences, China)
Article Search

Testing

Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
Eduard Baranov, Axel Legay, and Kuldeep S. Meel
(Université Catholique de Louvain, Belgium; Aalborg University, Denmark; National University of Singapore, Singapore)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Cost Measures Matter for Mutation Testing Study Validity
Giovani Guizzo, Federica Sarro, and Mark Harman
(University College London, UK)
Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional
Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction
Manuel Rigger and Zhendong Su
(ETH Zurich, Switzerland)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Efficient Binary-Level Coverage Analysis
M. Ammar Ben Khadra, Dominik Stoffel, and Wolfgang Kunz
(TU Kaiserslautern, Germany)
Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Efficiently Finding Higher-Order Mutants
Chu-Pan Wong, Jens Meinicke, Leo Chen, João P. Diniz, Christian Kästner, and Eduardo Figueiredo
(Carnegie Mellon University, USA; Federal University of Minas Gerais, Brazil)
Article Search Archive submitted (0 MB)
Evolutionary Improvement of Assertion Oracles
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, and Mauro Pezzè
(USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland)
Article Search Artifacts Available Artifacts Reusable Artifacts Functional
FrUITeR: A Framework for Evaluating UI Test Reuse
Yixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, and Nenad Medvidovic
(University of Southern California, USA; Columbia University, USA; University College London, UK)
Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, and Guoqiang Li
(Australian National University, Australia; Data61 at CSIRO, Australia; Monash University, Australia; UNSW, Australia; Shanghai Jiao Tong University, China)
Preprint
Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, and Shan Lu
(University of California at Irvine, USA; University of California at Los Angeles, USA; University of Chicago, USA)
Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional
When Does My Program Do This? Learning Circumstances of Software Behavior
Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)
Article Search Artifacts Available

Industry Papers

A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: A Case Study on Apollo
Zi Peng, Jinqiu Yang, Tse-Hsun (Peter) Chen, and Lei Ma
(Concordia University, Canada; Kyushu University, Japan)
Article Search
Adapting Bug Prediction Models to Predict Reverted Commits at Wayfair
Alexander Suh
(Wayfair Research, USA)
Article Search
Can Microtask Programming Work in Industry?
Shinobu Saito, Yukako Iimura, Emad Aghayi, and Thomas D. LaToza
(NTT, Japan; George Mason University, USA)
Article Search
Change Impact Analysis in Simulink Designs of Embedded Systems
Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, and Feisel Weslati
(McMaster University, Canada; FCA, USA)
Article Search
Clustering Test Steps in Natural Language toward Automating Test Automation
Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Peking University, China; Tencent, China)
Article Search
Efficient Customer Incident Triage via Linking with System Incidents
Jiazhen Gu, Jiaqi Wen, Zijian Wang, Pu Zhao, Chuan Luo, Yu Kang, Yangfan Zhou, Li Yang, Jeffrey Sun, Zhangwei Xu, Bo Qiao, Liqun Li, Qingwei Lin, and Dongmei Zhang
(Fudan University, China; Peking University, China; Microsoft Research, China; Microsoft Azure, USA)
Article Search
Effort-Aware Just-in-Time Defect Identification in Practice: A Case Study at Alibaba
Meng Yan, Xin Xia, Yuanrui Fan, David Lo, Ahmed E. Hassan, and Xindong Zhang
(Chongqing University, China; Monash University, Australia; Zhejiang University, China; Singapore Management University, Singapore; Queen's University, Canada; Alibaba Group, China)
Article Search
Enhancing the Interoperability between Deep Learning Frameworks by Model Conversion
Yu Liu, Cheng Chen, Ru Zhang, Tingting Qin, Xiang Ji, Haoxiang Lin, and Mao Yang
(Microsoft Research, China; National University of Singapore, Singapore; ByteDance, China)
Article Search
Establishing Key Performance Indicators for Measuring Software-Development Processes at a Large Organization
Cem Sürücü, Bianying Song, Jacob Krüger, Gunter Saake, and Thomas Leich
(Volkswagen Financial Services, Germany; University of Magdeburg, Germany; University of Toronto, Canada; Harz University of Applied Sciences, Germany)
Preprint
Estimating GPU Memory Consumption of Deep Learning Models
Yanjie Gao, Yu Liu, Hongyu Zhang, Zhengxian Li, Yonghao Zhu, Haoxiang Lin, and Mao Yang
(Microsoft Research, China; National University of Singapore, Singapore; University of Newcastle, Australia)
Article Search
Exempla Gratis (E.G.): Code Examples for Free
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena Glassman, and Satish Chandra
(Facebook, USA; University of California at Berkeley, USA; Harvard University, USA)
Article Search
Fireteam: A Small-Team Development Practice in Industry
He Zhang, Huang Huang, Dong Shao, and Xin Huang
(Nanjing University, China)
Article Search
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, and Jifeng He
(East China Normal University, China; Beijing Institute of Control Engineering, China; Shanghai Trusted Industrial Control Platform, China; China Academy of Space Technology, China)
Article Search
Graph-Based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis
Xiaofeng Guo, Xin Peng, Hanzhang Wang, Wanxue Li, Huai Jiang, Dan Ding, Tao Xie, and Liangfei Su
(Fudan University, China; eBay, USA; eBay, China)
Article Search
Harvey: A Greybox Fuzzer for Smart Contracts
Valentin Wüstholz and Maria Christakis
(ConsenSys, Germany; MPI-SWS, Germany)
Article Search
How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems
Jiajun Jiang, Weihai Lu, Junjie Chen, Qingwei Lin, Pu Zhao, Yu Kang, Hongyu Zhang, Yingfei Xiong, Feng Gao, Zhangwei Xu, Yingnong Dang, and Dongmei Zhang
(Tianjin University, China; Peking University, China; Microsoft Research, China; University of Newcastle, Australia; Microsoft Azure, USA)
Article Search
Improving Cybersecurity Hygiene through JIT Patching
Frederico Araujo and Teryl Taylor
(IBM Research, USA)
Article Search
IntelliCode Compose: Code Generation using Transformer
Alexey Svyatkovskiy, Shao Kun Deng, Shengyu Fu, and Neel Sundaresan
(Microsoft, USA)
Preprint
Learning to Extract Transaction Function from Requirements: An Industrial Case on Financial Software
Lin Shi, Mingyang Li, Mingzhe Xing, Yawen Wang, Qing Wang, Xinhua Peng, Weimin Liao, Guizhen Pi, and Haiqing Wang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; China Merchants Bank, China; Beijing Software Cost Evaluation Technology Innovation Alliance, China)
Article Search
Online Sports Betting through the Prism of Software Engineering
Gvozden Marinkovic, Nikola Lukic, and Nenad Medvidovic
(PlusPlus NT, USA; University of Southern California, USA)
Article Search
Reducing DNN Labelling Cost using Surprise Adequacy: An Industrial Case Study for Autonomous Driving
Jinhan Kim, Jeongil Ju, Robert Feldt, and Shin Yoo
(KAIST, South Korea; Hyundai Motor Group, South Korea; Chalmers University of Technology, Sweden)
Article Search
Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba
Jie Wang, Yunguang Wu, Gang Zhou, Yiming Yu, Zhenyu Guo, and Yingfei Xiong
(Peking University, China; Ant Group, China; Alibaba Group, China)
Article Search
Towards Intelligent Incident Management: Why We Need It and How We Make It
Zhuangbin Chen, Yu Kang, Liqun Li, Xu Zhang, Hongyu Zhang, Hui Xu, Yangfan Zhou, Li Yang, Jeffrey Sun, Zhangwei Xu, Yingnong Dang, Feng Gao, Pu Zhao, Bo Qiao, Qingwei Lin, Dongmei Zhang, and Michael R. Lyu
(Chinese University of Hong Kong, China; Microsoft Research, China; University of Newcastle, Australia; Fudan University, China; Microsoft Azure, USA)
Article Search
WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing
Zhenyue Long, Guoquan Wu, Xiaojiang Chen, Wei Chen, and Jun Wei
(GuangDong Power Grid, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Article Search

Visions and Reflections

Beyond Accuracy: Assessing Software Documentation Quality
Christoph Treude, Justin Middleton, and Thushari Atapattu
(University of Adelaide, Australia; North Carolina State University, USA)
Article Search
Continuous Experimentation on Artificial Intelligence Software: A Research Agenda
Anh Nguyen-Duc and Pekka Abrahamsson
(University of South Eastern Norway, Norway; University of Jyväskylä, Finland)
Article Search
Inferring and Securing Software Configurations using Automated Reasoning
Paul Gazzillo
(University of Central Florida, USA)
Preprint
Next Generation Automated Software Evolution Refactoring at Scale
James Ivers, Ipek Ozkaya, Robert L. Nord, and Chris Seifried
(Carnegie Mellon University, USA)
Article Search
Revealing the Complexity of Automotive Software
Vard Antinyan
(Volvo Cars, Sweden)
Article Search
Software Documentation and Augmented Reality: Love or Arranged Marriage?
Sridhar Chimalakonda and Akhila Sri Manasa Venigalla
(IIT Tirupati, India)
Article Search
Testing Machine Learning Code using Polyhedral Region
Md Sohel Ahmed, Fuyuki Ishikawa, and Mahito Sugiyama
(National Institute of Informatics, Japan)
Article Search
Towards Learning Visual Semantics
Haipeng Cai, Shiv Raj Pant, and Wen Li
(Washington State University, USA)
Preprint

Tool Demonstrations

AlloyMC: Alloy Meets Model Counting
Jiayi Yang, Wenxi Wang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
Article Search Video
ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation
Marcelo Schmitt Laser, Nenad Medvidovic, Duc Minh Le, and Joshua Garcia
(University of Southern California, USA; Bloomberg, USA; University of California at Irvine, USA)
Article Search Video Info
BEE: A Tool for Structuring and Analyzing Bug Reports
Yang Song and Oscar Chaparro
(College of William and Mary, USA)
Article Search Info
BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies
Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo, and Eng Lieh Ouh
(Singapore Management University, Singapore)
Article Search
CRSG: A Serious Game for Teaching Code Review
Kaan Ünlü, Barış Ardıç, and Eray Tüzün
(Bilkent University, Turkey)
Article Search Video
Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints
Xiaoqin Fu, Haipeng Cai, and Li Li
(Washington State University, USA; Monash University, Australia)
Preprint Archive submitted (18 MB) Video Info
DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information
Boao Li, Meng Yan, Xin Xia, Xing Hu, Ge Li, and David Lo
(Zhejiang University, China; Chongqing University, China; Monash University, Australia; Peking University, China; Singapore Management University, Singapore)
Article Search Video
DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions
Han Wang, Chunyang Chen, Zhenchang Xing, and John Grundy
(Monash University, Australia; Australian National University, Australia)
Article Search Info
Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction
Lingfeng Bao, Shengyi Pan, Zhenchang Xing, Xin Xia, David Lo, and Xiaohu Yang
(Zhejiang University, China; Zhejiang University of Technology, China; Australian National University, Australia; Monash University, Australia; Singapore Management University, Singapore)
Article Search Video
JITO: A Tool for Just-in-Time Defect Identification and Localization
Fangcheng Qiu, Meng Yan, Xin Xia, Xinyu Wang, Yuanrui Fan, Ahmed E. Hassan, and David Lo
(Zhejiang University, China; Chongqing University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore)
Article Search Video
LibComp: An IntelliJ Plugin for Comparing Java Libraries
Rehab El-Hajj and Sarah Nadi
(University of Alberta, Canada)
Article Search Video Info
MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays
Abtin Molavi, Mara Downing, Tommy Schneider, and Lucas Bang
(Harvey Mudd College, USA)
Article Search Video
ModCon: A Model-Based Testing Platform for Smart Contracts
Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan
(Nanyang Technological University, Singapore; WeBank, China)
Article Search
Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture
Anup K. Kalia, Jin Xiao, Chen Lin, Saurabh Sinha, John Rofrano, Maja Vukovic, and Debasish Banerjee
(IBM Research, USA; IBM, USA)
Article Search
MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps
Camilo Escobar-Velásquez, Diego Riveros, and Mario Linares-Vásquez
(University of Los Andes, Colombia)
Article Search Video Info
PAClab: A Program Analysis Collaboratory
Rebecca Brunner, Robert Dyer, Maria Paquin, and Elena Sherman
(Bowling Green State University, USA; Boise State University, USA)
Preprint
PCA: Memory Leak Detection using Partial Call-Path Analysis
Wen Li, Haipeng Cai, Yulei Sui, and David Manz
(Washington State University, USA; University of Technology Sydney, Australia; Pacific Northwest National Laboratory, USA)
Preprint Archive submitted (1 MB) Video Info
PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
Ali Ghanbari and Andrian Marcus
(University of Texas at Dallas, USA)
Preprint Video Info
PRODeep: A Platform for Robustness Verification of Deep Neural Networks
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, and Holger Hermanns
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Institute of Intelligent Software, China; University of Liverpool, UK; Saarland University, Germany)
Article Search
SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, and Lijun Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Chongqing Institute of Green and Intelligent Technology at Chinese Academy of Sciences, China)
Article Search
SWAN: A Static Analysis Framework for Swift
Daniil Tiganov, Jeff Cho, Karim Ali, and Julian Dolby
(University of Alberta, Canada; IBM Research, USA)
Article Search Video
Threshy: Supporting Safe Usage of Intelligent Web Services
Alex Cummaudo, Scott Barnett, Rajesh Vasa, and John Grundy
(Deakin University, Australia; Monash University, Australia)
Article Search Video
tsDetect: An Open Source Test Smells Detection Tool
Anthony Peruma, Khalid Almalki, Christian D. Newman, Mohamed Wiem Mkaouer, Ali Ouni, and Fabio Palomba
(Rochester Institute of Technology, USA; ETS, Canada; University of Quebec, Canada; University of Salerno, Italy)
Preprint Video Info
UIED: A Hybrid Tool for GUI Element Detection
Mulong Xie, Sidong Feng, Zhenchang Xing, Jieshan Chen, and Chunyang Chen
(Australian National University, Australia; Monash University, Australia)
Article Search Info
UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials
Mohammad Alahmadi, Ahmad Tayeb, Abdulkarim Khormi, Esteban Parra, and Sonia Haiduc
(Florida State University, USA)
Article Search Video Info
WebJShrink: A Web Service for Debloating Java Bytecode
Konner Macias, Mihir Mathur, Bobby R. Bruce, Tianyi Zhang, and Miryung Kim
(University of California at Los Angeles, USA; Harvard University, USA)
Article Search Video Info

Doctoral Symposium

Assisting the Elite-Driven Open Source Development through Activity Data
Zhendong Wang
(University of California at Irvine, USA)
Article Search
Enhancing Developers’ Support on Pull Requests Activities with Software Bots
Mairieli Wessel
(University of São Paulo, Brazil)
Article Search
Machine Learning Based Test Data Generation for Safety-Critical Software
Ján Čegiň
(Kempelen Institute of Intelligent Technologies, Slovakia)
Article Search
Reusing Software Engineering Knowledge from Developer Communication
Camila Mariane Costa Silva
(University of Canterbury, New Zealand)
Article Search
Towards Transferring Lean Software Startup Practices in Software Engineering Education
Orges Cico
(NTNU, Norway)
Article Search

Student Research Competition

Attention Tracking for Developers
Rozaliya Amirova
(Innopolis University, Russia)
Article Search
Impact of Programming Languages on Energy Consumption for Mobile Devices
Zamira Kholmatova
(Innopolis University, Russia)
Article Search
Recommender Systems: Metric Suggestion Mechanisms Applied to Adaptable Software Dashboards
Dragos Strugar
(Innopolis University, Russia)
Article Search
Repairing Confusion and Bias Errors for DNN-Based Image Classifiers
Yuchi Tian
(Columbia University, USA)
Article Search
Synthesizing Correct Code for Machine Learning Programs
Joshua Gisi
(North Dakota State University, USA)
Article Search

proc time: 37.6