FSE 2016
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)
Powered by
Conference Publishing Consulting

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

FSE 2016 – Proceedings

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


Title Page
Message from the Chairs
FSE 2016 Summary of Co-located Workshops
FSE 2016 Organization
FSE 2016 Sponsors and Supporters


"Womenomics" and Gender-Inclusive Software: What Software Engineers Need to Know (Invited Talk)
Margaret Burnett
(Oregon State University, USA)
Building a Socio-Technical Theory of Coordination: Why and How (Outstanding Research Award)
James Herbsleb
(Carnegie Mellon University, USA)
Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
Daniel JacksonORCID logo and Mandana Vaziri
(Massachusetts Institute of Technology, USA; IBM, USA)

Wed, Nov 16, 08:30 - 10:30, Emerald Ballroom (Chair: Jo Atlee, Gail Murphy)

Continuous Deployment of Mobile Software at Facebook (Showcase)
Chuck Rossi, Elisa Shibley, Shi Su, Kent Beck, Tony Savor, and Michael Stumm
(Facebook, USA; University of Michigan, USA; Carnegie Mellon University, USA; University of Toronto, Canada)
Model, Execute, and Deploy: Answering the Hard Questions in End-User Programming (Showcase)
Shan Shan Huang ORCID logo
(LogicBlox, USA)
Making Invisible Things Visible: Tracking Down Known Vulnerabilities at 3000 Companies (Showcase)
Gazi Mahmud ORCID logo
(Sonatype, USA)
Developer Workflow at Google (Showcase)
Caitlin Sadowski ORCID logo
(Google, USA)

Research Papers

Session 1: Specification
Tue, Nov 15, 11:00 - 12:30, Emerald 1 (Chair: Mike Whalen)

Titanium: Efficient Analysis of Evolving Alloy Specifications
Hamid Bagheri and Sam MalekORCID logo
(University of Nebraska-Lincoln, USA; University of California at Irvine, USA)
Mining Performance Specifications
Marc Brünink and David S. Rosenblum
(National University of Singapore, Singapore)
Designing Minimal Effective Normative Systems with the Help of Lightweight Formal Methods
Jianye Hao, Eunsuk Kang, Jun Sun, and Daniel JacksonORCID logo
(Tianjin University, China; University of California at Berkeley, USA; Singapore University of Technology and Design, Singapore; Massachusetts Institute of Technology, USA)
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
Xiaofei Xie, Bihuan Chen, Yang Liu ORCID logo, Wei Le ORCID logo, and Xiaohong Li ORCID logo
(Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA)

Session 2: HCI and Process
Tue, Nov 15, 11:00 - 12:30, Emerald 2 (Chair: Peri Tarr)

A Cross-Tool Communication Study on Program Analysis Tool Notifications
Brittany Johnson, Rahul Pandita, Justin Smith, Denae Ford, Sarah Elder, Emerson Murphy-Hill, Sarah Heckman, and Caitlin Sadowski
(North Carolina State University, USA; Google, USA)
Factors Influencing Code Review Processes in Industry
Tobias Baum, Olga Liskin, Kai Niklas, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Foraging and Navigations, Fundamentally: Developers' Predictions of Value and Cost
David Piorkowski, Austin Z. Henley, Tahmid Nabi, Scott D. Fleming, Christopher Scaffidi, and Margaret Burnett
(Oregon State University, USA; University of Memphis, USA)
How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems
Christopher Bogart, Christian KästnerORCID logo, James Herbsleb, and Ferdian Thung
(Carnegie Mellon University, USA; Singapore Management University, Singapore)

Session 3: Bug Detection and Debugging
Tue, Nov 15, 11:00 - 12:30, Emerald 3 (Chair: Tingting Yu)

Python Predictive Analysis for Bug Detection
Zhaogui Xu, Peng Liu, Xiangyu ZhangORCID logo, and Baowen Xu ORCID logo
(Nanjing University, China; Purdue University, USA)
Crash Consistency Validation Made Easy
Yanyan Jiang, Haicheng Chen, Feng Qin, Chang XuORCID logo, Xiaoxing Ma, and Jian Lu
(Nanjing University, China; Ohio State University, USA)
Discovering Bug Patterns in JavaScript
Quinn Hanam, Fernando S. de M. Brito, and Ali Mesbah
(University of British Columbia, Canada; Federal University of Paraíba, Brazil)
Info aec-badge-fse16-ae
Effort-Aware Just-in-Time Defect Prediction: Simple Unsupervised Models Could Be Better Than Supervised Models
Yibiao Yang, Yuming ZhouORCID logo, Jinping Liu, Yangyang Zhao, Hongmin Lu, Lei Xu ORCID logo, Baowen Xu ORCID logo, and Hareton Leung
(Nanjing University, China; Hong Kong Polytechnic University, China)

