All Accepted Papers for All Tracks

Looking for your paper? The papers are sorted alphabetically by title within each track. Use the links below to jump to your specific track.

Technical Research
Software Engineering Education and Training (SEET)
New Ideas and Emerging Results (NIER)
Formal Demonstrations
Posters
Doctoral Symposium
ACM Student Research Competition

Technical Research

A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
Martin Monperrus
University of Lille, France; INRIA, France

Preprint Available

A Study and Toolkit for Asynchronous Programming in C#
Semih Okur, David L. Hartveld, Danny Dig, and Arie van Deursen
University of Illinois at Urbana-Champaign, USA; Delft University of Technology, Netherlands; Oregon State University, USA

Preprint Available
Additional Information

A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence
Xiangjuan Yao, Mark Harman, and Yue Jia
China University of Mining and Technology, China; University College London, UK

APE: An Annotation Language and Middleware for Energy-Efficient Mobile Application Development
Nima Nikzad, Octav Chipara, and William G. Griswold
University of California at San Diego, USA; University of Iowa, USA

Preprint Available

AR-Miner: Mining Informative Reviews for Developers from Mobile App Marketplace
Ning Chen, Jialiu Lin, Steven C. H. Hoi, Xiaokui Xiao, and Boshen Zhang
Nanyang Technological University, Singapore; Carnegie Mellon University, USA

Preprint Available

Achieving Accuracy and Scalability Simultaneously in Detecting Application Clones on Android Markets
Kai Chen, Peng Liu, and Yingjun Zhang
Pennsylvania State University, USA; Institute of Information Engineering at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China

Alternate Refactoring Paths Reveal Usability Problems
Mohsen Vakilian and Ralph E. Johnson
University of Illinois at Urbana-Champaign, USA

Preprint Available
Additional Information

An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, and Mark Harman
Middlesex University, UK; University College London, UK; Brunel University, UK

An Exploratory Study of the Pull-Based Software Development Model
Georgios Gousios, Martin Pinzger, and Arie van Deursen
Delft University of Technology, Netherlands; University of Klagenfurt, Austria

Preprint Available

Analyze This! 145 Questions for Data Scientists in Software Engineering
Andrew Begel and Thomas Zimmermann
Microsoft Research, USA

Preprint Available
Additional Information

AsDroid: Detecting Stealthy Behaviors in Android Applications by User Interface and Program Behavior Contradiction
Jianjun Huang, Xiangyu Zhang, Lin Tan, Peng Wang, and Bin Liang
Purdue University, USA; University of Waterloo, Canada; Renmin University of China, China

Preprint Available

Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
Antonio Filieri, Henry Hoffmann, and Martina Maggio
University of Stuttgart, Germany; University of Chicago, USA; Lund University, Sweden

Preprint Available

Automated Goal Operationalisation Based on Interpolation and SAT Solving
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastian Uchitel
Universidad Nacional de Río Cuarto, Argentina; Imperial College London, UK; Universidad de Buenos Aires, Argentina

Preprint Available

Automated Memory Leak Detection for Production Use
Changhee Jung, Sangho Lee, Easwaran Raman, and Santosh Pande
Virginia Tech, USA; Georgia Tech, USA; Google, USA

Brownout: Building More Robust Cloud Applications
Cristian Klein, Martina Maggio, Karl-Erik Årzén, and Francisco Hernández-Rodriguez
Umeå University, Sweden; Lund University, Sweden

Preprint Available
Additional Information

Building It Together: Synchronous Development in OSS
Qi Xuan and Vladimir Filkov
Zhejiang University of Technology, China; University of California at Davis, USA

CARE: Cache Guided Deterministic Replay for Concurrent Java Programs
Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu
Nanjing University, China

Preprint Available

Case Studies and Tools for Contract Specifications
Todd W. Schiller, Kellen Donohue, Forrest Coward, and Michael D. Ernst
University of Washington, USA

Preprint Available
Additional Information

Characterizing and Detecting Performance Bugs for Smartphone Applications
Yepang Liu, Chang Xu, and Shing-Chi Cheung
Hong Kong University of Science and Technology, China; Nanjing University, China

Preprint Available
Additional Information

Checking App Behavior Against App Descriptions
Alessandra Gorla, Ilaria Tavecchia, Florian Gross, and Andreas Zeller
Saarland University, Germany

Preprint Available

Code Coverage for Suite Evaluation by Developers
Rahul Gopinath, Carlos Jensen, and Alex Groce
Oregon State University, USA

Preprint Available

CodeHint: Dynamic and Interactive Synthesis of Code Snippets
Joel Galenson, Philip Reames, Rastislav Bodik, Björn Hartmann, and Koushik Sen
University of California at Berkeley, USA

Preprint Available
Additional Information

Comparing Static Bug Finders and Statistical Prediction
Foyzur Rahman, Sameer Khatri, Earl T. Barr, and Premkumar Devanbu
University of California at Davis, USA; University College London, UK

