Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 25 Aug

Displayed time zone: Athens change

08:00 - 09:00
Analysis—Development ToolsDemonstrations / Research Papers / Journal First +12h
Chair(s): Gunel Jahangirova USI Lugano
08:00
10m
Paper
DIFFBASE: A Differential Factbase for Effective Software Evolution ManagementBest Artifact AwardArtifacts AvailableArtifacts Reusable
Research Papers
Xiuheng Wu Nanyang Technological University, Chenguang Zhu University of Texas at Austin, Yi Li Nanyang Technological University
DOI Pre-print
08:10
10m
Paper
Would You Like a Quick Peek? Providing Logging Support to Monitor Data Processing in Big Data Applications
Research Papers
Zehao Wang Concordia University, Haoxiang Zhang Huawei, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang University of Manitoba
DOI Pre-print
08:20
5m
Paper
Slicer4J: A Dynamic Slicer for JavaArtifacts Available
Demonstrations
Khaled Ahmed University of British Columbia, Mieszko Lis University of British Columbia, Julia Rubin University of British Columbia
DOI Pre-print Media Attached
08:25
5m
Paper
Information Needs: Lessons for Programming Tools
Journal First
Thomas LaToza George Mason University
DOI Pre-print
08:30
30m
Live Q&A
Q&A (Analysis—Development Tools)
Research Papers

08:00 - 09:00
Analytics & Software Evolution—Code RecommendationJournal First / Research Papers +12h
Chair(s): Davide Di Ruscio University of L'Aquila, Saikat Chakraborty Columbia University
08:00
10m
Paper
Cross-Language Code Search using Static and Dynamic AnalysesArtifacts Available
Research Papers
George Mathew North Carolina State University, Kathryn Stolee North Carolina State University
DOI
08:10
10m
Paper
Automating the Removal of Obsolete TODO Comments
Research Papers
Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Thomas Zimmermann Microsoft Research
DOI
08:20
10m
Paper
Generating Question Titles for Stack Overflow from Mined Code Snippets
Journal First
Zhipeng Gao Monash University, Xin Xia Huawei Technologies, John Grundy Monash University, David Lo Singapore Management University, Yuan-Fang Li Monash University
08:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Code Recommendation)
Research Papers

08:00 - 09:00
Testing—Approximations in Testing and AnalysisResearch Papers +12h
Chair(s): Mike Papadakis University of Luxembourg
08:00
10m
Paper
Skeletal Approximation Enumeration for SMT Solver Testing
Research Papers
Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology
DOI
08:10
10m
Paper
Boosting Static Analysis Accuracy with Instrumented Test ExecutionsArtifacts FunctionalArtifacts Available
Research Papers
Tianyi Chen University of Southern California, Kihong Heo KAIST, Mukund Raghothaman University of Southern California
DOI
08:20
10m
Paper
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program AnalysisArtifacts AvailableArtifacts Reusable
Research Papers
Yicheng Luo University College London, Antonio Filieri Imperial College London, Yuan Zhou University of Oxford
DOI
08:30
30m
Live Q&A
Q&A (Testing—Approximations in Testing and Analysis)
Research Papers

08:00 - 09:00
SE & AI—Machine Learning for Software Engineering 1Research Papers +12h
Chair(s): Michael Pradel University of Stuttgart, Ivica Crnkovic Chalmers University of Technology
08:00
10m
Paper
Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning
Research Papers
Yiling Lou Purdue University, Qihao Zhu Peking University, Jinhao Dong Peking University, Xia Li Kennesaw State University, Zeyu Sun Peking University, Dan Hao Peking University, Lu Zhang Peking University, Lingming Zhang University of Illinois at Urbana-Champaign
DOI
08:10
10m
Paper
SynGuar: Guaranteeing Generalization in Programming by ExampleArtifacts AvailableArtifacts Reusable
Research Papers
Bo Wang National University of Singapore, Teodora Baluta National University of Singapore, Aashish Kolluri National University of Singapore, Prateek Saxena National University of Singapore
DOI
08:20
10m
Paper
StateFormer: Fine-Grained Type Recovery from Binaries using Generative State ModelingArtifacts AvailableArtifacts Reusable
Research Papers
Kexin Pei Columbia University, Jonas Guan University of Toronto, Matthew Broughton Columbia University, Zhongtian Chen Columbia University, Songchen Yao Columbia University, David Williams-King Columbia University, Vikas Ummadisetty Dublin High School, Junfeng Yang Columbia University, Baishakhi Ray Columbia University, Suman Jana Columbia University
DOI
08:30
30m
Live Q&A
Q&A (SE & AI—Machine Learning for Software Engineering 1)
Research Papers

09:00 - 10:00
Analysis—Dynamic AnalysisResearch Papers / Journal First +12h
Chair(s): Dimitris Mitropoulos University of Athens, Valerio Terragni University of Auckland
09:00
10m
Paper
Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
Nikos Vasilakis Massachusetts Institute of Technology, Grigoris Ntousakis TU Crete, Veit Heller n.n., Martin C. Rinard Massachusetts Institute of Technology
DOI
09:10
10m
Paper
Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning
Journal First
Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Wen Li , Li Li Monash University
09:20
10m
Paper
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Journal First
Artem Polyvyanyy The University of Melbourne, Andreas Solti Vienna University of Economics and Business, Matthias Weidlich Humboldt-Universtität zu Berlin, Claudio Di Ciccio Department of Computer Science, Sapienza University of Rome, Jan Mendling Vienna University of Economics and Business
09:30
30m
Live Q&A
Q&A (Analysis—Dynamic Analysis)
Research Papers

09:00 - 10:00
Analytics & Software Evolution—Code Reviews and ChangesJournal First / Research Papers / Demonstrations / Ideas, Visions and Reflections +12h
Chair(s): Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Anthony Cleve University of Namur
09:00
10m
Paper
Identifying Bad Software Changes via Multimodal Anomaly Detection for Online Service Systems
Research Papers
Nengwen Zhao Tsinghua University, Junjie Chen Tianjin University, Zhaoyang Yu Tsinghua University, Honglin Wang BizSeer, Jiesong Li China Guangfa Bank, Bin Qiu China Guangfa Bank, Hongyu Xu China Guangfa Bank, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University
DOI
09:10
10m
Paper
Journal First Submission of the Article: "An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review"
Journal First
Sebastiano Panichella Zurich University of Applied Sciences, Nick Zaugg University of Zurich
09:20
5m
Paper
Exploit Those Code Reviews! Bigger Data for Deeper Learning
Demonstrations
Robert Heumüller University of Magdeburg, Sebastian Nielebock Otto-von-Guericke University Magdeburg, Frank Ortmeier University of Magdeburg
DOI Media Attached
09:25
5m
Paper
Towards Automating Code Review at Scale
Ideas, Visions and Reflections
Vincent J. Hellendoorn Carnegie Mellon University, Jason Tsay IBM Research, Manisha Mukherjee Carnegie Mellon University, Martin Hirzel IBM Research
DOI
09:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Code Reviews and Changes)
Research Papers

09:00 - 10:00
SE & AI—Machine Learning for Software Engineering 2Research Papers +12h
Chair(s): Michael Pradel University of Stuttgart, Saikat Chakraborty Columbia University
09:00
10m
Paper
Empirical Study of Transformers for Source Code
Research Papers
Nadezhda Chirkova HSE University, Sergey Troshin HSE University
DOI
09:10
10m
Paper
Explaining Mispredictions of Machine Learning Models using Rule Induction
Research Papers
Jürgen Cito TU Vienna; Facebook, Isil Dillig University of Texas at Austin, Seohyun Kim Facebook, Vijayaraghavan Murali Facebook, Satish Chandra Facebook
DOI
09:20
10m
Paper
Generalizable and Interpretable Learning for Configuration Extrapolation
Research Papers
Yi Ding Massachusetts Institute of Technology, Ahsan Pervaiz University of Chicago, Michael Carbin Massachusetts Institute of Technology, Henry Hoffmann University of Chicago
DOI
09:30
30m
Live Q&A
Q&A (SE & AI—Machine Learning for Software Engineering 2)
Research Papers

09:00 - 10:00
Testing—Analysis and Testing of Unconventional SoftwareResearch Papers +12h
Chair(s): Gregory Gay Chalmers and the University of Gothenburg
09:00
10m
Paper
Parallel Shadow Execution to Accelerate the Debugging of Numerical ErrorsArtifacts FunctionalArtifacts Available
Research Papers
Sangeeta Chowdhary Rutgers University, Santosh Nagarakatte Rutgers University
DOI
09:10
10m
Paper
Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation
Research Papers
Ming Yan Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University, Lin Tan Purdue University, Gan Wang Tianjin University
DOI
09:20
10m
Paper
Metamorphic Testing of Datalog Engines
Research Papers
DOI
09:30
30m
Live Q&A
Q&A (Testing—Analysis and Testing of Unconventional Software)
Research Papers

11:00 - 12:00
Testing—Debugging 1Research Papers +12h
Chair(s): Panos Louridas Athens University of Economics and Business
11:00
10m
Paper
Demystifying “Bad” Error Messages in Data Science Libraries
Research Papers
Yida Tao Shenzhen University, Zhihui Chen Shenzhen University, Yepang Liu Southern University of Science and Technology, Jifeng Xuan Wuhan University, Zhiwu Xu Shenzhen University, Shengchao Qin Teesside University
DOI
11:10
10m
Paper
NIL: Large-Scale Detection of Large-Variance Clones
Research Papers
Tasuku Nakagawa Osaka University, Yoshiki Higo Osaka University, Shinji Kusumoto Osaka University
DOI Pre-print
11:20
10m
Paper
Understanding and Detecting Server-Side Request Races in Web ApplicationsArtifacts Available
Research Papers
Zhengyi Qiu North Carolina State University, Shudi Shao North Carolina State University, Qi Zhao North Carolina State University, Guoliang Jin North Carolina State University
DOI
11:30
30m
Live Q&A
Q&A (Testing—Debugging 1)
Research Papers

11:00 - 12:00
Analysis—Model CheckingJournal First / Research Papers +12h
Chair(s): Domenico Bianculli University of Luxembourg
11:00
10m
Paper
Checking LTL[F,G,X] on Compressed Traces in Polynomial TimeArtifacts AvailableArtifacts Reusable
Research Papers
Minjian Zhang University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
DOI
11:10
10m
Paper
Conditional Interpolation: Making Concurrent Program Verification More Effective
Research Papers
Jie Su Xidian University, Cong Tian Xidian University, Zhenhua Duan Xidian University
DOI
11:20
10m
Paper
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Journal First
Xiaoxue Ma City University of Hong Kong, Shangru WU City University of Hong Kong, Ernest Pobee City University of Hong Kong, Xiupei Mei City University of Hong Kong, Hao Zhang City University of Hong Kong, Bo Jiang Beihang University, Wing-Kwong Chan City University of Hong Kong, Hong Kong
11:30
30m
Live Q&A
Q&A (Analysis—Model Checking)
Research Papers

11:00 - 12:00
Analytics & Software Evolution—Continuous Integration and DeliveryResearch Papers / Journal First +12h
Chair(s): Fiorella Zampetti University of Sannio, Italy
11:00
10m
Paper
Accelerating Continuous Integration by Caching Environments and Inferring Dependencies
Journal First
Keheliya Gallaba McGill University, John Ewart YourBase Inc., Yves Junqueira YourBase Inc., Shane McIntosh McGill University
11:10
10m
Paper
Predicting Node Failures in an Ultra-large-scale Cloud Computing Platform: an AIOps Solution: A Journal First Presentation Proposal
Journal First
Yangguang Li York University, Zhen Ming (Jack) Jiang York University , Heng Li Polytechnique Montréal, Ahmed E. Hassan Queen's University, Cheng He Alibaba Group, Ruirui Huang Alibaba Group, China, Zhengda Zeng Alibaba Group, Mian Wang Alibaba Group, PIN AN CHEN Alibaba
11:20
10m
Paper
Automating Serverless Deployments for DevOps OrganizationsArtifacts AvailableArtifacts Reusable
Research Papers
Daniel Sokolowski TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen
DOI Pre-print
11:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Continuous Integration and Delivery)
Research Papers

16:00 - 17:00
Analysis—Programming LanguagesResearch Papers / Industry Papers +12h
Chair(s): Santanu Kumar Dash University of Surrey, Michael Pradel University of Stuttgart
16:00
10m
Paper
Automated Code Transformation for Context Propagation in Go
Industry Papers
Adam Welc Uber Technologies
DOI
16:10
10m
Paper
Toward Efficient Interactions between Python and Native Libraries
Research Papers
Jialiang Tan College of William & Mary, Yu Chen College of William & Mary, Zhenming Liu College of William & Mary, Bin Ren College of William & Mary, Shuaiwen Leon Song University of Sydney, Xipeng Shen North Carolina State University, Xu Liu North Carolina State University, Oak Ridge National Laboratory, USA
DOI
16:20
10m
Paper
Accelerating JavaScript Static Analysis via Dynamic ShortcutsArtifacts AvailableArtifacts Reusable
Research Papers
DOI
16:30
30m
Live Q&A
Q&A (Analysis—Programming Languages)
Research Papers

16:00 - 17:00
Analytics & Software Evolution—Libraries and APIs 1Research Papers / Industry Papers / Journal First +12h
Chair(s): Yi Li Nanyang Technological University, Davide Di Ruscio University of L'Aquila
16:00
10m
Paper
Embedding App-Library Graph for Neural Third Party Library Recommendation
Research Papers
Bo Li Swinburne University of Technology, Qiang He Swinburne University of Technology, Feifei Chen Deakin University, Xin Xia Huawei Technologies, Li Li Monash University, John Grundy Monash University, Yun Yang Swinburne University of Technology
DOI
16:10
10m
Paper
Heuristic and Neural Network based Prediction of Project-Specific API Member Access
Journal First
Lin Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, He Jiang Beijing Institute of Technology, Lu Zhang Peking University, Hong Mei Beijing Institute of Technology
16:20
10m
Paper
Data-Driven Extract Method Recommendations: A Study at ING
Industry Papers
David van der Leij Delft University of Technology; ING, Jasper Binda ING, Robbert van Dalen ING, Pieter Vallen ING, Yaping Luo ING; Eindhoven University of Technology, Maurício Aniche Delft University of Technology
DOI Pre-print
16:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Libraries and APIs 1)
Research Papers

16:00 - 17:00
SE & AI—Software Engineering for Machine Learning 2Research Papers / Journal First / Ideas, Visions and Reflections +12h
Chair(s): Matthew B Dwyer University of Virginia
16:00
10m
Paper
Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning PipelineArtifacts FunctionalArtifacts Available
Research Papers
Sumon Biswas Iowa State University, Hridesh Rajan Iowa State University
DOI Pre-print Media Attached
16:10
10m
Paper
Fairea: A Model Behaviour Mutation Approach to Benchmarking Bias Mitigation MethodsArtifacts FunctionalArtifacts Available
Research Papers
Max Hort University College London, Jie M. Zhang University College London, Federica Sarro University College London, Mark Harman University College London
DOI Pre-print
16:20
5m
Paper
Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances
Ideas, Visions and Reflections
Yu-Seung Ma Electronics and Telecommunications Research Institute, Shin Yoo KAIST, Taeho Kim Electronics and Telecommunications Research Institute
DOI
16:25
5m
Paper
The Current State of Industrial Practice in Artificial Intelligence Ethics
Journal First
Ville Vakkuri University of Jyvaskyla, Kai-Kristian Kemell University of Jyvaskyla, Joni Kultanen University of Jyvaskyla, Pekka Abrahamsson University of Jyväskylä
16:30
30m
Live Q&A
Q&A (SE & AI—Software Engineering for Machine Learning 2)
Research Papers

16:00 - 17:00
Testing—Bug Characterization and FixingResearch Papers / Demonstrations / Ideas, Visions and Reflections +12h
Chair(s): Myra Cohen Iowa State University
16:00
10m
Paper
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig LanguageArtifacts FunctionalArtifacts Available
Research Papers
Jeho Oh University of Texas at Austin, Necip Fazıl Yıldıran University of Central Florida, Julian Braha University of Central Florida, Paul Gazzillo University of Central Florida
DOI Pre-print
16:10
10m
Paper
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
DOI Pre-print Media Attached
16:20
5m
Paper
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik Horlings Open University of the Netherlands, Sung-Shik Jongmans Open University of the Netherlands; CWI
DOI Media Attached
16:25
5m
Paper
Reducing the Search Space of Bug Inducing Commits using Failure CoverageArtifacts Available
Ideas, Visions and Reflections
Gabin An KAIST, Shin Yoo KAIST
DOI Pre-print
16:30
30m
Live Q&A
Q&A (Testing—Bug Characterization and Fixing)
Research Papers

17:00 - 18:00
Analysis—Static Analysis and Symbolic ExecutionIdeas, Visions and Reflections / Research Papers / Demonstrations +12h
Chair(s): Vaibhav Sharma Amazon Web Services
17:00
10m
Paper
IDE Support for Cloud-Based Static Analyses
Research Papers
Linghui Luo Paderborn University, Germany, Martin Schäf Amazon Web Services, Daniel J Sanchez Amazon Alexa, Eric Bodden University of Paderborn; Fraunhofer IEM
DOI Pre-print
17:10
10m
Paper
A Bounded Symbolic-Size Model for Symbolic ExecutionArtifacts AvailableArtifacts Reusable
Research Papers
David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University
DOI Media Attached
17:20
5m
Paper
LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Demonstrations
Guannan Wei Purdue University, Shangyin Tan Purdue University, Oliver Bračevac Purdue University, Tiark Rompf Purdue University
DOI Pre-print
17:25
5m
Paper
Learning Type Annotation: Is Big Data Enough?
Ideas, Visions and Reflections
Kevin Jesse University of California at Davis, Prem Devanbu University of California at Davis, Toufique Ahmed University of California at Davis
DOI
17:30
30m
Live Q&A
Q&A (Analysis—Static Analysis and Symbolic Execution)
Research Papers

