FSE 2016 All Events
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)

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

Phone Layout
No Pictures
Monday, November 14, 2016
Doctoral Symposium
09:00 – 18:00, Seattle 3, Chair: Felienne Hermans, Emerson Murphy-Hill
Refactoring and Migration of Cascading Style Sheets: Towards Optimization and Improved Maintainability
(Concordia University, Canada)
Publisher's Version
Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
(Linnaeus University, Sweden)
Publisher's Version
Automating Repetitive Code Changes using Examples
(Federal University of Campina Grande, Brazil)
Publisher's Version
Understanding and Improving Continuous Integration
Michael Hilton
(Oregon State University, USA)
Publisher's Version
Guided Code Synthesis using Deep Neural Networks
Carol V. Alexandru
(University of Zurich, Switzerland)
Publisher's Version
Generating Interactive Web Pages from Storyboards
(University of Washington, USA)
Publisher's Version
Data Structure Synthesis
(University of Washington, USA)
Publisher's Version
Understanding Behavioural Patterns in JavaScript
Saba Alimadadi
(University of British Columbia, Canada)
Publisher's Version
Regression Testing of Web Applications using Record/Replay Tools
(University of Nebraska-Lincoln, USA)
Publisher's Version Preprint
Supporting Change in Product Lines within the Context of Use Case-Driven Development and Testing
Ines Hajri
(University of Luxembourg, Luxembourg)
Publisher's Version Preprint
Input-Sensitive Performance Testing
Qi Luo
(College of William and Mary, USA)
Publisher's Version
On the Utility of Dominator Mutants for Mutation Testing
Bob Kurtz
(George Mason University, USA)
Publisher's Version
Tuesday, November 15, 2016
Message from the Chairs
08:30 – 09:00, Emerald Ballroom, Chairs: Thomas Zimmermann, Jane Cleland-Huang, Zhendong Su
Message from the Chairs
Thomas Zimmermann, Jane Cleland-Huang, and Zhendong Su
(Microsoft Research, USA; University of Notre Dame, USA; University of California at Davis, USA)
"Womenomics" and Gender-Inclusive Software: What Software Engineers Need to Know (Invited Talk)
09:00 – 10:00, Emerald Ballroom
"Womenomics" and Gender-Inclusive Software: What Software Engineers Need to Know (Invited Talk)
(Oregon State University, USA)
Publisher's Version
Visions 1 (Visions and Reflections)
10:00 – 10:30, Emerald Ballroom, Chair: Darko Marinov
Sustainable Software Design
(McGill University, Canada)
Publisher's Version Preprint
Designing for Dystopia: Software Engineering Research for the Post-apocalypse
(North Carolina State University, USA)
Publisher's Version Preprint
Disrupting Developer Productivity One Bot at a Time
(University of Victoria, Canada)
Publisher's Version
Break
10:30 – 11:00, Foyer 3rd/4th Floor
Session 1: Specification (Research Papers)
11:00 – 12:30, Emerald 1, Chair: Mike Whalen
Titanium: Efficient Analysis of Evolving Alloy Specifications
(University of Nebraska-Lincoln, USA; University of California at Irvine, USA)
Publisher's Version Info
Mining Performance Specifications
Marc Brünink and David S. Rosenblum
(National University of Singapore, Singapore)
Publisher's Version
Designing Minimal Effective Normative Systems with the Help of Lightweight Formal Methods
Jianye Hao, Eunsuk Kang, Jun Sun, and Daniel Jackson
(Tianjin University, China; University of California at Berkeley, USA; Singapore University of Technology and Design, Singapore; Massachusetts Institute of Technology, USA)
Publisher's Version
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA)
Publisher's Version
NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Video Info
Session 2: HCI and Process (Research Papers)
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)
Publisher's Version Preprint
Factors Influencing Code Review Processes in Industry
Tobias Baum, Olga Liskin, Kai Niklas, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Publisher's Version
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)
Publisher's Version
How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems
Christopher Bogart, Christian Kästner, James Herbsleb, and Ferdian Thung
(Carnegie Mellon University, USA; Singapore Management University, Singapore)
Publisher's Version Preprint Info
TIPMerge: Recommending Developers for Merging Branches
Catarina Costa, Jair Figueiredo, Anita Sarma, and Leonardo Murta
(Federal University of Acre, Brazil; Federal Fluminense University, Brazil; Oregon State University, USA)
Publisher's Version
Session 3: Bug Detection and Debugging (Research Papers)
11:00 – 12:30, Emerald 3, Chair: Tingting Yu
Python Predictive Analysis for Bug Detection
Zhaogui Xu, Peng Liu, Xiangyu Zhang, and Baowen Xu
(Nanjing University, China; Purdue University, USA)
Publisher's Version aec-badge-fse16-ae
Crash Consistency Validation Made Easy
Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu
(Nanjing University, China; Ohio State University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint Info aec-badge-fse16-ae
Effort-Aware Just-in-Time Defect Prediction: Simple Unsupervised Models Could Be Better Than Supervised Models
Yibiao Yang, Yuming Zhou, Jinping Liu, Yangyang Zhao, Hongmin Lu, Lei Xu, Baowen Xu, and Hareton Leung
(Nanjing University, China; Hong Kong Polytechnic University, China)
Publisher's Version
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)
Publisher's Version Video Info
Lunch
12:30 – 14:00, Seattle Ballroom
Session 4: Security and Privacy (Research Papers)
14:00 – 15:30, Emerald 1, Chair: Diomidis Spinellis
Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis
Jianjun Huang, Xiangyu Zhang, and Lin Tan
(Purdue University, USA; University of Waterloo, Canada)
Publisher's Version Preprint aec-badge-fse16-ae
Multi-representational Security Analysis
(University of California at Berkeley, USA; Microsoft, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
String Analysis for Side Channels with Segmented Oracles
(University of California at Santa Barbara, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
Publisher's Version
WebRanz: Web Page Randomization for Better Advertisement Delivery and Web-Bot Prevention
Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; Pennsylvania State University, USA; TU Darmstadt, Germany)
Publisher's Version Info aec-badge-fse16-ae
Session 5: Adaptation and Change (Research Papers)
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)
Publisher's Version
Keep It SIMPLEX: Satisfying Multiple Goals with Guarantees in Control-Based Self-Adaptive Systems
(Linnaeus University, Sweden; KU Leuven, Belgium)
Publisher's Version Info
Automated Change Impact Analysis between SysML Models of Requirements and Design
Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel C. Briand, and Felix Mandoux
(University of Luxembourg, Luxembourg; Delphi Automotive Systems, Luxembourg)
Publisher's Version
Inner Source in Platform-Based Product Engineering (J1-TSE)
Dirk Riehle, Maximilian Capraro, Detlef Kips, and Lars Horn
(University of Erlangen-Nuremberg, Germany)
PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany
(University of Luxembourg, Luxembourg; IEE, Luxembourg)
Publisher's Version Preprint Video Info
Session 6: API Mining and Usage (Research Papers)
14:00 – 15:30, Emerald 3, Chair: Tao Xie
Parameter-Free Probabilistic API Mining across GitHub
(University of Edinburgh, UK)
Publisher's Version
API Deprecation: A Retrospective Analysis and Detection Method for Code Examples on the Web
Jing Zhou and Robert J. Walker
(University of Calgary, Canada)
Publisher's Version
When Should Internal Interfaces Be Promoted to Public?
(Federal University of Minas Gerais, Brazil; Federal University of Mato Grosso do Sul, Brazil; University of Chile, Chile; University of Lille, France)
Publisher's Version Preprint
POLLUX: Safely Upgrading Dependent Application Libraries
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, and Rahul Purandare
(IIIT Delhi, India; IBM Research, India; IIT Delhi, India)
Publisher's Version
T2API: Synthesizing API Code Usage Templates from English Texts with Statistical Translation
Thanh Nguyen, Peter C. Rigby, Anh Tuan Nguyen, Mark Karanfil, and Tien N. Nguyen
(Iowa State University, USA; Concordia University, Canada; University of Texas at Dallas, USA)
Publisher's Version
Student Research Competition
15:30 – 16:30, Foyer 3rd/4th Floor
Effective Assignment and Assistance to Software Developers and Reviewers
Motahareh Bahrami Zanjani
(Wichita State University, USA)
Publisher's Version
RABIEF: Range Analysis Based Integer Error Fixing
(Tsinghua University, China)
Publisher's Version
Fine-Grained Binary Code Authorship Identification
(University of Wisconsin-Madison, USA)
Publisher's Version
Identifying Participants for Collaborative Merge
Catarina Costa
(Federal Fluminense University, Brazil)
Publisher's Version
Cozy: Synthesizing Collection Data Structures
(University of Washington, USA)
Publisher's Version
Constraint-Based Event Trace Reduction
Jie Wang
(University of Chinese Academy of Sciences, China)
Publisher's Version
Automatic Trigger Generation for End User Written Rules for Home Automation
(University of Washington, USA)
Publisher's Version
Hotspot Symbolic Execution of Floating-Point Programs
Minghui Quan
(National University of Defense Technology, China)
Publisher's Version
Evaluation of Fault Localization Techniques
Spencer Pearson
(University of Washington, USA)
Publisher's Version
How Should Static Analysis Tools Explain Anomalies to Developers?
(North Carolina State University, USA)
Publisher's Version Preprint
Repairing Test Dependence
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Combining Bug Detection and Test Case Generation
(University of Washington, USA)
Publisher's Version
SmartDebug: An Interactive Debug Assistant for Java
Xinrui Guo
(Tsinghua University, China)
Publisher's Version
Static Loop Analysis and Its Applications
Xie Xiaofei
(Tianjin University, China)
Publisher's Version
Social Health Cues Developers Use when Choosing Open Source Packages
(University of California at Berkeley, USA)
Publisher's Version
Finding and Breaking Test Dependencies to Speed Up Test Execution
Sebastian Kappler
(Saarland University, Germany)
Publisher's Version
Automatic Performance Testing using Input-Sensitive Profiling
Qi Luo
(College of William and Mary, USA)
Publisher's Version
Enforcing Correct Array Indexes with a Type System
Joseph Santino
(University of Washington, USA)
Publisher's Version
Discovering Additional Violations of Java API Invariants
Waylon Huang
(University of Washington, USA)
Publisher's Version
Preventing Signedness Errors in Numerical Computations in Java
Christopher A. Mackie
(University of Washington, USA)
Publisher's Version
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)
Publisher's Version Info
Atlas: An Intelligent, Performant Framework for Web-Based Grid Computing
Sachith Gullapalli
(Yale University, USA)
Publisher's Version
Break
15:30 – 16:30, Foyer 3rd/4th Floor
Session 7: Verification (Research Papers)
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)
Publisher's Version aec-badge-fse16-ae
Efficient Generation of Inductive Validity Cores for Safety Properties
(University of Minnesota, USA; Rockwell Collins, USA)
Publisher's Version
Correctness Witnesses: Exchanging Verification Results between Verifiers
(LMU Munich, Germany; University of Passau, Germany; University of Freiburg, Germany)
Publisher's Version Preprint Info aec-badge-fse16-ae
SMT-Based Verification of Parameterized Systems
Arie Gurfinkel, Sharon Shoham, and Yuri Meshman
(Software Engineering Institute, USA; University of Waterloo, Canada; Tel Aviv University, Israel; Technion, Israel)
Publisher's Version
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs
Pietro Braione, Giovanni Denaro, and Mauro Pezzè
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Publisher's Version
Session 8: Requirements and Models (Research Papers)
16:30 – 18:00, Emerald 2, Chair: Jo Atlee
On-the-Fly Decomposition of Specifications in Software Model Checking
Sven Apel, Dirk Beyer, Vitaly Mordan, Vadim Mutilin, and Andreas Stahlbauer
(University of Passau, Germany; LMU Munich, Germany; Russian Academy of Sciences, Russia)
Publisher's Version Preprint Info aec-badge-fse16-ae
On Well-Separation of GR(1) Specifications
(Tel Aviv University, Israel)
Publisher's Version
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
(INESC TEC, Portugal; University of Minho, Portugal; University of Toulouse, France; ONERA, France; TU Munich, Germany)
Publisher's Version
Gray Links in the Use of Requirements Traceability
Nan Niu, Wentao Wang, and Arushi Gupta
(University of Cincinnati, USA)
Publisher's Version Preprint
Session 9: Android (Research Papers)
16:30 – 18:00, Emerald 3, Chair: Lingxiao Jiang
Understanding and Detecting Wake Lock Misuses for Android Applications
Yepang Liu, Chang Xu, Shing-Chi Cheung, and Valerio Terragni
(Hong Kong University of Science and Technology, China; Nanjing University, China)
Publisher's Version Preprint aec-badge-fse16-ae
DiagDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions
Yu Kang, Yangfan Zhou, Hui Xu, and Michael R. Lyu
(Chinese University of Hong Kong, China; Fudan University, China)
Publisher's Version Info
Minimizing GUI Event Traces
Lazaro Clapp, Osbert Bastani, Saswat Anand, and Alex Aiken
(Stanford University, USA)
Publisher's Version
Causal Impact Analysis for App Releases in Google Play
William Martin, Federica Sarro, and Mark Harman
(University College London, UK)
Publisher's Version Preprint Info
ARdoc: App Reviews Development Oriented Classifier
Sebastiano Panichella, Andrea Di Sorbo, Emitza Guzman, Corrado A. Visaggio, Gerardo Canfora, and Harald C. Gall
(University of Zurich, Switzerland; University of Sannio, Italy)
Publisher's Version Video
Conference Banquet
19:00 – 23:00, EMP Museum
Wednesday, November 16, 2016
Showcases
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)
Publisher's Version
Model, Execute, and Deploy: Answering the Hard Questions in End-User Programming (Showcase)
Shan Shan Huang
(LogicBlox, USA)
Publisher's Version
Making Invisible Things Visible: Tracking Down Known Vulnerabilities at 3000 Companies (Showcase)
Gazi Mahmud
(Sonatype, USA)
Publisher's Version
Developer Workflow at Google (Showcase)
Caitlin Sadowski
(Google, USA)
Publisher's Version
Break
10:30 – 11:00, Foyer 3rd/4th Floor
Session 10: Static Analysis (Research Papers)
11:00 – 12:30, Emerald 1, Chair: Mark Marron
Static DOM Event Dependency Analysis for Testing Web Applications
(Virginia Tech, USA; IBM Research, India; University of Southern California, USA)
Publisher's Version aec-badge-fse16-ae
On-Demand Strong Update Analysis via Value-Flow Refinement
Yulei Sui and Jingling Xue
(UNSW, Australia)
Publisher's Version aec-badge-fse16-ae
Call Graph Construction for Java Libraries
Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version aec-badge-fse16-ae
Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision
Shiyi Wei, Omer Tripp, Barbara G. Ryder, and Julian Dolby
(University of Maryland, USA; Google, USA; Virginia Tech, USA; IBM Research, USA)
Publisher's Version
Session 11: Recommendation (Research Papers)
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. Gall
(University of Sannio, Italy; University of Zurich, Switzerland; Sony Mobile Communications, Japan)
Publisher's Version
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, and Danny Dig
(Iowa State University, USA; Oregon State University, USA; Microsoft, USA; University of Evansville, USA)
Publisher's Version
TIPMerge: Recommending Experts for Integrating Changes across Branches
, Jair Figueiredo, Leonardo Murta, and Anita Sarma
(Federal University of Acre, Brazil; Federal Fluminense University, Brazil; Oregon State University, USA)
Publisher's Version Preprint Video Info
Interactive and Guided Architectural Refactoring with Search-Based Recommendation
Yun Lin, Xin Peng, Yuanfang Cai, Danny Dig, Diwen Zheng, and Wenyun Zhao
(Fudan University, China; Drexel University, USA; Oregon State University, USA)
Publisher's Version Preprint Video
Bing Developer Assistant: Improving Developer Productivity by Recommending Sample Code
Hongyu Zhang, Anuj Jain, Gaurav Khandelwal, Chandrashekhar Kaushik, Scott Ge, and Wenxiang Hu
(Microsoft Research, China; Microsoft, India; Microsoft, USA; Microsoft, China)
Publisher's Version
Session 12: Test Coverage (Research Papers)
11:00 – 12:30, Emerald 3, Chair: Willem Visser
Can Testedness be Effectively Measured?
(Oregon State University, USA)
Publisher's Version
A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques
(College of William and Mary, USA)
Publisher's Version Preprint
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)
Publisher's Version
An Extensive Study of Static Regression Test Selection in Modern Software Evolution
Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
Publisher's Version
Cluster-Based Test Suite Functional Analysis
Marcel Zalmanovici, Orna Raz, and Rachel Tzoref-Brill
(IBM Research, Israel)
Publisher's Version
Lunch
12:30 – 14:00, Seattle Ballroom
Session 13: Program Analysis (Research Papers)
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 Zhang, and Dongyan Xu
(Purdue University, USA; NEC Labs, USA; University of Georgia, USA)
Publisher's Version Preprint
Python Probabilistic Type Inference with Natural Language Support
Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, and Baowen Xu
(Nanjing University, China; Purdue University, USA)
Publisher's Version aec-badge-fse16-ae
Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, and Gang Huang
(Peking University, China)
Publisher's Version aec-badge-fse16-ae
Deep API Learning
Xiaodong Gu, Hongyu Zhang, Dongmei Zhang, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Microsoft Research, China)
Publisher's Version Preprint
A Portable Interface for Runtime Energy Monitoring
Connor Imes, Lars Bergstrom, and Henry Hoffmann
(University of Chicago, USA; Mozilla Research, USA)
Publisher's Version
Session 14: Build and Configuration (Research Papers)
14:00 – 15:30, Emerald 2, Chair: John Penix
Build System with Lazy Retrieval for Java Projects
(University of Texas at Austin, USA; Microsoft, USA)
Publisher's Version
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)
Publisher's Version
CacheOptimizer: Helping Developers Configure Caching Frameworks for Hibernate-Based Database-Centric Web Applications
Tse-Hsun Chen, Weiyi Shang, Ahmed E. Hassan, Mohamed Nasser, and Parminder Flora
(Queen's University, Canada; Concordia University, Canada; BlackBerry, Canada)
Publisher's Version
SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary Optimisation (J1-TOSEM)
Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, and Wei Zheng
(Brunel University London, UK; Seville University, Spain; Northwestern Polytechnical University, China)
Learning for Test Prioritization: An Industrial Case Study
Benjamin Busjaeger and Tao Xie
(Salesforce.com, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint
Session 15: Code Search and Similarity (Research Papers)
14:00 – 15:30, Emerald 3, Chair: Mehdi Mirakhorli
BinGo: Cross-Architecture Cross-OS Binary Search
Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho, and Hee Beng Kuan Tan
(Nanyang Technological University, Singapore; DSO National Laboratories, Singapore)
Publisher's Version
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)
Publisher's Version Preprint
Code Relatives: Detecting Similarly Behaving Software
Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail Kaiser, and Tony Jebara
(Columbia University, USA)
Publisher's Version aec-badge-fse16-ae
Estimating Semantic Relatedness in Source Code (J1-TOSEM)
Anas Mahmoud and Gary Bradshaw
(Louisiana State University, USA; Mississippi State University, USA)
Hunter: Next-Generation Code Reuse for Java
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, and Steven P. Reiss
(University of Texas at Austin, USA; Brown University, USA)
Publisher's Version Preprint Video Info
Tool Demonstrations
15:30 – 16:30, Foyer 3rd/4th Floor
NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Video Info
TIPMerge: Recommending Developers for Merging Branches
Catarina Costa, Jair Figueiredo, Anita Sarma, and Leonardo Murta
(Federal University of Acre, Brazil; Federal Fluminense University, Brazil; Oregon State University, USA)
Publisher's Version
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)
Publisher's Version Video Info
PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany
(University of Luxembourg, Luxembourg; IEE, Luxembourg)
Publisher's Version Preprint Video Info
T2API: Synthesizing API Code Usage Templates from English Texts with Statistical Translation
Thanh Nguyen, Peter C. Rigby, Anh Tuan Nguyen, Mark Karanfil, and Tien N. Nguyen
(Iowa State University, USA; Concordia University, Canada; University of Texas at Dallas, USA)
Publisher's Version
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs
Pietro Braione, Giovanni Denaro, and Mauro Pezzè
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Publisher's Version
ARdoc: App Reviews Development Oriented Classifier
Sebastiano Panichella, Andrea Di Sorbo, Emitza Guzman, Corrado A. Visaggio, Gerardo Canfora, and Harald C. Gall
(University of Zurich, Switzerland; University of Sannio, Italy)
Publisher's Version Video
Hunter: Next-Generation Code Reuse for Java
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, and Steven P. Reiss
(University of Texas at Austin, USA; Brown University, USA)
Publisher's Version Preprint Video Info
BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, and Miryung Kim
(University of California at Los Angeles, USA)
Publisher's Version
Visualizing Code and Coverage Changes for Code Review
Sebastiaan Oosterwaal, Arie van Deursen, Roberta Coelho, Anand Ashok Sawant, and Alberto Bacchelli
(Delft University of Technology, Netherlands; Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Preprint 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)
Publisher's Version
Validate Your SPDX Files for Open Source License Violations
(University of Cyprus, Cyprus)
Publisher's Version 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)
Publisher's Version
Break
15:30 – 16:30, Foyer 3rd/4th Floor
Panel: TBA
16:30 – 18:00, Emerald Ballroom, Chair: Margaret-Anne Storey
SIGSOFT Town Hall
18:00 – 19:00, Emerald Ballroom
Thursday, November 17, 2016
Building a Socio-Technical Theory of Coordination: Why and How (Outstanding Research Award)
08:30 – 09:30, Emerald Ballroom
Building a Socio-Technical Theory of Coordination: Why and How (Outstanding Research Award)
(Carnegie Mellon University, USA)
Publisher's Version Preprint
Visions 2 (Visions and Reflections)
09:30 – 10:30, Emerald Ballroom, Chair: Miryung Kim
Training the Future Workforce through Task Curation in an OSS Ecosystem
(Oregon State University, USA; University of São Paulo, Brazil; Federal University of Technology Paraná, Brazil)
Publisher's Version Preprint
Reaching the Masses: A New Subdiscipline of App Programmer Education
Charles Weir, Awais Rashid, and James Noble
(Security Lancaster, UK; Victoria University of Wellington, New Zealand)
Publisher's Version
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)
Publisher's Version
DeepSoft: A Vision for a Deep Model of Software
(University of Wollongong, Australia; Deakin University, Australia)
Publisher's Version
Budgeted Testing through an Algorithmic Lens
Myra B. Cohen, A. Pavan, and N. V. Vinodchandran
(University of Nebraska-Lincoln, USA; Iowa State University, USA)
Publisher's Version Preprint
Reasoning with Imprecise Privacy Preferences
(University of Glasgow, UK)
Publisher's Version Preprint
Break
10:30 – 11:00, Foyer 3rd/4th Floor
Session 16: Program Repair (Research Papers)
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)
Publisher's Version
Anti-patterns in Search-Based Program Repair
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, and Abhik Roychoudhury
(National University of Singapore, Singapore; Fujitsu Labs, USA)
Publisher's Version Preprint Info
Semi-supervised Verified Feedback Generation
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, and Sumit Gulwani
(Indian Institute of Science, India; Microsoft Research, USA)
Publisher's Version
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)
Publisher's Version Preprint
BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, and Miryung Kim
(University of California at Los Angeles, USA)
Publisher's Version
Session 17: Development Environments (Research Papers)
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)
Publisher's Version
ECHO: Instantaneous In Situ Race Detection in the IDE
Sheng Zhan and Jeff Huang
(Texas A&M University, USA)
Publisher's Version Info
Detecting Table Clones and Smells in Spreadsheets
Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; Hong Kong University of Science and Technology, China; Nanjing University, China)
Publisher's Version
Exploring Mobile End User Development: Existing Use and Design Factors (J1-TSE)
Abdallah Namoun, Athanasia Daskalopoulou, Nikolay Mehandjiev, and Zhang Xun
(Islamic University of Madinah, Saudi Arabia; University of Manchester, UK)
Visualizing Code and Coverage Changes for Code Review
Sebastiaan Oosterwaal, Arie van Deursen, Roberta Coelho, Anand Ashok Sawant, and Alberto Bacchelli
(Delft University of Technology, Netherlands; Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Preprint Video Info
SRC Presentations (Student Research Competition)
11:00 – 12:30, Emerald 3, Chair: Cindy Rubio Gonzalez, Gustavo Soares
Lunch (on Your Own)
12:30 – 14:30, Seattle Ballroom
Session 18: Concurrency (Research Papers)
14:30 – 16:00, Emerald 1, Chair: Jeff Huang
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version
A Deployable Sampling Strategy for Data Race Detection
Yan Cai, Jian Zhang, Lingwei Cao, and Jian Liu
(Institute of Software at Chinese Academy of Sciences, China; Institute of Information Engineering at Chinese Academy of Sciences, China)
Publisher's Version
Online Shared Memory Dependence Reduction via Bisectional Coordination
(Nanjing University, China; Carnegie Mellon University, USA)
Publisher's Version Preprint
Parallel Data Race Detection for Task Parallel Programs with Locks
Adarsh Yoga, Santosh Nagarakatte, and Aarti Gupta
(Rutgers University, USA; Princeton University, USA)
Publisher's Version aec-badge-fse16-ae
End-to-End Memory Behavior Profiling with DINAMITE
Svetozar Miucin, Conor Brady, and Alexandra Fedorova
(University of British Columbia, Canada; Simon Fraser University, Canada)
Publisher's Version
Session 19: Open Source (Research Papers)
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, and Chris Parnin
(North Carolina State University, USA; University of California at San Diego, USA)
Publisher's Version Preprint Info
Why We Refactor? Confessions of GitHub Contributors
(Federal University of Minas Gerais, Brazil; Concordia University, Canada)
Publisher's Version Preprint Info aec-badge-fse16-ae
Effectiveness of Code Contribution: From Patch-Based to Pull-Request-Based Tools
Jiaxin Zhu, Minghui Zhou, and Audris Mockus
(Peking University, China; University of Tennessee, USA)
Publisher's Version
Stochastic Actor-Oriented Modeling for Studying Homophily and Social Influence in OSS Projects (J1-EMSE)
David Kavaler and Vladimir Filkov
(University of California at Davis, USA)
Validate Your SPDX Files for Open Source License Violations
(University of Cyprus, Cyprus)
Publisher's Version Video Info
Session 20: Test Generation (Research Papers)
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, and Hong Mei
(Peking University, China; University of Texas at Dallas, USA)
Publisher's Version
Directed Test Generation to Detect Loop Inefficiencies
(Indian Institute of Science, India)
Publisher's Version aec-badge-fse16-ae
Field-Exhaustive Testing
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, and Willem Visser
(National University of Río Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina; Stellenbosch University, South Africa)
Publisher's Version
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)
Publisher's Version
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, Wing Lam, Wei Yang, and Tao Xie
(Tencent, China; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint
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)
Publisher's Version
Break
16:00 – 16:30, Foyer 3rd/4th Floor
Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
16:30 – 17:30, Emerald Ballroom
Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
Daniel Jackson and Mandana Vaziri
(Massachusetts Institute of Technology, USA; IBM, USA)
Publisher's Version
Award Session / Future FSEs
17:30 – 18:00, Emerald Ballroom

Time stamp: 2019-10-16T13:38:03+02:00