Preprint Available

ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs
Yan Cai, Shangru Wu, and W. K. Chan
City University of Hong Kong, China

Preprint Available

Controlled Modeling Environment using Flexibly-Formatted Spreadsheets
Hisashi Miyashita, Hideki Tai, and Shunichi Amano
Cybernet Systems, Japan; IBM Research, Japan

Coverage Is Not Strongly Correlated with Test Suite Effectiveness
Laura Inozemtseva and Reid Holmes
University of Waterloo, Canada

Preprint Available
Additional Information

Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?
Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan
North Carolina State University, USA; Microsoft Research, USA

Preprint Available

Cross-Checking Oracles from Intrinsic Software Redundancy
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, and Mauro Pezzè
University of Lugano, Switzerland; Saarland University, Germany; University of Milano-Bicocca, Italy

Preprint Available

Data-Guided Repair of Selection Statements
Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, and Satish Chandra
University of Texas at Austin, USA; IBM Research, India; Samsung Electronics, USA

Design Rule Spaces: A New Form of Architecture Insight
Lu Xiao, Yuanfang Cai, and Rick Kazman
Drexel University, USA; University of Hawaii, USA; SEI, USA

Detecting Differences across Multiple Instances of Code Clones
Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, and Wenyun Zhao
Fudan University, China; Nanyang Technological University, Singapore; National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore

Preprint Available

Detecting Memory Leaks through Introspective Dynamic Behavior Modeling using Machine Learning
Sangho Lee, Changhee Jung, and Santosh Pande
Georgia Tech, USA; Virginia Tech, USA

Detecting Performance Anti-patterns for Applications Developed using Object-Relational Mapping
Tse-Hsun Chen, Weiyi Shang, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed Nasser, and Parminder Flora
Queen's University, Canada; York University, Canada; BlackBerry, Canada

Preprint Available

Dictionary Learning Based Software Defect Prediction
Xiao-Yuan Jing, Shi Ying, Zhi-Wu Zhang, Shan-Shan Wu, and Jin Liu
Wuhan University, China; Nanjing University of Posts and Telecommunications, China

Distilling Privacy Requirements for Mobile Applications
Keerthi Thomas, Arosha K. Bandara, Blaine A. Price, and Bashar Nuseibeh
Open University, UK; University of Limerick, Ireland

Does Latitude Hurt while Longitude Kills? Geographical and Temporal Separation in a Large Scale Software Development Project
Patrick Wagstrom and Subhajit Datta
IBM Research, USA; Singapore University of Technology and Design, Singapore

Easing Software Component Repository Evolution
Jérôme Vouillon, Mehdi Dogguy, and Roberto Di Cosmo
University Paris Diderot, France; CNRS, France; EDF, France; Debian, France; INRIA, France

Preprint Available
Additional Information

Effects of Using Examples on Structural Model Comprehension: A Controlled Experiment
Dina Zayan, Michał Antkiewicz, and Krzysztof Czarnecki
University of Waterloo, Canada

Additional Information

Enhancing Symbolic Execution with Veritesting
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley
Carnegie Mellon University, USA

Preprint Available

Exploring Variability-Aware Execution for Testing Plugin-Based Web Applications
Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen
Iowa State University, USA; Carnegie Mellon University, USA

Feature Maintenance with Emergent Interfaces
Márcio Ribeiro, Paulo Borba, and Christian Kästner
Federal University of Alagoas, Brazil; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA

Preprint Available
Additional Information

Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems
Nicolas D'Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, and Sebastian Uchitel
Imperial College London, UK; Universidad de Buenos Aires, Argentina

Preprint Available

How Do API Documentation and Static Typing Affect API Usability?
Stefan Endrikat, Stefan Hanenberg, Romain Robbes, and Andreas Stefik
University of Duisburg-Essen, Germany; University of Chile, Chile; University of Nevada at Las Vegas, USA

How Do Centralized and Distributed Version Control Systems Impact Software Changes?
Caius Brindescu, Mihai Codoban, Sergii Shmarkatiuk, and Danny Dig
Oregon State University, USA

How Do Professionals Perceive Legacy Systems and Software Modernization?
Ravi Khadka, Belfrit V. Batlajery, Amir M. Saeidi, Slinger Jansen, and Jurriaan Hage
Utrecht University, Netherlands

Preprint Available

How to Make Best Use of Cross-Company Data in Software Effort Estimation?
Leandro L. Minku and Xin Yao
University of Birmingham, UK

Preprint Available

Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers
Paige Rodeghero, Collin McMillan, Paul W. McBurney, Nigel Bosch, and Sidney D'Mello
University of Notre Dame, USA

Inductive Verification of Data Model Invariants for Web Applications
Ivan Bocić and Tevfik Bultan
University of California at Santa Barbara, USA

Preprint Available

Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight
Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, and Arvind Krishnamurthy
University of British Columbia, Canada; University of Massachusetts, USA; University of Washington, USA

Preprint Available
Additional Information