17:00 - 18:00
Analytics & Software Evolution—Libraries and APIs 2Research Papers / Journal First +12h
Chair(s): Santanu Kumar Dash University of Surrey, Phuong T. Nguyen University of L’Aquila
17:00
10m
Paper
A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and RationalesArtifacts AvailableArtifacts Reusable
Research Papers
Hao He Peking University, Runzhi He Peking University, Haiqiao Gu Tsinghua University, Minghui Zhou Peking University
DOI Pre-print
17:10
10m
Paper
Learning-Based Extraction of First-Order Logic Representations of API Directives
Research Papers
Mingwei Liu Fudan University, Xin Peng Fudan University, Andrian Marcus University of Texas at Dallas, Christoph Treude University of Adelaide, Xuefang Bai Fudan University, Gang Lyu Fudan University, Jiazhan Xie Fudan University, Xiaoxin Zhang Fudan University
DOI
17:20
10m
Paper
Information Correspondence between Types of Documentation for APIs
Journal First
Deeksha Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University
17:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Libraries and APIs 2)
Research Papers

17:00 - 18:00
SE & AI—Software Engineering for Machine Learning 1Research Papers +12h
Chair(s): Na Meng Virginia Tech
17:00
10m
Paper
Probing Model Signal-Awareness via Prediction-Preserving Input Minimization
Research Papers
Sahil Suneja IBM Research, Yunhui Zheng IBM Research, Yufan Zhuang IBM Research, Jim A. Laredo IBM Research, Alessandro Morari IBM Research
DOI
17:10
10m
Paper
Generating Efficient Solvers from Constraint Models
Research Papers
Shu Lin Peking University, Na Meng Virginia Tech, Wenxin Li Peking University
DOI
17:20
10m
Paper
A Comprehensive Study of Deep Learning Compiler BugsArtifacts Available
Research Papers
Qingchao Shen Tianjin University, Haoyang Ma Tianjin University, Junjie Chen Tianjin University, Yongqiang Tian University of Waterloo, Shing-Chi Cheung Hong Kong University of Science and Technology, Xiang Chen Hong Kong University of Science and Technology
DOI
17:30
30m
Live Q&A
Q&A (SE & AI—Software Engineering for Machine Learning 1)
Research Papers

17:00 - 18:00
Testing—Failures and Fault LocalizationDemonstrations / Research Papers / Journal First / Ideas, Visions and Reflections +12h
Chair(s): Shaukat Ali Simula Research Lab
17:00
10m
Paper
A Qualitative Study of the Benefits and Costs of Logging from Developers' Perspectives: A Journal First Presentation Proposal
Journal First
Heng Li Polytechnique Montréal, Weiyi Shang Concordia University, Bram Adams Queens University, Mohammed Sayagh ETS Montreal, University of Quebec, Ahmed E. Hassan Queen's University
17:10
5m
Paper
Just-In-Time Defect Identification and Localization: A Two-Phase Framework
Journal First
Meng Yan Chongqing University, Xin Xia Huawei Technologies, Yuanrui Fan Zhejiang University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University, Shanping Li Zhejiang University
17:15
5m
Paper
New Visions on Metamorphic Testing after a Quarter of a Century of Inception
Ideas, Visions and Reflections
Tsong Yueh Chen Swinburne University of Technology, T. H. Tse University of Hong Kong
DOI
17:20
5m
Paper
AlloyFL: A Fault Localization Framework for Alloy
Demonstrations
Tanvir Ahmed Khan University of Texas at Arlington, Allison Sullivan University of Texas at Arlington, Kaiyuan Wang Google
DOI Media Attached
17:25
5m
Paper
BF-Detector: An Automated Tool for CI Build Failure Detection
Demonstrations
Islem Saidani ETS, Ali Ouni ETS, Moataz Chouchen ETS, Mohamed Wiem Mkaouer Rochester Institute of Technology
DOI
17:30
30m
Live Q&A
Q&A (Testing—Failures and Fault Localization)
Research Papers

19:00 - 20:00
Dependability—Blockchain 1Journal First / Research Papers / Industry Papers +12h
Chair(s): Luciano Baresi Politecnico di Milano
19:00
10m
Paper
Checking Smart Contracts with Structural Code Embedding
Journal First
Zhipeng Gao Monash University, Lingxiao Jiang Singapore Management University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University
19:10
10m
Paper
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized ApplicationsArtifacts FunctionalArtifacts Available
Research Papers
Wuqi Zhang Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Shuqing Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
DOI Pre-print
19:20
10m
Paper
Making Smart Contract Development More Secure and Easier
Industry Papers
Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Ying Fu Ant Group, Huizhong Li WeBank, Wanli Chang University of York, Yu Jiang Tsinghua University
DOI
19:30
30m
Live Q&A
Q&A (Dependability—Blockchain 1)
Research Papers

19:00 - 20:00
Analytics & Software Evolution—Defect Prediction and Effort EstimationResearch Papers / Journal First +12h
Chair(s): Davide Di Ruscio University of L'Aquila
19:00
10m
Paper
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates
Journal First
Federica Sarro University College London, Rebecca Moussa University College London, Alessio Petrozziello University College London, Mark Harman University College London
19:10
10m
Paper
Sound and Efficient Concurrency Bug PredictionArtifacts Reusable
Research Papers
Yan Cai Institute of Software at Chinese Academy of Sciences, Hao Yun Institute of Software at Chinese Academy of Sciences, Jinqiu Wang Institute of Software at Chinese Academy of Sciences, Lei Qiao Beijing Institute of Control Engineering, Jens Palsberg University of California at Los Angeles
DOI
19:20
10m
Paper
On the Assessment of Software Defect Prediction Models via ROC Curves
Journal First
Sandro Morasca Università degli Studi dell'Insubria, Luigi Lavazza Università degli Studi dell'Insubria
19:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Defect Prediction and Effort Estimation)
Research Papers

19:00 - 20:00
SE & AI—Search Based Software EngineeringResearch Papers +12h
Chair(s): Myra Cohen Iowa State University
19:00
10m
Paper
Bias in Machine Learning Software: Why? How? What to Do?Distinguished Paper Award
Research Papers
Joymallya Chakraborty North Carolina State University, Suvodeep Majumder North Carolina State University, Tim Menzies North Carolina State University
DOI Pre-print
19:10
10m
Paper
Understanding Neural Code Intelligence through Program SimplificationArtifacts Available
Research Papers
Md Rafiqul Islam Rabin University of Houston, Vincent J. Hellendoorn Carnegie Mellon University, Amin Alipour University of Houston
DOI Pre-print Media Attached
19:20
10m
Paper
Multi-objectivizing Software Configuration TuningArtifacts Available
Research Papers
Tao Chen Loughborough University, Miqing Li University of Birmingham
DOI Pre-print
19:30
30m
Live Q&A
Q&A (SE & AI—Search Based Software Engineering)
Research Papers

19:00 - 20:00
Testing—Flaky TestsIndustry Papers / Research Papers +12h
Chair(s): Wing Lam University of Illinois at Urbana-Champaign
19:00
10m
Paper
Flaky Test Detection in Android via Event Order Exploration
Research Papers
Zhen Dong National University of Singapore, Abhishek Tiwari National University of Singapore, Xiao Liang Yu National University of Singapore, Abhik Roychoudhury National University of Singapore
DOI Pre-print
19:10
10m
Paper
Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson
Industry Papers
Maaz Hafeez Ur Rehman Concordia University, Peter C. Rigby Concordia University
DOI
19:20
10m
Paper
When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla
Industry Papers
Johannes Lampel CISPA; Saarland University, Sascha Just Microsoft, Sven Apel Saarland University, Andreas Zeller CISPA
DOI Pre-print
19:30
30m
Live Q&A
Q&A (Testing—Flaky Tests)
Research Papers

20:00 - 21:00
Analysis—Development ToolsJournal First / Demonstrations / Research Papers
Chair(s): Rui Abreu University of Porto
20:00
10m
Paper
DIFFBASE: A Differential Factbase for Effective Software Evolution ManagementBest Artifact AwardArtifacts AvailableArtifacts Reusable
Research Papers
Xiuheng Wu Nanyang Technological University, Chenguang Zhu University of Texas at Austin, Yi Li Nanyang Technological University
DOI Pre-print
20:10
10m
Paper
Would You Like a Quick Peek? Providing Logging Support to Monitor Data Processing in Big Data Applications
Research Papers
Zehao Wang Concordia University, Haoxiang Zhang Huawei, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang University of Manitoba
DOI Pre-print
20:20
5m
Paper
Slicer4J: A Dynamic Slicer for JavaArtifacts Available
Demonstrations
Khaled Ahmed University of British Columbia, Mieszko Lis University of British Columbia, Julia Rubin University of British Columbia
DOI Pre-print Media Attached
20:25
5m
Paper
Information Needs: Lessons for Programming Tools
Journal First
Thomas LaToza George Mason University
DOI Pre-print
20:30
30m
Live Q&A
Q&A (Analysis—Development Tools)
Research Papers

20:00 - 21:00
Analytics & Software Evolution—Code RecommendationResearch Papers / Journal First
Chair(s): Davide Di Ruscio University of L'Aquila, Saikat Chakraborty Columbia University
20:00
10m
Paper
Cross-Language Code Search using Static and Dynamic AnalysesArtifacts Available
Research Papers
George Mathew North Carolina State University, Kathryn Stolee North Carolina State University
DOI
20:10
10m
Paper
Automating the Removal of Obsolete TODO Comments
Research Papers
Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Thomas Zimmermann Microsoft Research
DOI
20:20
10m
Paper
Generating Question Titles for Stack Overflow from Mined Code Snippets
Journal First
Zhipeng Gao Monash University, Xin Xia Huawei Technologies, John Grundy Monash University, David Lo Singapore Management University, Yuan-Fang Li Monash University
20:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Code Recommendation)
Research Papers

20:00 - 21:00
Testing—Approximations in Testing and AnalysisResearch Papers
Chair(s): Shane McIntosh McGill University
20:00
10m
Paper
Skeletal Approximation Enumeration for SMT Solver Testing
Research Papers
Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology
DOI
20:10
10m
Paper
Boosting Static Analysis Accuracy with Instrumented Test ExecutionsArtifacts FunctionalArtifacts Available
Research Papers
Tianyi Chen University of Southern California, Kihong Heo KAIST, Mukund Raghothaman University of Southern California
DOI
20:20
10m
Paper
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program AnalysisArtifacts AvailableArtifacts Reusable
Research Papers
Yicheng Luo University College London, Antonio Filieri Imperial College London, Yuan Zhou University of Oxford
DOI
20:30
30m
Live Q&A
Q&A (Testing—Approximations in Testing and Analysis)
Research Papers

20:00 - 21:00
SE & AI—Machine Learning for Software Engineering 1Research Papers
Chair(s): Kelly Lyons University of Toronto, Phuong T. Nguyen University of L’Aquila
20:00
10m
Paper
Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning
Research Papers
Yiling Lou Purdue University, Qihao Zhu Peking University, Jinhao Dong Peking University, Xia Li Kennesaw State University, Zeyu Sun Peking University, Dan Hao Peking University, Lu Zhang Peking University, Lingming Zhang University of Illinois at Urbana-Champaign
DOI
20:10
10m
Paper
SynGuar: Guaranteeing Generalization in Programming by ExampleArtifacts AvailableArtifacts Reusable
Research Papers
Bo Wang National University of Singapore, Teodora Baluta National University of Singapore, Aashish Kolluri National University of Singapore, Prateek Saxena National University of Singapore
DOI
20:20
10m
Paper
StateFormer: Fine-Grained Type Recovery from Binaries using Generative State ModelingArtifacts AvailableArtifacts Reusable
Research Papers
Kexin Pei Columbia University, Jonas Guan University of Toronto, Matthew Broughton Columbia University, Zhongtian Chen Columbia University, Songchen Yao Columbia University, David Williams-King Columbia University, Vikas Ummadisetty Dublin High School, Junfeng Yang Columbia University, Baishakhi Ray Columbia University, Suman Jana Columbia University
DOI
20:30
30m
Live Q&A
Q&A (SE & AI—Machine Learning for Software Engineering 1)
Research Papers

21:00 - 22:00
Analysis—Dynamic AnalysisJournal First / Research Papers
Chair(s): Kexin Pei Columbia University
21:00
10m
Paper
Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
Nikos Vasilakis Massachusetts Institute of Technology, Grigoris Ntousakis TU Crete, Veit Heller n.n., Martin C. Rinard Massachusetts Institute of Technology
DOI
21:10
10m
Paper
Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning
Journal First
Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Wen Li , Li Li Monash University
21:20
10m
Paper
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Journal First
Artem Polyvyanyy The University of Melbourne, Andreas Solti Vienna University of Economics and Business, Matthias Weidlich Humboldt-Universtität zu Berlin, Claudio Di Ciccio Department of Computer Science, Sapienza University of Rome, Jan Mendling Vienna University of Economics and Business
21:30
30m
Live Q&A
Q&A (Analysis—Dynamic Analysis)
Research Papers

21:00 - 22:00
Analytics & Software Evolution—Code Reviews and ChangesResearch Papers / Demonstrations / Ideas, Visions and Reflections / Journal First
Chair(s): Emad Aghajani Software Institute, USI Università della Svizzera italiana
21:00
10m
Paper
Identifying Bad Software Changes via Multimodal Anomaly Detection for Online Service Systems
Research Papers
Nengwen Zhao Tsinghua University, Junjie Chen Tianjin University, Zhaoyang Yu Tsinghua University, Honglin Wang BizSeer, Jiesong Li China Guangfa Bank, Bin Qiu China Guangfa Bank, Hongyu Xu China Guangfa Bank, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University
DOI
21:10
10m
Paper
Journal First Submission of the Article: "An Empirical Investigation of Relevant Changes and Automation Needs in Modern Code Review"
Journal First
Sebastiano Panichella Zurich University of Applied Sciences, Nick Zaugg University of Zurich
21:20
5m
Paper
Exploit Those Code Reviews! Bigger Data for Deeper Learning
Demonstrations
Robert Heumüller University of Magdeburg, Sebastian Nielebock Otto-von-Guericke University Magdeburg, Frank Ortmeier University of Magdeburg
DOI Media Attached
21:25
5m
Paper
Towards Automating Code Review at Scale
Ideas, Visions and Reflections
Vincent J. Hellendoorn Carnegie Mellon University, Jason Tsay IBM Research, Manisha Mukherjee Carnegie Mellon University, Martin Hirzel IBM Research
DOI
21:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Code Reviews and Changes)
Research Papers

21:00 - 22:00
SE & AI—Machine Learning for Software Engineering 2Research Papers
Chair(s): Kelly Lyons University of Toronto, Phuong T. Nguyen University of L’Aquila
21:00
10m
Paper
Empirical Study of Transformers for Source Code
Research Papers
Nadezhda Chirkova HSE University, Sergey Troshin HSE University
DOI
21:10
10m
Paper
Explaining Mispredictions of Machine Learning Models using Rule Induction
Research Papers
Jürgen Cito TU Vienna; Facebook, Isil Dillig University of Texas at Austin, Seohyun Kim Facebook, Vijayaraghavan Murali Facebook, Satish Chandra Facebook
DOI
21:20
10m
Paper
Generalizable and Interpretable Learning for Configuration Extrapolation
Research Papers
Yi Ding Massachusetts Institute of Technology, Ahsan Pervaiz University of Chicago, Michael Carbin Massachusetts Institute of Technology, Henry Hoffmann University of Chicago
DOI
21:30
30m
Live Q&A
Q&A (SE & AI—Machine Learning for Software Engineering 2)
Research Papers

21:00 - 22:00
Testing—Analysis and Testing of Unconventional SoftwareResearch Papers
Chair(s): Na Meng Virginia Tech
21:00
10m
Paper
Parallel Shadow Execution to Accelerate the Debugging of Numerical ErrorsArtifacts FunctionalArtifacts Available
Research Papers
Sangeeta Chowdhary Rutgers University, Santosh Nagarakatte Rutgers University
DOI
21:10
10m
Paper
Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation
Research Papers
Ming Yan Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University, Lin Tan Purdue University, Gan Wang Tianjin University
DOI
21:20
10m
Paper
Metamorphic Testing of Datalog Engines
Research Papers
DOI
21:30
30m
Live Q&A
Q&A (Testing—Analysis and Testing of Unconventional Software)
Research Papers

23:00 - 00:00
Testing—Debugging 1Research Papers
Chair(s): Yiling Lou Purdue University
23:00
10m
Paper
Demystifying “Bad” Error Messages in Data Science Libraries
Research Papers
Yida Tao Shenzhen University, Zhihui Chen Shenzhen University, Yepang Liu Southern University of Science and Technology, Jifeng Xuan Wuhan University, Zhiwu Xu Shenzhen University, Shengchao Qin Teesside University
DOI
23:10
10m
Paper
NIL: Large-Scale Detection of Large-Variance Clones
Research Papers
Tasuku Nakagawa Osaka University, Yoshiki Higo Osaka University, Shinji Kusumoto Osaka University
DOI Pre-print
23:20
10m
Paper
Understanding and Detecting Server-Side Request Races in Web ApplicationsArtifacts Available
Research Papers
Zhengyi Qiu North Carolina State University, Shudi Shao North Carolina State University, Qi Zhao North Carolina State University, Guoliang Jin North Carolina State University
DOI
23:30
30m
Live Q&A
Q&A (Testing—Debugging 1)
Research Papers

23:00 - 00:00
Analysis—Model CheckingResearch Papers / Journal First
Chair(s): Matthew B Dwyer University of Virginia
23:00
10m
Paper
Checking LTL[F,G,X] on Compressed Traces in Polynomial TimeArtifacts AvailableArtifacts Reusable
Research Papers
Minjian Zhang University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
DOI
23:10
10m
Paper
Conditional Interpolation: Making Concurrent Program Verification More Effective
Research Papers
Jie Su Xidian University, Cong Tian Xidian University, Zhenhua Duan Xidian University
DOI
23:20
10m
Paper
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Journal First
Xiaoxue Ma City University of Hong Kong, Shangru WU City University of Hong Kong, Ernest Pobee City University of Hong Kong, Xiupei Mei City University of Hong Kong, Hao Zhang City University of Hong Kong, Bo Jiang Beihang University, Wing-Kwong Chan City University of Hong Kong, Hong Kong
23:30
30m
Live Q&A
Q&A (Analysis—Model Checking)
Research Papers