Session 4: Security and Privacy
Tue, Nov 15, 14:00 - 15:30, Emerald 1 (Chair: Diomidis Spinellis)

Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis
Jianjun Huang, Xiangyu ZhangORCID logo, and Lin Tan
(Purdue University, USA; University of Waterloo, Canada)
Multi-representational Security Analysis
Eunsuk Kang, Aleksandar Milicevic, and Daniel JacksonORCID logo
(University of California at Berkeley, USA; Microsoft, USA; Massachusetts Institute of Technology, USA)
String Analysis for Side Channels with Segmented Oracles
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Păsăreanu, and Tevfik BultanORCID logo
(University of California at Santa Barbara, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
WebRanz: Web Page Randomization for Better Advertisement Delivery and Web-Bot Prevention
Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu ZhangORCID logo, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; Pennsylvania State University, USA; TU Darmstadt, Germany)
Info aec-badge-fse16-ae

Session 5: Adaptation and Change
Tue, Nov 15, 14:00 - 15:30, Emerald 2 (Chair: Harald Gall)

A Discrete-Time Feedback Controller for Containerized Cloud Applications
Luciano Baresi, Sam Guinea, Alberto Leva, and Giovanni Quattrocchi
(Politecnico di Milano, Italy)
Keep It SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
Stepan Shevtsov and Danny Weyns
(Linnaeus University, Sweden; KU Leuven, Belgium)
Automated Change Impact Analysis between SysML Models of Requirements and Design
Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel C. BriandORCID logo, and Felix Mandoux
(University of Luxembourg, Luxembourg; Delphi Automotive Systems, Luxembourg)

Session 6: API Mining and Usage
Tue, Nov 15, 14:00 - 15:30, Emerald 3 (Chair: Tao Xie)

Parameter-Free Probabilistic API Mining across GitHub
Jaroslav Fowkes and Charles Sutton
(University of Edinburgh, UK)
API Deprecation: A Retrospective Analysis and Detection Method for Code Examples on the Web
Jing Zhou and Robert J. Walker
(University of Calgary, Canada)
When Should Internal Interfaces Be Promoted to Public?
André HoraORCID logo, Marco Tulio Valente, Romain Robbes, and Nicolas Anquetil
(Federal University of Minas Gerais, Brazil; Federal University of Mato Grosso do Sul, Brazil; University of Chile, Chile; University of Lille, France)
POLLUX: Safely Upgrading Dependent Application Libraries
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, and Rahul Purandare ORCID logo
(IIIT Delhi, India; IBM Research, India; IIT Delhi, India)

Session 7: Verification
Tue, Nov 15, 16:30 - 18:00, Emerald 1 (Chair: Abhik Roychoudhury)

Extracting Instruction Semantics via Symbolic Execution of Code Generators
Niranjan Hasabnis and R. Sekar
(Intel, USA; Stony Brook University, USA)
Efficient Generation of Inductive Validity Cores for Safety Properties
Elaheh Ghassabani, Andrew Gacek, and Michael W. Whalen
(University of Minnesota, USA; Rockwell Collins, USA)
Correctness Witnesses: Exchanging Verification Results between Verifiers
Dirk BeyerORCID logo, Matthias Dangl, Daniel Dietsch, and Matthias Heizmann
(LMU Munich, Germany; University of Passau, Germany; University of Freiburg, Germany)
Info aec-badge-fse16-ae
SMT-Based Verification of Parameterized Systems
Arie Gurfinkel ORCID logo, Sharon Shoham ORCID logo, and Yuri Meshman
(Software Engineering Institute, USA; University of Waterloo, Canada; Tel Aviv University, Israel; Technion, Israel)

Session 8: Requirements and Models
Tue, Nov 15, 16:30 - 18:00, Emerald 2 (Chair: Jo Atlee)