Influence of Social and Technical Factors for Evaluating Contribution in GitHub
Jason Tsay, Laura Dabbish, and James Herbsleb
Carnegie Mellon University, USA

Integrating Adaptive User Interface Capabilities in Enterprise Applications
Pierre A. Akiki, Arosha K. Bandara, and Yijun Yu
Open University, UK

Preprint Available
Additional Information

Interpolated N-Grams for Model Based Testing
Paolo Tonella, Roberto Tiella, and Cu Duy Nguyen
Fondazione Bruno Kessler, Italy; University of Luxembourg, Luxembourg

Preprint Available

Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
Wensheng Dou, Shing-Chi Cheung, and Jun Wei
Institute of Software at Chinese Academy of Sciences, China; Hong Kong University of Science and Technology, China

Lifting Model Transformations to Product Lines
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, and Marsha Chechik
University of Toronto, Canada

Live API Documentation
Siddharth Subramanian, Laura Inozemtseva, and Reid Holmes
University of Waterloo, Canada

Making Web Applications More Energy Efficient for OLED Smartphones
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
University of Southern California, USA

Manual Refactoring Changes with Automated Refactoring Validation
Xi Ge and Emerson Murphy-Hill
North Carolina State University, USA

Preprint Available

Micro Execution
Patrice Godefroid
Microsoft Research, USA

Preprint Available

Mind the Gap: Assessing the Conformance of Software Traceability to Relevant Guidelines
Patrick Rempel, Patrick Mäder, Tobias Kuschke, and Jane Cleland-Huang
TU Ilmenau, Germany; DePaul University, USA

Preprint Available

Mining Behavior Models from User-Intensive Web Applications
Carlo Ghezzi, Mauro Pezzè, Michele Sama, and Giordano Tamburrelli
Politecnico di Milano, Italy; University of Lugano, Switzerland; Touchtype, UK

Preprint Available

Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features
Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen, and Tien N. Nguyen
Iowa State University, USA

Preprint Available
Additional Information

Mining Configuration Constraints: Static Analyses and Empirical Results
Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki
University of Waterloo, Canada; IT University of Copenhagen, Denmark; Carnegie Mellon University, USA

Preprint Available
Additional Information

Mining Fine-Grained Code Changes to Detect Unknown Change Patterns
Stas Negara, Mihai Codoban, Danny Dig, and Ralph E. Johnson
University of Illinois at Urbana-Champaign, USA; Oregon State University, USA

Mining Interprocedural, Data-Oriented Usage Patterns in JavaScript Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen
Iowa State University, USA

MintHint: Automated Synthesis of Repair Hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, and Alessandro Orso
Indian Institute of Science, India; Georgia Tech, USA

Preprint Available

Patch Verification via Multiversion Interprocedural Control Flow Graphs
Wei Le and Shannon D. Pattison
Rochester Institute of Technology, USA

Performance Regression Testing Target Prioritization via Performance Risk Analysis
Peng Huang, Xiao Ma, Dongcai Shen, and Yuanyuan Zhou
University of California at San Diego, USA; University of Illinois at Urbana-Champaign, USA

Preprint Available
Additional Information

Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters
Guoxin Su and David S. Rosenblum
National University of Singapore, Singapore

Programmers' Build Errors: A Case Study (at Google)
Hyunmin Seo, Caitlin Sadowski, Sebastian Elbaum, Edward Aftandilian, and Robert Bowdidge
Hong Kong University of Science and Technology, China; Google, USA; University of Nebraska-Lincoln, USA

Preprint Available

Property Differencing for Incremental Checking
Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta
Texas State University, USA; University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA

Preprint Available

Requirements Fixation
Rahul Mohanani, Paul Ralph, and Ben Shreeve
Lancaster University, UK

Preprint Available

Reuse-Oriented Reverse Engineering of Functional Components from X86 Binaries
Dohyeong Kim, William N. Sumner, Xiangyu Zhang, Dongyan Xu, and Hira Agrawal
Purdue University, USA; Simon Fraser University, Canada; Applied Communications Sciences, USA

Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes
Steven Arzt and Eric Bodden
TU Darmstadt, Germany; Fraunhofer SIT, Germany

Preprint Available
Additional Information

SEEDS: A Software Engineer's Energy-Optimization Decision Support Framework
Irene Manotas, Lori Pollock, and James Clause
University of Delaware, USA

Preprint Available

Self-Adaptation through Incremental Generative Model Transformations at Runtime
Bihuan Chen, Xin Peng, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
Fudan University, China; Open University, UK; University of Limerick, Ireland

Preprint Available

SimRT: An Automated Framework to Support Regression Testing for Data Races
Tingting Yu, Witawas Srisa-an, and Gregg Rothermel
University of Nebraska-Lincoln, USA

Preprint Available

Software Engineering at the Speed of Light: How Developers Stay Current using Twitter
Leif Singer, Fernando Figueira Filho, and Margaret-Anne Storey
University of Victoria, Canada; Federal University of Rio Grande do Norte, Brazil

Preprint Available
Additional Information