23:00 - 00:00
Analytics & Software Evolution—Continuous Integration and DeliveryJournal First / Research Papers
Chair(s): Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation
23:00
10m
Paper
Accelerating Continuous Integration by Caching Environments and Inferring Dependencies
Journal First
Keheliya Gallaba McGill University, John Ewart YourBase Inc., Yves Junqueira YourBase Inc., Shane McIntosh McGill University
23:10
10m
Paper
Predicting Node Failures in an Ultra-large-scale Cloud Computing Platform: an AIOps Solution: A Journal First Presentation Proposal
Journal First
Yangguang Li York University, Zhen Ming (Jack) Jiang York University , Heng Li Polytechnique Montréal, Ahmed E. Hassan Queen's University, Cheng He Alibaba Group, Ruirui Huang Alibaba Group, China, Zhengda Zeng Alibaba Group, Mian Wang Alibaba Group, PIN AN CHEN Alibaba
23:20
10m
Paper
Automating Serverless Deployments for DevOps OrganizationsArtifacts AvailableArtifacts Reusable
Research Papers
Daniel Sokolowski TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen
DOI Pre-print
23:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Continuous Integration and Delivery)
Research Papers

Thu 26 Aug

Displayed time zone: Athens change

04:00 - 05:00
Analysis—Programming LanguagesResearch Papers / Industry Papers
Chair(s): Ramy Shahin University of Toronto
04:00
10m
Paper
Automated Code Transformation for Context Propagation in Go
Industry Papers
Adam Welc Uber Technologies
DOI
04:10
10m
Paper
Toward Efficient Interactions between Python and Native Libraries
Research Papers
Jialiang Tan College of William & Mary, Yu Chen College of William & Mary, Zhenming Liu College of William & Mary, Bin Ren College of William & Mary, Shuaiwen Leon Song University of Sydney, Xipeng Shen North Carolina State University, Xu Liu North Carolina State University, Oak Ridge National Laboratory, USA
DOI
04:20
10m
Paper
Accelerating JavaScript Static Analysis via Dynamic ShortcutsArtifacts AvailableArtifacts Reusable
Research Papers
DOI
04:30
30m
Live Q&A
Q&A (Analysis—Programming Languages)
Research Papers

04:00 - 05:00
Analytics & Software Evolution—Libraries and APIs 1Journal First / Research Papers / Industry Papers
Chair(s): Massimiliano Di Penta University of Sannio
04:00
10m
Paper
Embedding App-Library Graph for Neural Third Party Library Recommendation
Research Papers
Bo Li Swinburne University of Technology, Qiang He Swinburne University of Technology, Feifei Chen Deakin University, Xin Xia Huawei Technologies, Li Li Monash University, John Grundy Monash University, Yun Yang Swinburne University of Technology
DOI
04:10
10m
Paper
Heuristic and Neural Network based Prediction of Project-Specific API Member Access
Journal First
Lin Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, He Jiang Beijing Institute of Technology, Lu Zhang Peking University, Hong Mei Beijing Institute of Technology
04:20
10m
Paper
Data-Driven Extract Method Recommendations: A Study at ING
Industry Papers
David van der Leij Delft University of Technology; ING, Jasper Binda ING, Robbert van Dalen ING, Pieter Vallen ING, Yaping Luo ING; Eindhoven University of Technology, Maurício Aniche Delft University of Technology
DOI Pre-print
04:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Libraries and APIs 1)
Research Papers

04:00 - 05:00
SE & AI—Software Engineering for Machine Learning 2Research Papers / Ideas, Visions and Reflections / Journal First
Chair(s): Tushar Sharma Siemens Research
04:00
10m
Paper
Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning PipelineArtifacts FunctionalArtifacts Available
Research Papers
Sumon Biswas Iowa State University, Hridesh Rajan Iowa State University
DOI Pre-print Media Attached
04:10
10m
Paper
Fairea: A Model Behaviour Mutation Approach to Benchmarking Bias Mitigation MethodsArtifacts FunctionalArtifacts Available
Research Papers
Max Hort University College London, Jie M. Zhang University College London, Federica Sarro University College London, Mark Harman University College London
DOI Pre-print
04:20
5m
Paper
Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances
Ideas, Visions and Reflections
Yu-Seung Ma Electronics and Telecommunications Research Institute, Shin Yoo KAIST, Taeho Kim Electronics and Telecommunications Research Institute
DOI
04:25
5m
Paper
The Current State of Industrial Practice in Artificial Intelligence Ethics
Journal First
Ville Vakkuri University of Jyvaskyla, Kai-Kristian Kemell University of Jyvaskyla, Joni Kultanen University of Jyvaskyla, Pekka Abrahamsson University of Jyväskylä
04:30
30m
Live Q&A
Q&A (SE & AI—Software Engineering for Machine Learning 2)
Research Papers

04:00 - 05:00
Testing—Bug Characterization and FixingResearch Papers / Ideas, Visions and Reflections / Demonstrations
Chair(s): Abhik Roychoudhury National University of Singapore, Akond Rahman Tennessee Tech University
04:00
10m
Paper
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig LanguageArtifacts FunctionalArtifacts Available
Research Papers
Jeho Oh University of Texas at Austin, Necip Fazıl Yıldıran University of Central Florida, Julian Braha University of Central Florida, Paul Gazzillo University of Central Florida
DOI Pre-print
04:10
10m
Paper
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
DOI Pre-print Media Attached
04:20
5m
Paper
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik Horlings Open University of the Netherlands, Sung-Shik Jongmans Open University of the Netherlands; CWI
DOI Media Attached
04:25
5m
Paper
Reducing the Search Space of Bug Inducing Commits using Failure CoverageArtifacts Available
Ideas, Visions and Reflections
Gabin An KAIST, Shin Yoo KAIST
DOI Pre-print
04:30
30m
Live Q&A
Q&A (Testing—Bug Characterization and Fixing)
Research Papers

05:00 - 06:00
Analysis—Static Analysis and Symbolic ExecutionIdeas, Visions and Reflections / Research Papers / Demonstrations
Chair(s): Akond Rahman Tennessee Tech University
05:00
10m
Paper
IDE Support for Cloud-Based Static Analyses
Research Papers
Linghui Luo Paderborn University, Germany, Martin Schäf Amazon Web Services, Daniel J Sanchez Amazon Alexa, Eric Bodden University of Paderborn; Fraunhofer IEM
DOI Pre-print
05:10
10m
Paper
A Bounded Symbolic-Size Model for Symbolic ExecutionArtifacts AvailableArtifacts Reusable
Research Papers
David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University
DOI Media Attached
05:20
5m
Paper
LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
Demonstrations
Guannan Wei Purdue University, Shangyin Tan Purdue University, Oliver Bračevac Purdue University, Tiark Rompf Purdue University
DOI Pre-print
05:25
5m
Paper
Learning Type Annotation: Is Big Data Enough?
Ideas, Visions and Reflections
Kevin Jesse University of California at Davis, Prem Devanbu University of California at Davis, Toufique Ahmed University of California at Davis
DOI
05:30
30m
Live Q&A
Q&A (Analysis—Static Analysis and Symbolic Execution)
Research Papers

05:00 - 06:00
Analytics & Software Evolution—Libraries and APIs 2Journal First / Research Papers
Chair(s): Julia Rubin University of British Columbia
05:00
10m
Paper
A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and RationalesArtifacts AvailableArtifacts Reusable
Research Papers
Hao He Peking University, Runzhi He Peking University, Haiqiao Gu Tsinghua University, Minghui Zhou Peking University
DOI Pre-print
05:10
10m
Paper
Learning-Based Extraction of First-Order Logic Representations of API Directives
Research Papers
Mingwei Liu Fudan University, Xin Peng Fudan University, Andrian Marcus University of Texas at Dallas, Christoph Treude University of Adelaide, Xuefang Bai Fudan University, Gang Lyu Fudan University, Jiazhan Xie Fudan University, Xiaoxin Zhang Fudan University
DOI
05:20
10m
Paper
Information Correspondence between Types of Documentation for APIs
Journal First
Deeksha Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University
05:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Libraries and APIs 2)
Research Papers

05:00 - 06:00
SE & AI—Software Engineering for Machine Learning 1Research Papers
Chair(s): Lei Ma University of Alberta
05:00
10m
Paper
Probing Model Signal-Awareness via Prediction-Preserving Input Minimization
Research Papers
Sahil Suneja IBM Research, Yunhui Zheng IBM Research, Yufan Zhuang IBM Research, Jim A. Laredo IBM Research, Alessandro Morari IBM Research
DOI
05:10
10m
Paper
Generating Efficient Solvers from Constraint Models
Research Papers
Shu Lin Peking University, Na Meng Virginia Tech, Wenxin Li Peking University
DOI
05:20
10m
Paper
A Comprehensive Study of Deep Learning Compiler BugsArtifacts Available
Research Papers
Qingchao Shen Tianjin University, Haoyang Ma Tianjin University, Junjie Chen Tianjin University, Yongqiang Tian University of Waterloo, Shing-Chi Cheung Hong Kong University of Science and Technology, Xiang Chen Hong Kong University of Science and Technology
DOI
05:30
30m
Live Q&A
Q&A (SE & AI—Software Engineering for Machine Learning 1)
Research Papers

05:00 - 06:00
Testing—Failures and Fault LocalizationDemonstrations / Ideas, Visions and Reflections / Journal First / Research Papers
Chair(s): Massimiliano Di Penta University of Sannio
05:00
10m
Paper
A Qualitative Study of the Benefits and Costs of Logging from Developers' Perspectives: A Journal First Presentation Proposal
Journal First
Heng Li Polytechnique Montréal, Weiyi Shang Concordia University, Bram Adams Queens University, Mohammed Sayagh ETS Montreal, University of Quebec, Ahmed E. Hassan Queen's University
05:10
5m
Paper
Just-In-Time Defect Identification and Localization: A Two-Phase Framework
Journal First
Meng Yan Chongqing University, Xin Xia Huawei Technologies, Yuanrui Fan Zhejiang University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University, Shanping Li Zhejiang University
05:15
5m
Paper
New Visions on Metamorphic Testing after a Quarter of a Century of Inception
Ideas, Visions and Reflections
Tsong Yueh Chen Swinburne University of Technology, T. H. Tse University of Hong Kong
DOI
05:20
5m
Paper
AlloyFL: A Fault Localization Framework for Alloy
Demonstrations
Tanvir Ahmed Khan University of Texas at Arlington, Allison Sullivan University of Texas at Arlington, Kaiyuan Wang Google
DOI Media Attached
05:25
5m
Paper
BF-Detector: An Automated Tool for CI Build Failure Detection
Demonstrations
Islem Saidani ETS, Ali Ouni ETS, Moataz Chouchen ETS, Mohamed Wiem Mkaouer Rochester Institute of Technology
DOI
05:30
30m
Live Q&A
Q&A (Testing—Failures and Fault Localization)
Research Papers

07:00 - 08:00
Dependability—Blockchain 1Industry Papers / Journal First / Research Papers
Chair(s): John Grundy Monash University
07:00
10m
Paper
Checking Smart Contracts with Structural Code Embedding
Journal First
Zhipeng Gao Monash University, Lingxiao Jiang Singapore Management University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University
07:10
10m
Paper
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized ApplicationsArtifacts FunctionalArtifacts Available
Research Papers
Wuqi Zhang Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Shuqing Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
DOI Pre-print
07:20
10m
Paper
Making Smart Contract Development More Secure and Easier
Industry Papers
Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Ying Fu Ant Group, Huizhong Li WeBank, Wanli Chang University of York, Yu Jiang Tsinghua University
DOI
07:30
30m
Live Q&A
Q&A (Dependability—Blockchain 1)
Research Papers

07:00 - 08:00
Analytics & Software Evolution—Defect Prediction and Effort EstimationJournal First / Research Papers
Chair(s): Alexander Chatzigeorgiou University of Macedonia
07:00
10m
Paper
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates
Journal First
Federica Sarro University College London, Rebecca Moussa University College London, Alessio Petrozziello University College London, Mark Harman University College London
07:10
10m
Paper
Sound and Efficient Concurrency Bug PredictionArtifacts Reusable
Research Papers
Yan Cai Institute of Software at Chinese Academy of Sciences, Hao Yun Institute of Software at Chinese Academy of Sciences, Jinqiu Wang Institute of Software at Chinese Academy of Sciences, Lei Qiao Beijing Institute of Control Engineering, Jens Palsberg University of California at Los Angeles
DOI
07:20
10m
Paper
On the Assessment of Software Defect Prediction Models via ROC Curves
Journal First
Sandro Morasca Università degli Studi dell'Insubria, Luigi Lavazza Università degli Studi dell'Insubria
07:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Defect Prediction and Effort Estimation)
Research Papers

07:00 - 08:00
SE & AI—Search Based Software EngineeringResearch Papers
Chair(s): Phuong T. Nguyen University of L’Aquila
07:00
10m
Paper
Bias in Machine Learning Software: Why? How? What to Do?Distinguished Paper Award
Research Papers
Joymallya Chakraborty North Carolina State University, Suvodeep Majumder North Carolina State University, Tim Menzies North Carolina State University
DOI Pre-print
07:10
10m
Paper
Understanding Neural Code Intelligence through Program SimplificationArtifacts Available
Research Papers
Md Rafiqul Islam Rabin University of Houston, Vincent J. Hellendoorn Carnegie Mellon University, Amin Alipour University of Houston
DOI Pre-print Media Attached
07:20
10m
Paper
Multi-objectivizing Software Configuration TuningArtifacts Available
Research Papers
Tao Chen Loughborough University, Miqing Li University of Birmingham
DOI Pre-print
07:30
30m
Live Q&A
Q&A (SE & AI—Search Based Software Engineering)
Research Papers

07:00 - 08:00
Testing—Flaky TestsResearch Papers / Industry Papers
Chair(s): Wei Yang University of Texas at Dallas
07:00
10m
Paper
Flaky Test Detection in Android via Event Order Exploration
Research Papers
Zhen Dong National University of Singapore, Abhishek Tiwari National University of Singapore, Xiao Liang Yu National University of Singapore, Abhik Roychoudhury National University of Singapore
DOI Pre-print
07:10
10m
Paper
Quantifying No-Fault-Found Test Failures to Prioritize Inspection of Flaky Tests at Ericsson
Industry Papers
Maaz Hafeez Ur Rehman Concordia University, Peter C. Rigby Concordia University
DOI
07:20
10m
Paper
When Life Gives You Oranges: Detecting and Diagnosing Intermittent Job Failures at Mozilla
Industry Papers
Johannes Lampel CISPA; Saarland University, Sascha Just Microsoft, Sven Apel Saarland University, Andreas Zeller CISPA
DOI Pre-print
07:30
30m
Live Q&A
Q&A (Testing—Flaky Tests)
Research Papers

08:00 - 09:00
Dependability—Blockchain 2Journal First / Ideas, Visions and Reflections / Research Papers +12h
Chair(s): Luciano Baresi Politecnico di Milano
08:00
10m
Paper
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
Journal First
Masanari Kondo Kyushu University, Gustavo A. Oliva Queen's University, Zhen Ming (Jack) Jiang York University , Ahmed E. Hassan Queen's University, Osamu Mizuno Kyoto Institute of Technology
08:10
10m
Paper
iBatch: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations
Research Papers
Yibo Wang Syracuse University, Qi Zhang Syracuse University, Kai Li Syracuse University, Yuzhe Tang Syracuse University, Jiaqi Chen Syracuse University, Xiapu Luo Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China
Link to publication DOI Pre-print
08:20
10m
Paper
The Gas Triangle and Its Challenges to the Development of Blockchain-Powered Applications
Ideas, Visions and Reflections
Gustavo A. Oliva Queen's University, Ahmed E. Hassan Queen's University
DOI
08:30
30m
Live Q&A
Q&A (Dependability—Blockchain 2)
Research Papers

08:00 - 09:00
Analytics & Software Evolution—MetricsResearch Papers / Journal First +12h
Chair(s): Christof Ebert Vector Consulting
08:00
10m
Research paper
Reassessing Automatic Evaluation Metrics for Code Summarization Tasks
Research Papers
Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University
DOI Pre-print
08:10
10m
Paper
A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics
Journal First
Ritu Kapur University of Sannio, Balwinder Sodhi Indian Institute of Technology (IIT) Ropar, Punjab, India.
Link to publication DOI Pre-print
08:20
5m
Paper
Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase
Journal First
Vard Antinyan Volvo Car Group
08:25
35m
Live Q&A
Q&A (Analytics & Software Evolution—Metrics)
Research Papers

08:00 - 09:00
Human Aspects—Collaborative Software EngineeringResearch Papers +12h
Chair(s): Xin Tan Peking University, China, Alexander Serebrenik Eindhoven University of Technology
08:00
10m
Paper
SmartCommit: A Graph-Based Interactive Assistant for Activity-Oriented CommitsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
Bo Shen Peking University, Wei Zhang Peking University, Christian Kästner Carnegie Mellon University, Haiyan Zhao Peking University, Zhao Wei Huawei Technologies, Guangtai Liang Huawei Technologies, Zhi Jin Peking University
DOI
08:10
10m
Paper
A First Look at Developers’ Live Chat on GitterArtifacts Available
Research Papers
Lin Shi Institute of Software at Chinese Academy of Sciences, Xiao Chen Institute of Software at Chinese Academy of Sciences, Ye Yang Stevens Institute of Technology, Hanzhi Jiang Institute of Software at Chinese Academy of Sciences, Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Nan Niu University of Cincinnati, Qing Wang Institute of Software at Chinese Academy of Sciences
DOI
08:20
10m
Paper
Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
Research Papers
Souti Chattopadhyay Oregon State University, Thomas Zimmermann Microsoft Research, Denae Ford Microsoft Research
DOI
08:30
30m
Live Q&A
Q&A (Human Aspects—Collaborative Software Engineering)
Research Papers

