ESEC/FSE 2018
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)

26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), November 4–9, 2018, Lake Buena Vista, FL, USA

Phone Layout
No Pictures
Tuesday, November 6, 2018
Messages from the Chairs
08:20 – 08:30
Messages from the Chairs
Gary T. Leavens, Alessandro Garcia, and Corina S. Păsăreanu
(University of Central Florida, USA; PUC-Rio, Brazil; NASA Ames Research Center, USA)
Behind Every Great Deep Learning Framework Is an Even Greater Programming Languages Concept (Keynote) (Invited Papers)
08:30 – 10:00
Behind Every Great Deep Learning Framework Is an Even Greater Programming Languages Concept (Keynote)
Erik Meijer
(Delft University of Technology, Netherlands; Facebook, USA)
Publisher's Version
Doctorial Symposium
10:00 – 10:30
Student Research Competition
10:00 – 10:30
Practices and Tools for Better Software Testing
Davide Spadini
(Delft University of Technology, Netherlands)
Publisher's Version Preprint
Automated Scenario-Based Integration Testing of Distributed Systems
(University of Porto, Portugal; INESC TEC, Portugal)
Publisher's Version
Automated Support for Mobile Application Testing and Maintenance
(Georgia Institute of Technology, USA)
Publisher's Version
Towards Learning-Augmented Languages
Xinyuan Sun
(University of California at Davis, USA)
Publisher's Version
Moving towards Objective Measures of Program Comprehension
Sarah Fakhoury
(Washington State University, USA)
Publisher's Version
On the Adoption of Neural Networks in Modeling Software Reliability
Kamill Gusmanov
(Innopolis University, Russia)
Publisher's Version
Semantic Inference from Natural Language Privacy Policies and Android Code
Mitra Bokaei Hosseini
(University of Texas at San Antonio, USA)
Publisher's Version
Type Migration in Large-Scale Code Bases
Ameya Ketkar
(Oregon State University, USA)
Publisher's Version
Intelligent Bug Fixing with Software Bug Knowledge Graph
Cheng Zhou
(Yangzhou University, China)
Publisher's Version
Reshaping Distributed Agile and Adaptive Development Environment
Francesco Nocera
(Polytechnic University of Bari, Italy)
Publisher's Version
Quality Assurance Automation in Autonomous Systems
Afsoon Afzal
(Carnegie Mellon University, USA)
Publisher's Version
How Dance(Sport) Can Help to Produce Better Software
Irina Erofeeva
(Innopolis University, Russia)
Publisher's Version
How Do Developers Resolve Merge Conflicts? An Investigation into the Processes, Tools, and Improvements
(Oregon State University, USA)
Publisher's Version Preprint
Feature-Interaction Aware Configuration Prioritization
Son Nguyen
(University of Texas at Dallas, USA)
Publisher's Version
Dara: Hybrid Model Checking of Distributed Systems
Vaastav Anand
(University of British Columbia, Canada)
Publisher's Version
Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
David A. Tomassi
(University of California at Davis, USA)
Publisher's Version
Mining Error-Handling Specifications for Systems Software
Daniel DeFreez
(University of California at Davis, USA)
Publisher's Version
Diversity and Decorum in Open Source Communities
Neill Robson
(North Carolina State University, USA)
Publisher's Version
Concurrency and Races (Research Papers)
10:30 – 12:00
Log Mining (Research Papers)
10:30 – 12:00
Formal Analysis (Industry Papers)
10:30 – 12:00
Testing (Tool Demonstrations)
10:30 – 12:00
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Jie Lu, Feng Li, Lian Li, and Xiaobing Feng
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Institute of Information Engineering at Chinese Academy of Sciences, China)
Publisher's Version
Using Finite-State Models for Log Differencing
Hen Amar, Lingfeng Bao, Nimrod Busany, David Lo, and Shahar Maoz
(Tel Aviv University, Israel; Zhejiang University, Singapore; Singapore Management University, Singapore)
Publisher's Version
Modeling and Testing a Family of Surgical Robots: An Experience Report
Niloofar Mansoor, Jonathan A. Saddler, Bruno Silva, Hamid Bagheri, Myra B. Cohen, and Shane Farritor
(University of Nebraska-Lincoln, USA)
Publisher's Version Preprint
BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Muhammad Ali Gulzar, Siman Wang, and Miryung Kim
(University of California at Los Angeles, USA; Hunan University, China)
Publisher's Version
Testing Multithreaded Programs via Thread Speed Control
Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu
(Nanjing University, China)
Publisher's Version Info
Identifying Impactful Service System Problems via Log Analysis
Shilin He, Qingwei Lin, Jian-Guang Lou, Hongyu Zhang, Michael R. Lyu, and Dongmei Zhang
(Chinese University of Hong Kong, China; Microsoft Research, China; University of Newcastle, Australia)
Publisher's Version
Efficient Static Checking of Library Updates
Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, and Asankhaya Sharma
(CA Technologies, Singapore)
Publisher's Version
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Hongxu Chen, Yuekang Li, Bihuan Chen, Yinxing Xue, and Yang Liu
(Nanyang Technological University, Singapore; Fudan University, China; University of Science and Technology of China, China)
Publisher's Version Video Info
Data Race Detection on Compressed Traces
Dileep Kini, Umang Mathur, and Mahesh Viswanathan
(Akuna Capital, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Themis: Automatically Testing Software for Discrimination
Rico Angell, Brittany Johnson, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
Publisher's Version Preprint Video Info
Practical AJAX Race Detection for JavaScript Web Applications
Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, and Frank Tip
(Aarhus University, Denmark; Northeastern University, USA)
Publisher's Version Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
Vista: Web Test Repair using Computer Vision
Andrea Stocco, Rahulkrishna Yandrapally, and Ali Mesbah
(University of British Columbia, Canada)
Publisher's Version Preprint Video
Deep Learning (Research Papers)
13:30 – 15:00
Performance (Research Papers)
13:30 – 15:00
Software Analysis I (Research Papers)
13:30 – 15:00
Security (Industry Papers)
13:30 – 15:00
DeepSim: Deep Learning Code Functional Similarity
Gang Zhao and Jeff Huang
(Texas A&M University, USA)
Publisher's Version
Learning to Sample: Exploiting Similarities across Environments to Learn Performance Models for Configurable Systems
Pooyan Jamshidi, Miguel Velez, Christian Kästner, and Norbert Siegmund
(University of South Carolina, USA; Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
Publisher's Version
RefiNym: Using Names to Refine Types
Santanu Kumar Dash, Miltiadis Allamanis, and Earl T. Barr
(University College London, UK; Microsoft Research, UK)
Publisher's Version
Are Mobile Banking Apps Secure? What Can Be Improved?
Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu, and Lihua Xu
(East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; Macquarie University, Australia; New York University Shanghai, China)
Publisher's Version
Deep Learning Type Inference
Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, and Miltiadis Allamanis
(University of California at Davis, USA; Microsoft Research, USA; University College London, UK; Microsoft Research, UK)
Publisher's Version Preprint Info
Performance Comprehension at WiredTiger
Alexandra Fedorova, Craig Mustard, Ivan Beschastnikh, Julia Rubin, Augustine Wong, Svetozar Miucin, and Louis Ye
(University of British Columbia, Canada)
Publisher's Version
Darwinian Data Structure Selection
Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, and Earl T. Barr
(University College London, UK)
Publisher's Version Preprint Info
VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker with Emulation
Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, and Jiaguang Sun
(Tsinghua University, China)
Publisher's Version
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
(University of Wisconsin-Madison, USA; Microsoft, USA; GrammaTech, USA)
Publisher's Version Preprint Info Artifacts Functional
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Junhee Lee, Seongjoon Hong, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis
(Aarhus University, Denmark; University of Athens, Greece)
Publisher's Version Preprint Info Artifacts Available Artifacts Functional
PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, and Jiaguang Sun
(Tsinghua University, China)
Publisher's Version
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, and Ananth Grama
(Purdue University, USA)
Publisher's Version
Software Development Challenges with Air-Gap Isolation
Sunny Wong and Anne Woepse
(Analytical Graphics, USA)
Publisher's Version
Developer Studies (Research Papers)
15:30 – 17:00
Security (Research Papers)
15:30 – 17:00
Testing I (Research Papers)
15:30 – 17:00
Bugs (Tool Demonstrations)
15:30 – 17:00
Towards a Theory of Software Development Expertise
Sebastian Baltes and Stephan Diehl
(University of Trier, Germany)
Publisher's Version Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
James C. Davis, Christy A. Coghlan, Francisco Servant, and Dongyoon Lee
(Virginia Tech, USA)
Publisher's Version Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Singularity: Pattern Fuzzing for Worst Case Complexity
Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, and Isil Dillig
(University of Texas at Austin, USA)
Publisher's Version Artifacts Available Results Replicated
Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Anastasia Reinhardt, Tianyi Zhang, Mihir Mathur, and Miryung Kim
(George Fox University, USA; University of California at Los Angeles, USA)
Publisher's Version Preprint Video Info
What Makes a Code Change Easier to Review: An Empirical Investigation on Code Change Reviewability
Achyudh Ram, Anand Ashok Sawant, Marco Castelluccio, and Alberto Bacchelli
(University of Waterloo, Canada; Delft University of Technology, Netherlands; Mozilla, UK; Federico II University of Naples, Italy; University of Zurich, Switzerland)
Publisher's Version Preprint
FraudDroid: Automated Ad Fraud Detection for Android Apps
Feng Dong, Haoyu Wang, Li Li, Yao Guo, Tegawendé F. Bissyandé, Tianming Liu, Guoai Xu, and Jacques Klein
(Beijing University of Posts and Telecommunications, China; Monash University, Australia; Peking University, China; University of Luxembourg, Luxembourg)
Publisher's Version
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, and Yu Hu
(IIT Kanpur, India; New York University, USA)
Publisher's Version
PowerStation: Automatically Detecting and Fixing Inefficiencies of Database-Backed Web Applications in IDE
Junwen Yang, Cong Yan, Pranav Subramaniam, Shan Lu, and Alvin Cheung
(University of Chicago, USA; University of Washington, USA)
Publisher's Version
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
(Tel Aviv University, Israel; IBM, Israel)
Publisher's Version Info
SketchFix: A Tool for Automated Program Repair Approach using Lazy Candidate Generation
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, and Sarfraz Khurshid
(University of Texas at Austin, USA)
Publisher's Version Video
WarningsGuru: Integrating Statistical Bug Models with Static Analysis to Provide Timely and Specific Bug Warnings
Louis-Philippe Querel and Peter C. Rigby
(Concordia University, Canada)
Publisher's Version Preprint Info
Wednesday, November 7, 2018
Mobile Apps (Research Papers)
10:30 – 12:00
NIER I (NIER)
10:30 – 12:00
End User Programming and Financial Applications (Industry Papers)
10:30 – 12:00
Mining (Tool Demonstrations)
10:30 – 12:00
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Gang Hu, Linjie Zhu, and Junfeng Yang
(Columbia University, USA)
Publisher's Version
Gamifying Static Analysis
Lisa Nguyen Quang Do and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
Publisher's Version Preprint Info
Design and Validation of Precooked Developer Dashboards
Vladimir Ivanov, Vladislav Pischulin, Alan Rogers, Giancarlo Succi, Jooyong Yi, and Vasilii Zorin
(Innopolis University, Russia)
Publisher's Version
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Tien-Duy B. Le, Lingfeng Bao, and David Lo
(Singapore Management University, Singapore; Zhejiang University, China)
Publisher's Version
Winning the App Production Rally
Ehsan Noei, Daniel Alencar Da Costa, and Ying Zou
(Queen's University, Canada)
Publisher's Version
The Case for Experiment-Oriented Computing
Paulo Salem
(Dell EMC, Brazil)
Publisher's Version
Testing and Validating End User Programmed Calculated Fields
Víctor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Ignacio Perez, and Santiago Perez
(University of Buenos Aires, Argentina; CONICET, Argentina; Imperial College London, UK; Medallia, USA)
Publisher's Version
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, and Jiaguang Sun
(Tsinghua University, China; Peking University, China; Ant Financial, China)
Publisher's Version
On the Naturalness of Proofs
Vincent J. Hellendoorn, Premkumar T. Devanbu, and Mohammad Amin Alipour
(University of California at Davis, USA; University of Houston, USA)
Publisher's Version
Automated Refactoring of Nested-IF Formulae in Spreadsheets
Jie Zhang, Shi Han, Dan Hao, Lu Zhang, and Dongmei Zhang
(Peking University, China; Microsoft Research, China)
Publisher's Version
INFAR: Insight Extraction from App Reviews
Cuiyun Gao, Jichuan Zeng, David Lo, Chin-Yew Lin, Michael R. Lyu, and Irwin King
(Chinese University of Hong Kong, China; Singapore Management University, Singapore; Microsoft Research, China)
Publisher's Version
Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development?
Andrew McNamara, Justin Smith, and Emerson Murphy-Hill
(North Carolina State University, USA)
Publisher's Version
FACTS: Automated Black-Box Testing of FinTech Systems
Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang Dou, Liang He, and Tao Xie
(East China Normal University, China; Macquarie University, Australia; New York University Shanghai, China; CFETS Information Technology, China; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
PyDriller: Python Framework for Mining Software Repositories
Davide Spadini, Maurício Aniche, and Alberto Bacchelli
(Delft University of Technology, Netherlands; University of Zurich, Switzerland)
Publisher's Version Preprint Video Info
How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
Liang Xu, Wensheng Dou, Jiaxin Zhu, Chushu Gao, Jun Wei, and Tao Huang
(University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, and Jiaguang Sun
(Tsinghua University, China; Shanghai Jiao Tong University, China)
Publisher's Version Preprint
Towards Data-Driven Vulnerability Prediction for Requirements
Sayem Mohammad Imtiaz and Tanmay Bhowmik
(Mississippi State University, USA)
Publisher's Version
Software Analysis II (Research Papers)
13:30 – 15:00
Software Maintenance I (Research Papers)
13:30 – 15:00
NIER II (NIER)
13:30 – 15:00
Test Automation (Industry Papers)
13:30 – 15:00
Do Android Taint Analysis Tools Keep Their Promises?
Felix Pauck, , and Heike Wehrheim
(University of Paderborn, Germany)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Yang Zhang, Bogdan Vasilescu, Huaimin Wang, and Vladimir Filkov
(National University of Defense Technology, China; Carnegie Mellon University, USA; University of California at Davis, USA)
Publisher's Version Preprint
Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing
Chu-Pan Wong, Jens Meinicke, and Christian Kästner
(Carnegie Mellon University, USA; University of Magdeburg, Germany)
Publisher's Version
Regression Test Selection for TizenRT
Ahmet Celik, Young Chul Lee, and Milos Gligoric
(University of Texas at Austin, USA; Samsung Electronics, South Korea)
Publisher's Version
Neural-Augmented Static Analysis of Android Communication
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, and Damien Octeau
(University of Wisconsin-Madison, USA; Google, USA)
Publisher's Version
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Feifei Tu, Jiaxin Zhu, Qimu Zheng, and Minghui Zhou
(Peking University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Publisher's Version
Software Fairness
Yuriy Brun and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
Publisher's Version Preprint Info
Building Lean Continuous Integration and Delivery Pipelines by Applying DevOps Principles: A Case Study at Varidesk
Vidroha Debroy, Senecca Miller, and Lance Brimble
(Varidesk, USA)
Publisher's Version
Oreo: Detection of Clones in the Twilight Zone
Vaibhav Saini, Farima Farmahinifarahani, Yadong Lu, Pierre Baldi, and Cristina V. Lopes
(University of California at Irvine, USA)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Do the Dependency Conflicts in My Project Matter?
Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu, and Shing-Chi Cheung
(Northeastern University, China; Hong Kong University of Science and Technology, China)
Publisher's Version Info Artifacts Available Artifacts Reusable Artifacts Functional
Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS)
Elena Sherman and Robert Dyer
(Boise State University, USA; Bowling Green State University, USA)
Publisher's Version Preprint
The Impact of Failing, Flaky, and High Failure Tests on the Number of Crash Reports Associated with Firefox Builds
Md Tajmilur Rahman and Peter C. Rigby
(PBSC Urban Solutions, Canada; Concordia University, Canada)
Publisher's Version Preprint
Towards Counterexample-Guided k-Induction for Fast Bug Detection
Mikhail R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, and Denis A. Nicole
(University of Southampton, UK; Federal University of Amazonas, Brazil; University of Manchester, UK)
Publisher's Version Preprint Video Info
Salient-Class Location: Help Developers Understand Code Change in Code Review
Yuan Huang, Nan Jia, Xiangping Chen, Kai Hong, and Zibin Zheng
(Sun Yat-sen University, China; Hebei GEO University, China)
Publisher's Version
Towards Quantifying the Development Value of Code Contributions
Jinglei Ren, Hezheng Yin, Qingda Hu, Armando Fox, and Wojciech Koszek
(Microsoft Research, China; University of California at Berkeley, USA; Tsinghua University, China; FreeBSD Project, USA)
Publisher's Version
Operationalizing Human Values in Software: A Research Roadmap
Davoud Mougouei, Harsha Perera, Waqar Hussain, Rifat Shams, and Jon Whittle
(Monash University, Australia)
Publisher's Version
Mining (Research Papers)
15:30 – 17:00
Symbolic Execution and Constraint Solving (Research Papers)
15:30 – 17:00
Models (Tool Demonstrations)
15:30 – 17:00
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, and Yan Cai
(Renmin University of China, China; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
Concurrency Verification with Maximal Path Causality
Qiuping Yi and Jeff Huang
(Texas A&M University, USA)
Publisher's Version
A Formal Verification Tool for Ethereum VM Bytecode
Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA; Cornell Tech, USA)
Publisher's Version Preprint Video Info
Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Daniel DeFreez, Aditya V. Thakur, and Cindy Rubio-González
(University of California at Davis, USA)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Shengjian Guo, Meng Wu, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
ASketch: A Sketching Framework for Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Symbolic Execution with Existential Second-Order Constraints
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, and Abhik Roychoudhury
(National University of Singapore, Singapore; Fondazione Bruno Kessler, Italy)
Publisher's Version
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev, and Bedir Tekinerdogan
(UNIT Information Technologies, Turkey; University of Luxembourg, Luxembourg; Altran, Netherlands; Wageningen University, Netherlands)
Publisher's Version Preprint Video Info
Parameterized Model Counting for String and Numeric Constraints
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, and Fang Yu
(Microsoft, USA; University of California at Santa Barbara, USA; National Chengchi University, Taiwan)
Publisher's Version Artifacts Available Artifacts Functional
VT-Revolution: Interactive Programming Tutorials Made Possible
Lingfeng Bao, Zhenchang Xing, Xin Xia, David Lo, and Shanping Li
(Zhejiang University, China; Australian National University, Australia; Monash University, Australia; Singapore Management University, Singapore)
Publisher's Version
Thursday, November 8, 2018
Ten Years of Hunting for Similar Code for Fun and Profit (Keynote) (Invited Papers)
08:30 – 10:00
Ten Years of Hunting for Similar Code for Fun and Profit (Keynote)
Stéphane Glondu, Lingxiao Jiang, and Zhendong Su
(Inria, France; Singapore Management University, Singapore; ETH Zurich, Switzerland)
Publisher's Version
Debugging and Bug Localization (Research Papers)
10:30 – 12:00
Estimation and Prediction (Research Papers)
10:30 – 12:00
Models (Research Papers)
10:30 – 12:00
Probabilistic Reasoning (Research Papers)
10:30 – 12:00
Repair and Synthesis (Research Papers)
10:30 – 12:00
Software Maintenance II (Research Papers)
10:30 – 12:00
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Masatomo Hashimoto, Akira Mori, and Tomonori Izumida
(Chiba Institute of Technology, Japan; AIST, Japan; IIJ Innovation Institute, Japan)
Publisher's Version Info
A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Liyan Song, Leandro L. Minku, and Xin Yao
(Southern University of Science and Technology, China; University of Birmingham, UK)
Publisher's Version
Putback-Based Bidirectional Model Transformations
Xiao He and Zhenjiang Hu
(University of Science and Technology Beijing, China; NII, Japan; University of Tokyo, Japan)
Publisher's Version Info
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian Elbaum, and Zhaogui Xu
(Purdue University, USA; University of Nebraska-Lincoln, USA; University on Nebraska-Lincoln, USA; Nanjing University, China)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Andrew Wood, Paige Rodeghero, Ameer Armaly, and Collin McMillan
(University of Notre Dame, USA; Clemson University, USA; Google, USA)
Publisher's Version
Large-Scale Study of Substitutability in the Presence of Effects
Jackson Maddox, Yuheng Long, and Hridesh Rajan
(Iowa State University, USA; Google, USA)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Feedback-Directed Differential Testing of Interactive Debuggers
Daniel Lehmann and Michael Pradel
(TU Darmstadt, Germany)
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Predicting Node Failure in Cloud Service Systems
Qingwei Lin, Ken Hsieh, Yingnong Dang, Hongyu Zhang, Kaixin Sui, Yong Xu, Jian-Guang Lou, Chenggang Li, Youjiang Wu, Randolph Yao, Murali Chintalapati, and Dongmei Zhang
(Microsoft Research, China; Microsoft, USA; University of Newcastle, Australia)
Publisher's Version
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; TU Braunschweig, Germany; IT University of Copenhagen, Denmark)
Publisher's Version Preprint Info
Testing Probabilistic Programming Systems
Saikat Dutta, Owolabi Legunsen, Zixin Huang, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Visual Web Test Repair
Andrea Stocco, Rahulkrishna Yandrapally, and Ali Mesbah
(University of British Columbia, Canada)
Publisher's Version Preprint Video Info
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, and Yongming Wu
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Ohio State University, USA; Alibaba Group, China)
Publisher's Version
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)
Publisher's Version Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
Applications of Psychological Science for Actionable Analytics
Di Chen, Wei Fu, Rahul Krishna, and Tim Menzies
(North Carolina State University, USA)
Publisher's Version Preprint
Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, and David S. Rosenblum
(National University of Singapore, Singapore; Monash University, Australia; University of Wollongong, Australia)
Publisher's Version
Syntax-Guided Synthesis of Datalog Programs
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, and Mayur Naik
(University of Pennsylvania, USA; Hanyang University, South Korea; University of Wisconsin-Madison, USA)
Publisher's Version Artifacts Available Artifacts Functional
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Thanh Nguyen, Ngoc Tran, Hung Phan, Trong Nguyen, Linh Truong, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen
(Iowa State University, USA; University of Texas at Dallas, USA; Axon, USA)
Publisher's Version
How Should Compilers Explain Problems to Developers?
Titus Barik, Denae Ford, Emerson Murphy-Hill, and Chris Parnin
(Microsoft, USA; North Carolina State University, USA)
Publisher's Version Preprint
Ecosystems and Crowdsourcing (Research Papers)
15:30 – 17:00
Energy (Research Papers)
15:30 – 17:00
Testing II (Research Papers)
15:30 – 17:00
Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Marat Valiev, Bogdan Vasilescu, and James Herbsleb
(Carnegie Mellon University, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
Detection of Energy Inefficiencies in Android Wear Watch Faces
Hailong Zhang, Haowei Wu, and Atanas Rountev
(Ohio State University, USA)
Publisher's Version Artifacts Available Artifacts Functional
Optimizing Test Prioritization via Test Distribution Analysis
Junjie Chen, Yiling Lou, Lingming Zhang, Jianyi Zhou, Xiaoleng Wang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA; Baidu, China)
Publisher's Version
Stochastic Energy Optimization for Mobile GPS Applications
Anthony Canino, Yu David Liu, and Hidehiko Masuhara
(SUNY Binghamton, USA; Tokyo Institute of Technology, Japan)
Publisher's Version
How Well Are Regular Expressions Tested in the Wild?
Peipei Wang and Kathryn T. Stolee
(North Carolina State University, USA)
Publisher's Version
Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF
Mijung Kim, Shing-Chi Cheung, and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Publisher's Version

Time stamp: 2019-07-18T09:22:36+02:00