On-the-Fly Decomposition of Specifications in Software Model Checking
Sven Apel, Dirk BeyerORCID logo, Vitaly Mordan, Vadim Mutilin, and Andreas Stahlbauer
(University of Passau, Germany; LMU Munich, Germany; Russian Academy of Sciences, Russia)
Info aec-badge-fse16-ae
On Well-Separation of GR(1) Specifications
Shahar MaozORCID logo and Jan Oliver Ringert
(Tel Aviv University, Israel)
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
Nuno Macedo, Julien Brunel, David Chemouil, Alcino CunhaORCID logo, and Denis Kuperberg
(INESC TEC, Portugal; University of Minho, Portugal; University of Toulouse, France; ONERA, France; TU Munich, Germany)
Gray Links in the Use of Requirements Traceability
Nan NiuORCID logo, Wentao Wang, and Arushi Gupta
(University of Cincinnati, USA)

Session 9: Android
Tue, Nov 15, 16:30 - 18:00, Emerald 3 (Chair: Lingxiao Jiang)

Understanding and Detecting Wake Lock Misuses for Android Applications
Yepang Liu, Chang XuORCID logo, Shing-Chi CheungORCID logo, and Valerio Terragni
(Hong Kong University of Science and Technology, China; Nanjing University, China)
DiagDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions
Yu Kang, Yangfan Zhou ORCID logo, Hui Xu, and Michael R. Lyu ORCID logo
(Chinese University of Hong Kong, China; Fudan University, China)
Minimizing GUI Event Traces
Lazaro Clapp, Osbert Bastani, Saswat Anand, and Alex AikenORCID logo
(Stanford University, USA)
Causal Impact Analysis for App Releases in Google Play
William Martin, Federica SarroORCID logo, and Mark Harman
(University College London, UK)

Session 10: Static Analysis
Wed, Nov 16, 11:00 - 12:30, Emerald 1 (Chair: Mark Marron)

Static DOM Event Dependency Analysis for Testing Web Applications
Chungha Sung, Markus Kusano, Nishant Sinha, and Chao Wang
(Virginia Tech, USA; IBM Research, India; University of Southern California, USA)
On-Demand Strong Update Analysis via Value-Flow Refinement
Yulei Sui and Jingling Xue ORCID logo
(UNSW, Australia)
Call Graph Construction for Java Libraries
Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, and Mira MeziniORCID logo
(TU Darmstadt, Germany)
Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision
Shiyi Wei, Omer Tripp, Barbara G. Ryder, and Julian DolbyORCID logo
(University of Maryland, USA; Google, USA; Virginia Tech, USA; IBM Research, USA)

Session 11: Recommendation
Wed, Nov 16, 11:00 - 12:30, Emerald 2 (Chair: Chris Bird)

What Would Users Change in My App? Summarizing App Reviews for Recommending Software Changes
Andrea Di Sorbo, Sebastiano Panichella, Carol V. Alexandru, Junji Shimagaki, Corrado A. Visaggio, Gerardo Canfora, and Harald C. GallORCID logo
(University of Sannio, Italy; University of Zurich, Switzerland; Sony Mobile Communications, Japan)
API Code Recommendation using Statistical Learning from Fine-Grained Changes
Anh Tuan Nguyen, Michael Hilton, Mihai Codoban, Hoan Anh Nguyen, Lily Mast, Eli Rademacher, Tien N. Nguyen ORCID logo, and Danny Dig
(Iowa State University, USA; Oregon State University, USA; Microsoft, USA; University of Evansville, USA)
TIPMerge: Recommending Experts for Integrating Changes across Branches
Catarina Costa, Jair Figueiredo, Leonardo Murta, and Anita SarmaORCID logo
(Federal University of Acre, Brazil; Federal Fluminense University, Brazil; Oregon State University, USA)
Video Info
Interactive and Guided Architectural Refactoring with Search-Based Recommendation
Yun Lin, Xin Peng ORCID logo, Yuanfang Cai, Danny Dig, Diwen Zheng, and Wenyun Zhao
(Fudan University, China; Drexel University, USA; Oregon State University, USA)

Session 12: Test Coverage
Wed, Nov 16, 11:00 - 12:30, Emerald 3 (Chair: Willem Visser)