08:00 - 09:00
Testing—FuzzingResearch Papers / Industry Papers +12h
Chair(s): Lei Ma University of Alberta
08:00
10m
Paper
Estimating Residual Risk in Greybox FuzzingArtifacts AvailableArtifacts Reusable
Research Papers
Marcel Böhme Monash University, Danushka Liyanage Monash University, Valentin Wüstholz ConsenSys
Link to publication DOI Pre-print
08:10
10m
Paper
HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications
Research Papers
Qian Zhang University of California at Los Angeles, Jiyuan Wang University of California at Los Angeles, Miryung Kim University of California at Los Angeles
DOI
08:20
10m
Paper
FuzzBench: An Open Fuzzer Benchmarking Platform and Service
Industry Papers
DOI
08:30
30m
Live Q&A
Q&A (Testing—Fuzzing)
Research Papers

09:00 - 10:00
Dependability—Cyber-Physical Systems 1Journal First / Research Papers +12h
Chair(s): Ritu Kapur University of Sannio
09:00
10m
Paper
Hazard Analysis for Human-on-the-Loop Interactions in sUAS SystemsArtifacts Available
Research Papers
Michael Vierhauser JKU Linz, Md Nafee Al Islam University of Notre Dame, Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman
DOI Media Attached
09:10
10m
Paper
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial VehiclesArtifacts Available
Research Papers
Dinghua Wang University of Technology Sydney, Shuqing Li Southern University of Science and Technology, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui University of Technology Sydney
DOI
09:20
10m
Paper
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Liliana Pasquale University College Dublin & Lero, Deepak Mehta Apple, Nobukazu Yoshioka Waseda University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
09:30
30m
Live Q&A
Q&A (Dependability—Cyber-Physical Systems 1)
Research Papers

09:00 - 10:00
Analytics & Software Evolution—Mining Software RepositoriesJournal First / Research Papers +12h
Chair(s): Juri Di Rocco University of L'Aquila
09:00
10m
Paper
Characterizing Search Activities on Stack Overflow
Research Papers
Jiakun Liu Zhejiang University, Sebastian Baltes University of Adelaide, Christoph Treude University of Adelaide, David Lo Singapore Management University, Yun Zhang Zhejiang University City College, Xin Xia Huawei Technologies
DOI
09:10
10m
Paper
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Research Papers
Egor Bogomolov JetBrains Research; HSE University, Vladimir Kovalenko JetBrains Research, Yurii Rebryk HSE University, Alberto Bacchelli University of Zurich, Timofey Bryksin JetBrains Research; HSE University
DOI Pre-print
09:20
5m
Paper
Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race
Journal First
Reza Nadri University of Waterloo, Gema Rodríguez-Pérez University of Waterloo, Mei Nagappan University of Waterloo
09:25
5m
Paper
Automatic Recovery of Issue Type Labels
Journal First
Farida El Zanaty McGill University, Christophe Rezk McGill University, Sander Lijbrink Shopify, Inc., Willem Van Bergen Shopify, Inc., Mark Côté Shopify, Inc., Shane McIntosh McGill University
09:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Mining Software Repositories)
Research Papers

09:00 - 10:00
Human Aspects—Developers 1Research Papers / Journal First / Industry Papers +12h
Chair(s): Alexander Serebrenik Eindhoven University of Technology
09:00
10m
Paper
Turnover-Induced Knowledge Loss in Practice
Industry Papers
Martin P. Robillard McGill University
DOI
09:10
10m
Paper
Human Values in Software Engineering: Contrasting Case Studies of Practice
Journal First
Waqar Hussain Monash University, Harsha Perera Monash University, Jon Whittle CSIRO's Data61 and Monash University, Arif Nurwidyantoro Monash University, Rashina Hoda Monash University, Rifat Ara Shams Monash University, Gillian Oliver Faculty of Information Technology, Monash University
09:20
5m
Paper
Enabling the Study of Software Development Behavior with Cross-Tool Logs
Journal First
Ciera Jaspan Google, Matthew Jorde Google, Inc., Carolyn Egelman Google, Collin Green Google, Ben Holtz Google, Edward Smith Bloomberg LP, Margaret Morrow Hodges Google, Andrea Knight , Liz Kammer Google, Jillian Dicker Google, Caitlin Sadowski Google, James Lin Google, Lan Cheng Google, Mark Canning Google, Emerson Murphy-Hill Google
09:25
5m
Paper
Gender Differences in Public Code Contributions: a 50-year Perspective
Journal First
Stefano Zacchiroli Université de Paris and Inria
09:30
30m
Live Q&A
Q&A (Human Aspects—Developers 1)
Research Papers

09:00 - 10:00
Testing—Program Repair 1Research Papers / Journal First +12h
Chair(s): Santanu Kumar Dash University of Surrey
09:00
10m
Paper
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Xiang Gao National University of Singapore, Bo Wang Peking University, China, Gregory J. Duck National University of Singapore, Ruyi Ji Peking University, Yingfei Xiong Peking University, Abhik Roychoudhury National University of Singapore
09:10
10m
Paper
Context-Aware and Data-Driven Feedback Generation for Programming AssignmentsArtifacts AvailableArtifacts Reusable
Research Papers
Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University
DOI
09:20
10m
Paper
A Syntax-Guided Edit Decoder for Neural Program RepairArtifacts Available
Research Papers
Qihao Zhu Peking University, Zeyu Sun Peking University, Yuan-an Xiao Peking University, Wenjie Zhang Peking University, Kang Yuan Stony Brook University, Yingfei Xiong Peking University, Lu Zhang Peking University
DOI
09:30
30m
Live Q&A
Q&A (Testing—Program Repair 1)
Research Papers

11:00 - 12:00
Dependability—Cyber-Physical Systems 2Research Papers / Industry Papers +12h
Chair(s): Fiorella Zampetti University of Sannio, Italy, Luciano Baresi Politecnico di Milano
11:00
10m
Paper
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Research Papers
Yuqi Chen Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University
DOI Pre-print
11:10
10m
Paper
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic SystemsArtifacts Available
Research Papers
Sayali Kate Purdue University, Michael Chinn University of Virginia, Hongjun Choi Purdue University, Xiangyu Zhang Purdue University, Sebastian Elbaum University of Virginia
DOI
11:20
10m
Paper
Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study
Industry Papers
Jon Ayerdi Mondragon University, Valerio Terragni University of Auckland, Aitor Arrieta Mondragon University, Paolo Tonella USI Lugano, Goiuria Sagardui Mondragon University, Maite Arratibel Orona
DOI Pre-print
11:30
30m
Live Q&A
Q&A (Dependability—Cyber-Physical Systems 2)
Research Papers

11:00 - 12:00
Analytics & Software Evolution—Program ComprehensionResearch Papers +12h
Chair(s): Santanu Kumar Dash University of Surrey, Anthony Cleve University of Namur
11:00
10m
Paper
Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior KnowledgeArtifacts Available
Research Papers
Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Bo Lin National University of Defense Technology, Xiaoguang Mao National University of Defense Technology
DOI Pre-print
11:10
10m
Paper
To Read or to Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability
Research Papers
Madeline Endres University of Michigan, Madison Fansher University of Michigan, Priti Shah University of Michigan, Westley Weimer University of Michigan
DOI Pre-print
11:20
10m
Paper
Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity
Research Papers
Zachary Karas University of Michigan, Andrew Jahn University of Michigan, Westley Weimer University of Michigan, Yu Huang University of Michigan
DOI
11:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Program Comprehension)
Research Papers

11:00 - 12:00
Human Aspects—Developers 2Journal First / Demonstrations / Research Papers +12h
Chair(s): Carlos Gavidia-Calderon ThoughtWorks (UK) Ltd.
11:00
10m
Paper
Relations Between Effort Estimates, Skill Indicators, and Measured Programming Skill
Journal First
Magne Jorgensen Simula Metropolitan Center for Digital Engineering, Gunnar Rye Bergersen University of Oslo, Knut LIestøl University of Oslo
11:10
5m
Paper
Reducing Software Developer Human Errors by Improving Situation Awareness
Journal First
Bhaveet Nagaria Brunel University London, Tracy Hall Lancaster University
11:15
5m
Paper
A Case for Human Values in Software Engineering
Journal First
Jon Whittle CSIRO's Data61 and Monash University, Maria Angela Ferrario Queen's University Belfast, Will Simm Lancaster University, Waquar Hussein Monash University
11:20
5m
Paper
Is 40 the new 60? How popular media portrays the employability of older software developers
Journal First
Sebastian Baltes University of Adelaide, George Park Itility, Alexander Serebrenik Eindhoven University of Technology
11:25
5m
Paper
csDetector: An Open Source Tool for Community Smells Detection
Demonstrations
Nuri Almarimi ETS, Ali Ouni ETS, Moataz Chouchen ETS, Mohamed Wiem Mkaouer Rochester Institute of Technology
DOI
11:30
30m
Live Q&A
Q&A (Human Aspects—Developers 2)
Research Papers

11:00 - 12:00
Testing—Debugging 2Research Papers +12h
Chair(s): Jürgen Cito TU Vienna; Facebook
11:00
10m
Paper
Detecting and Localizing Keyboard Accessibility Failures in Web ApplicationsArtifacts Reusable
Research Papers
Paul T. Chiou University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California
DOI
11:10
10m
Paper
Swarmbug: Debugging Configuration Bugs in Swarm Robotics
Research Papers
Chijung Jung University of Virginia, Ali Ahad University of Virginia, Jinho Jung Georgia Institute of Technology, Sebastian Elbaum University of Virginia, Yonghwi Kwon University of Virginia
DOI
11:20
10m
Paper
Probabilistic Delta DebuggingDistinguished Paper AwardArtifacts Available
Research Papers
Guancheng Wang Peking University, Ruobing Shen Peking University, Junjie Chen Tianjin University, Yingfei Xiong Peking University, Lu Zhang Peking University
DOI Pre-print
11:30
30m
Live Q&A
Q&A (Testing—Debugging 2)
Research Papers

12:00 - 13:00
Analytics & Software Evolution—Recommender SystemsDemonstrations / Industry Papers / Research Papers +12h
Chair(s): Phuong T. Nguyen University of L’Aquila, Gabriele Bavota Università della Svizzera italiana (USI)
12:00
10m
Paper
Which Abbreviations Should Be Expanded?Artifacts Available
Research Papers
Yanjie Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Nan Niu University of Cincinnati, Yuhai Zhao Northeastern University, Lu Zhang Peking University
DOI
12:10
5m
Paper
BRAID: An API Recommender Supporting Implicit User Feedback
Demonstrations
Yu Zhou Nanjing University of Aeronautics and Astronautics, Haonan Jin Nanjing University of Aeronautics and Astronautics, Xinying Yang Nanjing University of Aeronautics and Astronautics, Taolue Chen University of London, Krishna Narasimhan TU Darmstadt, Harald Gall University of Zurich
DOI
12:15
5m
Paper
Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow
Demonstrations
Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Yuan-Fang Li Monash University
DOI
12:20
5m
Paper
StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis
Demonstrations
DOI Media Attached
12:25
5m
Paper
Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts
Industry Papers
Vivek Joshi TCS Research, Preethu Rose Anish TCS Research, Smita Ghaisas TCS Research
DOI
12:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Recommender Systems)
Research Papers

12:00 - 13:00
Human Aspects—HCI and MobileResearch Papers / Industry Papers +12h
Chair(s): Jürgen Cito TU Vienna; Facebook
12:00
10m
Paper
Data-Driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps
Research Papers
Forough Mehralian University of California at Irvine, Navid Salehnamadi University of California at Irvine, Sam Malek University of California at Irvine
DOI
12:10
10m
Paper
Benchmarking Automated GUI Testing for Android against Real-World BugsArtifacts AvailableArtifacts Reusable
Research Papers
Ting Su East China Normal University, Jue Wang Nanjing University, Zhendong Su ETH Zurich
DOI Pre-print Media Attached
12:20
10m
Paper
An Empirical Study of GUI Widget Detection for Industrial Mobile Games
Industry Papers
Jiaming Ye Kyushu University, Ke Chen Fuxi AI Lab of Netease, Xiaofei Xie Kyushu University, Lei Ma University of Alberta, Ruochen Huang University of Alberta, Yingfeng Chen Fuxi AI Lab of Netease, Yinxing Xue University of Science and Technology of China, Jianjun Zhao Kyushu University
DOI
12:30
30m
Live Q&A
Q&A (Human Aspects—HCI and Mobile)
Research Papers

12:00 - 13:00
Testing—Program Repair 2Research Papers / Journal First +12h
Chair(s): Saikat Chakraborty Columbia University
12:00
10m
Paper
VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair
Research Papers
Chu-Pan Wong Carnegie Mellon University, Priscila Santiesteban Coe College, Christian Kästner Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
DOI
12:10
10m
Paper
Automated Patch Assessment for Program Repair at Scale
Journal First
He Ye KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology
12:20
10m
Paper
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Journal First
Tongtong Xu Department of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan Chen The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Carlo A. Furia Università della Svizzera italiana (USI)
12:30
30m
Live Q&A
Q&A (Testing—Program Repair 2)
Research Papers

16:00 - 17:00
Dependability—DependabilityIdeas, Visions and Reflections / Research Papers +12h
Chair(s): Eunsuk Kang Carnegie Mellon University
16:00
10m
Paper
Lightweight and Modular Resource Leak VerificationArtifacts FunctionalArtifacts Available
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
DOI
16:10
10m
Paper
JSISOLATE: Lightweight In-Browser JavaScript IsolationArtifacts Available
Research Papers
Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
DOI
16:20
5m
Paper
Software Robustness: A Survey, a Theory, and Prospects
Ideas, Visions and Reflections
Justyna Petke University College London, David Clark University College London, William B. Langdon University College London
DOI
16:25
5m
Paper
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
DOI
16:30
30m
Live Q&A
Q&A (Dependability—Dependability)
Research Papers

16:00 - 17:00
Analytics & Software Evolution—Software Evolution 2Demonstrations / Research Papers / Industry Papers / Journal First / Ideas, Visions and Reflections +12h
Chair(s): Carlos Gavidia-Calderon ThoughtWorks (UK) Ltd., Anthony Cleve University of Namur
16:00
10m
Paper
Duplicated Code Pattern Mining in Visual Programming Languages
Industry Papers
Miguel Terra-Neves OutSystems, João Pedro Nunes Nadkarni OutSystems, Miguel Ventura OutSystems, Pedro Resende OutSystems, Hugo Veiga OutSystems, António Alegria OutSystems
DOI
16:10
10m
Paper
Release Synchronization in Software Ecosystems
Journal First
Armstrong Foundjem Queen's University, Bram Adams Queens University
16:20
5m
Paper
Towards Immersive Software Archaeology: Regaining Legacy Systems’ Design Knowledge via Interactive Exploration in Virtual Reality
Ideas, Visions and Reflections
Adrian Hoff IT University of Copenhagen, Michael Nieke IT University of Copenhagen, Christoph Seidl IT University of Copenhagen
DOI
16:25
5m
Paper
KGAMD: An API-Misuse Detector Driven by Fine-Grained API-Constraint Knowledge Graph
Demonstrations
Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Zhenchang Xing Australian National University, Xin Xia Huawei Technologies, Xiwei Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61; UNSW, Jianling Sun Zhejiang University
DOI
16:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Software Evolution 2)
Research Papers

16:00 - 17:00
Testing—Test Generation 1Journal First / Research Papers +12h
Chair(s): Rachel Tzoref-Brill IBM Research, Myra Cohen Iowa State University
16:00
10m
Paper
Graph-Based Seed Object Synthesis for Search-Based Unit Testing
Research Papers
Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore
DOI Pre-print
16:10
10m
Paper
An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition''
Journal First
Kun Qiu Hefei University of Technology, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia
Link to publication DOI
16:20
10m
Paper
Output Sampling for Output Diversity in Automatic Unit Test Generation
Journal First
Hector Menendez Middlesex University London, Michele Boreale Università di Firenze, Daniele Gorla Department of Computer Science, Sapienza University of Rome, David Clark University College London
16:30
30m
Live Q&A
Q&A (Testing—Test Generation 1)
Research Papers

17:00 - 18:00
Dependability—Vulnerabilities 1Research Papers +12h
Chair(s): Felipe Fronchetti University of São Paulo, Brazil
17:00
10m
Paper
Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup AnalysisArtifacts Available
Research Papers
Song Li Johns Hopkins University, Mingqing Kang Johns Hopkins University, Jianwei Hou Johns Hopkins University; Renmin University of China, Yinzhi Cao Johns Hopkins University
DOI
17:10
10m
Paper
Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events
Research Papers
Kunpeng Yu Xi'an Jiaotong University, Chenxu Wang Xi'an Jiaotong University, Yan Cai Institute of Software at Chinese Academy of Sciences, Xiapu Luo Hong Kong Polytechnic University, Zijiang Yang Western Michigan University
DOI
17:20
10m
Paper
Vulnerability Detection with Fine-Grained Interpretations
Research Papers
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
DOI Pre-print
17:30
30m
Live Q&A
Q&A (Dependability—Vulnerabilities 1)
Research Papers

17:00 - 18:00
Analytics & Software Evolution—Software Evolution 1Research Papers / Journal First / Demonstrations +12h
Chair(s): Juri Di Rocco University of L'Aquila
17:00
10m
Paper
Feature Trace RecordingBest Artifact AwardArtifacts AvailableArtifacts Reusable
Research Papers
Paul Maximilian Bittner University of Ulm, Alexander Schultheiß Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin, Jeffrey M. Young Oregon State University, Lukas Linsbauer TU Braunschweig
DOI Pre-print Media Attached
17:10
10m
Paper
A Longitudinal Analysis of Bloated Java DependenciesDistinguished Paper AwardArtifacts Available
Research Papers
DOI Pre-print
17:20
5m
Paper
DAF: Dependency-Aware FaaSifier for Node.js Monolithic Applications
Journal First
Sasko Ristov University of Innsbruck, Stefan Pedratscher University of Innsbruck, Jakob Wallnöfer University of Innsbruck, Thomas Fahringer University of Innsbruck
17:25
5m
Paper
AC²: Towards Understanding Architectural Changes in Python Projects
Demonstrations
A. Eashaan Rao IIT Tirupati, Dheeraj Vagavolu IIT Tirupati, Sridhar Chimalakonda IIT Tirupati
DOI Media Attached
17:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Software Evolution 1)
Research Papers