Spotting Working Code Examples
Iman Keivanloo, Juergen Rilling, and Ying Zou
Queen's University, Canada; Concordia University, Canada

Preprint Available

Symbolic Assume-Guarantee Reasoning through BDD Learning
Fei He, Bow-Yaw Wang, Liangze Yin, and Lei Zhu
Tsinghua University, China; Academia Sinica, Taiwan

Preprint Available

The Dimensions of Software Engineering Success
Paul Ralph and Paul Kelly
Lancaster University, UK

Preprint Available

The Strength of Random Search on Automated Program Repair
Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang
National University of Defense Technology, China

Preprint Available

Time Pressure: A Controlled Experiment of Test Case Development and Requirements Review
Mika V. Mäntylä, Kai Petersen, Timo O. A. Lehtinen, and Casper Lassenius
Aalto University, Finland; Blekinge Institute of Technology, Sweden

Preprint Available
Additional Information

Towards Efficient Optimization in Package Management Systems
Alexey Ignatiev, Mikoláš Janota, and Joao Marques-Silva
INESC-ID, Portugal; University College Dublin, Ireland

Preprint Available

TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces
Hamid Bagheri, Chong Tang, and Kevin Sullivan
George Mason University, USA; University of Virginia, USA

Preprint Available

Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs
Nélio Cacho, Thiago César, Thomas Filipe, Eliezio Soares, Arthur Cassio, Rafael Souza, Israel Garcia, EijiAdachi Barbosa, and Alessandro Garcia
Federal University of Rio Grande do Norte, Brazil; PUC-Rio, Brazil

Preprint Available

Transition from Centralized to Decentralized Version Control Systems: A Case Study on Reasons, Barriers, and Outcomes
Kıvanç Muşlu, Christian Bird, Nachiappan Nagappan, and Jacek Czerwonka
University of Washington, USA; Microsoft Research, USA; Microsoft, USA

Preprint Available

Two's Company, Three's a Crowd: A Case Study of Crowdsourcing Software Development
Klaas-Jan Stol and Brian Fitzgerald
Lero, Ireland; University of Limerick, Ireland

Preprint Available
Additional Information

Uncertainty, Risk, and Information Value in Software Requirements and Architecture
Emmanuel Letier, David Stefan, and Earl T. Barr
University College London, UK

Preprint Available

Understanding JavaScript Event-Based Interactions
Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, and Karthik Pattabiraman
University of British Columbia, Canada

Preprint Available

Understanding Understanding Source Code with Functional Magnetic Resonance Imaging
Janet Siegmund, Christian Kästner, Sven Apel, Chris Parnin, Anja Bethmann, Thomas Leich, Gunter Saake, and André Brechmann
University of Passau, Germany; Carnegie Mellon University, USA; Georgia Tech, USA; Leibniz Institute for Neurobiology, Germany; Metop Research Institute, Germany; University of Magdeburg, Germany

Preprint Available

Understanding and Improving Software Build Teams
Shaun Phillips, Thomas Zimmermann, and Christian Bird
University of Calgary, Canada; Microsoft Research, USA

Preprint Available

Unit Test Virtualization with VMVM
Jonathan Bell and Gail Kaiser
Columbia University, USA

Preprint Available
Additional Information

Unleashing Concurrency for Irregular Data Structures
Peng Liu and Charles Zhang
Wuhan University, China; Hong Kong University of Science and Technology, China

Us and Them: A Study of Privacy Requirements Across North America, Asia, and Europe
Swapneel Sheth, Gail Kaiser, and Walid Maalej
Columbia University, USA; University of Hamburg, Germany

Preprint Available

Using Dynamic Analysis to Generate Disjunctive Invariants
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest
University of New Mexico, USA; University of Virginia, USA

Preprint Available

Using Psycho-Physiological Measures to Assess Task Difficulty in Software Development
Thomas Fritz, Andrew Begel, Sebastian C. Müller, Serap Yigit-Elliott, and Manuela Züger
University of Zurich, Switzerland; Microsoft Research, USA; Exponent, USA

Preprint Available

Vejovis: Suggesting Fixes for JavaScript Faults
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
University of British Columbia, Canada

Preprint Available

Verifying Component and Connector Models against Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
Tel Aviv University, Israel; RWTH Aachen University, Germany

Which Configuration Option Should I Change?
Sai Zhang and Michael D. Ernst
University of Washington, USA

Preprint Available

Software Engineering Education and Training (SEET)

A Compiler Project with Learning Progressions
Derek Rayside
University of Waterloo, Canada

An Inverted Classroom Experience: Engaging Students in Architectural Thinking for Agile Projects
Jane Cleland-Huang, Muhammad Ali Babar, and Mehdi Mirakhorli
DePaul University, USA; University of Adelaide, Australia

Comparing Test Quality Measures for Assessing Student-Written Tests
Stephen H. Edwards and Zalia Shams
Virginia Tech, USA