Can Testedness be Effectively Measured?
Iftekhar Ahmed, Rahul Gopinath, Caius Brindescu, Alex GroceORCID logo, and Carlos Jensen
(Oregon State University, USA)
A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques
Qi Luo, Kevin Moran, and Denys PoshyvanykORCID logo
(College of William and Mary, USA)
Analyzing the Validity of Selective Mutation with Dominator Mutants
Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio E. Delamaro, Mariet Kurtz, and Nida Gökçe
(George Mason University, USA; University of São Paulo, Brazil; MITRE, USA; Muğla University, Turkey)
An Extensive Study of Static Regression Test Selection in Modern Software Evolution
Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, and Darko MarinovORCID logo
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)

Session 13: Program Analysis
Wed, Nov 16, 14:00 - 15:30, Emerald 1 (Chair: Santosh Nagarakatte)

PerfGuard: Binary-Centric Application Performance Monitoring in Production Environments
Chung Hwan Kim, Junghwan Rhee, Kyu Hyung Lee, Xiangyu ZhangORCID logo, and Dongyan Xu
(Purdue University, USA; NEC Labs, USA; University of Georgia, USA)
Python Probabilistic Type Inference with Natural Language Support
Zhaogui Xu, Xiangyu ZhangORCID logo, Lin Chen ORCID logo, Kexin Pei, and Baowen Xu ORCID logo
(Nanjing University, China; Purdue University, USA)
Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong ORCID logo, Lu Zhang ORCID logo, and Gang Huang ORCID logo
(Peking University, China)
Deep API Learning
Xiaodong Gu, Hongyu Zhang, Dongmei Zhang ORCID logo, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Microsoft Research, China)

Session 14: Build and Configuration
Wed, Nov 16, 14:00 - 15:30, Emerald 2 (Chair: John Penix)

Build System with Lazy Retrieval for Java Projects
Ahmet Celik, Alex Knaust, Aleksandar Milicevic, and Milos GligoricORCID logo
(University of Texas at Austin, USA; Microsoft, USA)
iGen: Dynamic Interaction Inference for Configurable Software
ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, and Adam A. Porter
(University of Maryland at College Park, USA)
CacheOptimizer: Helping Developers Configure Caching Frameworks for Hibernate-Based Database-Centric Web Applications
Tse-Hsun Chen, Weiyi ShangORCID logo, Ahmed E. Hassan ORCID logo, Mohamed Nasser, and Parminder Flora
(Queen's University, Canada; Concordia University, Canada; BlackBerry, Canada)

Session 15: Code Search and Similarity
Wed, Nov 16, 14:00 - 15:30, Emerald 3 (Chair: Mehdi Mirakhorli)

BinGo: Cross-Architecture Cross-OS Binary Search
Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu ORCID logo, Chia Yuan Cho, and Hee Beng Kuan Tan
(Nanyang Technological University, Singapore; DSO National Laboratories, Singapore)
Relationship-Aware Code Search for JavaScript Frameworks
Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie, and Hong Mei
(Peking University, China; Intel Research, China; University of Illinois at Urbana-Champaign, USA)
Code Relatives: Detecting Similarly Behaving Software
Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail Kaiser ORCID logo, and Tony Jebara
(Columbia University, USA)

Session 16: Program Repair
Thu, Nov 17, 11:00 - 12:30, Emerald 1 (Chair: Tien Nguyen)

Understanding and Generating High Quality Patches for Concurrency Bugs
Haopeng Liu, Yuxi Chen, and Shan Lu
(University of Chicago, USA)
Anti-patterns in Search-Based Program Repair
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, and Abhik RoychoudhuryORCID logo
(National University of Singapore, Singapore; Fujitsu Labs, USA)
Semi-supervised Verified Feedback Generation
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, and Sumit GulwaniORCID logo
(Indian Institute of Science, India; Microsoft Research, USA)
WATERFALL: An Incremental Approach for Repairing Record-Replay Tests of Web Applications
Mouna Hammoudi, Gregg Rothermel, and Andrea Stocco
(University of Nebraska-Lincoln, USA; University of Genoa, Italy)

Session 17: Development Environments
Thu, Nov 17, 11:00 - 12:30, Emerald 2 (Chair: Dongmei Zhang)

Efficiency of Projectional Editing: A Controlled Experiment
Thorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, and Janet Siegmund
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; itemis, Germany; IT University of Copenhagen, Denmark; University of Passau, Germany)
ECHO: Instantaneous In Situ Race Detection in the IDE
Sheng Zhan and Jeff Huang ORCID logo
(Texas A&M University, USA)
Detecting Table Clones and Smells in Spreadsheets
Wensheng Dou, Shing-Chi CheungORCID logo, Chushu Gao, Chang XuORCID logo, Liang Xu, and Jun Wei ORCID logo
(Institute of Software at Chinese Academy of Sciences, China; Hong Kong University of Science and Technology, China; Nanjing University, China)