17:00 - 18:00
Testing—Test Generation 2Journal First / Research Papers / Demonstrations +12h
Chair(s): Gunel Jahangirova USI Lugano, Michael Pradel University of Stuttgart
17:00
10m
Paper
LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage
Research Papers
Chuan Luo Microsoft Research, Binqi Sun Microsoft Research, Bo Qiao Microsoft Research, Junjie Chen Tianjin University, Hongyu Zhang University of Newcastle, Jinkun Lin Institute of Software at Chinese Academy of Sciences, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research
DOI
17:10
10m
Paper
GLIB: Towards Automated Test Oracle for Graphically-Rich ApplicationsArtifacts Available
Research Papers
Ke Chen Fuxi AI Lab of Netease, Yufei Li University of Texas at Dallas, Yingfeng Chen Fuxi AI Lab of Netease, Changjie Fan Netease, Zhipeng Hu Netease, Wei Yang University of Texas at Dallas
DOI
17:20
5m
Paper
CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition
Demonstrations
Muhammad Hilmi Asyrofi Singapore Management University, Zhou Yang Singapore Management University, David Lo Singapore Management University
DOI Pre-print Media Attached
17:25
5m
Paper
Practical Constraint Solving for Generating System Test Data
Journal First
Ghanem Soltana SnT, University of Luxembourg, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg
17:30
30m
Live Q&A
Q&A (Testing—Test Generation 2)
Research Papers

19:00 - 20:00
Dependability—Vulnerabilities 2Research Papers / Demonstrations +12h
Chair(s): Domenico Bianculli University of Luxembourg
19:00
10m
Paper
Identifying Casualty Changes in Software Patches
Research Papers
Adriana Sejfia University of Southern California, Yixue Zhao University of Massachusetts at Amherst, Nenad Medvidović University of Southern California
DOI Media Attached
19:10
10m
Paper
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control VulnerabilitiesArtifacts AvailableArtifacts Reusable
Research Papers
Yang Hu University of Texas at Austin, Wenxi Wang University of Texas at Austin, Casen Hunger University of Texas at Austin, Riley Wood University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Mohit Tiwari University of Texas at Austin
DOI
19:20
5m
Paper
ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments
Demonstrations
Chehara Pathmabandu Monash University, John Grundy Monash University, Mohan Baruwal Chhetri CSIRO’s Data61, Zubair Baig Deakin University
DOI Media Attached
19:25
5m
Paper
CrossVul: A Cross-Language Vulnerability Dataset with Commit Data
Demonstrations
Georgios Nikitopoulos University of Thessaly, Konstantina Dritsa Athens University of Economics and Business, Panos Louridas Athens University of Economics and Business, Dimitris Mitropoulos University of Athens
DOI
19:30
30m
Live Q&A
Q&A (Dependability—Vulnerabilities 2)
Research Papers

19:00 - 20:00
Analytics & Software Evolution—RefactoringResearch Papers / Journal First / Industry Papers +12h
Chair(s): Gabriele Bavota Università della Svizzera italiana (USI), Venera Arnaoudova Washington State University
19:00
10m
Paper
An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking MechanismArtifacts FunctionalArtifacts Available
Research Papers
Xiao Wang Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Tingting Yu University of Cincinnati, Anne Woepse Analytical Graphics, Sunny Wong Analytical Graphics
DOI
19:10
10m
Paper
RePOR: Mimicking humans on refactoring tasks. Are we there yet?
Journal First
Rodrigo Morales Concordia University, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal
19:20
10m
Paper
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
Industry Papers
Yaroslav Golubev JetBrains Research, Zarina Kurbatova JetBrains Research, Eman Abdullah AlOmar Rochester Institute of Technology, Timofey Bryksin JetBrains Research; HSE University, Mohamed Wiem Mkaouer Rochester Institute of Technology
DOI Pre-print
19:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Refactoring)
Research Papers

19:00 - 20:00
Human Aspects—Human Computer InteractionDemonstrations / Research Papers / Journal First +12h
Chair(s): Kelly Lyons University of Toronto, Alexander Serebrenik Eindhoven University of Technology
19:00
10m
Paper
Synthesis of Web Layouts from ExamplesArtifacts AvailableArtifacts Reusable
Research Papers
Dylan Lukes University of California at San Diego, John Sarracino Cornell University, Cora Coleman University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego
DOI
19:10
5m
Paper
Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers
Journal First
Carianne Pretorius Eindhoven University of Technology, Maryam Razavian Eindhoven University of Technology, Katrin Eling Eindhoven University of Technology, Fred Langerak Eindhoven University of Technology
19:15
5m
Paper
BiasRV: Uncovering Biased Sentiment Predictions at Runtime
Demonstrations
Zhou Yang Singapore Management University, Muhammad Hilmi Asyrofi Singapore Management University, David Lo Singapore Management University
DOI Media Attached
19:20
5m
Paper
OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues
Demonstrations
Yuhui Su Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software at Chinese Academy of Sciences, Chunyang Chen Monash University, Junjie Wang Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
DOI Authorizer link Pre-print Media Attached
19:25
5m
Paper
Frontmatter: Mining Android User Interfaces at ScaleArtifacts Available
Demonstrations
Konstantin Kuznetsov CISPA, Chen Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, David N. Jansen Institute of Software at Chinese Academy of Sciences; Institute of Intelligent Software, Lijun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Institute of Intelligent Software, Andreas Zeller CISPA
DOI Media Attached
19:30
30m
Live Q&A
Q&A (Human Aspects—Human Computer Interaction)
Research Papers

19:00 - 20:00
Testing—Mobile Analysis and TestingResearch Papers +12h
Chair(s): Fabrizio Pastore University of Luxembourg
19:00
10m
Paper
Algebraic-Datatype Taint Tracking, with Applications to Understanding Android Identifier LeaksArtifacts FunctionalArtifacts Available
Research Papers
Sydur Rahaman New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology, Xin Yin New Jersey Institute of Technology
DOI
19:10
10m
Paper
Vet: Identifying and Avoiding UI Exploration TarpitsDistinguished Paper Award
Research Papers
Wenyu Wang University of Illinois at Urbana-Champaign, Wei Yang University of Texas at Dallas, Tianyin Xu University of Illinois at Urbana-Champaign, Tao Xie Peking University
Link to publication DOI Media Attached
19:20
10m
Paper
Checking Conformance of Applications against GUI Policies
Research Papers
Zhen Zhang University of Washington, Yu Feng University of California at Santa Barbara, Michael D. Ernst University of Washington, Sebastian Porst Google, Isil Dillig University of Texas at Austin
DOI
19:30
30m
Live Q&A
Q&A (Testing—Mobile Analysis and Testing)
Research Papers

20:00 - 21:00
Dependability—Blockchain 2Journal First / Research Papers / Ideas, Visions and Reflections
Chair(s): Panos Louridas Athens University of Economics and Business
20:00
10m
Paper
Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
Journal First
Masanari Kondo Kyushu University, Gustavo A. Oliva Queen's University, Zhen Ming (Jack) Jiang York University , Ahmed E. Hassan Queen's University, Osamu Mizuno Kyoto Institute of Technology
20:10
10m
Paper
iBatch: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations
Research Papers
Yibo Wang Syracuse University, Qi Zhang Syracuse University, Kai Li Syracuse University, Yuzhe Tang Syracuse University, Jiaqi Chen Syracuse University, Xiapu Luo Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China
Link to publication DOI Pre-print
20:20
10m
Paper
The Gas Triangle and Its Challenges to the Development of Blockchain-Powered Applications
Ideas, Visions and Reflections
Gustavo A. Oliva Queen's University, Ahmed E. Hassan Queen's University
DOI
20:30
30m
Live Q&A
Q&A (Dependability—Blockchain 2)
Research Papers

20:00 - 21:00
Analytics & Software Evolution—MetricsJournal First / Research Papers
Chair(s): Tushar Sharma Siemens Research, Alexander Chatzigeorgiou University of Macedonia
20:00
10m
Research paper
Reassessing Automatic Evaluation Metrics for Code Summarization Tasks
Research Papers
Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University
DOI Pre-print
20:10
10m
Paper
A Defect Estimator for Source Code: Linking Defect Reports with Programming Constructs Usage Metrics
Journal First
Ritu Kapur University of Sannio, Balwinder Sodhi Indian Institute of Technology (IIT) Ropar, Punjab, India.
Link to publication DOI Pre-print
20:20
5m
Paper
Explaining Essential and Accidental Code Elements and Their Influences on Code Complexity Increase
Journal First
Vard Antinyan Volvo Car Group
20:25
35m
Live Q&A
Q&A (Analytics & Software Evolution—Metrics)
Research Papers

20:00 - 21:00
Human Aspects—Collaborative Software EngineeringResearch Papers
Chair(s): Kelly Lyons University of Toronto
20:00
10m
Paper
SmartCommit: A Graph-Based Interactive Assistant for Activity-Oriented CommitsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
Bo Shen Peking University, Wei Zhang Peking University, Christian Kästner Carnegie Mellon University, Haiyan Zhao Peking University, Zhao Wei Huawei Technologies, Guangtai Liang Huawei Technologies, Zhi Jin Peking University
DOI
20:10
10m
Paper
A First Look at Developers’ Live Chat on GitterArtifacts Available
Research Papers
Lin Shi Institute of Software at Chinese Academy of Sciences, Xiao Chen Institute of Software at Chinese Academy of Sciences, Ye Yang Stevens Institute of Technology, Hanzhi Jiang Institute of Software at Chinese Academy of Sciences, Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Nan Niu University of Cincinnati, Qing Wang Institute of Software at Chinese Academy of Sciences
DOI
20:20
10m
Paper
Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
Research Papers
Souti Chattopadhyay Oregon State University, Thomas Zimmermann Microsoft Research, Denae Ford Microsoft Research
DOI
20:30
30m
Live Q&A
Q&A (Human Aspects—Collaborative Software Engineering)
Research Papers

20:00 - 21:00
Testing—FuzzingResearch Papers / Industry Papers
Chair(s): Felipe Fronchetti University of São Paulo, Brazil
20:00
10m
Paper
Estimating Residual Risk in Greybox FuzzingArtifacts AvailableArtifacts Reusable
Research Papers
Marcel Böhme Monash University, Danushka Liyanage Monash University, Valentin Wüstholz ConsenSys
Link to publication DOI Pre-print
20:10
10m
Paper
HeteroFuzz: Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications
Research Papers
Qian Zhang University of California at Los Angeles, Jiyuan Wang University of California at Los Angeles, Miryung Kim University of California at Los Angeles
DOI
20:20
10m
Paper
FuzzBench: An Open Fuzzer Benchmarking Platform and Service
Industry Papers
DOI
20:30
30m
Live Q&A
Q&A (Testing—Fuzzing)
Research Papers

21:00 - 22:00
Dependability—Cyber-Physical Systems 1Research Papers / Journal First
Chair(s): Joanne M. Atlee University of Waterloo
21:00
10m
Paper
Hazard Analysis for Human-on-the-Loop Interactions in sUAS SystemsArtifacts Available
Research Papers
Michael Vierhauser JKU Linz, Md Nafee Al Islam University of Notre Dame, Ankit Agrawal University of Notre Dame, Jane Cleland-Huang University of Notre Dame, James Mason Northrop Grumman
DOI Media Attached
21:10
10m
Paper
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial VehiclesArtifacts Available
Research Papers
Dinghua Wang University of Technology Sydney, Shuqing Li Southern University of Science and Technology, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui University of Technology Sydney
DOI
21:20
10m
Paper
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Journal First
Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Liliana Pasquale University College Dublin & Lero, Deepak Mehta Apple, Nobukazu Yoshioka Waseda University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
21:30
30m
Live Q&A
Q&A (Dependability—Cyber-Physical Systems 1)
Research Papers

21:00 - 22:00
Analytics & Software Evolution—Mining Software RepositoriesResearch Papers / Journal First
Chair(s): Phuong T. Nguyen University of L’Aquila, Venera Arnaoudova Washington State University
21:00
10m
Paper
Characterizing Search Activities on Stack Overflow
Research Papers
Jiakun Liu Zhejiang University, Sebastian Baltes University of Adelaide, Christoph Treude University of Adelaide, David Lo Singapore Management University, Yun Zhang Zhejiang University City College, Xin Xia Huawei Technologies
DOI
21:10
10m
Paper
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Research Papers
Egor Bogomolov JetBrains Research; HSE University, Vladimir Kovalenko JetBrains Research, Yurii Rebryk HSE University, Alberto Bacchelli University of Zurich, Timofey Bryksin JetBrains Research; HSE University
DOI Pre-print
21:20
5m
Paper
Insights into Non-Merged Pull Requests in GitHub: Is there Evidence of Bias Based on Perceptible Race
Journal First
Reza Nadri University of Waterloo, Gema Rodríguez-Pérez University of Waterloo, Mei Nagappan University of Waterloo
21:25
5m
Paper
Automatic Recovery of Issue Type Labels
Journal First
Farida El Zanaty McGill University, Christophe Rezk McGill University, Sander Lijbrink Shopify, Inc., Willem Van Bergen Shopify, Inc., Mark Côté Shopify, Inc., Shane McIntosh McGill University
21:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Mining Software Repositories)
Research Papers

21:00 - 22:00
Human Aspects—Developers 1Research Papers / Industry Papers / Journal First
Chair(s): Margaret-Anne Storey University of Victoria
21:00
10m
Paper
Turnover-Induced Knowledge Loss in Practice
Industry Papers
Martin P. Robillard McGill University
DOI
21:10
10m
Paper
Human Values in Software Engineering: Contrasting Case Studies of Practice
Journal First
Waqar Hussain Monash University, Harsha Perera Monash University, Jon Whittle CSIRO's Data61 and Monash University, Arif Nurwidyantoro Monash University, Rashina Hoda Monash University, Rifat Ara Shams Monash University, Gillian Oliver Faculty of Information Technology, Monash University
21:20
5m
Paper
Enabling the Study of Software Development Behavior with Cross-Tool Logs
Journal First
Ciera Jaspan Google, Matthew Jorde Google, Inc., Carolyn Egelman Google, Collin Green Google, Ben Holtz Google, Edward Smith Bloomberg LP, Margaret Morrow Hodges Google, Andrea Knight , Liz Kammer Google, Jillian Dicker Google, Caitlin Sadowski Google, James Lin Google, Lan Cheng Google, Mark Canning Google, Emerson Murphy-Hill Google
21:25
5m
Paper
Gender Differences in Public Code Contributions: a 50-year Perspective
Journal First
Stefano Zacchiroli Université de Paris and Inria
21:30
30m
Live Q&A
Q&A (Human Aspects—Developers 1)
Research Papers

21:00 - 22:00
Testing—Program Repair 1Research Papers / Journal First
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
21:00
10m
Paper
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
Journal First
Xiang Gao National University of Singapore, Bo Wang Peking University, China, Gregory J. Duck National University of Singapore, Ruyi Ji Peking University, Yingfei Xiong Peking University, Abhik Roychoudhury National University of Singapore
21:10
10m
Paper
Context-Aware and Data-Driven Feedback Generation for Programming AssignmentsArtifacts AvailableArtifacts Reusable
Research Papers
Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University
DOI
21:20
10m
Paper
A Syntax-Guided Edit Decoder for Neural Program RepairArtifacts Available
Research Papers
Qihao Zhu Peking University, Zeyu Sun Peking University, Yuan-an Xiao Peking University, Wenjie Zhang Peking University, Kang Yuan Stony Brook University, Yingfei Xiong Peking University, Lu Zhang Peking University
DOI
21:30
30m
Live Q&A
Q&A (Testing—Program Repair 1)
Research Papers

23:00 - 00:00
Dependability—Cyber-Physical Systems 2Industry Papers / Research Papers
Chair(s): Joanne M. Atlee University of Waterloo
23:00
10m
Paper
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Research Papers
Yuqi Chen Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University
DOI Pre-print
23:10
10m
Paper
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic SystemsArtifacts Available
Research Papers
Sayali Kate Purdue University, Michael Chinn University of Virginia, Hongjun Choi Purdue University, Xiangyu Zhang Purdue University, Sebastian Elbaum University of Virginia
DOI
23:20
10m
Paper
Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study
Industry Papers
Jon Ayerdi Mondragon University, Valerio Terragni University of Auckland, Aitor Arrieta Mondragon University, Paolo Tonella USI Lugano, Goiuria Sagardui Mondragon University, Maite Arratibel Orona
DOI Pre-print
23:30
30m
Live Q&A
Q&A (Dependability—Cyber-Physical Systems 2)
Research Papers

23:00 - 00:00
Analytics & Software Evolution—Program ComprehensionResearch Papers
Chair(s): Venera Arnaoudova Washington State University, Bonita Sharif University of Nebraska-Lincoln, USA
23:00
10m
Paper
Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior KnowledgeArtifacts Available
Research Papers
Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Bo Lin National University of Defense Technology, Xiaoguang Mao National University of Defense Technology
DOI Pre-print
23:10
10m
Paper
To Read or to Rotate? Comparing the Effects of Technical Reading Training and Spatial Skills Training on Novice Programming Ability
Research Papers
Madeline Endres University of Michigan, Madison Fansher University of Michigan, Priti Shah University of Michigan, Westley Weimer University of Michigan
DOI Pre-print
23:20
10m
Paper
Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity
Research Papers
Zachary Karas University of Michigan, Andrew Jahn University of Michigan, Westley Weimer University of Michigan, Yu Huang University of Michigan
DOI
23:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Program Comprehension)
Research Papers

23:00 - 00:00
Human Aspects—Developers 2Journal First / Demonstrations / Research Papers
Chair(s): Felipe Fronchetti University of São Paulo, Brazil
23:00
10m
Paper
Relations Between Effort Estimates, Skill Indicators, and Measured Programming Skill
Journal First
Magne Jorgensen Simula Metropolitan Center for Digital Engineering, Gunnar Rye Bergersen University of Oslo, Knut LIestøl University of Oslo
23:10
5m
Paper
Reducing Software Developer Human Errors by Improving Situation Awareness
Journal First
Bhaveet Nagaria Brunel University London, Tracy Hall Lancaster University
23:15
5m
Paper
A Case for Human Values in Software Engineering
Journal First
Jon Whittle CSIRO's Data61 and Monash University, Maria Angela Ferrario Queen's University Belfast, Will Simm Lancaster University, Waquar Hussein Monash University
23:20
5m
Paper
Is 40 the new 60? How popular media portrays the employability of older software developers
Journal First
Sebastian Baltes University of Adelaide, George Park Itility, Alexander Serebrenik Eindhoven University of Technology
23:25
5m
Paper
csDetector: An Open Source Tool for Community Smells Detection
Demonstrations
Nuri Almarimi ETS, Ali Ouni ETS, Moataz Chouchen ETS, Mohamed Wiem Mkaouer Rochester Institute of Technology
DOI
23:30
30m
Live Q&A
Q&A (Human Aspects—Developers 2)
Research Papers

