ESEC/FSE 2020 – Proceedings

Frontmatter

Keynotes

Research Papers

Analysis

A Behavioral Notion of Robustness for Software Systems
Changjian Zhang, David Garlan, and Eunsuk Kang
(Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE20p1, author = {Changjian Zhang and David Garlan and Eunsuk Kang}, title = {A Behavioral Notion of Robustness for Software Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3368089.3409753}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Sahar Badihi, Faridah Akinotcho, Yi Li, and Julia Rubin
(University of British Columbia, Canada; Nanyang Technological University, Singapore)


@InProceedings{ESEC/FSE20p14, author = {Sahar Badihi and Faridah Akinotcho and Yi Li and Julia Rubin}, title = {ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {14-13}, doi = {10.1145/3368089.3409757}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

C2S: Translating Natural Language Comments to Formal Program Specifications
Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, and Xiangyu Zhang
(Rutgers University, USA; Purdue University, USA; Nanjing University, China)


@InProceedings{ESEC/FSE20p27, author = {Juan Zhai and Yu Shi and Minxue Pan and Guian Zhou and Yongxiang Liu and Chunrong Fang and Shiqing Ma and Lin Tan and Xiangyu Zhang}, title = {C2S: Translating Natural Language Comments to Formal Program Specifications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {27-26}, doi = {10.1145/3368089.3409716}, year = {2020}, } Publisher's Version Video Teaser

Detecting and Understanding JavaScript Global Identifier Conflicts on the Web
Mingxue Zhang and Wei Meng
(Chinese University of Hong Kong, China)


@InProceedings{ESEC/FSE20p40, author = {Mingxue Zhang and Wei Meng}, title = {Detecting and Understanding JavaScript Global Identifier Conflicts on the Web}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3368089.3409747}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
Dirk Beyer and Karlheinz Friedberger
(LMU Munich, Germany)


@InProceedings{ESEC/FSE20p53, author = {Dirk Beyer and Karlheinz Friedberger}, title = {Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {53-52}, doi = {10.1145/3368089.3409718}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Flexeme: Untangling Commits Using Lexical Flows
Profir-Petru Pârțachi, Santanu Kumar Dash, Miltiadis Allamanis, and Earl T. Barr
(University College London, UK; University of Surrey, UK; Microsoft Research, UK)


@InProceedings{ESEC/FSE20p66, author = {Profir-Petru Pârțachi and Santanu Kumar Dash and Miltiadis Allamanis and Earl T. Barr}, title = {Flexeme: Untangling Commits Using Lexical Flows}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {66-65}, doi = {10.1145/3368089.3409693}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

HISyn: Human Learning-Inspired Natural Language Programming
Zifan Nan, Hui Guan, and Xipeng Shen
(North Carolina State University, USA; University of Massachusetts at Amherst, USA)


@InProceedings{ESEC/FSE20p79, author = {Zifan Nan and Hui Guan and Xipeng Shen}, title = {HISyn: Human Learning-Inspired Natural Language Programming}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {79-78}, doi = {10.1145/3368089.3409673}, year = {2020}, } Publisher's Version Video Teaser

Inductive Program Synthesis over Noisy Data
Shivam Handa and Martin C. Rinard
(Massachusetts Institute of Technology, USA)


@InProceedings{ESEC/FSE20p92, author = {Shivam Handa and Martin C. Rinard}, title = {Inductive Program Synthesis over Noisy Data}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {92-91}, doi = {10.1145/3368089.3409732}, year = {2020}, } Publisher's Version Video Teaser

Inherent Vacuity for GR(1) Specifications
Shahar Maoz and Rafi Shalom
(Tel Aviv University, Israel)


@InProceedings{ESEC/FSE20p105, author = {Shahar Maoz and Rafi Shalom}, title = {Inherent Vacuity for GR(1) Specifications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3368089.3409669}, year = {2020}, } Publisher's Version Video Teaser

Interval Counterexamples for Loop Invariant Learning
Rongchen Xu, Fei He, and Bow-Yaw Wang
(Tsinghua University, China; Academia Sinica, Taiwan)


@InProceedings{ESEC/FSE20p118, author = {Rongchen Xu and Fei He and Bow-Yaw Wang}, title = {Interval Counterexamples for Loop Invariant Learning}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {118-117}, doi = {10.1145/3368089.3409752}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, and Willem Visser
(University of Minnesota, USA; Ain Shams University, Egypt; Stellenbosch University, South Africa)


@InProceedings{ESEC/FSE20p131, author = {Vaibhav Sharma and Soha Hussein and Michael W. Whalen and Stephen McCamant and Willem Visser}, title = {Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {131-130}, doi = {10.1145/3368089.3409734}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

JShrink: In-Depth Investigation into Debloating Modern Java Applications
Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, and Miryung Kim
(University of California at Davis, USA; Harvard University, USA; University of California at Los Angeles, USA)


@InProceedings{ESEC/FSE20p144, author = {Bobby R. Bruce and Tianyi Zhang and Jaspreet Arora and Guoqing Harry Xu and Miryung Kim}, title = {JShrink: In-Depth Investigation into Debloating Modern Java Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {144-143}, doi = {10.1145/3368089.3409738}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Sooyoung Cha and Hakjoo Oh
(Korea University, South Korea)


@InProceedings{ESEC/FSE20p157, author = {Sooyoung Cha and Hakjoo Oh}, title = {Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {157-156}, doi = {10.1145/3368089.3409755}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Mining Assumptions for Software Components using Machine Learning
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, and David Wolfe
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; QRA, Canada)


@InProceedings{ESEC/FSE20p170, author = {Khouloud Gaaloul and Claudio Menghi and Shiva Nejati and Lionel C. Briand and David Wolfe}, title = {Mining Assumptions for Software Components using Machine Learning}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {170-169}, doi = {10.1145/3368089.3409737}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Mining Input Grammars from Dynamic Control Flow
Rahul Gopinath, Björn Mathis, and Andreas Zeller
(CISPA, Germany)


@InProceedings{ESEC/FSE20p183, author = {Rahul Gopinath and Björn Mathis and Andreas Zeller}, title = {Mining Input Grammars from Dynamic Control Flow}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3368089.3409679}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Modular Collaborative Program Analysis in OPAL
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany)


@InProceedings{ESEC/FSE20p196, author = {Dominik Helm and Florian Kübler and Michael Reif and Michael Eichberg and Mira Mezini}, title = {Modular Collaborative Program Analysis in OPAL}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3368089.3409765}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Past-Sensitive Pointer Analysis for Symbolic Execution
David Trabish, Timotej Kapus, Noam Rinetzky, and Cristian Cadar
(Tel Aviv University, Israel; Imperial College London, UK)


@InProceedings{ESEC/FSE20p209, author = {David Trabish and Timotej Kapus and Noam Rinetzky and Cristian Cadar}, title = {Past-Sensitive Pointer Analysis for Symbolic Execution}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {209-208}, doi = {10.1145/3368089.3409698}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

TypeWriter: Neural Type Prediction with Search-Based Validation
Michael Pradel, Georgios Gousios, Jason Liu, and Satish Chandra
(University of Stuttgart, Germany; Delft University of Technology, Netherlands; Facebook, USA)


@InProceedings{ESEC/FSE20p222, author = {Michael Pradel and Georgios Gousios and Jason Liu and Satish Chandra}, title = {TypeWriter: Neural Type Prediction with Search-Based Validation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3368089.3409715}, year = {2020}, } Publisher's Version Video Teaser

UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, and Paul Yu
(University of California at Riverside, USA; U.S. Army Research Laboratory, USA)


@InProceedings{ESEC/FSE20p235, author = {Yizhuo Zhai and Yu Hao and Hang Zhang and Daimeng Wang and Chengyu Song and Zhiyun Qian and Mohsen Lesani and Srikanth V. Krishnamurthy and Paul Yu}, title = {UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {235-234}, doi = {10.1145/3368089.3409686}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

APIs

Exploring How Deprecated Python Library APIs Are (Not) Handled
Jiawei Wang, Li Li, Kui Liu, and Haipeng Cai
(Monash University, Australia; Nanjing University of Aeronautics and Astronautics, China; Washington State University, USA)


@InProceedings{ESEC/FSE20p248, author = {Jiawei Wang and Li Li and Kui Liu and Haipeng Cai}, title = {Exploring How Deprecated Python Library APIs Are (Not) Handled}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3368089.3409735}, year = {2020}, } Publisher's Version Video Teaser

Selecting Third-Party Libraries: The Practitioners’ Perspective
Enrique Larios Vargas, Maurício Aniche, Christoph Treude, Magiel Bruntink, and Georgios Gousios
(Software Improvement Group, Netherlands; Delft University of Technology, Netherlands; University of Adelaide, Australia)


@InProceedings{ESEC/FSE20p261, author = {Enrique Larios Vargas and Maurício Aniche and Christoph Treude and Magiel Bruntink and Georgios Gousios}, title = {Selecting Third-Party Libraries: The Practitioners’ Perspective}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3368089.3409711}, year = {2020}, } Publisher's Version Video Teaser

Cloud / Services

A Principled Approach to GraphQL Query Cost Analysis
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, and Jim A. Laredo
(IBM Research, USA; IBM, USA; Purdue University, USA)


@InProceedings{ESEC/FSE20p274, author = {Alan Cha and Erik Wittern and Guillaume Baudart and James C. Davis and Louis Mandel and Jim A. Laredo}, title = {A Principled Approach to GraphQL Query Cost Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {274-273}, doi = {10.1145/3368089.3409670}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
Alex Cummaudo, Scott Barnett, Rajesh Vasa, John Grundy, and Mohamed Abdelrazek
(Deakin University, Australia; Monash University, Australia)


@InProceedings{ESEC/FSE20p287, author = {Alex Cummaudo and Scott Barnett and Rajesh Vasa and John Grundy and Mohamed Abdelrazek}, title = {Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {287-286}, doi = {10.1145/3368089.3409688}, year = {2020}, } Publisher's Version Video Teaser

Block Public Access: Trust Safety Verification of Access Control Policies
Malik Bouchet, Byron Cook, Bryant Cutler, Anna Druzkina, Andrew Gacek, Liana Hadarean, Ranjit Jhala, Brad Marshall, Dan Peebles, Neha Rungta, Cole Schlesinger, Chriss Stephens, Carsten Varming, and Andy Warfield
(Amazon, USA)


@InProceedings{ESEC/FSE20p300, author = {Malik Bouchet and Byron Cook and Bryant Cutler and Anna Druzkina and Andrew Gacek and Liana Hadarean and Ranjit Jhala and Brad Marshall and Dan Peebles and Neha Rungta and Cole Schlesinger and Chriss Stephens and Carsten Varming and Andy Warfield}, title = {Block Public Access: Trust Safety Verification of Access Control Policies}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {300-299}, doi = {10.1145/3368089.3409728}, year = {2020}, } Publisher's Version Video Teaser

Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search
Jiazhen Gu, Chuan Luo, Si Qin, Bo Qiao, Qingwei Lin, Hongyu Zhang, Ze Li, Yingnong Dang, Shaowei Cai, Wei Wu, Yangfan Zhou, Murali Chintalapati, and Dongmei Zhang
(Fudan University, China; Microsoft Research, China; University of Newcastle, Australia; Microsoft, USA; Institute of Software at Chinese Academy of Sciences, China; University of Technology Sydney, Australia)


@InProceedings{ESEC/FSE20p313, author = {Jiazhen Gu and Chuan Luo and Si Qin and Bo Qiao and Qingwei Lin and Hongyu Zhang and Ze Li and Yingnong Dang and Shaowei Cai and Wei Wu and Yangfan Zhou and Murali Chintalapati and Dongmei Zhang}, title = {Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {313-312}, doi = {10.1145/3368089.3409741}, year = {2020}, } Publisher's Version Video Teaser

Identifying Linked Incidents in Large-Scale Online Service Systems
Yujun Chen, Xian Yang, Hang Dong, Xiaoting He, Hongyu Zhang, Qingwei Lin, Junjie Chen, Pu Zhao, Yu Kang, Feng Gao, Zhangwei Xu, and Dongmei Zhang
(Microsoft Research, China; Hong Kong Baptist University, China; Chinese Academy of Sciences, China; University of Newcastle, Australia; Tianjin University, China; Microsoft, USA)


@InProceedings{ESEC/FSE20p326, author = {Yujun Chen and Xian Yang and Hang Dong and Xiaoting He and Hongyu Zhang and Qingwei Lin and Junjie Chen and Pu Zhao and Yu Kang and Feng Gao and Zhangwei Xu and Dongmei Zhang}, title = {Identifying Linked Incidents in Large-Scale Online Service Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {326-325}, doi = {10.1145/3368089.3409768}, year = {2020}, } Publisher's Version Video Teaser

Real-Time Incident Prediction for Online Service Systems
Nengwen Zhao, Junjie Chen, Zhou Wang, Xiao Peng, Gang Wang, Yong Wu, Fang Zhou, Zhen Feng, Xiaohui Nie, Wenchi Zhang, Kaixin Sui, and Dan Pei
(Tsinghua University, China; Tianjin University, China; BizSeer, China; Beijing University of Posts and Telecommunications, China; EverBright Bank, China)


@InProceedings{ESEC/FSE20p339, author = {Nengwen Zhao and Junjie Chen and Zhou Wang and Xiao Peng and Gang Wang and Yong Wu and Fang Zhou and Zhen Feng and Xiaohui Nie and Wenchi Zhang and Kaixin Sui and Dan Pei}, title = {Real-Time Incident Prediction for Online Service Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {339-338}, doi = {10.1145/3368089.3409672}, year = {2020}, } Publisher's Version Video Teaser

Configuration

Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab
Carmine Vassallo, Sebastian Proksch, Anna Jancso, Harald C. Gall, and Massimiliano Di Penta
(University of Zurich, Switzerland; Delft University of Technology, Netherlands; University of Sannio, Italy)


@InProceedings{ESEC/FSE20p352, author = {Carmine Vassallo and Sebastian Proksch and Anna Jancso and Harald C. Gall and Massimiliano Di Penta}, title = {Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3368089.3409709}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Dimensions of Software Configuration: On the Configuration Context in Modern Software Development
Norbert Siegmund, Nicolai Ruckel, and Janet Siegmund
(Leizpig University, Germany; Bauhaus-University Weimar, Germany; Chemnitz University of Technology, Germany)


@InProceedings{ESEC/FSE20p365, author = {Norbert Siegmund and Nicolai Ruckel and Janet Siegmund}, title = {Dimensions of Software Configuration: On the Configuration Context in Modern Software Development}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {365-364}, doi = {10.1145/3368089.3409675}, year = {2020}, } Publisher's Version Video Teaser

Global Cost/Quality Management across Multiple Applications
Liu Liu, Sibren Isaacman, and Ulrich Kremer
(Rutgers University, USA; Loyola University Maryland, USA)


@InProceedings{ESEC/FSE20p378, author = {Liu Liu and Sibren Isaacman and Ulrich Kremer}, title = {Global Cost/Quality Management across Multiple Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {378-377}, doi = {10.1145/3368089.3409721}, year = {2020}, } Publisher's Version Video Teaser

Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA; National University of Defense Technology, China; Cornell University, USA)


@InProceedings{ESEC/FSE20p391, author = {Qingrong Chen and Teng Wang and Owolabi Legunsen and Shanshan Li and Tianyin Xu}, title = {Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {391-390}, doi = {10.1145/3368089.3409727}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Documentation

Docable: Evaluating the Executability of Software Tutorials
Samim Mirhosseini and Chris Parnin
(North Carolina State University, USA)


@InProceedings{ESEC/FSE20p404, author = {Samim Mirhosseini and Chris Parnin}, title = {Docable: Evaluating the Executability of Software Tutorials}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {404-403}, doi = {10.1145/3368089.3409706}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

RulePad: Interactive Authoring of Checkable Design Rules
Sahar Mehrpour, Thomas D. LaToza, and Hamed Sarvari
(George Mason University, USA)


@InProceedings{ESEC/FSE20p417, author = {Sahar Mehrpour and Thomas D. LaToza and Hamed Sarvari}, title = {RulePad: Interactive Authoring of Checkable Design Rules}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3368089.3409751}, year = {2020}, } Publisher's Version Video Teaser

Empirical

A First Look at Good First Issues on GitHub
Xin Tan, Minghui Zhou, and Zeyu Sun
(Peking University, China)


@InProceedings{ESEC/FSE20p430, author = {Xin Tan and Minghui Zhou and Zeyu Sun}, title = {A First Look at Good First Issues on GitHub}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {430-429}, doi = {10.1145/3368089.3409746}, year = {2020}, } Publisher's Version Video Teaser

A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching
P. Merlin Uesbeck, Cole S. Peterson, Bonita Sharif, and Andreas Stefik
(University of Nevada at Las Vegas, USA; University of Nebraska-Lincoln, USA)


@InProceedings{ESEC/FSE20p443, author = {P. Merlin Uesbeck and Cole S. Peterson and Bonita Sharif and Andreas Stefik}, title = {A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {443-442}, doi = {10.1145/3368089.3409701}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

A Theory of the Engagement in Open Source Projects via Summer of Code Programs
Jefferson Silva, Igor Wiese, Daniel M. German, Christoph Treude, Marco Aurélio Gerosa, and Igor Steinmacher
(PUC-SP, Brazil; Federal University of Technology Paraná, Brazil; University of Victoria, Canada; University of Adelaide, Australia; Northern Arizona University, USA)


@InProceedings{ESEC/FSE20p456, author = {Jefferson Silva and Igor Wiese and Daniel M. German and Christoph Treude and Marco Aurélio Gerosa and Igor Steinmacher}, title = {A Theory of the Engagement in Open Source Projects via Summer of Code Programs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {456-455}, doi = {10.1145/3368089.3409724}, year = {2020}, } Publisher's Version Video Teaser

An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Jacob Krüger and Thorsten Berger
(University of Toronto, Canada; University of Magdeburg, Germany; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)


@InProceedings{ESEC/FSE20p469, author = {Jacob Krüger and Thorsten Berger}, title = {An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {469-468}, doi = {10.1145/3368089.3409684}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
Linda Erlenhov, Francisco Gomes de Oliveira Neto, and Philipp Leitner
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)


@InProceedings{ESEC/FSE20p482, author = {Linda Erlenhov and Francisco Gomes de Oliveira Neto and Philipp Leitner}, title = {An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {482-481}, doi = {10.1145/3368089.3409680}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines
Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, and Westley Weimer
(University of Michigan, USA; University of California at Santa Barbara, USA)


@InProceedings{ESEC/FSE20p495, author = {Yu Huang and Kevin Leach and Zohreh Sharafi and Nicholas McKay and Tyler Santander and Westley Weimer}, title = {Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3368089.3409681}, year = {2020}, } Publisher's Version Video Teaser

Community Expectations for Research Artifacts and Evaluation Processes
Ben Hermann, Stefan Winter, and Janet Siegmund
(University of Paderborn, Germany; TU Darmstadt, Germany; TU Chemnitz, Germany)


@InProceedings{ESEC/FSE20p508, author = {Ben Hermann and Stefan Winter and Janet Siegmund}, title = {Community Expectations for Research Artifacts and Evaluation Processes}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {508-507}, doi = {10.1145/3368089.3409767}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Does Stress Impact Technical Interview Performance?
Mahnaz Behroozi, Shivani Shirolkar, Titus Barik, and Chris Parnin
(North Carolina State University, USA; Microsoft, USA)


@InProceedings{ESEC/FSE20p521, author = {Mahnaz Behroozi and Shivani Shirolkar and Titus Barik and Chris Parnin}, title = {Does Stress Impact Technical Interview Performance?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3368089.3409712}, year = {2020}, } Publisher's Version Video Teaser

Exploring the Evolution of Software Practices
Yvonne Dittrich, Christian Bo Michelsen, Paolo Tell, Pernille Lous, and Allan Ebdrup
(IT University of Copenhagen, Denmark)


@InProceedings{ESEC/FSE20p534, author = {Yvonne Dittrich and Christian Bo Michelsen and Paolo Tell and Pernille Lous and Allan Ebdrup}, title = {Exploring the Evolution of Software Practices}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {534-533}, doi = {10.1145/3368089.3409766}, year = {2020}, } Publisher's Version Video Teaser

Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem
Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, and Bogdan Vasilescu
(Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE20p547, author = {Hemank Lamba and Asher Trockman and Daniel Armanios and Christian Kästner and Heather Miller and Bogdan Vasilescu}, title = {Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {547-546}, doi = {10.1145/3368089.3409705}, year = {2020}, } Publisher's Version Video Teaser

Interactive, Effort-Aware Library Version Harmonization
Kaifeng Huang, Bihuan Chen, Bowen Shi, Ying Wang, Congying Xu, and Xin Peng
(Fudan University, China)


@InProceedings{ESEC/FSE20p560, author = {Kaifeng Huang and Bihuan Chen and Bowen Shi and Ying Wang and Congying Xu and Xin Peng}, title = {Interactive, Effort-Aware Library Version Harmonization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {560-559}, doi = {10.1145/3368089.3409689}, year = {2020}, } Publisher's Version Video Teaser

On the Naturalness of Hardware Descriptions
Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
(University of Texas at Austin, USA)


@InProceedings{ESEC/FSE20p573, author = {Jaeseong Lee and Pengyu Nie and Junyi Jessy Li and Milos Gligoric}, title = {On the Naturalness of Hardware Descriptions}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3368089.3409692}, year = {2020}, } Publisher's Version Video Teaser

On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects
Umme Ayda Mannan, Iftekhar Ahmed, Carlos Jensen, and Anita Sarma
(Oregon State University, USA; University of California at Irvine, USA)


@InProceedings{ESEC/FSE20p586, author = {Umme Ayda Mannan and Iftekhar Ahmed and Carlos Jensen and Anita Sarma}, title = {On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {586-585}, doi = {10.1145/3368089.3409707}, year = {2020}, } Publisher's Version Video Teaser

On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication
Massimiliano Di Penta, Gabriele Bavota, and Fiorella Zampetti
(University of Sannio, Italy; USI Lugano, Switzerland)


@InProceedings{ESEC/FSE20p599, author = {Massimiliano Di Penta and Gabriele Bavota and Fiorella Zampetti}, title = {On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {599-598}, doi = {10.1145/3368089.3409695}, year = {2020}, } Publisher's Version Video Teaser

Questions for Data Scientists in Software Engineering: A Replication
Hennie Huijgens, Ayushi Rastogi, Ernst Mulders, Georgios Gousios, and Arie van Deursen
(Delft University of Technology, Netherlands)


@InProceedings{ESEC/FSE20p612, author = {Hennie Huijgens and Ayushi Rastogi and Ernst Mulders and Georgios Gousios and Arie van Deursen}, title = {Questions for Data Scientists in Software Engineering: A Replication}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {612-611}, doi = {10.1145/3368089.3409717}, year = {2020}, } Publisher's Version Video Teaser

Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work?
Yi Wang and Min Zhang
(CoCo Labs, USA; East China Normal University, China)


@InProceedings{ESEC/FSE20p625, author = {Yi Wang and Min Zhang}, title = {Reducing Implicit Gender Biases in Software Development: Does Intergroup Contact Theory Work?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {625-624}, doi = {10.1145/3368089.3409762}, year = {2020}, } Publisher's Version Video Teaser

Robotics Software Engineering: A Perspective from the Service Robotics Domain
Sergio García, Daniel Strüber, Davide Brugali, Thorsten Berger, and Patrizio Pelliccione
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Radboud University Nijmegen, Netherlands; University of Bergamo, Italy; University of L'Aquila, Italy)


@InProceedings{ESEC/FSE20p638, author = {Sergio García and Daniel Strüber and Davide Brugali and Thorsten Berger and Patrizio Pelliccione}, title = {Robotics Software Engineering: A Perspective from the Service Robotics Domain}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {638-637}, doi = {10.1145/3368089.3409743}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
Dan Gopstein, Anne-Laure Fayard, Sven Apel, and Justin Cappos
(New York University, USA; Saarland University, Germany)


@InProceedings{ESEC/FSE20p651, author = {Dan Gopstein and Anne-Laure Fayard and Sven Apel and Justin Cappos}, title = {Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {651-650}, doi = {10.1145/3368089.3409714}, year = {2020}, } Publisher's Version Video Teaser

Understanding Build Issue Resolution in Practice: Symptoms and Fix Patterns
Yiling Lou, Zhenpeng Chen, Yanbin Cao, Dan Hao, and Lu Zhang
(Peking University, China)


@InProceedings{ESEC/FSE20p664, author = {Yiling Lou and Zhenpeng Chen and Yanbin Cao and Dan Hao and Lu Zhang}, title = {Understanding Build Issue Resolution in Practice: Symptoms and Fix Patterns}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3368089.3409760}, year = {2020}, } Publisher's Version Video Teaser

Understanding Type Changes in Java
Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig
(Oregon State University, USA; Concordia University, Canada; University of Colorado Boulder, USA)


@InProceedings{ESEC/FSE20p677, author = {Ameya Ketkar and Nikolaos Tsantalis and Danny Dig}, title = {Understanding Type Changes in Java}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {677-676}, doi = {10.1145/3368089.3409725}, year = {2020}, } Publisher's Version Video Teaser

Fairness

Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness
Sumon Biswas and Hridesh Rajan
(Iowa State University, USA)


@InProceedings{ESEC/FSE20p690, author = {Sumon Biswas and Hridesh Rajan}, title = {Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {690-689}, doi = {10.1145/3368089.3409704}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Fairway: A Way to Build Fair ML Software
Joymallya Chakraborty, Suvodeep Majumder, Zhe Yu, and Tim Menzies
(North Carolina State University, USA)


@InProceedings{ESEC/FSE20p703, author = {Joymallya Chakraborty and Suvodeep Majumder and Zhe Yu and Tim Menzies}, title = {Fairway: A Way to Build Fair ML Software}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {703-702}, doi = {10.1145/3368089.3409697}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Towards Automated Verification of Smart Contract Fairness
Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao
(Nanyang Technological University, Singapore)


@InProceedings{ESEC/FSE20p716, author = {Ye Liu and Yi Li and Shang-Wei Lin and Rong Zhao}, title = {Towards Automated Verification of Smart Contract Fairness}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {716-715}, doi = {10.1145/3368089.3409740}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Fuzzing

Boosting Fuzzer Efficiency: An Information Theoretic Perspective
Marcel Böhme, Valentin J. M. Manès, and Sang Kil Cha
(Monash University, Australia; KAIST, South Korea)


@InProceedings{ESEC/FSE20p729, author = {Marcel Böhme and Valentin J. M. Manès and Sang Kil Cha}, title = {Boosting Fuzzer Efficiency: An Information Theoretic Perspective}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3368089.3409748}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

CrFuzz: Fuzzing Multi-purpose Programs through Input Validation
Suhwan Song, Chengyu Song, Yeongjin Jang, and Byoungyoung Lee
(Seoul National University, South Korea; University of California at Riverside, USA; Oregon State University, USA)


@InProceedings{ESEC/FSE20p742, author = {Suhwan Song and Chengyu Song and Yeongjin Jang and Byoungyoung Lee}, title = {CrFuzz: Fuzzing Multi-purpose Programs through Input Validation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {742-741}, doi = {10.1145/3368089.3409769}, year = {2020}, } Publisher's Version Video Teaser

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang
(MPI-SWS, Germany; ConsenSys, Germany)


@InProceedings{ESEC/FSE20p755, author = {Muhammad Numair Mansur and Maria Christakis and Valentin Wüstholz and Fuyuan Zhang}, title = {Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {755-754}, doi = {10.1145/3368089.3409763}, year = {2020}, } Publisher's Version Video Teaser

Fuzzing: On the Exponential Cost of Vulnerability Discovery
Marcel Böhme and Brandon Falk
(Monash University, Australia; Gamozo Labs, USA)


@InProceedings{ESEC/FSE20p768, author = {Marcel Böhme and Brandon Falk}, title = {Fuzzing: On the Exponential Cost of Vulnerability Discovery}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {768-767}, doi = {10.1145/3368089.3409729}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Intelligent REST API Data Fuzzing
Patrice Godefroid, Bo-Yuan Huang, and Marina Polishchuk
(Microsoft Research, USA; Princeton University, USA)


@InProceedings{ESEC/FSE20p781, author = {Patrice Godefroid and Bo-Yuan Huang and Marina Polishchuk}, title = {Intelligent REST API Data Fuzzing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3368089.3409719}, year = {2020}, } Publisher's Version Video Teaser

MTFuzz: Fuzzing with a Multi-task Neural Network
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, and Baishakhi Ray
(Columbia University, USA; Shanghai Jiao Tong University, China)


@InProceedings{ESEC/FSE20p794, author = {Dongdong She and Rahul Krishna and Lu Yan and Suman Jana and Baishakhi Ray}, title = {MTFuzz: Fuzzing with a Multi-task Neural Network}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {794-793}, doi = {10.1145/3368089.3409723}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Machine Learning

A Comprehensive Study on Challenges in Deploying Deep Learning Based Software
Zhenpeng Chen, Yanbin Cao, Yuanqiang Liu, Haoyu Wang, Tao Xie, and Xuanzhe Liu
(Peking University, China; Beijing University of Posts and Telecommunications, China)


@InProceedings{ESEC/FSE20p807, author = {Zhenpeng Chen and Yanbin Cao and Yuanqiang Liu and Haoyu Wang and Tao Xie and Xuanzhe Liu}, title = {A Comprehensive Study on Challenges in Deploying Deep Learning Based Software}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {807-806}, doi = {10.1145/3368089.3409759}, year = {2020}, } Publisher's Version Video Teaser

AMS: Generating AutoML Search Spaces from Weak Specifications
José P. Cambronero, Jürgen Cito, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; TU Wien, Austria)


@InProceedings{ESEC/FSE20p820, author = {José P. Cambronero and Jürgen Cito and Martin C. Rinard}, title = {AMS: Generating AutoML Search Spaces from Weak Specifications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {820-819}, doi = {10.1145/3368089.3409700}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Correlations between Deep Neural Network Model Coverage Criteria and Model Quality
Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, and Xiangyu Zhang
(Rutgers University, USA; Purdue University, USA; Nanjing University, China)


@InProceedings{ESEC/FSE20p833, author = {Shenao Yan and Guanhong Tao and Xuwei Liu and Juan Zhai and Shiqing Ma and Lei Xu and Xiangyu Zhang}, title = {Correlations between Deep Neural Network Model Coverage Criteria and Model Quality}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {833-832}, doi = {10.1145/3368089.3409671}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Deep Learning Library Testing via Effective Model Generation
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, and Dongdi Zhang
(Tianjin University, China)


@InProceedings{ESEC/FSE20p846, author = {Zan Wang and Ming Yan and Junjie Chen and Shuang Liu and Dongdi Zhang}, title = {Deep Learning Library Testing via Effective Model Generation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {846-845}, doi = {10.1145/3368089.3409761}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks
Fuyuan Zhang, Sankalan Pal Chowdhury, and Maria Christakis
(MPI-SWS, Germany)


@InProceedings{ESEC/FSE20p859, author = {Fuyuan Zhang and Sankalan Pal Chowdhury and Maria Christakis}, title = {DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {859-858}, doi = {10.1145/3368089.3409750}, year = {2020}, } Publisher's Version Video Teaser

DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks
Simin Chen, Soroush Bateni, Sampath Grandhi, Xiaodi Li, Cong Liu, and Wei Yang
(University of Texas at Dallas, USA)


@InProceedings{ESEC/FSE20p872, author = {Simin Chen and Soroush Bateni and Sampath Grandhi and Xiaodi Li and Cong Liu and Wei Yang}, title = {DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {872-871}, doi = {10.1145/3368089.3409733}, year = {2020}, } Publisher's Version Video Teaser

Detecting Numerical Bugs in Neural Network Architectures
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, and Tao Xie
(Peking University, China; National University of Defense Technology, China; Hong Kong University of Science and Technology, China)


@InProceedings{ESEC/FSE20p885, author = {Yuhao Zhang and Luyao Ren and Liqian Chen and Yingfei Xiong and Shing-Chi Cheung and Tao Xie}, title = {Detecting Numerical Bugs in Neural Network Architectures}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3368089.3409720}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Dynamic Slicing for Deep Neural Networks
Ziqi Zhang, Yuanchun Li, Yao Guo, Xiangqun Chen, and Yunxin Liu
(Peking University, China; Microsoft Research, China)


@InProceedings{ESEC/FSE20p898, author = {Ziqi Zhang and Yuanchun Li and Yao Guo and Xiangqun Chen and Yunxin Liu}, title = {Dynamic Slicing for Deep Neural Networks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {898-897}, doi = {10.1145/3368089.3409676}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
Fabrice Harel-Canada, Lingxiao Wang, Muhammad Ali Gulzar, Quanquan Gu, and Miryung Kim
(University of California at Los Angeles, USA; Virgina Tech, USA)


@InProceedings{ESEC/FSE20p911, author = {Fabrice Harel-Canada and Lingxiao Wang and Muhammad Ali Gulzar and Quanquan Gu and Miryung Kim}, title = {Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3368089.3409754}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Machine Translation Testing via Pathological Invariance
Shashij Gupta, Pinjia He, Clara Meister, and Zhendong Su
(IIT Bombay, India; ETH Zurich, Switzerland)


@InProceedings{ESEC/FSE20p924, author = {Shashij Gupta and Pinjia He and Clara Meister and Zhendong Su}, title = {Machine Translation Testing via Pathological Invariance}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {924-923}, doi = {10.1145/3368089.3409756}, year = {2020}, } Publisher's Version Video Teaser

Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
Vincenzo Riccio and Paolo Tonella
(USI Lugano, Switzerland)


@InProceedings{ESEC/FSE20p937, author = {Vincenzo Riccio and Paolo Tonella}, title = {Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {937-936}, doi = {10.1145/3368089.3409730}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

On Decomposing a Deep Neural Network into Modules
Rangeet Pan and Hridesh Rajan
(Iowa State University, USA)


@InProceedings{ESEC/FSE20p950, author = {Rangeet Pan and Hridesh Rajan}, title = {On Decomposing a Deep Neural Network into Modules}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {950-949}, doi = {10.1145/3368089.3409668}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Operational Calibration: Debugging Confidence Errors for DNNs in the Field
Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, and Jian Lü
(Nanjing University, China)


@InProceedings{ESEC/FSE20p963, author = {Zenan Li and Xiaoxing Ma and Chang Xu and Jingwei Xu and Chun Cao and Jian Lü}, title = {Operational Calibration: Debugging Confidence Errors for DNNs in the Field}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3368089.3409696}, year = {2020}, } Publisher's Version Video Teaser

Mobile

All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks
Yutian Tang, Yulei Sui, Haoyu Wang, Xiapu Luo, Hao Zhou, and Zhou Xu
(ShanghaiTech University, China; University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China; Hong Kong Polytechnic University, China; Chongqing University, China)


@InProceedings{ESEC/FSE20p976, author = {Yutian Tang and Yulei Sui and Haoyu Wang and Xiapu Luo and Hao Zhou and Zhou Xu}, title = {All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {976-975}, doi = {10.1145/3368089.3409702}, year = {2020}, } Publisher's Version Video Teaser

Automated Construction of Energy Test Oracles for Android
Reyhaneh Jabbarvand, Forough Mehralian, and Sam Malek
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA)


@InProceedings{ESEC/FSE20p989, author = {Reyhaneh Jabbarvand and Forough Mehralian and Sam Malek}, title = {Automated Construction of Energy Test Oracles for Android}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {989-988}, doi = {10.1145/3368089.3409677}, year = {2020}, } Publisher's Version Video Teaser

Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation
Jun Gao, Li Li, Pingfan Kong, Tegawendé F. Bissyandé, and Jacques Klein
(University of Luxembourg, Luxembourg; Monash University, Australia)


@InProceedings{ESEC/FSE20p1002, author = {Jun Gao and Li Li and Pingfan Kong and Tegawendé F. Bissyandé and Jacques Klein}, title = {Borrowing Your Enemy’s Arrows: The Case of Code Reuse in Android via Direct Inter-app Code Invocation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3368089.3409745}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Static Asynchronous Component Misuse Detection for Android Applications
Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beijing University of Technology, China)


@InProceedings{ESEC/FSE20p1015, author = {Linjie Pan and Baoquan Cui and Hao Liu and Jiwei Yan and Siqi Wang and Jun Yan and Jian Zhang}, title = {Static Asynchronous Component Misuse Detection for Android Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1015-1014}, doi = {10.1145/3368089.3409699}, year = {2020}, } Publisher's Version Video Teaser

Performance / QoS

Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns
Yutong Zhao, Lu Xiao, Pouria Babvey, Lei Sun, Sunny Wong, Angel A. Martinez, and Xiao Wang
(Stevens Institute of Technology, USA; Analytical Graphics, USA)


@InProceedings{ESEC/FSE20p1028, author = {Yutong Zhao and Lu Xiao and Pouria Babvey and Lei Sun and Sunny Wong and Angel A. Martinez and Xiao Wang}, title = {Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1028-1027}, doi = {10.1145/3368089.3409674}, year = {2020}, } Publisher's Version Video Teaser

Calm Energy Accounting for Multithreaded Java Applications
Timur Babakol, Anthony Canino, Khaled Mahmoud, Rachit Saxena, and Yu David Liu
(SUNY Binghamton, USA)


@InProceedings{ESEC/FSE20p1041, author = {Timur Babakol and Anthony Canino and Khaled Mahmoud and Rachit Saxena and Yu David Liu}, title = {Calm Energy Accounting for Multithreaded Java Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3368089.3409703}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Dynamically Reconfiguring Software Microbenchmarks: Reducing Execution Time without Sacrificing Result Quality
Christoph Laaber, Stefan Würsten, Harald C. Gall, and Philipp Leitner
(University of Zurich, Switzerland; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)


@InProceedings{ESEC/FSE20p1054, author = {Christoph Laaber and Stefan Würsten and Harald C. Gall and Philipp Leitner}, title = {Dynamically Reconfiguring Software Microbenchmarks: Reducing Execution Time without Sacrificing Result Quality}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1054-1053}, doi = {10.1145/3368089.3409683}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
Claudio Mandrioli and Martina Maggio
(Lund University, Sweden; Saarland University, Germany)


@InProceedings{ESEC/FSE20p1067, author = {Claudio Mandrioli and Martina Maggio}, title = {Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1067-1066}, doi = {10.1145/3368089.3409685}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Recommendation

API Method Recommendation via Explicit Matching of Functionality Verb Phrases
Wenkai Xie, Xin Peng, Mingwei Liu, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang, and Wenyun Zhao
(Fudan University, China; University of Adelaide, Australia; Australian National University, Australia)


@InProceedings{ESEC/FSE20p1080, author = {Wenkai Xie and Xin Peng and Mingwei Liu and Christoph Treude and Zhenchang Xing and Xiaoxin Zhang and Wenyun Zhao}, title = {API Method Recommendation via Explicit Matching of Functionality Verb Phrases}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1080-1079}, doi = {10.1145/3368089.3409731}, year = {2020}, } Publisher's Version Video Teaser

Code Recommendation for Exception Handling
Tam Nguyen, Phong Vu, and Tung Nguyen
(Auburn University, USA)


@InProceedings{ESEC/FSE20p1093, author = {Tam Nguyen and Phong Vu and Tung Nguyen}, title = {Code Recommendation for Exception Handling}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1093-1092}, doi = {10.1145/3368089.3409690}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

eQual: Informing Early Design Decisions
Arman Shahbazian, Suhrid Karthik, Yuriy Brun, and Nenad Medvidovic
(University of Southern California, USA; Google, USA; University of Massachusetts at Amherst, USA)


@InProceedings{ESEC/FSE20p1106, author = {Arman Shahbazian and Suhrid Karthik and Yuriy Brun and Nenad Medvidovic}, title = {eQual: Informing Early Design Decisions}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1106-1105}, doi = {10.1145/3368089.3409749}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching
Sonal Mahajan, Negarsadat Abolhassani, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)


@InProceedings{ESEC/FSE20p1119, author = {Sonal Mahajan and Negarsadat Abolhassani and Mukul R. Prasad}, title = {Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1119-1118}, doi = {10.1145/3368089.3409764}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers
Chris Brown and Chris Parnin
(North Carolina State University, USA)


@InProceedings{ESEC/FSE20p1132, author = {Chris Brown and Chris Parnin}, title = {Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1132-1131}, doi = {10.1145/3368089.3409722}, year = {2020}, } Publisher's Version Video Teaser

Security

An Evaluation of Methods to Port Legacy Code to SGX Enclaves
Kripa Shanker, Arun Joseph, and Vinod Ganapathy
(IISc Bangalore, India)


@InProceedings{ESEC/FSE20p1145, author = {Kripa Shanker and Arun Joseph and Vinod Ganapathy}, title = {An Evaluation of Methods to Port Legacy Code to SGX Enclaves}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1145-1144}, doi = {10.1145/3368089.3409726}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boystov, Yves Le Traon, and Anne Goujon
(University of Luxembourg, Luxembourg; BGL BNP Paribas, Luxembourg)


@InProceedings{ESEC/FSE20p1158, author = {Salah Ghamizi and Maxime Cordy and Martin Gubri and Mike Papadakis and Andrey Boystov and Yves Le Traon and Anne Goujon}, title = {Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1158-1157}, doi = {10.1145/3368089.3409739}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional

SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed
Pan Bian, Bin Liang, Jianjun Huang, Wenchang Shi, Xidong Wang, and Jian Zhang
(Renmin University of China, China; Institute of Software at Chinese Academy of Sciences, China)


@InProceedings{ESEC/FSE20p1171, author = {Pan Bian and Bin Liang and Jianjun Huang and Wenchang Shi and Xidong Wang and Jian Zhang}, title = {SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1171-1170}, doi = {10.1145/3368089.3409678}, year = {2020}, } Publisher's Version Video Teaser

Testing

Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
Eduard Baranov, Axel Legay, and Kuldeep S. Meel
(Université Catholique de Louvain, Belgium; Aalborg University, Denmark; National University of Singapore, Singapore)


@InProceedings{ESEC/FSE20p1184, author = {Eduard Baranov and Axel Legay and Kuldeep S. Meel}, title = {Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1184-1183}, doi = {10.1145/3368089.3409744}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Cost Measures Matter for Mutation Testing Study Validity
Giovani Guizzo, Federica Sarro, and Mark Harman
(University College London, UK)


@InProceedings{ESEC/FSE20p1197, author = {Giovani Guizzo and Federica Sarro and Mark Harman}, title = {Cost Measures Matter for Mutation Testing Study Validity}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1197-1196}, doi = {10.1145/3368089.3409742}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction
Manuel Rigger and Zhendong Su
(ETH Zurich, Switzerland)


@InProceedings{ESEC/FSE20p1210, author = {Manuel Rigger and Zhendong Su}, title = {Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1210-1209}, doi = {10.1145/3368089.3409710}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Efficient Binary-Level Coverage Analysis
M. Ammar Ben Khadra, Dominik Stoffel, and Wolfgang Kunz
(TU Kaiserslautern, Germany)


@InProceedings{ESEC/FSE20p1223, author = {M. Ammar Ben Khadra and Dominik Stoffel and Wolfgang Kunz}, title = {Efficient Binary-Level Coverage Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1223-1222}, doi = {10.1145/3368089.3409694}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Efficiently Finding Higher-Order Mutants
Chu-Pan Wong, Jens Meinicke, Leo Chen, João P. Diniz, Christian Kästner, and Eduardo Figueiredo
(Carnegie Mellon University, USA; Federal University of Minas Gerais, Brazil)


@InProceedings{ESEC/FSE20p1236, author = {Chu-Pan Wong and Jens Meinicke and Leo Chen and João P. Diniz and Christian Kästner and Eduardo Figueiredo}, title = {Efficiently Finding Higher-Order Mutants}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3368089.3409713}, year = {2020}, } Publisher's Version Video Teaser

Evolutionary Improvement of Assertion Oracles
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, and Mauro Pezzè
(USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland)


@InProceedings{ESEC/FSE20p1249, author = {Valerio Terragni and Gunel Jahangirova and Paolo Tonella and Mauro Pezzè}, title = {Evolutionary Improvement of Assertion Oracles}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1249-1248}, doi = {10.1145/3368089.3409758}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

FrUITeR: A Framework for Evaluating UI Test Reuse
Yixue Zhao, Justin Chen, Adriana Sejfia, Marcelo Schmitt Laser, Jie Zhang, Federica Sarro, Mark Harman, and Nenad Medvidovic
(University of Southern California, USA; Columbia University, USA; University College London, UK)


@InProceedings{ESEC/FSE20p1262, author = {Yixue Zhao and Justin Chen and Adriana Sejfia and Marcelo Schmitt Laser and Jie Zhang and Federica Sarro and Mark Harman and Nenad Medvidovic}, title = {FrUITeR: A Framework for Evaluating UI Test Reuse}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1262-1261}, doi = {10.1145/3368089.3409708}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, and Guoqiang Li
(Australian National University, Australia; Data61 at CSIRO, Australia; Monash University, Australia; UNSW, Australia; Shanghai Jiao Tong University, China)


@InProceedings{ESEC/FSE20p1275, author = {Jieshan Chen and Mulong Xie and Zhenchang Xing and Chunyang Chen and Xiwei Xu and Liming Zhu and Guoqiang Li}, title = {Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1275-1274}, doi = {10.1145/3368089.3409691}, year = {2020}, } Publisher's Version Video Teaser

Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, and Shan Lu
(University of California at Irvine, USA; University of California at Los Angeles, USA; University of Chicago, USA)


@InProceedings{ESEC/FSE20p1288, author = {Rahmadi Trimananda and Seyed Amir Hossein Aqajari and Jason Chuang and Brian Demsky and Guoqing Harry Xu and Shan Lu}, title = {Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1288-1287}, doi = {10.1145/3368089.3409682}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional

When Does My Program Do This? Learning Circumstances of Software Behavior
Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, and Andreas Zeller
(CISPA, Germany)


@InProceedings{ESEC/FSE20p1301, author = {Alexander Kampmann and Nikolas Havrikov and Ezekiel O. Soremekun and Andreas Zeller}, title = {When Does My Program Do This? Learning Circumstances of Software Behavior}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3368089.3409687}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Industry Papers

A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: A Case Study on Apollo
Zi Peng, Jinqiu Yang, Tse-Hsun (Peter) Chen, and Lei Ma
(Concordia University, Canada; Kyushu University, Japan)


@InProceedings{ESEC/FSE20p1314, author = {Zi Peng and Jinqiu Yang and Tse-Hsun (Peter) Chen and Lei Ma}, title = {A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: A Case Study on Apollo}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1314-1313}, doi = {10.1145/3368089.3417063}, year = {2020}, } Publisher's Version Video Teaser

Adapting Bug Prediction Models to Predict Reverted Commits at Wayfair
Alexander Suh
(Wayfair Research, USA)


@InProceedings{ESEC/FSE20p1326, author = {Alexander Suh}, title = {Adapting Bug Prediction Models to Predict Reverted Commits at Wayfair}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1326-1325}, doi = {10.1145/3368089.3417062}, year = {2020}, } Publisher's Version Video Teaser

Can Microtask Programming Work in Industry?
Shinobu Saito, Yukako Iimura, Emad Aghayi, and Thomas D. LaToza
(NTT, Japan; George Mason University, USA)


@InProceedings{ESEC/FSE20p1338, author = {Shinobu Saito and Yukako Iimura and Emad Aghayi and Thomas D. LaToza}, title = {Can Microtask Programming Work in Industry?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1338-1337}, doi = {10.1145/3368089.3417046}, year = {2020}, } Publisher's Version Video Teaser

Change Impact Analysis in Simulink Designs of Embedded Systems
Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, and Feisel Weslati
(McMaster University, Canada; FCA, USA)


@InProceedings{ESEC/FSE20p1350, author = {Bennett Mackenzie and Vera Pantelic and Gordon Marks and Stephen Wynn-Williams and Gehan Selim and Mark Lawford and Alan Wassyng and Moustapha Diab and Feisel Weslati}, title = {Change Impact Analysis in Simulink Designs of Embedded Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1350-1349}, doi = {10.1145/3368089.3417060}, year = {2020}, } Publisher's Version

Clustering Test Steps in Natural Language toward Automating Test Automation
Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Peking University, China; Tencent, China)


@InProceedings{ESEC/FSE20p1362, author = {Linyi Li and Zhenwen Li and Weijie Zhang and Jun Zhou and Pengcheng Wang and Jing Wu and Guanghua He and Xia Zeng and Yuetang Deng and Tao Xie}, title = {Clustering Test Steps in Natural Language toward Automating Test Automation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1362-1361}, doi = {10.1145/3368089.3417067}, year = {2020}, } Publisher's Version Video Teaser

Efficient Customer Incident Triage via Linking with System Incidents
Jiazhen Gu, Jiaqi Wen, Zijian Wang, Pu Zhao, Chuan Luo, Yu Kang, Yangfan Zhou, Li Yang, Jeffrey Sun, Zhangwei Xu, Bo Qiao, Liqun Li, Qingwei Lin, and Dongmei Zhang
(Fudan University, China; Peking University, China; Microsoft Research, China; Microsoft Azure, USA)


@InProceedings{ESEC/FSE20p1374, author = {Jiazhen Gu and Jiaqi Wen and Zijian Wang and Pu Zhao and Chuan Luo and Yu Kang and Yangfan Zhou and Li Yang and Jeffrey Sun and Zhangwei Xu and Bo Qiao and Liqun Li and Qingwei Lin and Dongmei Zhang}, title = {Efficient Customer Incident Triage via Linking with System Incidents}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1374-1373}, doi = {10.1145/3368089.3417061}, year = {2020}, } Publisher's Version Video Teaser

Effort-Aware Just-in-Time Defect Identification in Practice: A Case Study at Alibaba
Meng Yan, Xin Xia, Yuanrui Fan, David Lo, Ahmed E. Hassan, and Xindong Zhang
(Chongqing University, China; Monash University, Australia; Zhejiang University, China; Singapore Management University, Singapore; Queen's University, Canada; Alibaba Group, China)


@InProceedings{ESEC/FSE20p1386, author = {Meng Yan and Xin Xia and Yuanrui Fan and David Lo and Ahmed E. Hassan and Xindong Zhang}, title = {Effort-Aware Just-in-Time Defect Identification in Practice: A Case Study at Alibaba}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1386-1385}, doi = {10.1145/3368089.3417048}, year = {2020}, } Publisher's Version Video Teaser

Enhancing the Interoperability between Deep Learning Frameworks by Model Conversion
Yu Liu, Cheng Chen, Ru Zhang, Tingting Qin, Xiang Ji, Haoxiang Lin, and Mao Yang
(Microsoft Research, China; National University of Singapore, Singapore; ByteDance, China)


@InProceedings{ESEC/FSE20p1398, author = {Yu Liu and Cheng Chen and Ru Zhang and Tingting Qin and Xiang Ji and Haoxiang Lin and Mao Yang}, title = {Enhancing the Interoperability between Deep Learning Frameworks by Model Conversion}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1398-1397}, doi = {10.1145/3368089.3417051}, year = {2020}, } Publisher's Version Video Teaser

Establishing Key Performance Indicators for Measuring Software-Development Processes at a Large Organization
Cem Sürücü, Bianying Song, Jacob Krüger, Gunter Saake, and Thomas Leich
(Volkswagen Financial Services, Germany; University of Magdeburg, Germany; University of Toronto, Canada; Harz University of Applied Sciences, Germany)


@InProceedings{ESEC/FSE20p1410, author = {Cem Sürücü and Bianying Song and Jacob Krüger and Gunter Saake and Thomas Leich}, title = {Establishing Key Performance Indicators for Measuring Software-Development Processes at a Large Organization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1410-1409}, doi = {10.1145/3368089.3417057}, year = {2020}, } Publisher's Version Video Teaser

Estimating GPU Memory Consumption of Deep Learning Models
Yanjie Gao, Yu Liu, Hongyu Zhang, Zhengxian Li, Yonghao Zhu, Haoxiang Lin, and Mao Yang
(Microsoft Research, China; National University of Singapore, Singapore; University of Newcastle, Australia)


@InProceedings{ESEC/FSE20p1422, author = {Yanjie Gao and Yu Liu and Hongyu Zhang and Zhengxian Li and Yonghao Zhu and Haoxiang Lin and Mao Yang}, title = {Estimating GPU Memory Consumption of Deep Learning Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1422-1421}, doi = {10.1145/3368089.3417050}, year = {2020}, } Publisher's Version Video Teaser

Exempla Gratis (E.G.): Code Examples for Free
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena Glassman, and Satish Chandra
(Facebook, USA; University of California at Berkeley, USA; Harvard University, USA)


@InProceedings{ESEC/FSE20p1434, author = {Celeste Barnaby and Koushik Sen and Tianyi Zhang and Elena Glassman and Satish Chandra}, title = {Exempla Gratis (E.G.): Code Examples for Free}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1434-1433}, doi = {10.1145/3368089.3417052}, year = {2020}, } Publisher's Version Video Teaser

Fireteam: A Small-Team Development Practice in Industry
He Zhang, Huang Huang, Dong Shao, and Xin Huang
(Nanjing University, China)


@InProceedings{ESEC/FSE20p1446, author = {He Zhang and Huang Huang and Dong Shao and Xin Huang}, title = {Fireteam: A Small-Team Development Practice in Industry}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1446-1445}, doi = {10.1145/3368089.3417068}, year = {2020}, } Publisher's Version Video Teaser

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, and Jifeng He
(East China Normal University, China; Beijing Institute of Control Engineering, China; Shanghai Trusted Industrial Control Platform, China; China Academy of Space Technology, China)


@InProceedings{ESEC/FSE20p1458, author = {Jincao Feng and Weikai Miao and Hanyue Zheng and Yihao Huang and Jianwen Li and Zheng Wang and Ting Su and Bin Gu and Geguang Pu and Mengfei Yang and Jifeng He}, title = {FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1458-1457}, doi = {10.1145/3368089.3417047}, year = {2020}, } Publisher's Version Video Teaser

Graph-Based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis
Xiaofeng Guo, Xin Peng, Hanzhang Wang, Wanxue Li, Huai Jiang, Dan Ding, Tao Xie, and Liangfei Su
(Fudan University, China; eBay, USA; eBay, China)


@InProceedings{ESEC/FSE20p1470, author = {Xiaofeng Guo and Xin Peng and Hanzhang Wang and Wanxue Li and Huai Jiang and Dan Ding and Tao Xie and Liangfei Su}, title = {Graph-Based Trace Analysis for Microservice Architecture Understanding and Problem Diagnosis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1470-1469}, doi = {10.1145/3368089.3417066}, year = {2020}, } Publisher's Version Video Teaser

Harvey: A Greybox Fuzzer for Smart Contracts
Valentin Wüstholz and Maria Christakis
(ConsenSys, Germany; MPI-SWS, Germany)


@InProceedings{ESEC/FSE20p1482, author = {Valentin Wüstholz and Maria Christakis}, title = {Harvey: A Greybox Fuzzer for Smart Contracts}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1482-1481}, doi = {10.1145/3368089.3417064}, year = {2020}, } Publisher's Version Video Teaser

How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems
Jiajun Jiang, Weihai Lu, Junjie Chen, Qingwei Lin, Pu Zhao, Yu Kang, Hongyu Zhang, Yingfei Xiong, Feng Gao, Zhangwei Xu, Yingnong Dang, and Dongmei Zhang
(Tianjin University, China; Peking University, China; Microsoft Research, China; University of Newcastle, Australia; Microsoft Azure, USA)


@InProceedings{ESEC/FSE20p1494, author = {Jiajun Jiang and Weihai Lu and Junjie Chen and Qingwei Lin and Pu Zhao and Yu Kang and Hongyu Zhang and Yingfei Xiong and Feng Gao and Zhangwei Xu and Yingnong Dang and Dongmei Zhang}, title = {How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1494-1493}, doi = {10.1145/3368089.3417054}, year = {2020}, } Publisher's Version Video Teaser

Improving Cybersecurity Hygiene through JIT Patching
Frederico Araujo and Teryl Taylor
(IBM Research, USA)


@InProceedings{ESEC/FSE20p1506, author = {Frederico Araujo and Teryl Taylor}, title = {Improving Cybersecurity Hygiene through JIT Patching}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1506-1505}, doi = {10.1145/3368089.3417056}, year = {2020}, } Publisher's Version Video Teaser

IntelliCode Compose: Code Generation using Transformer
Alexey Svyatkovskiy, Shao Kun Deng, Shengyu Fu, and Neel Sundaresan
(Microsoft, USA)


@InProceedings{ESEC/FSE20p1518, author = {Alexey Svyatkovskiy and Shao Kun Deng and Shengyu Fu and Neel Sundaresan}, title = {IntelliCode Compose: Code Generation using Transformer}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1518-1517}, doi = {10.1145/3368089.3417058}, year = {2020}, } Publisher's Version Video Teaser

Learning to Extract Transaction Function from Requirements: An Industrial Case on Financial Software
Lin Shi, Mingyang Li, Mingzhe Xing, Yawen Wang, Qing Wang, Xinhua Peng, Weimin Liao, Guizhen Pi, and Haiqing Wang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; China Merchants Bank, China; Beijing Software Cost Evaluation Technology Innovation Alliance, China)


@InProceedings{ESEC/FSE20p1530, author = {Lin Shi and Mingyang Li and Mingzhe Xing and Yawen Wang and Qing Wang and Xinhua Peng and Weimin Liao and Guizhen Pi and Haiqing Wang}, title = {Learning to Extract Transaction Function from Requirements: An Industrial Case on Financial Software}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1530-1529}, doi = {10.1145/3368089.3417053}, year = {2020}, } Publisher's Version Video Teaser

Online Sports Betting through the Prism of Software Engineering
Gvozden Marinkovic, Nikola Lukic, and Nenad Medvidovic
(PlusPlus NT, USA; University of Southern California, USA)


@InProceedings{ESEC/FSE20p1542, author = {Gvozden Marinkovic and Nikola Lukic and Nenad Medvidovic}, title = {Online Sports Betting through the Prism of Software Engineering}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1542-1541}, doi = {10.1145/3368089.3417049}, year = {2020}, } Publisher's Version Video Teaser

Reducing DNN Labelling Cost using Surprise Adequacy: An Industrial Case Study for Autonomous Driving
Jinhan Kim, Jeongil Ju, Robert Feldt, and Shin Yoo
(KAIST, South Korea; Hyundai Motor Group, South Korea; Chalmers University of Technology, Sweden)


@InProceedings{ESEC/FSE20p1554, author = {Jinhan Kim and Jeongil Ju and Robert Feldt and Shin Yoo}, title = {Reducing DNN Labelling Cost using Surprise Adequacy: An Industrial Case Study for Autonomous Driving}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1554-1553}, doi = {10.1145/3368089.3417065}, year = {2020}, } Publisher's Version Video Teaser

Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba
Jie Wang, Yunguang Wu, Gang Zhou, Yiming Yu, Zhenyu Guo, and Yingfei Xiong
(Peking University, China; Ant Group, China; Alibaba Group, China)


@InProceedings{ESEC/FSE20p1566, author = {Jie Wang and Yunguang Wu and Gang Zhou and Yiming Yu and Zhenyu Guo and Yingfei Xiong}, title = {Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1566-1565}, doi = {10.1145/3368089.3417059}, year = {2020}, } Publisher's Version Video Teaser

Towards Intelligent Incident Management: Why We Need It and How We Make It
Zhuangbin Chen, Yu Kang, Liqun Li, Xu Zhang, Hongyu Zhang, Hui Xu, Yangfan Zhou, Li Yang, Jeffrey Sun, Zhangwei Xu, Yingnong Dang, Feng Gao, Pu Zhao, Bo Qiao, Qingwei Lin, Dongmei Zhang, and Michael R. Lyu
(Chinese University of Hong Kong, China; Microsoft Research, China; University of Newcastle, Australia; Fudan University, China; Microsoft Azure, USA)


@InProceedings{ESEC/FSE20p1578, author = {Zhuangbin Chen and Yu Kang and Liqun Li and Xu Zhang and Hongyu Zhang and Hui Xu and Yangfan Zhou and Li Yang and Jeffrey Sun and Zhangwei Xu and Yingnong Dang and Feng Gao and Pu Zhao and Bo Qiao and Qingwei Lin and Dongmei Zhang and Michael R. Lyu}, title = {Towards Intelligent Incident Management: Why We Need It and How We Make It}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1578-1577}, doi = {10.1145/3368089.3417055}, year = {2020}, } Publisher's Version Video Teaser

WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing
Zhenyue Long, Guoquan Wu, Xiaojiang Chen, Wei Chen, and Jun Wei
(GuangDong Power Grid, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


@InProceedings{ESEC/FSE20p1590, author = {Zhenyue Long and Guoquan Wu and Xiaojiang Chen and Wei Chen and Jun Wei}, title = {WebRR: Self-Replay Enhanced Robust Record/Replay for Web Application Testing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1590-1589}, doi = {10.1145/3368089.3417069}, year = {2020}, } Publisher's Version Video Teaser

Visions and Reflections

Beyond Accuracy: Assessing Software Documentation Quality
Christoph Treude, Justin Middleton, and Thushari Atapattu
(University of Adelaide, Australia; North Carolina State University, USA)


@InProceedings{ESEC/FSE20p1602, author = {Christoph Treude and Justin Middleton and Thushari Atapattu}, title = {Beyond Accuracy: Assessing Software Documentation Quality}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1602-1601}, doi = {10.1145/3368089.3417045}, year = {2020}, } Publisher's Version Video Teaser

Continuous Experimentation on Artificial Intelligence Software: A Research Agenda
Anh Nguyen-Duc and Pekka Abrahamsson
(University of South Eastern Norway, Norway; University of Jyväskylä, Finland)


@InProceedings{ESEC/FSE20p1606, author = {Anh Nguyen-Duc and Pekka Abrahamsson}, title = {Continuous Experimentation on Artificial Intelligence Software: A Research Agenda}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1606-1605}, doi = {10.1145/3368089.3417039}, year = {2020}, } Publisher's Version Video Teaser

Inferring and Securing Software Configurations using Automated Reasoning
Paul Gazzillo
(University of Central Florida, USA)


@InProceedings{ESEC/FSE20p1610, author = {Paul Gazzillo}, title = {Inferring and Securing Software Configurations using Automated Reasoning}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1610-1609}, doi = {10.1145/3368089.3417041}, year = {2020}, } Publisher's Version Video Teaser

Next Generation Automated Software Evolution Refactoring at Scale
James Ivers, Ipek Ozkaya, Robert L. Nord, and Chris Seifried
(Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE20p1614, author = {James Ivers and Ipek Ozkaya and Robert L. Nord and Chris Seifried}, title = {Next Generation Automated Software Evolution Refactoring at Scale}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1614-1613}, doi = {10.1145/3368089.3417042}, year = {2020}, } Publisher's Version Video Teaser

Revealing the Complexity of Automotive Software
Vard Antinyan
(Volvo Cars, Sweden)


@InProceedings{ESEC/FSE20p1618, author = {Vard Antinyan}, title = {Revealing the Complexity of Automotive Software}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1618-1617}, doi = {10.1145/3368089.3417038}, year = {2020}, } Publisher's Version Video Teaser

Software Documentation and Augmented Reality: Love or Arranged Marriage?
Sridhar Chimalakonda and Akhila Sri Manasa Venigalla
(IIT Tirupati, India)


@InProceedings{ESEC/FSE20p1622, author = {Sridhar Chimalakonda and Akhila Sri Manasa Venigalla}, title = {Software Documentation and Augmented Reality: Love or Arranged Marriage?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1622-1621}, doi = {10.1145/3368089.3417044}, year = {2020}, } Publisher's Version Video Teaser

Testing Machine Learning Code using Polyhedral Region
Md Sohel Ahmed, Fuyuki Ishikawa, and Mahito Sugiyama
(National Institute of Informatics, Japan)


@InProceedings{ESEC/FSE20p1626, author = {Md Sohel Ahmed and Fuyuki Ishikawa and Mahito Sugiyama}, title = {Testing Machine Learning Code using Polyhedral Region}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1626-1625}, doi = {10.1145/3368089.3417043}, year = {2020}, } Publisher's Version Video Teaser

Towards Learning Visual Semantics
Haipeng Cai, Shiv Raj Pant, and Wen Li
(Washington State University, USA)


@InProceedings{ESEC/FSE20p1630, author = {Haipeng Cai and Shiv Raj Pant and Wen Li}, title = {Towards Learning Visual Semantics}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1630-1629}, doi = {10.1145/3368089.3417040}, year = {2020}, } Publisher's Version Video Teaser

Tool Demonstrations

AlloyMC: Alloy Meets Model Counting
Jiayi Yang, Wenxi Wang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)


@InProceedings{ESEC/FSE20p1634, author = {Jiayi Yang and Wenxi Wang and Darko Marinov and Sarfraz Khurshid}, title = {AlloyMC: Alloy Meets Model Counting}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1634-1633}, doi = {10.1145/3368089.3417938}, year = {2020}, } Publisher's Version Video Teaser

ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation
Marcelo Schmitt Laser, Nenad Medvidovic, Duc Minh Le, and Joshua Garcia
(University of Southern California, USA; Bloomberg, USA; University of California at Irvine, USA)


@InProceedings{ESEC/FSE20p1642, author = {Marcelo Schmitt Laser and Nenad Medvidovic and Duc Minh Le and Joshua Garcia}, title = {ARCADE: An Extensible Workbench for Architecture Recovery, Change, and Decay Evaluation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1642-1641}, doi = {10.1145/3368089.3417941}, year = {2020}, } Publisher's Version Video Teaser

BEE: A Tool for Structuring and Analyzing Bug Reports
Yang Song and Oscar Chaparro
(College of William and Mary, USA)


@InProceedings{ESEC/FSE20p1650, author = {Yang Song and Oscar Chaparro}, title = {BEE: A Tool for Structuring and Analyzing Bug Reports}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1650-1649}, doi = {10.1145/3368089.3417928}, year = {2020}, } Publisher's Version Video Teaser

BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies
Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo, and Eng Lieh Ouh
(Singapore Management University, Singapore)


@InProceedings{ESEC/FSE20p1658, author = {Ratnadira Widyasari and Sheng Qin Sim and Camellia Lok and Haodi Qi and Jack Phan and Qijin Tay and Constance Tan and Fiona Wee and Jodie Ethelda Tan and Yuheng Yieh and Brian Goh and Ferdian Thung and Hong Jin Kang and Thong Hoang and David Lo and Eng Lieh Ouh}, title = {BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1658-1657}, doi = {10.1145/3368089.3417943}, year = {2020}, } Publisher's Version Video Teaser

CRSG: A Serious Game for Teaching Code Review
Kaan Ünlü, Barış Ardıç, and Eray Tüzün
(Bilkent University, Turkey)


@InProceedings{ESEC/FSE20p1666, author = {Kaan Ünlü and Barış Ardıç and Eray Tüzün}, title = {CRSG: A Serious Game for Teaching Code Review}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1666-1665}, doi = {10.1145/3368089.3417932}, year = {2020}, } Publisher's Version Video Teaser

Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints
Xiaoqin Fu, Haipeng Cai, and Li Li
(Washington State University, USA; Monash University, Australia)


@InProceedings{ESEC/FSE20p1674, author = {Xiaoqin Fu and Haipeng Cai and Li Li}, title = {Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1674-1673}, doi = {10.1145/3368089.3417920}, year = {2020}, } Publisher's Version Video Teaser

DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information
Boao Li, Meng Yan, Xin Xia, Xing Hu, Ge Li, and David Lo
(Zhejiang University, China; Chongqing University, China; Monash University, Australia; Peking University, China; Singapore Management University, Singapore)


@InProceedings{ESEC/FSE20p1682, author = {Boao Li and Meng Yan and Xin Xia and Xing Hu and Ge Li and David Lo}, title = {DeepCommenter: A Deep Code Comment Generation Tool with Hybrid Lexical and Syntactical Information}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1682-1681}, doi = {10.1145/3368089.3417926}, year = {2020}, } Publisher's Version Video Teaser

DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions
Han Wang, Chunyang Chen, Zhenchang Xing, and John Grundy
(Monash University, Australia; Australian National University, Australia)


@InProceedings{ESEC/FSE20p1690, author = {Han Wang and Chunyang Chen and Zhenchang Xing and John Grundy}, title = {DiffTech: A Tool for Differencing Similar Technologies from Question-and-Answer Discussions}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1690-1689}, doi = {10.1145/3368089.3417931}, year = {2020}, } Publisher's Version Video Teaser

Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction
Lingfeng Bao, Shengyi Pan, Zhenchang Xing, Xin Xia, David Lo, and Xiaohu Yang
(Zhejiang University, China; Zhejiang University of Technology, China; Australian National University, Australia; Monash University, Australia; Singapore Management University, Singapore)


@InProceedings{ESEC/FSE20p1698, author = {Lingfeng Bao and Shengyi Pan and Zhenchang Xing and Xin Xia and David Lo and Xiaohu Yang}, title = {Enhancing Developer Interactions with Programming Screencasts through Accurate Code Extraction}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1698-1697}, doi = {10.1145/3368089.3417925}, year = {2020}, } Publisher's Version Video Teaser

JITO: A Tool for Just-in-Time Defect Identification and Localization
Fangcheng Qiu, Meng Yan, Xin Xia, Xinyu Wang, Yuanrui Fan, Ahmed E. Hassan, and David Lo
(Zhejiang University, China; Chongqing University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore)


@InProceedings{ESEC/FSE20p1706, author = {Fangcheng Qiu and Meng Yan and Xin Xia and Xinyu Wang and Yuanrui Fan and Ahmed E. Hassan and David Lo}, title = {JITO: A Tool for Just-in-Time Defect Identification and Localization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1706-1705}, doi = {10.1145/3368089.3417927}, year = {2020}, } Publisher's Version Video Teaser

LibComp: An IntelliJ Plugin for Comparing Java Libraries
Rehab El-Hajj and Sarah Nadi
(University of Alberta, Canada)


@InProceedings{ESEC/FSE20p1714, author = {Rehab El-Hajj and Sarah Nadi}, title = {LibComp: An IntelliJ Plugin for Comparing Java Libraries}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1714-1713}, doi = {10.1145/3368089.3417922}, year = {2020}, } Publisher's Version Video Teaser

MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays
Abtin Molavi, Mara Downing, Tommy Schneider, and Lucas Bang
(Harvey Mudd College, USA)


@InProceedings{ESEC/FSE20p1722, author = {Abtin Molavi and Mara Downing and Tommy Schneider and Lucas Bang}, title = {MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1722-1721}, doi = {10.1145/3368089.3417937}, year = {2020}, } Publisher's Version Video

ModCon: A Model-Based Testing Platform for Smart Contracts
Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan
(Nanyang Technological University, Singapore; WeBank, China)


@InProceedings{ESEC/FSE20p1730, author = {Ye Liu and Yi Li and Shang-Wei Lin and Qiang Yan}, title = {ModCon: A Model-Based Testing Platform for Smart Contracts}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1730-1729}, doi = {10.1145/3368089.3417939}, year = {2020}, } Publisher's Version Video Teaser

Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture
Anup K. Kalia, Jin Xiao, Chen Lin, Saurabh Sinha, John Rofrano, Maja Vukovic, and Debasish Banerjee
(IBM Research, USA; IBM, USA)


@InProceedings{ESEC/FSE20p1738, author = {Anup K. Kalia and Jin Xiao and Chen Lin and Saurabh Sinha and John Rofrano and Maja Vukovic and Debasish Banerjee}, title = {Mono2Micro: An AI-Based Toolchain for Evolving Monolithic Enterprise Applications to a Microservice Architecture}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1738-1737}, doi = {10.1145/3368089.3417933}, year = {2020}, } Publisher's Version Video Teaser

MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps
Camilo Escobar-Velásquez, Diego Riveros, and Mario Linares-Vásquez
(University of Los Andes, Colombia)


@InProceedings{ESEC/FSE20p1746, author = {Camilo Escobar-Velásquez and Diego Riveros and Mario Linares-Vásquez}, title = {MutAPK 2.0: A Tool for Reducing Mutation Testing Effort of Android Apps}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1746-1745}, doi = {10.1145/3368089.3417942}, year = {2020}, } Publisher's Version Video Teaser

PAClab: A Program Analysis Collaboratory
Rebecca Brunner, Robert Dyer, Maria Paquin, and Elena Sherman
(Bowling Green State University, USA; Boise State University, USA)


@InProceedings{ESEC/FSE20p1754, author = {Rebecca Brunner and Robert Dyer and Maria Paquin and Elena Sherman}, title = {PAClab: A Program Analysis Collaboratory}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1754-1753}, doi = {10.1145/3368089.3417936}, year = {2020}, } Publisher's Version Video Teaser

PCA: Memory Leak Detection using Partial Call-Path Analysis
Wen Li, Haipeng Cai, Yulei Sui, and David Manz
(Washington State University, USA; University of Technology Sydney, Australia; Pacific Northwest National Laboratory, USA)


@InProceedings{ESEC/FSE20p1762, author = {Wen Li and Haipeng Cai and Yulei Sui and David Manz}, title = {PCA: Memory Leak Detection using Partial Call-Path Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1762-1761}, doi = {10.1145/3368089.3417923}, year = {2020}, } Publisher's Version Video Teaser

PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
Ali Ghanbari and Andrian Marcus
(University of Texas at Dallas, USA)


@InProceedings{ESEC/FSE20p1770, author = {Ali Ghanbari and Andrian Marcus}, title = {PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1770-1769}, doi = {10.1145/3368089.3417929}, year = {2020}, } Publisher's Version Video Teaser

PRODeep: A Platform for Robustness Verification of Deep Neural Networks
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, and Holger Hermanns
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Institute of Intelligent Software, China; University of Liverpool, UK; Saarland University, Germany)


@InProceedings{ESEC/FSE20p1778, author = {Renjue Li and Jianlin Li and Cheng-Chao Huang and Pengfei Yang and Xiaowei Huang and Lijun Zhang and Bai Xue and Holger Hermanns}, title = {PRODeep: A Platform for Robustness Verification of Deep Neural Networks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1778-1777}, doi = {10.1145/3368089.3417918}, year = {2020}, } Publisher's Version Video Teaser

SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, and Lijun Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Chongqing Institute of Green and Intelligent Technology at Chinese Academy of Sciences, China)


@InProceedings{ESEC/FSE20p1786, author = {Xie Li and Yi Li and Yong Li and Xuechao Sun and Andrea Turrini and Lijun Zhang}, title = {SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1786-1785}, doi = {10.1145/3368089.3417930}, year = {2020}, } Publisher's Version Teaser

SWAN: A Static Analysis Framework for Swift
Daniil Tiganov, Jeff Cho, Karim Ali, and Julian Dolby
(University of Alberta, Canada; IBM Research, USA)


@InProceedings{ESEC/FSE20p1794, author = {Daniil Tiganov and Jeff Cho and Karim Ali and Julian Dolby}, title = {SWAN: A Static Analysis Framework for Swift}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1794-1793}, doi = {10.1145/3368089.3417924}, year = {2020}, } Publisher's Version Video Teaser

Threshy: Supporting Safe Usage of Intelligent Web Services
Alex Cummaudo, Scott Barnett, Rajesh Vasa, and John Grundy
(Deakin University, Australia; Monash University, Australia)


@InProceedings{ESEC/FSE20p1802, author = {Alex Cummaudo and Scott Barnett and Rajesh Vasa and John Grundy}, title = {Threshy: Supporting Safe Usage of Intelligent Web Services}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1802-1801}, doi = {10.1145/3368089.3417919}, year = {2020}, } Publisher's Version Video Teaser

tsDetect: An Open Source Test Smells Detection Tool
Anthony Peruma, Khalid Almalki, Christian D. Newman, Mohamed Wiem Mkaouer, Ali Ouni, and Fabio Palomba
(Rochester Institute of Technology, USA; ETS, Canada; University of Quebec, Canada; University of Salerno, Italy)


@InProceedings{ESEC/FSE20p1810, author = {Anthony Peruma and Khalid Almalki and Christian D. Newman and Mohamed Wiem Mkaouer and Ali Ouni and Fabio Palomba}, title = {tsDetect: An Open Source Test Smells Detection Tool}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1810-1809}, doi = {10.1145/3368089.3417921}, year = {2020}, } Publisher's Version Video Teaser

UIED: A Hybrid Tool for GUI Element Detection
Mulong Xie, Sidong Feng, Zhenchang Xing, Jieshan Chen, and Chunyang Chen
(Australian National University, Australia; Monash University, Australia)


@InProceedings{ESEC/FSE20p1818, author = {Mulong Xie and Sidong Feng and Zhenchang Xing and Jieshan Chen and Chunyang Chen}, title = {UIED: A Hybrid Tool for GUI Element Detection}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1818-1817}, doi = {10.1145/3368089.3417940}, year = {2020}, } Publisher's Version Video Teaser

UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials
Mohammad Alahmadi, Ahmad Tayeb, Abdulkarim Khormi, Esteban Parra, and Sonia Haiduc
(Florida State University, USA)


@InProceedings{ESEC/FSE20p1826, author = {Mohammad Alahmadi and Ahmad Tayeb and Abdulkarim Khormi and Esteban Parra and Sonia Haiduc}, title = {UIScreens: Extracting User Interface Screens from Mobile Programming Video Tutorials}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1826-1825}, doi = {10.1145/3368089.3417935}, year = {2020}, } Publisher's Version Video Teaser

WebJShrink: A Web Service for Debloating Java Bytecode
Konner Macias, Mihir Mathur, Bobby R. Bruce, Tianyi Zhang, and Miryung Kim
(University of California at Los Angeles, USA; Harvard University, USA)


@InProceedings{ESEC/FSE20p1834, author = {Konner Macias and Mihir Mathur and Bobby R. Bruce and Tianyi Zhang and Miryung Kim}, title = {WebJShrink: A Web Service for Debloating Java Bytecode}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1834-1833}, doi = {10.1145/3368089.3417934}, year = {2020}, } Publisher's Version Published Artifact Video Teaser Artifacts Available

Doctoral Symposium

Assisting the Elite-Driven Open Source Development through Activity Data
Zhendong Wang
(University of California at Irvine, USA)


@InProceedings{ESEC/FSE20p1842, author = {Zhendong Wang}, title = {Assisting the Elite-Driven Open Source Development through Activity Data}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1842-1841}, doi = {10.1145/3368089.3418541}, year = {2020}, } Publisher's Version Video Teaser

Enhancing Developers’ Support on Pull Requests Activities with Software Bots
Mairieli Wessel
(University of São Paulo, Brazil)


@InProceedings{ESEC/FSE20p1846, author = {Mairieli Wessel}, title = {Enhancing Developers’ Support on Pull Requests Activities with Software Bots}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1846-1845}, doi = {10.1145/3368089.3418539}, year = {2020}, } Publisher's Version Teaser

Machine Learning Based Test Data Generation for Safety-Critical Software
Ján Čegiň
(Kempelen Institute of Intelligent Technologies, Slovakia)


@InProceedings{ESEC/FSE20p1850, author = {Ján Čegiň}, title = {Machine Learning Based Test Data Generation for Safety-Critical Software}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1850-1849}, doi = {10.1145/3368089.3418538}, year = {2020}, } Publisher's Version Video Teaser

Reusing Software Engineering Knowledge from Developer Communication
Camila Mariane Costa Silva
(University of Canterbury, New Zealand)


@InProceedings{ESEC/FSE20p1854, author = {Camila Mariane Costa Silva}, title = {Reusing Software Engineering Knowledge from Developer Communication}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1854-1853}, doi = {10.1145/3368089.3418540}, year = {2020}, } Publisher's Version Video Teaser

Towards Transferring Lean Software Startup Practices in Software Engineering Education
Orges Cico
(NTNU, Norway)


@InProceedings{ESEC/FSE20p1858, author = {Orges Cico}, title = {Towards Transferring Lean Software Startup Practices in Software Engineering Education}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1858-1857}, doi = {10.1145/3368089.3418542}, year = {2020}, } Publisher's Version Video Teaser

Student Research Competition

Attention Tracking for Developers
Rozaliya Amirova
(Innopolis University, Russia)


@InProceedings{ESEC/FSE20p1862, author = {Rozaliya Amirova}, title = {Attention Tracking for Developers}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1862-1861}, doi = {10.1145/3368089.3418778}, year = {2020}, } Publisher's Version Video Teaser

Impact of Programming Languages on Energy Consumption for Mobile Devices
Zamira Kholmatova
(Innopolis University, Russia)


@InProceedings{ESEC/FSE20p1866, author = {Zamira Kholmatova}, title = {Impact of Programming Languages on Energy Consumption for Mobile Devices}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1866-1865}, doi = {10.1145/3368089.3418777}, year = {2020}, } Publisher's Version Video Teaser

Recommender Systems: Metric Suggestion Mechanisms Applied to Adaptable Software Dashboards
Dragos Strugar
(Innopolis University, Russia)


@InProceedings{ESEC/FSE20p1870, author = {Dragos Strugar}, title = {Recommender Systems: Metric Suggestion Mechanisms Applied to Adaptable Software Dashboards}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1870-1869}, doi = {10.1145/3368089.3418779}, year = {2020}, } Publisher's Version Video Teaser

Repairing Confusion and Bias Errors for DNN-Based Image Classifiers
Yuchi Tian
(Columbia University, USA)


@InProceedings{ESEC/FSE20p1874, author = {Yuchi Tian}, title = {Repairing Confusion and Bias Errors for DNN-Based Image Classifiers}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1874-1873}, doi = {10.1145/3368089.3418776}, year = {2020}, } Publisher's Version Video Teaser

Synthesizing Correct Code for Machine Learning Programs
Joshua Gisi
(North Dakota State University, USA)


@InProceedings{ESEC/FSE20p1878, author = {Joshua Gisi}, title = {Synthesizing Correct Code for Machine Learning Programs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1878-1877}, doi = {10.1145/3368089.3418780}, year = {2020}, } Publisher's Version Video Teaser

Journal-First Papers

proc time: 1.12