Session 18: Concurrency
Thu, Nov 17, 14:30 - 16:00, Emerald 1 (Chair: Jeff Huang)

Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
Markus Kusano and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
A Deployable Sampling Strategy for Data Race Detection
Yan CaiORCID logo, Jian ZhangORCID logo, Lingwei Cao, and Jian Liu
(Institute of Software at Chinese Academy of Sciences, China; Institute of Information Engineering at Chinese Academy of Sciences, China)
Online Shared Memory Dependence Reduction via Bisectional Coordination
Yanyan Jiang, Chang XuORCID logo, Du Li, Xiaoxing Ma, and Jian Lu
(Nanjing University, China; Carnegie Mellon University, USA)
Parallel Data Race Detection for Task Parallel Programs with Locks
Adarsh Yoga, Santosh Nagarakatte ORCID logo, and Aarti Gupta ORCID logo
(Rutgers University, USA; Princeton University, USA)

Session 19: Open Source
Thu, Nov 17, 14:30 - 16:00, Emerald 2 (Chair: Mei Naggapan)

Paradise Unplugged: Identifying Barriers for Female Participation on Stack Overflow
Denae Ford, Justin Smith, Philip J. Guo ORCID logo, and Chris ParninORCID logo
(North Carolina State University, USA; University of California at San Diego, USA)
Why We Refactor? Confessions of GitHub Contributors
Danilo Silva, Nikolaos TsantalisORCID logo, and Marco Tulio Valente
(Federal University of Minas Gerais, Brazil; Concordia University, Canada)
Info aec-badge-fse16-ae
Effectiveness of Code Contribution: From Patch-Based to Pull-Request-Based Tools
Jiaxin Zhu, Minghui Zhou ORCID logo, and Audris Mockus
(Peking University, China; University of Tennessee, USA)

Session 20: Test Generation
Thu, Nov 17, 14:30 - 16:00, Emerald 3 (Chair: Myra Cohen)

Isomorphic Regression Testing: Executing Uncovered Branches without Test Augmentation
Jie Zhang, Yiling Lou, Lingming Zhang, Dan Hao, Lu Zhang ORCID logo, and Hong Mei ORCID logo
(Peking University, China; University of Texas at Dallas, USA)
Directed Test Generation to Detect Loop Inefficiencies
Monika Dhok and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Field-Exhaustive Testing
Pablo Ponzio ORCID logo, Nazareno AguirreORCID logo, Marcelo F. Frias ORCID logo, and Willem Visser ORCID logo
(National University of Río Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina; Stellenbosch University, South Africa)

Visions and Reflections

Sustainable Software Design
Martin P. RobillardORCID logo
(McGill University, Canada)
Designing for Dystopia: Software Engineering Research for the Post-apocalypse
Titus Barik, Rahul Pandita, Justin Middleton, and Emerson Murphy-Hill
(North Carolina State University, USA)
Disrupting Developer Productivity One Bot at a Time
Margaret-Anne Storey and Alexey Zagalsky
(University of Victoria, Canada)
Training the Future Workforce through Task Curation in an OSS Ecosystem
Anita SarmaORCID logo, Marco Aurélio Gerosa, Igor Steinmacher, and Rafael Leano
(Oregon State University, USA; University of São Paulo, Brazil; Federal University of Technology Paraná, Brazil)
Reaching the Masses: A New Subdiscipline of App Programmer Education
Charles Weir, Awais Rashid, and James NobleORCID logo
(Security Lancaster, UK; Victoria University of Wellington, New Zealand)
Studying Developer Gaze to Empower Software Engineering Research and Practice
Bonita Sharif, Benjamin Clark, and Jonathan I. Maletic
(Youngstown State University, USA; Kent State University, USA)
DeepSoft: A Vision for a Deep Model of Software
Hoa Khanh Dam, Truyen Tran, John Grundy, and Aditya Ghose
(University of Wollongong, Australia; Deakin University, Australia)
Budgeted Testing through an Algorithmic Lens
Myra B. Cohen, A. Pavan, and N. V. Vinodchandran
(University of Nebraska-Lincoln, USA; Iowa State University, USA)
Reasoning with Imprecise Privacy Preferences
Inah Omoronyia
(University of Glasgow, UK)