23:00 - 00:00
Testing—Debugging 2Research Papers
Chair(s): Emerson Murphy-Hill Google
23:00
10m
Paper
Detecting and Localizing Keyboard Accessibility Failures in Web ApplicationsArtifacts Reusable
Research Papers
Paul T. Chiou University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California
DOI
23:10
10m
Paper
Swarmbug: Debugging Configuration Bugs in Swarm Robotics
Research Papers
Chijung Jung University of Virginia, Ali Ahad University of Virginia, Jinho Jung Georgia Institute of Technology, Sebastian Elbaum University of Virginia, Yonghwi Kwon University of Virginia
DOI
23:20
10m
Paper
Probabilistic Delta DebuggingDistinguished Paper AwardArtifacts Available
Research Papers
Guancheng Wang Peking University, Ruobing Shen Peking University, Junjie Chen Tianjin University, Yingfei Xiong Peking University, Lu Zhang Peking University
DOI Pre-print
23:30
30m
Live Q&A
Q&A (Testing—Debugging 2)
Research Papers

Fri 27 Aug

Displayed time zone: Athens change

00:00 - 01:00
Analytics & Software Evolution—Recommender SystemsDemonstrations / Research Papers / Industry Papers
Chair(s): Juri Di Rocco University of L'Aquila
00:00
10m
Paper
Which Abbreviations Should Be Expanded?Artifacts Available
Research Papers
Yanjie Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Nan Niu University of Cincinnati, Yuhai Zhao Northeastern University, Lu Zhang Peking University
DOI
00:10
5m
Paper
BRAID: An API Recommender Supporting Implicit User Feedback
Demonstrations
Yu Zhou Nanjing University of Aeronautics and Astronautics, Haonan Jin Nanjing University of Aeronautics and Astronautics, Xinying Yang Nanjing University of Aeronautics and Astronautics, Taolue Chen University of London, Krishna Narasimhan TU Darmstadt, Harald Gall University of Zurich
DOI
00:15
5m
Paper
Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow
Demonstrations
Zhipeng Gao Monash University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University, Yuan-Fang Li Monash University
DOI
00:20
5m
Paper
StackEmo: Towards Enhancing User Experience by Augmenting Stack Overflow with Emojis
Demonstrations
DOI Media Attached
00:25
5m
Paper
Domain Adaptation for an Automated Classification of Deontic Modalities in Software Engineering Contracts
Industry Papers
Vivek Joshi TCS Research, Preethu Rose Anish TCS Research, Smita Ghaisas TCS Research
DOI
00:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Recommender Systems)
Research Papers

00:00 - 01:00
Human Aspects—HCI and MobileResearch Papers / Industry Papers
Chair(s): Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation
00:00
10m
Paper
Data-Driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps
Research Papers
Forough Mehralian University of California at Irvine, Navid Salehnamadi University of California at Irvine, Sam Malek University of California at Irvine
DOI
00:10
10m
Paper
Benchmarking Automated GUI Testing for Android against Real-World BugsArtifacts AvailableArtifacts Reusable
Research Papers
Ting Su East China Normal University, Jue Wang Nanjing University, Zhendong Su ETH Zurich
DOI Pre-print Media Attached
00:20
10m
Paper
An Empirical Study of GUI Widget Detection for Industrial Mobile Games
Industry Papers
Jiaming Ye Kyushu University, Ke Chen Fuxi AI Lab of Netease, Xiaofei Xie Kyushu University, Lei Ma University of Alberta, Ruochen Huang University of Alberta, Yingfeng Chen Fuxi AI Lab of Netease, Yinxing Xue University of Science and Technology of China, Jianjun Zhao Kyushu University
DOI
00:30
30m
Live Q&A
Q&A (Human Aspects—HCI and Mobile)
Research Papers

00:00 - 01:00
Testing—Program Repair 2Journal First / Research Papers
Chair(s): Tien N. Nguyen University of Texas at Dallas
00:00
10m
Paper
VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair
Research Papers
Chu-Pan Wong Carnegie Mellon University, Priscila Santiesteban Coe College, Christian Kästner Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
DOI
00:10
10m
Paper
Automated Patch Assessment for Program Repair at Scale
Journal First
He Ye KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology
00:20
10m
Paper
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Journal First
Tongtong Xu Department of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan Chen The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Carlo A. Furia Università della Svizzera italiana (USI)
00:30
30m
Live Q&A
Q&A (Testing—Program Repair 2)
Research Papers

04:00 - 05:00
Dependability—DependabilityIdeas, Visions and Reflections / Research Papers
Chair(s): Eunsuk Kang Carnegie Mellon University
04:00
10m
Paper
Lightweight and Modular Resource Leak VerificationArtifacts FunctionalArtifacts Available
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
DOI
04:10
10m
Paper
JSISOLATE: Lightweight In-Browser JavaScript IsolationArtifacts Available
Research Papers
Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
DOI
04:20
5m
Paper
Software Robustness: A Survey, a Theory, and Prospects
Ideas, Visions and Reflections
Justyna Petke University College London, David Clark University College London, William B. Langdon University College London
DOI
04:25
5m
Paper
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
DOI
04:30
30m
Live Q&A
Q&A (Dependability—Dependability)
Research Papers

04:00 - 05:00
Analytics & Software Evolution—Software Evolution 2Research Papers / Industry Papers / Journal First / Demonstrations / Ideas, Visions and Reflections
Chair(s): Martin P. Robillard McGill University, John Grundy Monash University
04:00
10m
Paper
Duplicated Code Pattern Mining in Visual Programming Languages
Industry Papers
Miguel Terra-Neves OutSystems, João Pedro Nunes Nadkarni OutSystems, Miguel Ventura OutSystems, Pedro Resende OutSystems, Hugo Veiga OutSystems, António Alegria OutSystems
DOI
04:10
10m
Paper
Release Synchronization in Software Ecosystems
Journal First
Armstrong Foundjem Queen's University, Bram Adams Queens University
04:20
5m
Paper
Towards Immersive Software Archaeology: Regaining Legacy Systems’ Design Knowledge via Interactive Exploration in Virtual Reality
Ideas, Visions and Reflections
Adrian Hoff IT University of Copenhagen, Michael Nieke IT University of Copenhagen, Christoph Seidl IT University of Copenhagen
DOI
04:25
5m
Paper
KGAMD: An API-Misuse Detector Driven by Fine-Grained API-Constraint Knowledge Graph
Demonstrations
Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Zhenchang Xing Australian National University, Xin Xia Huawei Technologies, Xiwei Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61; UNSW, Jianling Sun Zhejiang University
DOI
04:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Software Evolution 2)
Research Papers

04:00 - 05:00
Testing—Test Generation 1Research Papers / Journal First
Chair(s): Shiva Nejati University of Ottawa
04:00
10m
Paper
Graph-Based Seed Object Synthesis for Search-Based Unit Testing
Research Papers
Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore
DOI Pre-print
04:10
10m
Paper
An Extended Abstract of ''Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition''
Journal First
Kun Qiu Hefei University of Technology, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia
Link to publication DOI
04:20
10m
Paper
Output Sampling for Output Diversity in Automatic Unit Test Generation
Journal First
Hector Menendez Middlesex University London, Michele Boreale Università di Firenze, Daniele Gorla Department of Computer Science, Sapienza University of Rome, David Clark University College London
04:30
30m
Live Q&A
Q&A (Testing—Test Generation 1)
Research Papers

05:00 - 06:00
Dependability—Vulnerabilities 1Research Papers
Chair(s): Marsha Chechik University of Toronto
05:00
10m
Paper
Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup AnalysisArtifacts Available
Research Papers
Song Li Johns Hopkins University, Mingqing Kang Johns Hopkins University, Jianwei Hou Johns Hopkins University; Renmin University of China, Yinzhi Cao Johns Hopkins University
DOI
05:10
10m
Paper
Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events
Research Papers
Kunpeng Yu Xi'an Jiaotong University, Chenxu Wang Xi'an Jiaotong University, Yan Cai Institute of Software at Chinese Academy of Sciences, Xiapu Luo Hong Kong Polytechnic University, Zijiang Yang Western Michigan University
DOI
05:20
10m
Paper
Vulnerability Detection with Fine-Grained Interpretations
Research Papers
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
DOI Pre-print
05:30
30m
Live Q&A
Q&A (Dependability—Vulnerabilities 1)
Research Papers

05:00 - 06:00
Analytics & Software Evolution—Software Evolution 1Research Papers / Demonstrations / Journal First
Chair(s): Lingxiao Jiang Singapore Management University, Massimiliano Di Penta University of Sannio
05:00
10m
Paper
Feature Trace RecordingBest Artifact AwardArtifacts AvailableArtifacts Reusable
Research Papers
Paul Maximilian Bittner University of Ulm, Alexander Schultheiß Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin, Jeffrey M. Young Oregon State University, Lukas Linsbauer TU Braunschweig
DOI Pre-print Media Attached
05:10
10m
Paper
A Longitudinal Analysis of Bloated Java DependenciesDistinguished Paper AwardArtifacts Available
Research Papers
DOI Pre-print
05:20
5m
Paper
DAF: Dependency-Aware FaaSifier for Node.js Monolithic Applications
Journal First
Sasko Ristov University of Innsbruck, Stefan Pedratscher University of Innsbruck, Jakob Wallnöfer University of Innsbruck, Thomas Fahringer University of Innsbruck
05:25
5m
Paper
AC²: Towards Understanding Architectural Changes in Python Projects
Demonstrations
A. Eashaan Rao IIT Tirupati, Dheeraj Vagavolu IIT Tirupati, Sridhar Chimalakonda IIT Tirupati
DOI Media Attached
05:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Software Evolution 1)
Research Papers

05:00 - 06:00
Testing—Test Generation 2Research Papers / Demonstrations / Journal First
Chair(s): Shiva Nejati University of Ottawa
05:00
10m
Paper
LS-Sampling: An Effective Local Search Based Sampling Approach for Achieving High t-wise Coverage
Research Papers
Chuan Luo Microsoft Research, Binqi Sun Microsoft Research, Bo Qiao Microsoft Research, Junjie Chen Tianjin University, Hongyu Zhang University of Newcastle, Jinkun Lin Institute of Software at Chinese Academy of Sciences, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research
DOI
05:10
10m
Paper
GLIB: Towards Automated Test Oracle for Graphically-Rich ApplicationsArtifacts Available
Research Papers
Ke Chen Fuxi AI Lab of Netease, Yufei Li University of Texas at Dallas, Yingfeng Chen Fuxi AI Lab of Netease, Changjie Fan Netease, Zhipeng Hu Netease, Wei Yang University of Texas at Dallas
DOI
05:20
5m
Paper
CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition
Demonstrations
Muhammad Hilmi Asyrofi Singapore Management University, Zhou Yang Singapore Management University, David Lo Singapore Management University
DOI Pre-print Media Attached
05:25
5m
Paper
Practical Constraint Solving for Generating System Test Data
Journal First
Ghanem Soltana SnT, University of Luxembourg, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg
05:30
30m
Live Q&A
Q&A (Testing—Test Generation 2)
Research Papers

07:00 - 08:00
Dependability—Vulnerabilities 2Demonstrations / Research Papers
Chair(s): Ramy Shahin University of Toronto
07:00
10m
Paper
Identifying Casualty Changes in Software Patches
Research Papers
Adriana Sejfia University of Southern California, Yixue Zhao University of Massachusetts at Amherst, Nenad Medvidović University of Southern California
DOI Media Attached
07:10
10m
Paper
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control VulnerabilitiesArtifacts AvailableArtifacts Reusable
Research Papers
Yang Hu University of Texas at Austin, Wenxi Wang University of Texas at Austin, Casen Hunger University of Texas at Austin, Riley Wood University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Mohit Tiwari University of Texas at Austin
DOI
07:20
5m
Paper
ICME: An Informed Consent Management Engine for Conformance in Smart Building Environments
Demonstrations
Chehara Pathmabandu Monash University, John Grundy Monash University, Mohan Baruwal Chhetri CSIRO’s Data61, Zubair Baig Deakin University
DOI Media Attached
07:25
5m
Paper
CrossVul: A Cross-Language Vulnerability Dataset with Commit Data
Demonstrations
Georgios Nikitopoulos University of Thessaly, Konstantina Dritsa Athens University of Economics and Business, Panos Louridas Athens University of Economics and Business, Dimitris Mitropoulos University of Athens
DOI
07:30
30m
Live Q&A
Q&A (Dependability—Vulnerabilities 2)
Research Papers

07:00 - 08:00
Analytics & Software Evolution—RefactoringJournal First / Industry Papers / Research Papers
Chair(s): Venera Arnaoudova Washington State University, Alexander Chatzigeorgiou University of Macedonia
07:00
10m
Paper
An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking MechanismArtifacts FunctionalArtifacts Available
Research Papers
Xiao Wang Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Tingting Yu University of Cincinnati, Anne Woepse Analytical Graphics, Sunny Wong Analytical Graphics
DOI
07:10
10m
Paper
RePOR: Mimicking humans on refactoring tasks. Are we there yet?
Journal First
Rodrigo Morales Concordia University, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal
07:20
10m
Paper
One Thousand and One Stories: A Large-Scale Survey of Software Refactoring
Industry Papers
Yaroslav Golubev JetBrains Research, Zarina Kurbatova JetBrains Research, Eman Abdullah AlOmar Rochester Institute of Technology, Timofey Bryksin JetBrains Research; HSE University, Mohamed Wiem Mkaouer Rochester Institute of Technology
DOI Pre-print
07:30
30m
Live Q&A
Q&A (Analytics & Software Evolution—Refactoring)
Research Papers

07:00 - 08:00
Human Aspects—Human Computer InteractionDemonstrations / Journal First / Research Papers
Chair(s): Bonita Sharif University of Nebraska-Lincoln, USA
07:00
10m
Paper
Synthesis of Web Layouts from ExamplesArtifacts AvailableArtifacts Reusable
Research Papers
Dylan Lukes University of California at San Diego, John Sarracino Cornell University, Cora Coleman University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego
DOI
07:10
5m
Paper
Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers
Journal First
Carianne Pretorius Eindhoven University of Technology, Maryam Razavian Eindhoven University of Technology, Katrin Eling Eindhoven University of Technology, Fred Langerak Eindhoven University of Technology
07:15
5m
Paper
BiasRV: Uncovering Biased Sentiment Predictions at Runtime
Demonstrations
Zhou Yang Singapore Management University, Muhammad Hilmi Asyrofi Singapore Management University, David Lo Singapore Management University
DOI Media Attached
07:20
5m
Paper
OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues
Demonstrations
Yuhui Su Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software at Chinese Academy of Sciences, Chunyang Chen Monash University, Junjie Wang Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
DOI Authorizer link Pre-print Media Attached
07:25
5m
Paper
Frontmatter: Mining Android User Interfaces at ScaleArtifacts Available
Demonstrations
Konstantin Kuznetsov CISPA, Chen Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, David N. Jansen Institute of Software at Chinese Academy of Sciences; Institute of Intelligent Software, Lijun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Institute of Intelligent Software, Andreas Zeller CISPA
DOI Media Attached
07:30
30m
Live Q&A
Q&A (Human Aspects—Human Computer Interaction)
Research Papers

07:00 - 08:00
Testing—Mobile Analysis and TestingResearch Papers
Chair(s): Wei Yang University of Texas at Dallas
07:00
10m
Paper
Algebraic-Datatype Taint Tracking, with Applications to Understanding Android Identifier LeaksArtifacts FunctionalArtifacts Available
Research Papers
Sydur Rahaman New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology, Xin Yin New Jersey Institute of Technology
DOI
07:10
10m
Paper
Vet: Identifying and Avoiding UI Exploration TarpitsDistinguished Paper Award
Research Papers
Wenyu Wang University of Illinois at Urbana-Champaign, Wei Yang University of Texas at Dallas, Tianyin Xu University of Illinois at Urbana-Champaign, Tao Xie Peking University
Link to publication DOI Media Attached
07:20
10m
Paper
Checking Conformance of Applications against GUI Policies
Research Papers
Zhen Zhang University of Washington, Yu Feng University of California at Santa Barbara, Michael D. Ernst University of Washington, Sebastian Porst Google, Isil Dillig University of Texas at Austin
DOI
07:30
30m
Live Q&A
Q&A (Testing—Mobile Analysis and Testing)
Research Papers

11:00 - 12:00
Testing—Testing of Machine Learning ModelsResearch Papers / Journal First +12h
Chair(s): Chang Xu Nanjing University
11:00
10m
Paper
Validation on Machine Reading Comprehension Software without Annotated Labels: A Property-Based Method
Research Papers
Songqiang Chen Wuhan University, Shuo Jin Wuhan University, Xiaoyuan Xie Wuhan University
DOI
11:10
10m
Paper
FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds
Research Papers
Saikat Dutta University of Illinois at Urbana-Champaign, August Shi University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign
DOI
11:20
10m
Paper
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
Journal First
Junjie Chen Tianjin University, Zhuo Wu Tianjin International Engineering Institute, Tianjin University, Zan Wang Tianjin University, China, Hanmo You College of Intelligence and Computing, Tianjin University, Lingming Zhang University of Illinois at Urbana-Champaign, Ming Yan Tianjin University
11:30
30m
Live Q&A
Q&A (Testing—Testing of Machine Learning Models)
Research Papers