Deploying an Online Software Engineering Education Program in a Globally Distributed Organization
John Hudepohl, Alpana Dubey, Sylvie Moisy, Jessica Thompson, and Hans-Martin Niederer
ABB, Switzerland; ABB, India; ABB, France; TimelyText, USA; SynSpace, Switzerland

Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Heather Miller, Philipp Haller, Lukas Rytz, and Martin Odersky
EPFL, Switzerland; Typesafe, Switzerland

Introduction of Continuous Delivery in Multi-Customer Project Courses
Stephan Krusche and Lukas Alperowitz
TU München, Germany

Investigating the Skill Gap between Graduating Students and Industry Expectations
Alex Radermacher, Gursimran Walia, and Dean Knudson
North Dakota State University, USA

Knowledge Transfer in Collaborative Teams: Experiences from a Two-Week Code Camp
Terhi Kilamo, Antti Nieminen, Janne Lautamäki, Timo Aho, Johannes Koskinen, Jarmo Palviainen, and Tommi Mikkonen
Tampere University of Technology, Finland

Lessons Learned Managing Distributed Software Engineering Courses
Reid Holmes, Michelle Craig, Karen Reid, and Eleni Stroulia
University of Waterloo, Canada; University of Toronto, Canada; University of Alberta, Canada

Process Mining Software Repositories from Student Projects in an Undergraduate Software Engineering Course
Megha Mittal and Ashish Sureka
IIIT Delhi, India

Quantitative Assessment with Using Ticket Driven Development for Teaching Scrum Framework
Hiroshi Igaki, Naoki Fukuyasu, Sachio Saiki, Shinsuke Matsumoto, and Shinji Kusumoto
Osaka University, Japan; Wakayama University, Japan; Kobe University, Japan

Quasi-Crowdsourcing Testing for Educational Projects
Zhenyu Chen and Bin Luo
Nanjing University, China

Preprint Available

Scenario-Based Programming: Reducing the Cognitive Load, Fostering Abstract Thinking
Giora Alexandron, Michal Armoni, Michal Gordon, and David Harel
Weizmann Institute of Science, Israel

State-Based Monitoring and Goal-Driven Project Steering: Field Study of the SEMAT Essence Framework
Cécile Péraire and Todd Sedano
Carnegie Mellon University, USA

Teaching Reuse-Driven Software Engineering through Innovative Role Playing
Gerald Kotonya and Jaejoon Lee
Lancaster University, UK

Teaching Students Scrum using LEGO Blocks
Maria Paasivaara, Ville Heikkilä, Casper Lassenius, and Towo Toivola
Aalto University, Finland; F-Secure, Finland

Teaching Students to Understand Large Programs by Understanding Historical Context
Collin McMillan and Richard Oosterhoff
University of Notre Dame, USA

Towards a Supercollaborative Software Engineering MOOC
William Billingsley and Jim R. H. Steel
NICTA, Australia; University of Queensland, Australia

New Ideas and Emerging Results (NIER)

A Framework to Advise Tests using Tests
Yurong Wang, Suzette Person, Sebastian Elbaum, and Matthew B. Dwyer
University of Nebraska-Lincoln, USA; NASA Langley Research Center, USA

A Novel Quantitative Evaluation Approach for Software Project Schedules using Statistical Model Checking
Dehui Du, Mingsong Chen, Xiao Liu, and Yun Yang
East China Normal University, China; Swinburne University of Technology, Australia

A Runtime Cloud Efficiency Software Quality Metric
Mark Shtern, Michael Smit, Bradley Simmons, and Marin Litoiu
York University, Canada; Dalhousie University, Canada

Preprint Available

A World Full of Surprises: Bayesian Theory of Surprise to Quantify Degrees of Uncertainty
Nelly Bencomo and Amel Belaggoun
Aston University, UK; CEA, France

API as a Social Glue
Rohan Padhye, Debdoot Mukherjee, and Vibha Singhal Sinha
IBM Research, India

An Automated Approach to Detect Violations with High Confidence in Incremental Code using a Learning System
Radhika D. Venkatasubramanyam and Shrinath Gupta
Siemens, India

Automatic Search Term Identification for Change Tasks
Katja Kevic and Thomas Fritz
University of Zurich, Switzerland

Brainware: Synergizing Software Systems and Neural Inputs
Shihong Huang and Emmanuelle Tognoli
Florida Atlantic University, USA

Preprint Available

Bugarium: 3D Interaction for Supporting Large-Scale Bug Repositories Analysis
Papon Yongpisanpop, Hideaki Hata, and Kenichi Matsumoto
NAIST, Japan

Preprint Available
Additional Information

Characterizing Defect Trends in Software Support
Tung Thanh Nguyen, Evelyn Duesterwald, Tim Klinger, P. Santhanam, and Tien N. Nguyen
Utah State University, USA; IBM Research, USA; Iowa State University, USA

Cloudlet-Based Cyber-Foraging for Mobile Systems in Resource-Constrained Edge Environments
Grace A. Lewis, Sebastian Echeverría, Soumya Simanta, Ben Bradshaw, and James Root
SEI, USA

