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

27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), August 26–30, 2019, Tallinn, Estonia

ESEC/FSE 2019 – Proceedings

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

Frontmatter

Title Page
Message from the Chairs
ESEC/FSE 2019 Organization
Supporters

Keynotes

Living with Feature Interactions (Keynote)
Joanne M. Atlee
(University of Waterloo, Canada)
Publisher's Version Article Search
Safety and Robustness for Deep Learning with Provable Guarantees (Keynote)
Marta Kwiatkowska
(University of Oxford, UK)
Publisher's Version Article Search
Insights from Open Source Software Supply Chains (Keynote)
Audris Mockus
(University of Tennessee, USA)
Publisher's Version Article Search

Main Research

Concolic Testing for Models of State-Based Systems
Reza Ahmadi and Juergen Dingel
(Queen's University, Canada)
Publisher's Version Article Search Artifacts Reusable
Target-Driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection
Yunho Kim, Shin Hong, and Moonzoo Kim
(KAIST, South Korea; Handong Global University, South Korea)
Publisher's Version Article Search Info
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Lifting Datalog-Based Analyses to Software Product Lines
Ramy Shahin, Marsha Chechik, and Rick Salay
(University of Toronto, Canada)
Publisher's Version Article Search
An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, and Paul Gazzillo
(University of Texas at Dallas, USA; University of Texas at Austin, USA; University of Maryland, USA; University of Central Florida, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Principles of Feature Modeling
Damir Nešić, Jacob Krüger, Ștefan Stănciulescu, and Thorsten Berger
(KTH, Sweden; University of Magdeburg, Germany; ABB, Switzerland; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version Article Search Info
Understanding GCC Builtins to Develop Better Tools
Manuel Rigger, Stefan Marr, Bram Adams, and Hanspeter Mössenböck
(JKU Linz, Austria; University of Kent, UK; Polytechnique Montréal, Canada)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Assessing the Quality of the Steps to Reproduce in Bug Reports
Oscar Chaparro, Carlos Bernal-Cárdenas, Jing Lu, Kevin Moran, Andrian Marcus, Massimiliano Di Penta, Denys Poshyvanyk, and Vincent Ng
(College of William and Mary, USA; University of Texas at Dallas, USA; University of Sannio, Italy)
Publisher's Version Article Search Info
A Learning-Based Approach for Automatic Construction of Domain Glossary from Source Code and Documentation
Chong Wang, Xin Peng, Mingwei Liu, Zhenchang Xing, Xuefang Bai, Bing Xie, and Tuo Wang
(Fudan University, China; Australian National University, Australia; Peking University, China)
Publisher's Version Article Search
On Using Machine Learning to Identify Knowledge in API Reference Documentation
Davide Fucci, Alireza Mollaalizadehbahnemiri, and Walid Maalej
(University of Hamburg, Germany)
Publisher's Version Article Search Artifacts Available
Generating Query-Specific Class API Summaries
Mingwei Liu, Xin Peng, Andrian Marcus, Zhenchang Xing, Wenkai Xie, Shuangshuang Xing, and Yang Liu
(Fudan University, China; University of Texas at Dallas, USA; Australian National University, Australia)
Publisher's Version Article Search
Semantic Relation Based Expansion of Abbreviations
Yanjie Jiang, Hui Liu, and Lu Zhang
(Beijing Institute of Technology, China; Peking University, China)
Publisher's Version Article Search
Diversity-Based Web Test Generation
Matteo Biagiola, Andrea Stocco, Filippo Ricca, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; USI Lugano, Switzerland; University of Genoa, Italy)
Publisher's Version Article Search
Web Test Dependency Detection
Matteo Biagiola, Andrea Stocco, Ali Mesbah, Filippo Ricca, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; USI Lugano, Switzerland; University of British Columbia, Canada; University of Genoa, Italy)
Publisher's Version Article Search
Testing Scratch Programs Automatically
Andreas Stahlbauer, Marvin Kreis, and Gordon Fraser
(University of Passau, Germany)
Publisher's Version Article Search
A Large-Scale Empirical Study of Compiler Errors in Continuous Integration
Chen Zhang, Bihuan Chen, Linlin Chen, Xin Peng, and Wenyun Zhao
(Fudan University, China)
Publisher's Version Article Search
A Statistics-Based Performance Testing Methodology for Cloud Applications
Sen He, Glenna Manns, John Saunders, Wei Wang, Lori Pollock, and Mary Lou Soffa
(University of Texas at San Antonio, USA; University of Virginia, USA; University of Delaware, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computing Platform
Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, and Nematollah Bidokhti
(Federico II University of Naples, Italy; Futurewei Technologies, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Towards More Efficient Meta-heuristic Algorithms for Combinatorial Test Generation
Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, and Hongyu Zhang
(Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China; University of Newcastle, Australia)
Publisher's Version Article Search
Compiler Bug Isolation via Effective Witness Test Program Generation
Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang
(Tianjin University, China; Peking University, China; University of Texas at Dallas, USA)
Publisher's Version Article Search
Concolic Testing with Adaptively Changing Search Heuristics
Sooyoung Cha and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version Article Search
Symbolic Execution-Driven Extraction of the Parallel Execution Plans of Spark Applications
Luciano Baresi, Giovanni Denaro, and Giovanni Quattrocchi
(Politecnico di Milano, Italy; University of Milano-Bicocca, Italy)
Publisher's Version Article Search
Generating Effective Test Cases for Self-Driving Cars from Police Reports
Alessio Gambi, Tri Huynh, and Gordon Fraser
(University of Passau, Germany; Saarland University, Germany; CISPA, Germany)
Publisher's Version Article Search
Preference-Wise Testing for Android Applications
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li
(Nanjing University, China)
Publisher's Version Article Search
Bisecting Commits and Modeling Commit Risk during Testing
Armin Najafi, Peter C. Rigby, and Weiyi Shang
(Concordia University, Canada)
Publisher's Version Article Search
White-Box Testing of Big Data Analytics with Complex User-Defined Functions
Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, and Miryung Kim
(University of California at Los Angeles, USA; Microsoft Research, USA)
Publisher's Version Article Search
Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts
Thomas Durieux, Fernanda Madeiral, Matias Martinez, and Rui Abreu
(University of Lisbon, Portugal; INESC-ID, Portugal; Federal University of Uberlândia, Brazil; Polytechnic University of Hauts-de-France, France)
Publisher's Version Article Search Info Artifacts Available Artifacts Reusable
iFixR: Bug Report driven Program Repair
Anil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim, Martin Monperrus, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg; Furiosa A.I., South Korea; KTH, Sweden)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Exploring and Exploiting the Correlations between Bug-Inducing and Bug-Fixing Commits
Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, and Zhendong Su
(Hong Kong University of Science and Technology, China; Xiamen University, China; Southern University of Science and Technology, China; Sun Yat-sen University, China; ETH Zurich, Switzerland)
Publisher's Version Article Search Info
Effects of Explicit Feature Traceability on Program Comprehension
Jacob Krüger, Gül Çalıklı, Thorsten Berger, Thomas Leich, and Gunter Saake
(University of Magdeburg, Germany; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Harz University of Applied Sciences, Germany; METOP, Germany)
Publisher's Version Article Search Artifacts Available
What the Fork: A Study of Inefficient and Efficient Forking Practices in Social Coding
Shurui Zhou, Bogdan Vasilescu, and Christian Kästner
(Carnegie Mellon University, USA)
Publisher's Version Article Search Info
ServDroid: Detecting Service Usage Inefficiencies in Android Applications
Wei Song, Jing Zhang, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Publisher's Version Article Search Info
Together Strong: Cooperative Android App Analysis
Felix Pauck and Heike Wehrheim
(University of Paderborn, Germany)
Publisher's Version Article Search Info Artifacts Available
A Framework for Writing Trigger-Action Todo Comments in Executable Format
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, and Milos Gligoric
(University of Texas at Austin, USA)
Publisher's Version Article Search
Decomposing the Rationale of Code Commits: The Software Developer’s Perspective
Khadijah Al Safwan and Francisco Servant
(Virginia Tech, USA)
Publisher's Version Article Search Info Artifacts Available
Model-Based Testing of Breaking Changes in Node.js Libraries
Anders Møller and Martin Toldam Torp
(Aarhus University, Denmark)
Publisher's Version Article Search Info Artifacts Reusable
Monitoring-Aware IDEs
Jos Winter, Maurício Aniche, Jürgen Cito, and Arie van Deursen
(Adyen, Netherlands; Delft University of Technology, Netherlands; Massachusetts Institute of Technology, USA)
Publisher's Version Article Search
Going Big: A Large-Scale Study on What Big Data Developers Ask
Mehdi Bagherzadeh and Raffi Khatchadourian
(Oakland University, USA; City University of New York, USA)
Publisher's Version Article Search
Why Aren’t Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions
James C. Davis, Louis G. Michael IV, Christy A. Coghlan, Francisco Servant, and Dongyoon Lee
(Virginia Tech, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Nodest: Feedback-Driven Static Analysis of Node.js Applications
Benjamin Barslev Nielsen, Behnaz Hassanshahi, and François Gauthier
(Oracle Labs, Australia; Aarhus University, Denmark)
Publisher's Version Article Search
Effective Error-Specification Inference via Domain-Knowledge Expansion
Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, and Aditya V. Thakur
(University of California at Davis, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
(Nanyang Technological University, Singapore; Kyushu University, Japan; Zhejiang Sci-Tech University, China)
Publisher's Version Article Search
REINAM: Reinforcement Learning for Input-Grammar Inference
Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; University of Pennsylvania, USA; University of California at Berkeley, USA)
Publisher's Version Article Search Info
Boosting Operational DNN Testing Efficiency through Conditioning
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, and Jian Lü
(Nanjing University, China)
Publisher's Version Article Search
A Comprehensive Study on Deep Learning Bug Characteristics
Md Johirul Islam, Giang Nguyen, Rangeet Pan, and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version Article Search
Just Fuzz It: Solving Floating-Point Constraints using Coverage-Guided Fuzzing
Daniel Liew, Cristian Cadar, Alastair F. Donaldson, and J. Ryan Stinnett
(Imperial College London, UK; Mozilla, USA)
Publisher's Version Article Search Artifacts Available
Cerebro: Context-Aware Adaptive Fuzzing for Effective Vulnerability Detection
Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang, and Yang Liu
(University of Science and Technology of China, China; Nanyang Technological University, Singapore; Zhejiang Sci-Tech University, China)
Publisher's Version Article Search
iFixFlakies: A Framework for Automatically Fixing Order-Dependent Flaky Tests
August Shi, Wing Lam, Reed Oei, Tao Xie, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Article Search
Binary Reduction of Dependency Graphs
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
AggrePlay: Efficient Record and Replay of Multi-threaded Programs
Ernest Pobee and W. K. Chan
(City University of Hong Kong, China)
Publisher's Version Article Search
The Review Linkage Graph for Code Review Analytics: A Recovery Approach and Empirical Study
Toshiki Hirao, Shane McIntosh, Akinori Ihara, and Kenichi Matsumoto
(NAIST, Japan; McGill University, Canada; Wakayama University, Japan)
Publisher's Version Article Search Artifacts Available
Mitigating Power Side Channels during Compilation
Jingbo Wang, Chungha Sung, and Chao Wang
(University of Southern California, USA)
Publisher's Version Article Search
Maximal Multi-layer Specification Synthesis
Yanju Chen, Ruben Martins, and Yu Feng
(University of California at Santa Barbara, USA; Carnegie Mellon University, USA)
Publisher's Version Article Search
Phoenix: Automated Data-Driven Synthesis of Repairs for Static Analysis Violations
Rohan Bavishi, Hiroaki Yoshida, and Mukul R. Prasad
(University of California at Berkeley, USA; Fujitsu Labs, USA)
Publisher's Version Article Search
Black Box Fairness Testing of Machine Learning Models
Aniya Aggarwal, Pranay Lohia, Seema Nagar, Kuntal Dey, and Diptikalyan Saha
(IBM Research, India)
Publisher's Version Article Search
Java Reflection API: Revealing the Dark Side of the Mirror
Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia, and Márcio Ribeiro
(Federal University of Campina Grande, Brazil; State University of Paraíba, Brazil; PUC-Rio, Brazil; Federal University of Alagoas, Brazil)
Publisher's Version Article Search
A Conceptual Replication of Continuous Integration Pain Points in the Context of Travis CI
David Gray Widder, Michael Hilton, Christian Kästner, and Bogdan Vasilescu
(Carnegie Mellon University, USA)
Publisher's Version Article Search Info
Ethnographic Research in Software Engineering: A Critical Review and Checklist
He Zhang, Xin Huang, Xin Zhou, Huang Huang, and Muhammad Ali Babar
(Nanjing University, China; University of Adelaide, Australia)
Publisher's Version Article Search
Achilles’ Heel of Plug-and-Play Software Architectures: A Grounded Theory Based Approach
Joanna C. S. Santos, Adriana Sejfia, Taylor Corrello, Smruthi Gadenkanahalli, and Mehdi Mirakhorli
(Rochester Institute of Technology, USA)
Publisher's Version Article Search Info
Latent Error Prediction and Fault Localization for Microservice Applications by Learning from System Trace Logs
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, and Chuan He
(Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore Management University, Singapore)
Publisher's Version Article Search
The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities
Matthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, and Mark Harman
(University of Luxembourg, Luxembourg; University College London, UK; Facebook, UK)
Publisher's Version Article Search
Detecting Concurrency Memory Corruption Vulnerabilities
Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, and Bin Liang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Renmin University of China, China)
Publisher's Version Article Search
Locating Vulnerabilities in Binaries via Memory Layout Recovering
Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, and Ting Liu
(Shenzhen University, China; Nanyang Technological University, Singapore; National University of Singapore, Singapore; Teesside University, UK; Xi'an Jiaotong University, China)
Publisher's Version Article Search
Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems
Saikat Dutta, Wenxian Zhang, Zixin Huang, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Article Search
NullAway: Practical Type-Based Null Safety for Java
Subarno Banerjee, Lazaro Clapp, and Manu Sridharan
(University of Michigan, USA; Uber Technologies, USA; University of California at Riverside, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Automatically Detecting Missing Cleanup for Ungraceful Exits
Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, and Ji Wang
(National University of Defense Technology, China; University of Kentucky, USA)
Publisher's Version Article Search
Finding and Understanding Bugs in Software Model Checkers
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, and Zhendong Su
(East China Normal University, China; ETH Zurich, Switzerland; MPI-SWS, Germany)
Publisher's Version Article Search
A Segmented Memory Model for Symbolic Execution
Timotej Kapus and Cristian Cadar
(Imperial College London, UK)
Publisher's Version Article Search Artifacts Available Artifacts Reusable
Releasing Fast and Slow: An Exploratory Case Study at ING
Elvan Kula, Ayushi Rastogi, Hennie Huijgens, Arie van Deursen, and Georgios Gousios
(Delft University of Technology, Netherlands; ING Bank, Netherlands)
Publisher's Version Article Search
SAR: Learning Cross-Language API Mappings with Little Knowledge
Nghi D. Q. Bui, Yijun Yu, and Lingxiao Jiang
(Singapore Management University, Singapore; Open University, UK)
Publisher's Version Article Search Info Artifacts Available Artifacts Reusable
Robust Log-Based Anomaly Detection on Unstable Log Data
Xu Zhang, Yong Xu, Qingwei Lin, Bo Qiao, Hongyu Zhang, Yingnong Dang, Chunyu Xie, Xinsheng Yang, Qian Cheng, Ze Li, Junjie Chen, Xiaoting He, Randolph Yao, Jian-Guang Lou, Murali Chintalapati, Furao Shen, and Dongmei Zhang
(Microsoft Research, China; Nanjing University, China; University of Newcastle, Australia; Microsoft, USA; Tianjin University, China)
Publisher's Version Article Search
Pinpointing Performance Inefficiencies in Java
Pengfei Su, Qingsen Wang, Milind Chabbi, and Xu Liu
(College of William and Mary, USA; Scalable Machines Research, USA)
Publisher's Version Article Search
Understanding Flaky Tests: The Developer’s Perspective
Moritz Eck, Fabio Palomba, Marco Castelluccio, and Alberto Bacchelli
(University of Zurich, Switzerland; Mozilla, UK)
Publisher's Version Article Search
SEntiMoji: An Emoji-Powered Learning Approach for Sentiment Analysis in Software Engineering
Zhenpeng Chen, Yanbin Cao, Xuan Lu, Qiaozhu Mei, and Xuanzhe Liu
(Peking University, China; University of Michigan, USA)
Publisher's Version Article Search

Industry Papers

FinExpert: Domain-Specific Test Generation for FinTech Systems
Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, and Tao Xie
(East China Normal University, China; New York University Shanghai, China; CFETS Information Technology, China; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Article Search
Design Diagrams as Ontological Source
Pranay Lohia, Kalapriya Kannan, Biplav Srivastava, and Sameep Mehta
(IBM Research, India; IBM Research, USA)
Publisher's Version Article Search
Predicting Pull Request Completion Time: A Case Study on Large Scale Cloud Services
Chandra Maddila, Chetan Bansal, and Nachiappan Nagappan
(Microsoft Research, USA)
Publisher's Version Article Search
TERMINATOR: Better Automated UI Test Case Prioritization
Zhe Yu, Fahmid Fahid, Tim Menzies, Gregg Rothermel, Kyle Patrick, and Snehit Cherian
(North Carolina State University, USA; LexisNexis, USA)
Publisher's Version Article Search
Risks and Assets: A Qualitative Study of a Software Ecosystem in the Mining Industry
Thomas Olsson and Ulrik Franke
(RISE SICS, Sweden)
Publisher's Version Article Search
Using Microservices for Non-intrusive Customization of Multi-tenant SaaS
Phu H. Nguyen, Hui Song, Franck Chauvel, Roy Muller, Seref Boyar, and Erik Levin
(SINTEF, Norway; Visma, Norway)
Publisher's Version Article Search
Predicting Breakdowns in Cloud Services (with SPIKE)
Jianfeng Chen, Joymallya Chakraborty, Philip Clark, Kevin Haverlock, Snehit Cherian, and Tim Menzies
(North Carolina State University, USA; LexisNexis, USA)
Publisher's Version Article Search
DeepDelta: Learning to Repair Compilation Errors
Ali Mesbah, Andrew Rice, Emily Johnston, Nick Glorioso, and Edward Aftandilian
(University of British Columbia, Canada; University of Cambridge, UK; Google, UK; Google, USA)
Publisher's Version Article Search
WhoDo: Automating Reviewer Suggestions at Scale
Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Christian Bird, Chetan Bansal, Chandra Maddila, Sonu Mehta, and B. Ashok
(Microsoft Research, India; Microsoft Research, USA)
Publisher's Version Article Search
An IR-Based Approach towards Automated Integration of Geo-Spatial Datasets in Map-Based Software Systems
Nima Miryeganeh, Mehdi Amoui, and Hadi Hemmati
(University of Calgary, Canada; Localintel, Canada)
Publisher's Version Article Search
Code Coverage at Google
Marko Ivanković, Goran Petrović, René Just, and Gordon Fraser
(Google, Switzerland; University of Washington, USA; University of Passau, Germany)
Publisher's Version Article Search
When Deep Learning Met Code Search
Jose Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, and Satish Chandra
(Massachusetts Institute of Technology, USA; Facebook, USA; University of California at Berkeley, USA)
Publisher's Version Article Search
FUDGE: Fuzz Driver Generation at Scale
Domagoj Babić, Stefan Bucur, Yaohui Chen, Franjo Ivančić, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, and Wei Wang
(Google, USA; Northeastern University, USA; University of California at Berkeley, USA)
Publisher's Version Article Search
Industry Practice of Coverage-Guided Enterprise Linux Kernel Fuzzing
Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; Alibaba Group, China; Villanova University, USA; Embry-Riddle Aeronautical University, USA)
Publisher's Version Article Search
Architectural Decision Forces at Work: Experiences in an Industrial Consultancy Setting
Julius Rueckert, Andreas Burger, Heiko Koziolek, Thanikesavan Sivanthi, Alexandru Moga, and Carsten Franke
(ABB Research, Germany; ABB Research, Switzerland)
Publisher's Version Article Search
The Role of Limitations and SLAs in the API Industry
Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortés, Pedro J. Molina, Nikhil Kolekar, Prithpal Bhogill, Madhurranjan Mohaan, and Francisco Méndez
(University of Seville, Spain; Metadev, Spain; PayPal, USA; Google, USA; AsyncAPI Initiative, Spain)
Publisher's Version Article Search Info
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, and David Wolfe
(University of Luxembourg, Luxembourg; QRA, Canada)
Publisher's Version Article Search
Model Checking a C++ Software Framework: A Case Study
John Lång and I. S. W. B. Prasetya
(University of Helsinki, Finland; Utrecht University, Netherlands)
Publisher's Version Article Search Info
Evolving with Patterns: A 31-Month Startup Experience Report
Miguel Ehécatl Morales-Trujillo and Gabriel Alberto García-Mireles
(University of Canterbury, New Zealand; Universidad de Sonora, Mexico)
Publisher's Version Article Search
Bridging the Gap between ML Solutions and Their Business Requirements using Feature Interactions
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, and Marcel Zalmanovici
(Western Digital, Israel; IBM Research, Israel; IBM, India)
Publisher's Version Article Search
Design Thinking in Practice: Understanding Manifestations of Design Thinking in Software Engineering
Franziska Dobrigkeit and Danielly de Paula
(HPI, Germany; National University of Ireland at Galway, Ireland)
Publisher's Version Article Search

Demonstrations

MOTSD: A Multi-Objective Test Selection Tool using Test Suite Diagnosability
Daniel Correia, Rui Abreu, Pedro Santos, and João Nadkarni
(University of Lisbon, Portugal; OutSystems, Portugal)
Publisher's Version Article Search
BIKER: A Tool for Bi-Information Source Based API Method Recommendation
Liang Cai, Haoye Wang, Qiao Huang, Xin Xia, Zhenchang Xing, and David Lo
(Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore)
Publisher's Version Article Search
Mart: A Mutant Generation Tool for LLVM
Thierry Titcheu Chekam, Mike Papadakis, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Publisher's Version Article Search Video Info
VARYS: An Agnostic Model-Driven Monitoring-as-a-Service Framework for the Cloud
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
Publisher's Version Article Search Video Info
JCOMIX: A Search-Based Tool to Detect XML Injection Vulnerabilities in Web Applications
Dimitri Michel Stallenberg and Annibale Panichella
(Delft University of Technology, Netherlands)
Publisher's Version Article Search Video
Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis
Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, and Jingling Xue
(University of Technology Sydney, Australia; Alibaba Group, China; Northwestern Polytechnical University, China; UNSW, Australia)
Publisher's Version Article Search
PyGGI 2.0: Language Independent Genetic Improvement Framework
Gabin An, Aymeric Blot, Justyna Petke, and Shin Yoo
(KAIST, South Korea; University College London, UK)
Publisher's Version Article Search Video
CloneCognition: Machine Learning Based Code Clone Validation Tool
Golam Mostaeen, Jeffrey Svajlenko, Banani Roy, Chanchal K. Roy, and Kevin A. Schneider
(University of Saskatchewan, Canada)
Publisher's Version Article Search
EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing
Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, and Xiang Shi
(Tsinghua University, China; WeBank, China)
Publisher's Version Article Search
A Dynamic Taint Analyzer for Distributed Systems
Xiaoqin Fu and Haipeng Cai
(Washington State University, USA)
Publisher's Version Article Search Video Info
Governify for APIs: SLA-Driven Ecosystem for API Governance
Antonio Gamez-Diaz, Pablo Fernandez, and Antonio Ruiz-Cortés
(University of Seville, Spain)
Publisher's Version Article Search Video Info
Developing Secure Bitcoin Contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, and Roberto Zunino
(University of Cagliari, Italy; Imperial College London, UK; University of Trento, Italy)
Publisher's Version Article Search Video Info
DISCOVER: Detecting Algorithmic Complexity Vulnerabilities
Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, and Suresh Kothari
(Iowa State University, USA; EnSoft, USA)
Publisher's Version Article Search Video
AnswerBot: An Answer Summary Generation Tool Based on Stack Overflow
Liang Cai, Haoye Wang, Bowen Xu, Qiao Huang, Xin Xia, David Lo, and Zhenchang Xing
(Zhejiang University, China; Singapore Management University, Singapore; Monash University, Australia; Australian National University, Australia)
Publisher's Version Article Search
Eagle: A Team Practices Audit Framework for Agile Software Development
Alejandro Guerrero, Rafael Fresno, An Ju, Armando Fox, Pablo Fernandez, Carlos Muller, and Antonio Ruiz-Cortés
(University of Seville, Spain; University of California at Berkeley, USA)
Publisher's Version Article Search Video Info

Doctoral Symposium

A Taxonomy of Metrics for Software Fault Prediction
Maria Caulo
(University of Basilicata, Italy)
Publisher's Version Article Search
Distributed Execution of Test Cases and Continuous Integration
Carmen Coviello
(University of Basilicata, Italy)
Publisher's Version Article Search
A Longitudinal Field Study on Creation and Use of Domain-Specific Languages in Industry
Jasper Denkers
(Delft University of Technology, Netherlands)
Publisher's Version Article Search
Failure-Driven Program Repair
Davide Ginelli
(University of Milano-Bicocca, Italy)
Publisher's Version Article Search
On Extending Single-Variant Model Transformations for Reuse in Software Product Line Engineering
Sandra Greiner
(University of Bayreuth, Germany)
Publisher's Version Article Search
Exploratory Test Agents for Stateful Software Systems
Stefan Karlsson
(ABB, Sweden; Mälardalen University, Sweden)
Publisher's Version Article Search
Helping Developers Search and Locate Task-Relevant Information in Natural Language Documents
Arthur Marques
(University of British Columbia, Canada)
Publisher's Version Article Search
Improving Requirements Engineering Practices to Support Experimentation in Software Startups
Jorge Melegati
(Free University of Bolzano, Italy)
Publisher's Version Article Search
Managing the Open Cathedral
Matthias Müller
(Graz University of Technology, Austria)
Publisher's Version Article Search
Machine-Learning Supported Vulnerability Detection in Source Code
Tim Sonnekalb
(DLR, Germany)
Publisher's Version Article Search

Student Research Competition

Software Clusterings with Vector Semantics and the Call Graph
Marios Papachristou
(National Technical University of Athens, Greece)
Publisher's Version Article Search
Machine Learning-Assisted Performance Testing
Mahshid Helali Moghadam
(RISE SICS, Sweden; Mälardalen University, Sweden)
Publisher's Version Article Search
File Tracing by Intercepting Disk Requests
Vladislav Stepanov
(Novgorod State University, Russia)
Publisher's Version Article Search
Recommending Related Functions from API Usage-Based Function Clone Structures
Shamsa Abid
(Lahore University of Management Sciences, Pakistan)
Publisher's Version Article Search
Identifying the Most Valuable Developers using Artifact Traceability Graphs
H. Alperen Cetin
(Bilkent University, Turkey)
Publisher's Version Article Search
Automated Patch Porting across Forked Projects
Luyao Ren
(Peking University, China)
Publisher's Version Article Search
Employing Different Program Analysis Methods to Study Bug Evolution
Charalambos Mitropoulos
(Athens University of Economics and Business, Greece)
Publisher's Version Article Search
Reducing the Workload of the Linux Kernel Maintainers: Multiple-Committer Model
Xin Tan
(Peking University, China)
Publisher's Version Article Search
Efficient Computing in a Safe Environment
Michail Loukeris
(Athens University of Economics and Business, Greece)
Publisher's Version Article Search
The Lessons Software Engineers Can Extract from Painters to Improve the Software Development Process
Milana Nurgalieva
(Innopolis University, Russia)
Publisher's Version Article Search
An Industrial Application of Test Selection using Test Suite Diagnosability
Daniel Correia
(University of Lisbon, Portugal; Instituto Superior Técnico, Portugal)
Publisher's Version Article Search
Understanding Source Code Comments at Large-Scale
Hao He
(Peking University, China)
Publisher's Version Article Search
A Graph-Based Framework for Analysing the Design of Smart Contracts
Bram Vandenbogaerde
(Vrije Universiteit Brussel, Belgium)
Publisher's Version Article Search
Finding the Shortest Path to Reproduce a Failure Found by TESTAR
Olivia Rodriguez Valdes
(Technological University of Havana, Cuba)
Publisher's Version Article Search
Analysing Socio-technical Congruence in the Package Dependency Network of Cargo
Mehdi Golzadeh
(University of Mons, Belgium)
Publisher's Version Article Search
Tuning Backfired? Not (Always) Your Fault: Understanding and Detecting Configuration-Related Performance Bugs
Haochen He
(National University of Defense Technology, China)
Publisher's Version Article Search
On the Use of Lambda Expressions in 760 Open Source Python Projects
Shubham Sangle and Sandeep Muvva
(IIT Tirupati, India)
Publisher's Version Article Search
Test-Related Factors and Post-release Defects: An Empirical Study
Fabiano Pecorelli
(University of Salerno, Italy)
Publisher's Version Article Search
Static Deep Neural Network Analysis for Robustness
Rangeet Pan
(Iowa State University, USA)
Publisher's Version Article Search
Are Existing Code Smells Relevant in Web Games? An Empirical Study
Vaishali Khanve
(IIT Tirupati, India)
Publisher's Version Article Search
Tackling Knowledge Needs during Software Evolution
Jacob Krüger
(University of Magdeburg, Germany)
Publisher's Version Article Search
On the Scalable Dynamic Taint Analysis for Distributed Systems
Xiaoqin Fu
(Washington State University, USA)
Publisher's Version Article Search
Suggesting Reviewers of Software Artifacts using Traceability Graphs
Emre Sülün
(Bilkent University, Turkey)
Publisher's Version Article Search
Using Software Testing to Repair Models
Marco Radavelli
(University of Bergamo, Italy)
Publisher's Version Article Search
Rethinking Regex Engines to Address ReDoS
James C. Davis
(Virginia Tech, USA)
Publisher's Version Article Search
Context-Aware Test Case Adaptation
Peiyi Sun
(Peking University, China)
Publisher's Version Article Search
Empirical Study of Customer Communication Problem in Agile Requirements Engineering
Ilyuza Gizzatullina
(Innopolis University, Russia)
Publisher's Version Article Search

proc time: 9.87