11:00 - 12:00
Architectures & Design—Model-Driven Software EngineeringResearch Papers / Demonstrations +12h
Chair(s): Luciano Baresi Politecnico di Milano, Davide Di Ruscio University of L'Aquila
11:00
10m
Paper
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
Changjian Zhang Carnegie Mellon University, Ryan Wagner Carnegie Mellon University, Pedro Orvalho INESC-ID; Universidade de Lisboa, David Garlan Carnegie Mellon University, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
DOI
11:10
10m
Paper
Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive SystemsArtifacts Available
Research Papers
Yanxiang Tong Nanjing University, Yi Qin Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University, Xiaoxing Ma Nanjing University
DOI
11:20
5m
Paper
Sangrahaka: A Tool for Annotating and Querying Knowledge Graphs
Demonstrations
DOI
11:25
5m
Paper
GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces
Demonstrations
Stanly Samuel Indian Institute of Science, India, Deepak D'Souza IISc Bangalore, Raghavan Komondoor IISc Bengaluru
DOI Pre-print
11:30
30m
Live Q&A
Q&A (Architectures & Design—Model-Driven Software Engineering)
Research Papers

11:00 - 12:00
Human Aspects—Software ProcessesResearch Papers / Industry Papers / Journal First +12h
Chair(s): Carlos Gavidia-Calderon ThoughtWorks (UK) Ltd., Ivica Crnkovic Chalmers University of Technology
11:00
10m
Paper
Organizational Implications of Agile Adoption: A Case Study from the Public Sector
Industry Papers
Parastoo Mohagheghi NAV, Casper Lassenius Simula Metropolitan Center for Digital Engineering
DOI
11:10
10m
Paper
How agile teams make self-assignment work: a grounded theory study
Journal First
Zainab Masood University of Auckland, Rashina Hoda Monash University, Kelly Blincoe University of Auckland
11:20
10m
Paper
Sustainability Forecasting for Apache Incubator Projects
Research Papers
Likang Yin University of California at Davis, Zhuangzhi Chen Zhejiang University of Technology, Qi Xuan Zhejiang University of Technology, Vladimir Filkov University of California at Davis
DOI
11:30
30m
Live Q&A
Q&A (Human Aspects—Software Processes)
Research Papers

11:00 - 12:00
Human Aspects—Software Practices 2Research Papers / Journal First +12h
Chair(s): Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Ivica Crnkovic Chalmers University of Technology
11:00
10m
Paper
How Disabled Tests Manifest in Test Maintainability Challenges?
Research Papers
Dong Jae Kim Concordia University, Bo Yang Concordia University, Jinqiu Yang Concordia University, Tse-Hsun (Peter) Chen Concordia University
DOI Pre-print
11:10
10m
Paper
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Journal First
Mario Gleirscher University of Bremen, Diego Marmsoler University of Exeter
11:20
10m
Paper
Promises and Challenges of Microservices: An Exploratory Study
Journal First
YINGYING WANG University of British Columbia, Harshavardhan Kadiyala The University of British Columbia, Julia Rubin University of British Columbia
11:30
30m
Live Q&A
Q&A (Human Aspects—Software Practices 2)
Research Papers

16:00 - 17:00
Dependability—Software Security 1Research Papers / Industry Papers +12h
Chair(s): Yi Li Nanyang Technological University
16:00
10m
Paper
LastPyMile: Identifying the Discrepancy between Sources and PackagesArtifacts Available
Research Papers
Duc Ly Vu University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Ivan Pashchenko University of Trento, Henrik Plate SAP Security Research, Antonino Sabetta SAP Security Research
DOI
16:10
10m
Paper
A Grounded Theory of the Role of Coordination in Software Security Patch Management
Research Papers
Nesara Dissanayake University of Adelaide, Mansooreh Zahedi University of Adelaide, Asangi Jayatilaka University of Adelaide, Muhammad Ali Babar University of Adelaide
DOI
16:20
10m
Paper
Infiltrating Security into Development: Exploring the World’s Largest Software Security Study
Industry Papers
Charles Weir Lancaster University, Sammy Migues Synopsys, Mike Ware Synopsys, Laurie Williams North Carolina State University
DOI
16:30
30m
Live Q&A
Q&A (Dependability—Software Security 1)
Research Papers

16:00 - 17:00
Architectures & Design—Cloud Computing 1Research Papers / Industry Papers +12h
Chair(s): Luciano Baresi Politecnico di Milano, Yu Kang Microsoft Research, Beijing, China
16:00
10m
Paper
An Empirical Study on Challenges of Application Development in Serverless Computing
Research Papers
Jinfeng Wen Peking University, Zhenpeng Chen Peking University, Yi Liu Peking University, Yiling Lou Purdue University, Yun Ma Peking University, Gang Huang Peking University, Xin Jin Peking University, Xuanzhe Liu Peking University
DOI
16:10
10m
Paper
An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems
Industry Papers
Nengwen Zhao Tsinghua University, Honglin Wang BizSeer, Zeyan Li Tsinghua University, Xiao Peng China Everbright Bank, Gang Wang China Everbright Bank, Zhu Pan China Everbright Bank, Yong Wu China Everbright Bank, Zhen Feng China Everbright Bank, Xidao Wen Tsinghua University, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University
DOI
16:20
5m
Paper
Effective Low Capacity Status Prediction for Cloud Systems
Industry Papers
Hang Dong Microsoft Research, Si Qin Microsoft Research, Yong Xu Microsoft Research, Bo Qiao Microsoft Research, Shandan Zhou Microsoft Azure, Xian Yang Hong Kong Baptist University, Chuan Luo Microsoft Research, Pu Zhao Microsoft Research, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Abulikemu Abuduweili Peking University, Sanjay Ramanujan Microsoft Azure, Karthikeyan Subramanian Microsoft Azure, Andrew Zhou Microsoft 365, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research, Thomas Moscibroda Microsoft Azure
DOI
16:25
5m
Paper
Intelligent Container Reallocation at Microsoft 365
Industry Papers
Bo Qiao Microsoft Research, Fangkai Yang Microsoft Research, Chuan Luo Microsoft Research, Yanan Wang Microsoft 365, Johnny Li Microsoft 365, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Mohit Datta Microsoft 365, Andrew Zhou Microsoft 365, Thomas Moscibroda Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research
DOI
16:30
30m
Live Q&A
Q&A (Architectures & Design—Cloud Computing 1)
Research Papers

16:00 - 17:00
Human Aspects—Software Practices 1Journal First / Research Papers / Industry Papers +12h
Chair(s): Carlos Gavidia-Calderon ThoughtWorks (UK) Ltd.
16:00
10m
Paper
XAI Tools in the Public Sector: A Case Study on Predicting Combined Sewer OverflowsArtifacts AvailableArtifacts Reusable
Research Papers
Nicholas Maltbie University of Cincinnati, Nan Niu University of Cincinnati, Matthew Van Doren Metropolitan Sewer District of Greater Cincinnati, Reese Johnson Metropolitan Sewer District of Greater Cincinnati
DOI
16:10
10m
Paper
Software Development with Feature Toggles: Practices used by Practitioners
Journal First
Rezvan Mahdavi-Hezaveh North Carolina State University, Jacob Dremann North Carolina State University, Laurie Williams North Carolina State University
16:20
10m
Paper
How Can Manual Testing Processes Be Optimized? Developer Survey, Optimization Guidelines, and Case Studies
Industry Papers
Roman Haas Saarland University; CQSE, Daniel Elsner TU Munich, Elmar Juergens CQSE, Alexander Pretschner TU Munich, Sven Apel Saarland University
DOI Pre-print Media Attached
16:30
30m
Live Q&A
Q&A (Human Aspects—Software Practices 1)
Research Papers

17:00 - 18:00
Dependability—Software Security 2Research Papers / Industry Papers / Journal First +12h
Chair(s): Vaggelis Atlidakis Brown University
17:00
10m
Paper
TaintStream: Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
Research Papers
Chengxu Yang Peking University, Yuanchun Li Microsoft Research, Mengwei Xu Beijing University of Posts and Telecommunications, Zhenpeng Chen Peking University, Yunxin Liu Tsinghua University, Gang Huang Peking University, Xuanzhe Liu Peking University
DOI Pre-print
17:10
10m
Paper
How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization)
Journal First
Rui Shu North Carolina State University, Tianpei Xia North Carolina State University, Jianfeng Chen North Carolina State University, Laurie Williams North Carolina State University, Tim Menzies North Carolina State University
17:20
10m
Paper
A Comprehensive Study on Learning-Based PE Malware Family Classification Methods
Industry Papers
Yixuan Ma State Key Laboratory of Communication Content Cognition; Tianjin University, Shuang Liu Tianjin University, Jiajun Jiang Tianjin University, Guanhong Chen Tianjin University, Keqiu Li Tianjin University
DOI
17:30
30m
Live Q&A
Q&A (Dependability—Software Security 2)
Research Papers

17:00 - 18:00
Architectures & Design—Cloud Computing 2Industry Papers / Research Papers +12h
Chair(s): Luciano Baresi Politecnico di Milano, Yu Kang Microsoft Research, Beijing, China
17:00
10m
Paper
Onion: Identifying Incident-Indicating Logs for Cloud Systems
Industry Papers
Xu Zhang Microsoft Research, Yong Xu Microsoft Research, Si Qin Microsoft Research, Shilin He Microsoft Research, Bo Qiao Microsoft Research, Ze Li Microsoft Azure, Hongyu Zhang University of Newcastle, Xukun Li Microsoft Azure, Yingnong Dang Microsoft Azure, Qingwei Lin Microsoft Research, Murali Chintalapati Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research
DOI
17:10
10m
Paper
Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices
Industry Papers
Anup K. Kalia IBM Research, Jin Xiao IBM Research, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research, Debasish Banerjee IBM
DOI
17:20
10m
Paper
RAPID: Checking API Usage for the Cloud in the Cloud
Industry Papers
Michael Emmi Amazon Web Services, Liana Hadarean Amazon Web Services, Ranjit Jhala University of California at San Diego; Amazon Web Services, Lee Pike Amazon Web Services, Nicolás Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services
DOI
17:30
30m
Live Q&A
Q&A (Architectures & Design—Cloud Computing 2)
Research Papers

17:00 - 18:00
Human Aspects—Research Trends in Software EngineeringJournal First / Research Papers / Ideas, Visions and Reflections +12h
Chair(s): Ivica Crnkovic Chalmers University of Technology
17:00
10m
Paper
Comparing the Results of Replications in Software Engineering
Journal First
Adrian Santos Parrilla University of Oulu, Sira Vegas Universidad Politecnica de Madrid, Markku Oivo University of Oulu, Natalia Juristo Universidad Politecnica de Madrid
17:10
5m
Paper
Term Interrelations and Trends in Software Engineering
Ideas, Visions and Reflections
Janusan Baskararajah Ryerson University, Lei Zhang Ryerson University, Andriy Miranskyy Ryerson University
DOI Pre-print Media Attached
17:15
45m
Live Q&A
Q&A (Human Aspects—Research Trends in Software Engineering) & Mini-panel
Research Papers
P: Elvan Kula Delft University of Technology, P: Zoe Kotti Athens University of Economics and Business, P: Georgios Gousios Facebook & Delft University of Technology, P: Massimiliano Di Penta University of Sannio
17:00 - 18:00
Testing—Test Prioritization and SelectionIndustry Papers / Journal First / Research Papers +12h
Chair(s): Wing Lam University of Illinois at Urbana-Champaign, Myra Cohen Iowa State University
17:00
10m
Paper
A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments
Journal First
Jackson A. Prado Lima Federal University of Paraná, Silvia Regina Vergilio Federal University of Paraná
Link to publication DOI Pre-print Media Attached
17:10
10m
Paper
Data-Driven Test Selection at Scale
Industry Papers
Sonu Mehta Microsoft Research, Farima Farmahinifarahani University of California at Irvine, Ranjita Bhagwan Microsoft Research, Suraj Guptha Microsoft, Sina Jafari Microsoft, Rahul Kumar Microsoft Research, Vaibhav Saini Microsoft, Anirudh Santhiar Microsoft
DOI
17:20
10m
Paper
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Journal First
Ines Hajri University of Luxembourg, Arda Goknil SINTEF Digital, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg
17:30
30m
Live Q&A
Q&A (Testing—Test Prioritization and Selection)
Research Papers

23:00 - 00:00
Testing—Testing of Machine Learning ModelsJournal First / Research Papers
Chair(s): Dan Hao Peking University
23:00
10m
Paper
Validation on Machine Reading Comprehension Software without Annotated Labels: A Property-Based Method
Research Papers
Songqiang Chen Wuhan University, Shuo Jin Wuhan University, Xiaoyuan Xie Wuhan University
DOI
23:10
10m
Paper
FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds
Research Papers
Saikat Dutta University of Illinois at Urbana-Champaign, August Shi University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign
DOI
23:20
10m
Paper
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
Journal First
Junjie Chen Tianjin University, Zhuo Wu Tianjin International Engineering Institute, Tianjin University, Zan Wang Tianjin University, China, Hanmo You College of Intelligence and Computing, Tianjin University, Lingming Zhang University of Illinois at Urbana-Champaign, Ming Yan Tianjin University
23:30
30m
Live Q&A
Q&A (Testing—Testing of Machine Learning Models)
Research Papers

23:00 - 00:00
Architectures & Design—Model-Driven Software EngineeringResearch Papers / Demonstrations
Chair(s): Davide Di Ruscio University of L'Aquila
23:00
10m
Paper
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
Changjian Zhang Carnegie Mellon University, Ryan Wagner Carnegie Mellon University, Pedro Orvalho INESC-ID; Universidade de Lisboa, David Garlan Carnegie Mellon University, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
DOI
23:10
10m
Paper
Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive SystemsArtifacts Available
Research Papers
Yanxiang Tong Nanjing University, Yi Qin Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University, Xiaoxing Ma Nanjing University
DOI
23:20
5m
Paper
Sangrahaka: A Tool for Annotating and Querying Knowledge Graphs
Demonstrations
DOI
23:25
5m
Paper
GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces
Demonstrations
Stanly Samuel Indian Institute of Science, India, Deepak D'Souza IISc Bangalore, Raghavan Komondoor IISc Bengaluru
DOI Pre-print
23:30
30m
Live Q&A
Q&A (Architectures & Design—Model-Driven Software Engineering)
Research Papers

23:00 - 00:00
Human Aspects—Software ProcessesResearch Papers / Journal First / Industry Papers
Chair(s): Alexander Chatzigeorgiou University of Macedonia
23:00
10m
Paper
Organizational Implications of Agile Adoption: A Case Study from the Public Sector
Industry Papers
Parastoo Mohagheghi NAV, Casper Lassenius Simula Metropolitan Center for Digital Engineering
DOI
23:10
10m
Paper
How agile teams make self-assignment work: a grounded theory study
Journal First
Zainab Masood University of Auckland, Rashina Hoda Monash University, Kelly Blincoe University of Auckland
23:20
10m
Paper
Sustainability Forecasting for Apache Incubator Projects
Research Papers
Likang Yin University of California at Davis, Zhuangzhi Chen Zhejiang University of Technology, Qi Xuan Zhejiang University of Technology, Vladimir Filkov University of California at Davis
DOI
23:30
30m
Live Q&A
Q&A (Human Aspects—Software Processes)
Research Papers

23:00 - 00:00
Human Aspects—Software Practices 2Journal First / Research Papers
Chair(s): Kostadin Damevski Virginia Commonwealth University
23:00
10m
Paper
How Disabled Tests Manifest in Test Maintainability Challenges?
Research Papers
Dong Jae Kim Concordia University, Bo Yang Concordia University, Jinqiu Yang Concordia University, Tse-Hsun (Peter) Chen Concordia University
DOI Pre-print
23:10
10m
Paper
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Journal First
Mario Gleirscher University of Bremen, Diego Marmsoler University of Exeter
23:20
10m
Paper
Promises and Challenges of Microservices: An Exploratory Study
Journal First
YINGYING WANG University of British Columbia, Harshavardhan Kadiyala The University of British Columbia, Julia Rubin University of British Columbia
23:30
30m
Live Q&A
Q&A (Human Aspects—Software Practices 2)
Research Papers

Sat 28 Aug

Displayed time zone: Athens change

04:00 - 05:00
Dependability—Software Security 1Research Papers / Industry Papers
Chair(s): Mehrdad Sabetzadeh University of Ottawa, David Lo Singapore Management University
04:00
10m
Paper
LastPyMile: Identifying the Discrepancy between Sources and PackagesArtifacts Available
Research Papers
Duc Ly Vu University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Ivan Pashchenko University of Trento, Henrik Plate SAP Security Research, Antonino Sabetta SAP Security Research
DOI
04:10
10m
Paper
A Grounded Theory of the Role of Coordination in Software Security Patch Management
Research Papers
Nesara Dissanayake University of Adelaide, Mansooreh Zahedi University of Adelaide, Asangi Jayatilaka University of Adelaide, Muhammad Ali Babar University of Adelaide
DOI
04:20
10m
Paper
Infiltrating Security into Development: Exploring the World’s Largest Software Security Study
Industry Papers
Charles Weir Lancaster University, Sammy Migues Synopsys, Mike Ware Synopsys, Laurie Williams North Carolina State University
DOI
04:30
30m
Live Q&A
Q&A (Dependability—Software Security 1)
Research Papers