Collaborative Infrastructure for Test-Driven Scientific Model Validation
Cyrus Omar, Jonathan Aldrich, and Richard C. Gerkin
Carnegie Mellon University, USA; Arizona State University, USA

Compiler Error Notifications Revisited: An Interaction-First Approach for Helping Developers More Effectively Comprehend and Resolve Error Notifications
Titus Barik, Jim Witschey, Brittany Johnson, and Emerson Murphy-Hill
North Carolina State University, USA

Preprint Available

Development Context Driven Change Awareness and Analysis Framework
Anita Sarma, Josh Branchaud, Matthew B. Dwyer, Suzette Person, and Neha Rungta
University of Nebraska-Lincoln, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA

Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
Matias Martinez, Westley Weimer, and Martin Monperrus
University of Lille, France; INRIA, France; University of Virginia, USA

Flexible Product Line Engineering with a Virtual Platform
Michał Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Ștefan Stănciulescu, Andrzej Wąsowski, and Ina Schaefer
University of Waterloo, Canada; University of Koblenz-Landau, Germany; IT University of Copenhagen, Denmark; TU Braunschweig, Germany

Preprint Available
Additional Information

Integrating Software Project Resources Using Source Code Identifiers
Laura Inozemtseva, Siddharth Subramanian, and Reid Holmes
University of Waterloo, Canada

Lab-Based Action Design Research
Paul Ralph
Lancaster University, UK

Preprint Available

Leveraging P2P Networks to Address the Test Scenario Explosion Problem
Mark Micallef, Conrad Attard, Andrea Mangion, and Sebastian Attard
University of Malta, Malta

Metamorphic Fault Tolerance: An Automated and Systematic Methodology for Fault Tolerance in the Absence of Test Oracle
Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, and Tsong Yueh Chen
RMIT University, Australia; Swinburne University of Technology, Australia

Mining Precise Performance-Aware Behavioral Models from Existing Instrumentation
Tony Ohmann, Kevin Thai, Ivan Beschastnikh, and Yuriy Brun
University of Massachusetts, USA; Facebook, USA; University of British Columbia, Canada

Preprint Available
Additional Information

Modeling Self-Adaptive Software Systems with Learning Petri Nets
Zuohua Ding, Yuan Zhou, and MengChu Zhou
Zhejiang Sci-Tech University, China; New Jersey Institute of Technology, USA

New Opportunities for Extracting Insights from Cloud Based IDEs
Yi Wang, Patrick Wagstrom, Evelyn Duesterwald, and David Redmiles
University of California at Irvine, USA; IBM Research, USA

Preprint Available

On Failure Classification: The Impact of "Getting It Wrong"
Davide Falessi, Bill Kidwell, Jane Huffman Hayes, and Forrest Shull
Fraunhofer CESE, USA; University of Kentucky, USA; SEI, USA

Quantifying Programmers' Mental Workload during Program Comprehension Based on Cerebral Blood Flow Measurement: A Controlled Experiment
Takao Nakagawa, Yasutaka Kamei, Hidetake Uwano, Akito Monden, Kenichi Matsumoto, and Daniel M. German
NAIST, Japan; Kyushu University, Japan; Nara National College of Technology, Japan; University of Victoria, Canada

RegViz: Visual Debugging of Regular Expressions
Fabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, and Daniel Weiskopf
University of Stuttgart, Germany; University of Trier, Germany

Preprint Available
Additional Information

Reproducing Software Failures by Exploiting the Action History of Undo Features
Tobias Roehm and Bernd Bruegge
TU München, Germany

Reusable Execution Replay: Execution Record and Replay for Source Code Reuse
Ameer Armaly, Casey Ferris, and Collin McMillan
University of Notre Dame, USA

Shadow Symbolic Execution for Better Testing of Evolving Software
Cristian Cadar and Hristina Palikareva
Imperial College London, UK

Software Bug Localization with Markov Logic
Sai Zhang and Congle Zhang
University of Washington, USA

Preprint Available

Software Engineering for 'Social Good': Integrating Action Research, Participatory Design, and Agile Development
Maria Angela Ferrario, Will Simm, Peter Newman, Stephen Forshaw, and Jon Whittle
Lancaster University, UK

Steering Model-Based Oracles to Admit Real Program Behaviors
Gregory Gay, Sanjai Rayadurgam, and Mats P. E. Heimdahl
University of Minnesota, USA

Who Asked What: Integrating Crowdsourced FAQs into API Documentation
Cong Chen and Kang Zhang
University of Texas at Dallas, USA

Preprint Available

Who is the Expert? Combining Intention and Knowledge of Online Discussants in Collaborative RE Tasks
Itzel Morales-Ramirez, Matthieu Vergne, Mirko Morandini, Alberto Siena, Anna Perini, and Angelo Susi
Fondazione Bruno Kessler, Italy; University of Trento, Italy