Industrial Papers

Bing Developer Assistant: Improving Developer Productivity by Recommending Sample Code
Hongyu ZhangORCID logo, Anuj Jain, Gaurav Khandelwal, Chandrashekhar Kaushik, Scott Ge, and Wenxiang Hu
(Microsoft Research, China; Microsoft, India; Microsoft, USA; Microsoft, China)
Cluster-Based Test Suite Functional Analysis
Marcel Zalmanovici, Orna Raz, and Rachel Tzoref-BrillORCID logo
(IBM Research, Israel)
A Portable Interface for Runtime Energy Monitoring
Connor ImesORCID logo, Lars Bergstrom, and Henry HoffmannORCID logo
(University of Chicago, USA; Mozilla Research, USA)
Learning for Test Prioritization: An Industrial Case Study
Benjamin Busjaeger and Tao Xie
(Salesforce.com, USA; University of Illinois at Urbana-Champaign, USA)
Combinatorial Generation of Structurally Complex Test Inputs for Commercial Software Applications
Hua Zhong, Lingming Zhang, and Sarfraz Khurshid
(Google, USA; University of Texas at Austin, USA; University of Texas at Dallas, USA)
Automated Test Input Generation for Android: Are We Really There Yet in an Industrial Case?
Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng ORCID logo, Wing Lam, Wei Yang, and Tao Xie
(Tencent, China; University of Illinois at Urbana-Champaign, USA)

Tool Demonstrations
Wed, Nov 16, 15:30 - 16:30, Foyer 3rd/4th Floor

NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, and Darko MarinovORCID logo
(University of Illinois at Urbana-Champaign, USA)
Video Info
TIPMerge: Recommending Developers for Merging Branches
Catarina Costa, Jair Figueiredo, Anita SarmaORCID logo, and Leonardo Murta
(Federal University of Acre, Brazil; Federal Fluminense University, Brazil; Oregon State University, USA)
Time-Travel Debugging for JavaScript/Node.js
Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, and Gaurav Seth
(University College London, UK; Microsoft Research, USA; Microsoft, USA)
Video Info
PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Ines Hajri, Arda Goknil, Lionel C. BriandORCID logo, and Thierry Stephany
(University of Luxembourg, Luxembourg; IEE, Luxembourg)
Video Info
T2API: Synthesizing API Code Usage Templates from English Texts with Statistical Translation
Thanh Nguyen, Peter C. Rigby ORCID logo, Anh Tuan Nguyen, Mark Karanfil, and Tien N. Nguyen
(Iowa State University, USA; Concordia University, Canada; University of Texas at Dallas, USA)
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs
Pietro Braione, Giovanni Denaro, and Mauro PezzèORCID logo
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
ARdoc: App Reviews Development Oriented Classifier
Sebastiano Panichella, Andrea Di Sorbo, Emitza Guzman, Corrado A. Visaggio, Gerardo Canfora, and Harald C. GallORCID logo
(University of Zurich, Switzerland; University of Sannio, Italy)
Hunter: Next-Generation Code Reuse for Java
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig ORCID logo, and Steven P. ReissORCID logo
(University of Texas at Austin, USA; Brown University, USA)
Video Info
BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, and Miryung Kim ORCID logo
(University of California at Los Angeles, USA)
Visualizing Code and Coverage Changes for Code Review
Sebastiaan Oosterwaal, Arie van Deursen ORCID logo, Roberta Coelho, Anand Ashok Sawant, and Alberto Bacchelli
(Delft University of Technology, Netherlands; Federal University of Rio Grande do Norte, Brazil)
Video Info
End-to-End Memory Behavior Profiling with DINAMITE
Svetozar Miucin, Conor Brady, and Alexandra Fedorova
(University of British Columbia, Canada; Simon Fraser University, Canada)
Validate Your SPDX Files for Open Source License Violations
Demetris Paschalides and Georgia M. Kapitsaki
(University of Cyprus, Cyprus)
Video Info
FSX: A Tool for Fine-Grained Incremental Unit Test Generation for C/C++ Programs
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, and Tadahiro Uehara
(Fujitsu Labs, USA; Fujitsu Labs, Japan)