04:00 - 05:00
Architectures & Design—Cloud Computing 1Industry Papers / Research Papers
Chair(s): Yu Kang Microsoft Research, Beijing, China
04:00
10m
Paper
An Empirical Study on Challenges of Application Development in Serverless Computing
Research Papers
Jinfeng Wen Peking University, Zhenpeng Chen Peking University, Yi Liu Peking University, Yiling Lou Purdue University, Yun Ma Peking University, Gang Huang Peking University, Xin Jin Peking University, Xuanzhe Liu Peking University
DOI
04:10
10m
Paper
An Empirical Investigation of Practical Log Anomaly Detection for Online Service Systems
Industry Papers
Nengwen Zhao Tsinghua University, Honglin Wang BizSeer, Zeyan Li Tsinghua University, Xiao Peng China Everbright Bank, Gang Wang China Everbright Bank, Zhu Pan China Everbright Bank, Yong Wu China Everbright Bank, Zhen Feng China Everbright Bank, Xidao Wen Tsinghua University, Wenchi Zhang BizSeer, Kaixin Sui BizSeer, Dan Pei Tsinghua University
DOI
04:20
5m
Paper
Effective Low Capacity Status Prediction for Cloud Systems
Industry Papers
Hang Dong Microsoft Research, Si Qin Microsoft Research, Yong Xu Microsoft Research, Bo Qiao Microsoft Research, Shandan Zhou Microsoft Azure, Xian Yang Hong Kong Baptist University, Chuan Luo Microsoft Research, Pu Zhao Microsoft Research, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Abulikemu Abuduweili Peking University, Sanjay Ramanujan Microsoft Azure, Karthikeyan Subramanian Microsoft Azure, Andrew Zhou Microsoft 365, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research, Thomas Moscibroda Microsoft Azure
DOI
04:25
5m
Paper
Intelligent Container Reallocation at Microsoft 365
Industry Papers
Bo Qiao Microsoft Research, Fangkai Yang Microsoft Research, Chuan Luo Microsoft Research, Yanan Wang Microsoft 365, Johnny Li Microsoft 365, Qingwei Lin Microsoft Research, Hongyu Zhang University of Newcastle, Mohit Datta Microsoft 365, Andrew Zhou Microsoft 365, Thomas Moscibroda Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research
DOI
04:30
30m
Live Q&A
Q&A (Architectures & Design—Cloud Computing 1)
Research Papers

04:00 - 05:00
Human Aspects—Software Practices 1Industry Papers / Research Papers / Journal First
Chair(s): Eirini Kalliamvakou University of Victoria
04:00
10m
Paper
XAI Tools in the Public Sector: A Case Study on Predicting Combined Sewer OverflowsArtifacts AvailableArtifacts Reusable
Research Papers
Nicholas Maltbie University of Cincinnati, Nan Niu University of Cincinnati, Matthew Van Doren Metropolitan Sewer District of Greater Cincinnati, Reese Johnson Metropolitan Sewer District of Greater Cincinnati
DOI
04:10
10m
Paper
Software Development with Feature Toggles: Practices used by Practitioners
Journal First
Rezvan Mahdavi-Hezaveh North Carolina State University, Jacob Dremann North Carolina State University, Laurie Williams North Carolina State University
04:20
10m
Paper
How Can Manual Testing Processes Be Optimized? Developer Survey, Optimization Guidelines, and Case Studies
Industry Papers
Roman Haas Saarland University; CQSE, Daniel Elsner TU Munich, Elmar Juergens CQSE, Alexander Pretschner TU Munich, Sven Apel Saarland University
DOI Pre-print Media Attached
04:30
30m
Live Q&A
Q&A (Human Aspects—Software Practices 1)
Research Papers

05:00 - 06:00
Dependability—Software Security 2Research Papers / Industry Papers / Journal First
Chair(s): Arie Gurfinkel University of Waterloo
05:00
10m
Paper
TaintStream: Fine-Grained Taint Tracking for Big Data Platforms through Dynamic Code Translation
Research Papers
Chengxu Yang Peking University, Yuanchun Li Microsoft Research, Mengwei Xu Beijing University of Posts and Telecommunications, Zhenpeng Chen Peking University, Yunxin Liu Tsinghua University, Gang Huang Peking University, Xuanzhe Liu Peking University
DOI Pre-print
05:10
10m
Paper
How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization)
Journal First
Rui Shu North Carolina State University, Tianpei Xia North Carolina State University, Jianfeng Chen North Carolina State University, Laurie Williams North Carolina State University, Tim Menzies North Carolina State University
05:20
10m
Paper
A Comprehensive Study on Learning-Based PE Malware Family Classification Methods
Industry Papers
Yixuan Ma State Key Laboratory of Communication Content Cognition; Tianjin University, Shuang Liu Tianjin University, Jiajun Jiang Tianjin University, Guanhong Chen Tianjin University, Keqiu Li Tianjin University
DOI
05:30
30m
Live Q&A
Q&A (Dependability—Software Security 2)
Research Papers

05:00 - 06:00
Architectures & Design—Cloud Computing 2Research Papers / Industry Papers
Chair(s): Yu Kang Microsoft Research, Beijing, China
05:00
10m
Paper
Onion: Identifying Incident-Indicating Logs for Cloud Systems
Industry Papers
Xu Zhang Microsoft Research, Yong Xu Microsoft Research, Si Qin Microsoft Research, Shilin He Microsoft Research, Bo Qiao Microsoft Research, Ze Li Microsoft Azure, Hongyu Zhang University of Newcastle, Xukun Li Microsoft Azure, Yingnong Dang Microsoft Azure, Qingwei Lin Microsoft Research, Murali Chintalapati Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research
DOI
05:10
10m
Paper
Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices
Industry Papers
Anup K. Kalia IBM Research, Jin Xiao IBM Research, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research, Debasish Banerjee IBM
DOI
05:20
10m
Paper
RAPID: Checking API Usage for the Cloud in the Cloud
Industry Papers
Michael Emmi Amazon Web Services, Liana Hadarean Amazon Web Services, Ranjit Jhala University of California at San Diego; Amazon Web Services, Lee Pike Amazon Web Services, Nicolás Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services
DOI
05:30
30m
Live Q&A
Q&A (Architectures & Design—Cloud Computing 2)
Research Papers

05:00 - 06:00
Human Aspects—Research Trends in Software EngineeringJournal First / Research Papers / Ideas, Visions and Reflections
Chair(s): Yuxia Zhang Beijing Institute of Technology
05:00
10m
Paper
Comparing the Results of Replications in Software Engineering
Journal First
Adrian Santos Parrilla University of Oulu, Sira Vegas Universidad Politecnica de Madrid, Markku Oivo University of Oulu, Natalia Juristo Universidad Politecnica de Madrid
05:10
5m
Paper
Term Interrelations and Trends in Software Engineering
Ideas, Visions and Reflections
Janusan Baskararajah Ryerson University, Lei Zhang Ryerson University, Andriy Miranskyy Ryerson University
DOI Pre-print Media Attached
05:15
45m
Live Q&A
Q&A (Human Aspects—Research Trends in Software Engineering) & Mini-panel
Research Papers
P: Elvan Kula Delft University of Technology, P: Zoe Kotti Athens University of Economics and Business, P: Georgios Gousios Facebook & Delft University of Technology, P: Massimiliano Di Penta University of Sannio
05:00 - 06:00
Testing—Test Prioritization and SelectionJournal First / Research Papers / Industry Papers
Chair(s): Michalis Famelis Université de Montréal
05:00
10m
Paper
A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments
Journal First
Jackson A. Prado Lima Federal University of Paraná, Silvia Regina Vergilio Federal University of Paraná
Link to publication DOI Pre-print Media Attached
05:10
10m
Paper
Data-Driven Test Selection at Scale
Industry Papers
Sonu Mehta Microsoft Research, Farima Farmahinifarahani University of California at Irvine, Ranjita Bhagwan Microsoft Research, Suraj Guptha Microsoft, Sina Jafari Microsoft, Rahul Kumar Microsoft Research, Vaibhav Saini Microsoft, Anirudh Santhiar Microsoft
DOI
05:20
10m
Paper
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Journal First
Ines Hajri University of Luxembourg, Arda Goknil SINTEF Digital, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg
05:30
30m
Live Q&A
Q&A (Testing—Test Prioritization and Selection)
Research Papers

Call for Papers

We invite high-quality submissions, from both industry and academia, describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. Contributions should describe innovative and significant original research. Papers describing groundbreaking approaches to emerging problems will also be considered. Submissions that facilitate reproducibility by using available datasets or making the described tools and datasets publicly available are especially encouraged. For a list of specific topics of interest, please see the end of this call. Papers submitted for consideration to ESEC/FSE should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the reviewing period. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.

How to Submit

At the time of submission, all papers must conform to the ESEC/FSE 2021 Format and Submission Guidelines, and must not exceed 10 pages for all text and figures plus 2 pages for references. For Microsoft Word users, please still use the “Interim Template” and not the New Workflow for ACM Publications. All submissions must be in English and in PDF format. You can submit, optionally, an additional file containing supplementary material (see details below). Submissions that do not comply with the above instructions will be desk rejected without review. Papers must be submitted electronically through the ESEC/FSE submission site:

https://esecfse2021.hotcrp.com

Each submission will be reviewed by at least three members of the program committee. Authors will have an opportunity to respond to reviews during a rebuttal period. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, evaluation, quality of presentation and appropriate comparison to related work. The program committee as a whole will make final decisions about which submissions to accept for presentation at the conference. ESEC/FSE 2021 will employ a double-blind review process. The papers submitted must not reveal the authors’ identities in any way:

  • Authors should leave out author names and affiliations from the body of their submission.
  • Authors should ensure that any citation to related work by themselves is written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”.
  • Authors should not include URLs to author-revealing sites (tools, datasets).
  • You are encouraged to submit a link to a Web site or repository containing supplementary material (raw data, datasets, experiments, etc.), as long as it is blinded. The visit of such sites should not be needed to conduct the review. The program committee will not necessarily consider it in the paper review process. For more information, please read How to disclose data for double-blind review and make it archived open data upon acceptance. As an alternative to having an external link, the submission form provides an option to attach a replication package.
  • Authors should anonymize author-revealing company names but instead provide general characteristics of the organizations involved needed to understand the context of the paper.
  • Authors should ensure that paper acknowledgements do not reveal the origin of their work.

The double-blind process used this year is “heavy”, i.e., the paper anonymity will be maintained during the reviewers’ discussion period and the authors’ rebuttal period. Authors must therefore maintain the anonymity in their responses during the rebuttal phase, and provide no additional information that would otherwise be author-revealing.

Authors with further questions on double-blind reviewing are encouraged to contact the program chairs by email. Papers that do not comply with the double-blind review process will be desk-rejected.

To prevent double submissions, the chairs will compare the submissions with related conferences that have overlapping review periods. The double submission restriction applies only to refereed journals and conferences, not to unrefereed forums (e.g. arXiv.org). To check for plagiarism issues, the chairs will use external plagiarism detection software.

That being said, we request that the authors postpone publishing your submitted work on Arxiv or similar sites until after the notification of acceptance, to comply with the double-blind reviewing process. If the authors have compelling reasons to nevertheless publish a preprint earlier, this publication cannot take place in the two weeks before or after the ESEC/FSE submission deadline. If the program chairs get the impression that the authors frivolously share papers and do not live up to the spirit of the double-blind reviewing process, the program chairs can decide to (desk) reject the paper.

All publications are subject to the ACM Author Representations policy.

Important Dates

All dates are 23:59:59 AoE (UTC-12h).

  • Full paper submission: February 25, 2021
  • Reviews for Rebuttal period: April 27, 2021
  • Rebuttal period (all papers): April 27-30, 2021
  • Discussion phase: May 1-15, 2021
  • Additional short response period (selected papers): May 10-12, 2021
  • Author notification: May 21, 2021
  • Camera ready: June 18, 2021

Open Science Policy

The research track of ESEC/FSE has introduced an open science policy. Openness in science is key to fostering scientific progress via transparency, reproducibility, and replicability. The steering principle is that all research results should be accessible to the public, if possible, and that empirical studies should be reproducible. In particular, we actively support the adoption of open data and open source principles and encourage all contributing authors to disclose (anonymized and curated) data to increase reproducibility and replicability.

Upon submission to the research track, authors are asked to make their data available to the program committee (via upload of supplemental material or a link to a private or public repository) or to comment on why this is not possible or desirable. While sharing such a repository is not mandatory for submission or acceptance, this information will be passed to the program committee to inform its decision. Furthermore, authors are asked to indicate whether they intend to make their data publicly available upon acceptance. For more details on ESEC/FSE open science policy, please refer to the official guidelines.

Authors of accepted papers will be given an opportunity (and encouragement) to submit their data and tools to the separate ESEC/FSE’21 artifact evaluation committee.

Topics of Interest

Topics of interest include, but are not limited to:

  1. Artificial intelligence and machine learning for software engineering
  2. Autonomic computing
  3. Debugging and fault localization
  4. Dependability, safety, and reliability
  5. Distributed and collaborative software engineering
  6. Embedded software, safety-critical systems, and cyber-physical systems
  7. Empirical software engineering
  8. Human-computer interaction
  9. Mining software repositories
  10. Mobile development
  11. Model checking
  12. Model-driven engineering
  13. Parallel, distributed, and concurrent systems
  14. Performance engineering
  15. Program analysis
  16. Program comprehension
  17. Program repair
  18. Program synthesis
  19. Programming languages
  20. Recommendation systems
  21. Requirements engineering
  22. Search based software engineering
  23. Services, components, and cloud
  24. Software architectures
  25. Software engineering education
  26. Software engineering for machine learning and artificial intelligence
  27. Software evolution
  28. Software processes
  29. Software security
  30. Software testing
  31. Software traceability
  32. Symbolic execution
  33. Tools and environments

Accepted Papers

Title
A Bounded Symbolic-Size Model for Symbolic ExecutionArtifacts AvailableArtifacts Reusable
Research Papers
DOI Media Attached
A Comprehensive Study of Deep Learning Compiler BugsArtifacts Available
Research Papers
DOI
A First Look at Developers’ Live Chat on GitterArtifacts Available
Research Papers
DOI
A Grounded Theory of the Role of Coordination in Software Security Patch Management
Research Papers
DOI
A Large-Scale Empirical Study on Java Library Migrations: Prevalence, Trends, and RationalesArtifacts AvailableArtifacts Reusable
Research Papers
DOI Pre-print
A Longitudinal Analysis of Bloated Java DependenciesDistinguished Paper AwardArtifacts Available
Research Papers
DOI Pre-print
A Syntax-Guided Edit Decoder for Neural Program RepairArtifacts Available
Research Papers
DOI
ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control VulnerabilitiesArtifacts AvailableArtifacts Reusable
Research Papers
DOI
Accelerating JavaScript Static Analysis via Dynamic ShortcutsArtifacts AvailableArtifacts Reusable
Research Papers
DOI
Algebraic-Datatype Taint Tracking, with Applications to Understanding Android Identifier LeaksArtifacts FunctionalArtifacts Available
Research Papers
DOI
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
DOI
An Automatic Refactoring Framework for Replacing Test-Production Inheritance by Mocking MechanismArtifacts FunctionalArtifacts Available
Research Papers
DOI
An Empirical Study on Challenges of Application Development in Serverless Computing
Research Papers
DOI
An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial VehiclesArtifacts Available
Research Papers
DOI
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Research Papers
DOI Pre-print
Automating Serverless Deployments for DevOps OrganizationsArtifacts AvailableArtifacts Reusable
Research Papers
DOI Pre-print
Automating the Removal of Obsolete TODO Comments
Research Papers
DOI
Benchmarking Automated GUI Testing for Android against Real-World BugsArtifacts AvailableArtifacts Reusable
Research Papers
DOI Pre-print Media Attached
Bias in Machine Learning Software: Why? How? What to Do?Distinguished Paper Award
Research Papers
DOI Pre-print
Boosting Coverage-Based Fault Localization via Graph-Based Representation Learning
Research Papers
DOI
Boosting Static Analysis Accuracy with Instrumented Test ExecutionsArtifacts FunctionalArtifacts Available
Research Papers
DOI
Characterizing Search Activities on Stack Overflow
Research Papers
DOI
Checking Conformance of Applications against GUI Policies
Research Papers
DOI
Checking LTL[F,G,X] on Compressed Traces in Polynomial TimeArtifacts AvailableArtifacts Reusable
Research Papers
DOI
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Research Papers
DOI Pre-print
Conditional Interpolation: Making Concurrent Program Verification More Effective
Research Papers
DOI
Connecting the Dots: Rethinking the Relationship between Code and Prose Writing with Functional Connectivity
Research Papers
DOI
Context-Aware and Data-Driven Feedback Generation for Programming AssignmentsArtifacts AvailableArtifacts Reusable
Research Papers
DOI
Cross-Language Code Search using Static and Dynamic AnalysesArtifacts Available
Research Papers
DOI
DIFFBASE: A Differential Factbase for Effective Software Evolution ManagementBest Artifact AwardArtifacts AvailableArtifacts Reusable
Research Papers
DOI Pre-print
Data-Driven Accessibility Repair Revisited: On the Effectiveness of Generating Labels for Icons in Android Apps
Research Papers
DOI
Demystifying “Bad” Error Messages in Data Science Libraries
Research Papers
DOI
Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events
Research Papers
DOI
Detecting Node.js Prototype Pollution Vulnerabilities via Object Lookup AnalysisArtifacts Available
Research Papers
DOI
Detecting and Localizing Keyboard Accessibility Failures in Web ApplicationsArtifacts Reusable
Research Papers
DOI
Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
DOI
Embedding App-Library Graph for Neural Third Party Library Recommendation
Research Papers
DOI
Empirical Study of Transformers for Source Code
Research Papers
DOI
Estimating Residual Risk in Greybox FuzzingArtifacts AvailableArtifacts Reusable
Research Papers
Link to publication DOI Pre-print
Explaining Mispredictions of Machine Learning Models using Rule Induction
Research Papers
DOI
Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation
Research Papers
DOI
FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds
Research Papers
DOI
Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning PipelineArtifacts FunctionalArtifacts Available
Research Papers
DOI Pre-print Media Attached
Fairea: A Model Behaviour Mutation Approach to Benchmarking Bias Mitigation MethodsArtifacts FunctionalArtifacts Available
Research Papers
DOI Pre-print
Feature Trace RecordingBest Artifact AwardArtifacts AvailableArtifacts Reusable
Research Papers
DOI Pre-print Media Attached
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig LanguageArtifacts FunctionalArtifacts Available
Research Papers
DOI Pre-print
Flaky Test Detection in Android via Event Order Exploration
Research Papers
DOI Pre-print
GLIB: Towards Automated Test Oracle for Graphically-Rich ApplicationsArtifacts Available
Research Papers
DOI
Generalizable and Interpretable Learning for Configuration Extrapolation
Research Papers
DOI
Generating Efficient Solvers from Constraint Models
Research Papers
DOI
Graph-Based Seed Object Synthesis for Search-Based Unit Testing
Research Papers
DOI Pre-print
Hazard Analysis for Human-on-the-Loop Interactions in sUAS SystemsArtifacts Available