Writing Bidirectional Model Transformations as Intentional Updates
Tao Zan, Hugo Pacheco, and Zhenjiang Hu
Graduate University for Advanced Studies, Japan; National Institute of Informatics, Japan

Formal Demonstrations

Atlas: A New Way to Explore Software, Build Analysis Tools
Tom Deering, Suresh Kothari, Jeremias Sauceda, and Jon Mathews
Iowa State University, USA; EnSoft, USA

Additional Information

BOAT: An Experimental Platform for Researchers to Comparatively and Reproducibly Evaluate Bug Localization Techniques
Xinyu Wang, David Lo, Xin Xia, Xingen Wang, Pavneet Singh Kochhar, Yuan Tian, Xiaohu Yang, Shanping Li, Jianling Sun, and Bo Zhou
Zhejiang University, China; Singapore Management University, Singapore

Cookbook: In Situ Code Completion using Edit Recipes Learned from Examples
John Jacobellis, Na Meng, and Miryung Kim
University of Texas at Austin, USA

DASHboards: Enhancing Developer Situational Awareness
Oleksii Kononenko, Olga Baysal, Reid Holmes, and Michael W. Godfrey
University of Waterloo, Canada

Preprint Available

ImpactMiner: A Tool for Change Impact Analysis
Bogdan Dit, Michael Wagner, Shasha Wen, Weilin Wang, Mario Linares-Vásquez, Denys Poshyvanyk, and Huzefa Kagdi
College of William and Mary, USA; Wichita State University, USA

Additional Information

LTSA-PCA: Tool Support for Compositional Reliability Analysis
Pedro Rodrigues, Emil Lupu, and Jeff Kramer
Imperial College London, UK

Preprint Available

Migrating Code with Statistical Machine Translation
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
Iowa State University, USA; Utah State University, USA

Product Assignment Recommender
Jialiang Xie, Qimu Zheng, Minghui Zhou, and Audris Mockus
Peking University, China; Avaya Labs Research, USA

SEWordSim: Software-Specific Word Similarity Database
Yuan Tian, David Lo, and Julia Lawall
Singapore Management University, Singapore; INRIA, France; LIP6, France

Teamscale: Software Quality Control in Real-Time
Lars Heinemann, Benjamin Hummel, and Daniela Steidl
CQSE, Germany

VMVM: Unit Test Virtualization for Java
Jonathan Bell and Gail Kaiser
Columbia University, USA

Preprint Available
Additional Information

VeriWS: A Tool for Verification of Combined Functional and Non-functional Requirements of Web Service Composition
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, and Jin Song Dong
National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore

Verily: A Web Framework for Creating More Reasonable Web Applications
John L. Singleton and Gary T. Leavens
University of Central Florida, USA

ViVA: A Visualization and Analysis Tool for Distributed Event-Based Systems
Youn Kyu Lee, Jae young Bang, Joshua Garcia, and Nenad Medvidovic
University of Southern California, USA

Preprint Available

Posters

APISynth: A New Graph-Based API Recommender System
Chen Lv, Wei Jiang, Yue Liu, and Songlin Hu
University of Chinese Academy of Sciences, China; Institute of Computing Technology at Chinese Academy of Sciences, China; Greatwall Drilling Company, China

An Adaptive Bayesian Approach for URL Selection to Test Performance of Large Scale Web-Based Systems
Alim Ul Gias and Kazi Sakib
University of Dhaka, Bangladesh

Preprint Available

An Optimized Design Approach for Extending HMI Systems with Mobile Devices
Manasvi Jain, Rahul Raj CP, and Seshubabu Tolety
Siemens, India

Assuring System Goals under Uncertainty with Active Formal Models of Self-Adaptation
M. Usman Iftikhar and Danny Weyns
Linnaeus University, Sweden

Asymmetric Software Structures in the Linux Kernel
Lei Wang, Ping Wang, and Zhen Wang
Beihang University, China

Avoiding Deadlocks using Stalemate and Dimmunix
Surabhi Pandey, Sushanth Bhat, and Vivek Shanbhag
IIIT Bangalore, India

Calibrating Use Case Points
Ali Bou Nassif, Luiz Fernando Capretz, and Danny Ho
University of Western Ontario, Canada; NFA Estimation, Canada

DEECo: An Ecosystem for Cyber-Physical Systems
Rima Al Ali, Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil
Charles University, Czech Republic

Preprint Available
Additional Information

Fault Localization for Build Code Errors in Makefiles
Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen
Iowa State University, USA

Hybrid Test Data Generation
Zicong Liu, Zhenyu Chen, Chunrong Fang, and Qingkai Shi
Nanjing University, China

Model-Driven Development of Diverse User Interfaces
Zhiyi Ma, Wei Zhang, and Chih-Yi Yeh
Peking University, China

Modeling and Model Checking by Modular Approach
Mo Xia, Guiming Luo, and Mian Sun
Tsinghua University, China

Proposing a Theory of Gamification Effectiveness
Bilal Amir and Paul Ralph
Sur University College, Oman; Lancaster University, UK

Preprint Available