Doctoral Symposium
Mon, Nov 14, 09:00 - 18:00, Seattle 3 (Chair: Felienne Hermans, Emerson Murphy-Hill)

Refactoring and Migration of Cascading Style Sheets: Towards Optimization and Improved Maintainability
Davood Mazinanian
(Concordia University, Canada)
Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
Stepan Shevtsov
(Linnaeus University, Sweden)
Automating Repetitive Code Changes using Examples
Reudismam Rolim
(Federal University of Campina Grande, Brazil)
Understanding and Improving Continuous Integration
Michael Hilton
(Oregon State University, USA)
Guided Code Synthesis using Deep Neural Networks
Carol V. Alexandru
(University of Zurich, Switzerland)
Generating Interactive Web Pages from Storyboards
Pavel Panchekha
(University of Washington, USA)
Data Structure Synthesis
Calvin Loncaric
(University of Washington, USA)
Understanding Behavioural Patterns in JavaScript
Saba Alimadadi
(University of British Columbia, Canada)
Regression Testing of Web Applications using Record/Replay Tools
Mouna Hammoudi
(University of Nebraska-Lincoln, USA)
Supporting Change in Product Lines within the Context of Use Case-Driven Development and Testing
Ines Hajri
(University of Luxembourg, Luxembourg)
Input-Sensitive Performance Testing
Qi Luo
(College of William and Mary, USA)
On the Utility of Dominator Mutants for Mutation Testing
Bob Kurtz
(George Mason University, USA)

Student Research Competition
Tue, Nov 15, 15:30 - 16:30, Foyer 3rd/4th Floor

Graduate Submissions

Effective Assignment and Assistance to Software Developers and Reviewers
Motahareh Bahrami Zanjani
(Wichita State University, USA)
RABIEF: Range Analysis Based Integer Error Fixing
Xi Cheng
(Tsinghua University, China)
Fine-Grained Binary Code Authorship Identification
Xiaozhu Meng
(University of Wisconsin-Madison, USA)
Identifying Participants for Collaborative Merge
Catarina Costa
(Federal Fluminense University, Brazil)
Cozy: Synthesizing Collection Data Structures
Calvin Loncaric
(University of Washington, USA)
Constraint-Based Event Trace Reduction
Jie Wang
(University of Chinese Academy of Sciences, China)
Automatic Trigger Generation for End User Written Rules for Home Automation
Chandrakana NandiORCID logo
(University of Washington, USA)
Hotspot Symbolic Execution of Floating-Point Programs
Minghui Quan
(National University of Defense Technology, China)
Evaluation of Fault Localization Techniques
Spencer Pearson
(University of Washington, USA)
How Should Static Analysis Tools Explain Anomalies to Developers?
Titus Barik
(North Carolina State University, USA)
Repairing Test Dependence
Wing Lam
(University of Illinois at Urbana-Champaign, USA)
Combining Bug Detection and Test Case Generation
Martin Kellogg
(University of Washington, USA)
SmartDebug: An Interactive Debug Assistant for Java
Xinrui Guo
(Tsinghua University, China)
Static Loop Analysis and Its Applications
Xie Xiaofei
(Tianjin University, China)
Social Health Cues Developers Use when Choosing Open Source Packages
Andrew Head
(University of California at Berkeley, USA)
Finding and Breaking Test Dependencies to Speed Up Test Execution
Sebastian Kappler
(Saarland University, Germany)
Automatic Performance Testing using Input-Sensitive Profiling
Qi Luo
(College of William and Mary, USA)

Undergraduate Submissions

Enforcing Correct Array Indexes with a Type System
Joseph Santino
(University of Washington, USA)
Discovering Additional Violations of Java API Invariants
Waylon Huang
(University of Washington, USA)
Preventing Signedness Errors in Numerical Computations in Java
Christopher A. Mackie
(University of Washington, USA)
Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
Felipe R. Monteiro
(Federal University of Amazonas, Brazil)
Atlas: An Intelligent, Performant Framework for Web-Based Grid Computing
Sachith Gullapalli
(Yale University, USA)

proc time: 1.04