Shedding Light on Distributed System Executions
Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, and Michael D. Ernst
Facebook, USA; University of British Columbia, Canada; University of Massachusetts, USA; University of Washington, USA

Preprint Available
Additional Information

Software Defect Prediction Based on Collaborative Representation Classification
Xiao-Yuan Jing, Zhi-Wu Zhang, Shi Ying, Feng Wang, and Yang-Ping Zhu
Wuhan University, China; Nanjing University of Posts and Telecommunications, China

Statistical Learning of API Mappings for Language Migration
Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
Iowa State University, USA; Utah State University, USA

The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann
University of Paderborn, Germany; Fraunhofer IPT, Germany

Timing Challenges in Automotive Software Architectures
Licong Zhang, Reinhard Schneider, Alejandro Masrur, Martin Becker, Martin Geier, and Samarjit Chakraborty
TU München, Germany; TU Chemnitz, Germany

Towards Designing Assistive Software Applications for Discrete Trial Training
Valerie Picardo, Samuel Metson, Rashina Hoda, Robert Amor, Angela Arnold-Saritepe, Rebecca Sharp, and Denys Brand
University of Auckland, New Zealand

Preprint Available

Doctoral Symposium

Automatic Generation of Cost-Effective Test Oracles
Alberto Goffi
University of Lugano, Switzerland

Preprint Available

COASTmed: Software Architectures for Delivering Customizable, Policy-Based Differential Web Services
Alegria Baquero
University of California at Irvine, USA

Cross-Platform Testing and Maintenance of Web and Mobile Applications
Shauvik Roy Choudhary
Georgia Tech, USA

Dynamic Data-Flow Testing
Mattia Vivanti
University of Lugano, Switzerland

Enhancing Feature Interfaces for Supporting Software Product Line Maintenance
Bruno B. P. Cafeo
PUC-Rio, Brazil

Preprint Available

Formal Verification Problems in a Big Data World: Towards a Mighty Synergy
Matteo Camilli
University of Milan, Italy

Holistic Recommender Systems for Software Engineering
Luca Ponzanelli
University of Lugano, Switzerland

Human Aspects, Gamification, and Social Media in Collaborative Software Engineering
Bogdan Vasilescu
Eindhoven University of Technology, Netherlands

Preprint Available

Improving Enterprise Software Maintenance Efficiency through Mining Software Repositories in an Industry Context
Senthil Mani
IIIT Delhi, India

Improving Exception Handling with Recommendations
Eiji Adachi Barbosa
PUC-Rio, Brazil

Preprint Available

Nirikshan: Process Mining Software Repositories to Identify Inefficiencies, Imperfections, and Enhance Existing Process Capabilities
Monika Gupta
IIIT Delhi, India

On the Use of Visualization for Supporting Software Reuse
Marcelo Schots
COPPE, Brazil; Federal University of Rio de Janeiro, Brazil

Performance Analysis of Object-Oriented Software
David Maplesden
University of Auckland, New Zealand

Quantitative Properties of Software Systems: Specification, Verification, and Synthesis
Srđan Krstić
Politecnico di Milano, Italy

ReuseSEEM: An Approach to Support the Definition, Modeling, and Analysis of Software Ecosystems
Rodrigo Pereira dos Santos
COPPE, Brazil; Federal University of Rio de Janeiro, Brazil

Study of Task Processes for Improving Programmer Productivity
Damodaram Kamma
IIIT Delhi, India

Summarization of Complex Software Artifacts
Laura Moreno
Wayne State University, USA

Supporting Evolution and Maintenance of Android Apps
Mario Linares-Vásquez
College of William and Mary, USA

Preprint Available

Understanding the Dynamics of Test-Driven Development
Davide Fucci
University of Oulu, Finland

Understanding the Redundancy of Software Systems
Andrea Mattavelli
University of Lugano, Switzerland

Preprint Available

Verifying Incomplete and Evolving Specifications
Claudio Menghi
Politecnico di Milano, Italy

ACM Student Research Competition

Automatic Performance Modeling of Multithreaded Programs
Alexander Tarvo
Brown University, USA

Characteristics of the Vulnerable Code Changes Identified through Peer Code Review
Amiangshu Bosu
University of Alabama, USA

Preprint Available
Additional Information

Exception Handling for Dynamic Information Flow Control
Abhishek Bichhawat
Saarland University, Germany

Exploiting Undefined Behaviors for Efficient Symbolic Execution
Asankhaya Sharma
National University of Singapore, Singapore

Preprint Available
Additional Information

Identifying Caching Opportunities, Effortlessly
Alejandro Infante
University of Chile, Chile

Incremental Reachability Checking of KernelC Programs using Matching Logic
Alessandro Maria Rizzi
Politecnico di Milano, Italy

Privacy and Security Requirements Framework for the Internet of Things (IoT)
Israa Alqassem
Masdar Institute of Science and Technology, United Arab Emirates

Program Transformations to Fix C Buffer Overflow
Alex Shaw
Auburn University, USA