ESEC/FSE 2015 – Proceedings

2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), August 30 – September 4, 2015, Bergamo, Italy

Frontmatter

Research Papers

Adaptive Systems
Wed, Sep 2, 11:30 - 13:05, Oggioni (Chair: Luciano Baresi)

Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach
Gabriel A. Moreno, Javier Cámara, David Garlan, and Bradley Schmerl
(SEI, USA; Carnegie Mellon University, USA)
Article: fse15main-mainid213-p (type: Full Paper (10 pages + refs)) doi:

Automated Multi-objective Control for Self-Adaptive Software Design
Antonio Filieri, Henry Hoffmann, and Martina Maggio
(University of Stuttgart, Germany; University of Chicago, USA; Lund University, Sweden)
Article: fse15main-mainid97-p (type: Full Paper (10 pages + refs)) doi:

Detecting Event Anomalies in Event-Based Systems
Gholamreza Safi, Arman Shahbazian, William G. J. Halfond, and Nenad Medvidovic
(University of Southern California, USA)
Article: fse15main-mainid122-p (type: Full Paper (10 pages + refs + replpack)) doi:

Software Quality
Wed, Sep 2, 11:30 - 13:05, Alabastro A (Chair: Ivica Crnkovic)

Suggesting Accurate Method and Class Names
Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton
(University of Edinburgh, UK; University College London, UK; Microsoft Research, USA)
Article: fse15main-mainid204-p (type: Full Paper (10 pages + refs)) doi:

Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt
Neil A. Ernst, Stephany Bellomo, Ipek Ozkaya, Robert L. Nord, and Ian Gorton
(SEI, USA)

Best-Paper Award Article: fse15main-mainid195-p (type: Full Paper (10 pages + refs)) doi:

Automatically Computing Path Complexity of Programs
Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Article: fse15main-mainid246-p (type: Full Paper (10 pages + refs + replpack)) doi:

Synthesis and Search-Based Approaches for Reactive Systems
Wed, Sep 2, 11:30 - 13:05, Alabastro B (Chair: Joël Greenyer)

Systematic Testing of Asynchronous Reactive Systems
Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, USA)
Article: fse15main-mainid230-p (type: Full Paper (10 pages + refs)) doi:

Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, and Thomas Bruckmann
(University of Luxembourg, Luxembourg; Delphi Automotive Systems, Luxembourg)

Best-Paper Award Article: fse15main-mainid65-p (type: Full Paper (10 pages + refs)) doi:

GR(1) Synthesis for LTL Specification Patterns
Shahar Maoz and Jan Oliver Ringert
(Tel Aviv University, Israel)
Article: fse15main-mainid76-p (type: Full Paper (10 pages + refs + replpack)) doi:

Testing I
Wed, Sep 2, 14:30 - 16:05, Oggioni (Chair: Paolo Tonella)

Modeling Readability to Improve Unit Tests
Ermira Daka, José Campos, Gordon Fraser, Jonathan Dorn, and Westley Weimer
(University of Sheffield, UK; University of Virginia, USA)

Best-Paper Award Article: fse15main-mainid128-p (type: Full Paper (10 pages + refs)) doi:

Improving Model-Based Test Generation by Model Decomposition
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
(Charles University in Prague, Czech Republic; University of Bergamo, Italy; University of Milan, Italy)
Article: fse15main-mainid123-p (type: Full Paper (10 pages + refs)) doi:

Synthesizing Tests for Detecting Atomicity Violations
Malavika Samak and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Article: fse15main-mainid270-p (type: Full Paper (10 pages + refs + replpack)) doi:

Search-Based Approaches to Testing, Repair, and Energy Optimisation
Wed, Sep 2, 14:30 - 16:05, Alabastro A (Chair: Yue Jia)

Optimizing Energy Consumption of GUIs in Android Apps: A Multi-objective Approach
Mario Linares-Vásquez, Gabriele Bavota, Carlos Eduardo Bernal Cárdenas, Rocco Oliveto, Massimiliano Di Penta, and Denys Poshyvanyk
(College of William and Mary, USA; Free University of Bolzano, Italy; University of Molise, Italy; University of Sannio, Italy)

Best-Paper Award Article: fse15main-mainid194-p (type: Full Paper (10 pages + refs)) doi:

Generating TCP/UDP Network Data for Automated Unit Test Generation
Andrea Arcuri, Gordon Fraser, and Juan Pablo Galeotti
(Scienta, Norway; University of Luxembourg, Luxembourg; University of Sheffield, UK; Saarland University, Germany)
Article: fse15main-mainid91-p (type: Full Paper (10 pages + refs)) doi:

Staged Program Repair with Condition Synthesis
Fan Long and Martin Rinard
(Massachusetts Institute of Technology, USA)
Article: fse15main-mainid37-p (type: Full Paper (10 pages + refs + replpack)) doi:

Empirical Studies of Software Developers I
Wed, Sep 2, 14:30 - 16:05, Alabastro B (Chair: Christoph Treude)

When, How, and Why Developers (Do Not) Test in Their IDEs
Moritz Beller, Georgios Gousios, Annibale Panichella, and Andy Zaidman
(Delft University of Technology, Netherlands; Radboud University Nijmegen, Netherlands)
Article: fse15main-mainid167-p (type: Full Paper (10 pages + refs)) doi:

How Developers Search for Code: A Case Study
Caitlin Sadowski, Kathryn T. Stolee, and Sebastian Elbaum
(Google, USA; Iowa State University, USA; University of Nebraska-Lincoln, USA)
Article: fse15main-mainid218-p (type: Full Paper (10 pages + refs)) doi:

Tracing Software Developers' Eyes and Interactions for Change Tasks
Katja Kevic, Braden M. Walters, Timothy R. Shaffer, Bonita Sharif, David C. Shepherd, and Thomas Fritz
(University of Zurich, Switzerland; Youngstown State University, USA; ABB Research, USA)
Article: fse15main-mainid247-p (type: Full Paper (10 pages + refs)) doi:

Testing II
Wed, Sep 2, 16:30 - 18:00, Oggioni (Chair: Gordon Fraser)

Assertions Are Strongly Correlated with Test Suite Effectiveness
Yucheng Zhang and Ali Mesbah
(University of British Columbia, Canada)
Article: fse15main-mainid226-p (type: Full Paper (10 pages + refs)) doi:

Test Report Prioritization to Assist Crowdsourced Testing
Yang Feng, Zhenyu Chen, James A. Jones, Chunrong Fang, and Baowen Xu
(Nanjing University, China; University of California at Irvine, USA)
Article: fse15main-mainid241-p (type: Full Paper (10 pages + refs)) doi:

Comparing and Combining Test-Suite Reduction and Regression Test Selection
August Shi, Tifany Yung, Alex Gyori, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article: fse15main-mainid288-p (type: Full Paper (10 pages + refs)) doi:

Security
Wed, Sep 2, 16:30 - 18:00, Alabastro B (Chair: Laurie Williams)

Questions Developers Ask While Diagnosing Potential Security Vulnerabilities with Static Analysis
Justin Smith, Brittany Johnson, Emerson Murphy-Hill, Bill Chu, and Heather Richter Lipford
(North Carolina State University, USA; University of North Carolina at Charlotte, USA)
Article: fse15main-mainid46-p (type: Full Paper (10 pages + refs)) doi:

Quantifying Developers' Adoption of Security Tools
Jim Witschey, Olga Zielinska, Allaire Welk, Emerson Murphy-Hill, Chris Mayhorn, and Thomas Zimmermann
(North Carolina State University, USA; Microsoft Research, USA)
Article: fse15main-mainid62-p (type: Full Paper (10 pages + refs)) doi:

Auto-patching DOM-Based XSS at Scale
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, and Prateek Saxena
(National University of Singapore, Singapore)
Article: fse15main-mainid73-p (type: Full Paper (10 pages + refs)) doi:

Configurable Systems
Thu, Sep 3, 11:30 - 13:05, Oggioni (Chair: Shiva Nejati)

Performance-Influence Models for Highly Configurable Systems
Norbert Siegmund, Alexander Grebhahn, Sven Apel, and Christian Kästner
(University of Passau, Germany; Carnegie Mellon University, USA)
Article: fse15main-mainid179-p (type: Full Paper (10 pages + refs)) doi:

Users Beware: Preference Inconsistencies Ahead
Farnaz Behrang, Myra B. Cohen, and Alessandro Orso
(Georgia Tech, USA; University of Nebraska-Lincoln, USA)

Best-Paper Award Article: fse15main-mainid261-p (type: Full Paper (10 pages + refs)) doi:

Hey, You Have Given Me Too Many Knobs!: Understanding and Dealing with Over-Designed Configuration in System Software
Tianyin Xu, Long Jin, Xuepeng Fan, Yuanyuan Zhou, Shankar Pasupathy, and Rukma Talwadker
(University of California at San Diego, USA; Huazhong University of Science and Technology, China; NetApp, USA)
Article: fse15main-mainid212-p (type: Full Paper (10 pages + refs + replpack)) doi:

Debugging
Thu, Sep 3, 11:30 - 13:05, Alabastro A (Chair: David Lo)

Crowd Debugging
Fuxiang Chen and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Article: fse15main-mainid70-p (type: Full Paper (10 pages + refs)) doi:

On the Use of Delta Debugging to Reduce Recordings and Facilitate Debugging of Web Applications
Mouna Hammoudi, Brian Burg, Gigon Bae, and Gregg Rothermel
(University of Nebraska-Lincoln, USA; University of Washington, USA)
Article: fse15main-mainid190-p (type: Full Paper (10 pages + refs)) doi:

MemInsight: Platform-Independent Memory Debugging for JavaScript
Simon Holm Jensen, Manu Sridharan, Koushik Sen, and Satish Chandra
(Snowflake Computing, USA; Samsung Research, USA; University of California at Berkeley, USA)
Article: fse15main-mainid229-p (type: Full Paper (10 pages + refs + replpack)) doi:

Web Applications
Thu, Sep 3, 11:30 - 13:05, Alabastro B (Chair: Mira Mezini)

JITProf: Pinpointing JIT-Unfriendly JavaScript Code
Liang Gong, Michael Pradel, and Koushik Sen
(University of California at Berkeley, USA; TU Darmstadt, Germany)
Article: fse15main-mainid94-p (type: Full Paper (10 pages + refs)) doi:

Cross-Language Program Slicing for Dynamic Web Applications
Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen
(Iowa State University, USA; Carnegie Mellon University, USA)
Article: fse15main-mainid267-p (type: Full Paper (10 pages + refs)) doi:

Detecting JavaScript Races That Matter
Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
(Koç University, Turkey; Microsoft Research, USA)
Article: fse15main-mainid72-p (type: Full Paper (10 pages + refs + replpack)) doi:

Studies of Software Engineering Research and Practice
Thu, Sep 3, 14:30 - 16:00, Oggioni (Chair: Jens Krinke)

The Making of Cloud Applications: An Empirical Study on Software Development for the Cloud
Jürgen Cito, Philipp Leitner, Thomas Fritz, and Harald C. Gall
(University of Zurich, Switzerland)
Article: fse15main-mainid84-p (type: Full Paper (10 pages + refs)) doi:

An Empirical Study of Goto in C Code from GitHub Repositories
Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, and Ahmed E. Hassan
(Rochester Institute of Technology, USA; University of Chile, Chile; Kyushu University, Japan; McGill University, Canada; University of Tennessee, USA; Queen's University, Canada)
Article: fse15main-mainid104-p (type: Full Paper (10 pages + refs)) doi:

How Practitioners Perceive the Relevance of Software Engineering Research
David Lo, Nachiappan Nagappan, and Thomas Zimmermann
(Singapore Management University, Singapore; Microsoft Research, USA)

Best-Paper Award Article: fse15main-mainid34-p (type: Full Paper (10 pages + refs)) doi:

Concurrency
Thu, Sep 3, 14:30 - 16:00, Alabastro A (Chair: Mauro Pezzè)

What Change History Tells Us about Thread Synchronization
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, and Shan Lu
(Columbia University, USA; North Carolina State University, USA; University of Wisconsin-Madison, USA; University of Chicago, USA)
Article: fse15main-mainid59-p (type: Full Paper (10 pages + refs)) doi:

Finding Schedule-Sensitive Branches
Jeff Huang and Lawrence Rauchwerger
(Texas A&M University, USA)
Article: fse15main-mainid138-p (type: Full Paper (10 pages + refs)) doi:

Effective and Precise Dynamic Detection of Hidden Races for Java Programs
Yan Cai and Lingwei Cao
(Institute of Software at Chinese Academy of Sciences, China)
Article: fse15main-mainid129-p (type: Full Paper (10 pages + refs)) doi:

Program Analysis I
Thu, Sep 3, 14:30 - 16:00, Alabastro B (Chair: Darko Marinov)

A User-Guided Approach to Program Analysis
Ravi Mangal, Xin Zhang, Aditya V. Nori, and Mayur Naik
(Georgia Tech, USA; Microsoft Research, UK)

Best-Paper Award Article: fse15main-mainid210-p (type: Full Paper (10 pages + refs)) doi:

Hidden Truths in Dead Software Paths
Michael Eichberg, Ben Hermann, Mira Mezini, and Leonid Glanz
(TU Darmstadt, Germany)
Article: fse15main-mainid249-p (type: Full Paper (10 pages + refs)) doi:

P3: Partitioned Path Profiling
Mohammed Afraz, Diptikalyan Saha, and Aditya Kanade
(Indian Institute of Science, India; IBM Research, India)
Article: fse15main-mainid255-p (type: Full Paper (10 pages + refs)) doi:

Prediction and Recommendation
Thu, Sep 3, 16:30 - 18:00, Oggioni (Chair: Tim Menzies)

Heterogeneous Cross-Company Defect Prediction by Unified Metric Representation and CCA-Based Transfer Learning
Xiaoyuan Jing, Fei Wu, Xiwei Dong, Fumin Qi, and Baowen Xu
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
Article: fse15main-mainid54-p (type: Full Paper (10 pages + refs)) doi:

Heterogeneous Defect Prediction
Jaechang Nam and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Article: fse15main-mainid56-p (type: Full Paper (10 pages + refs)) doi:

Clone-Based and Interactive Recommendation for Modifying Pasted Code
Yun Lin, Xin Peng, Zhenchang Xing, Diwen Zheng, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)
Article: fse15main-mainid266-p (type: Full Paper (10 pages + refs)) doi:

Program Repair
Thu, Sep 3, 16:30 - 18:00, Alabastro A (Chair: Myra Cohen)

Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair
Edward K. Smith, Earl T. Barr, Claire Le Goues, and Yuriy Brun
(University of Massachusetts at Amherst, USA; University College London, UK; Carnegie Mellon University, USA; University of Massachusetts, USA)
Article: fse15main-mainid82-p (type: Full Paper (10 pages + refs)) doi:

Responsive Designs in a Snap
Nishant Sinha and Rezwana Karim
(IBM Research, India; Rutgers University, USA)
Article: fse15main-mainid24-p (type: Full Paper (10 pages + refs)) doi:

CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling
Aritra Dhar, Rahul Purandare, Mohan Dhawan, and Suresh Rangaswamy
(Xerox Research Center, India; IIIT Delhi, India; IBM Research, India)
Article: fse15main-mainid281-p (type: Full Paper (10 pages + refs)) doi:

Information Retrieval
Thu, Sep 3, 16:30 - 18:00, Alabastro B (Chair: Denys Poshyvanyk)

Query-Based Configuration of Text Retrieval Solutions for Software Engineering Tasks
Laura Moreno, Gabriele Bavota, Sonia Haiduc, Massimiliano Di Penta, Rocco Oliveto, Barbara Russo, and Andrian Marcus
(University of Texas at Dallas, USA; Free University of Bolzano, Italy; Florida State University, USA; University of Sannio, Italy; University of Molise, Italy)
Article: fse15main-mainid227-p (type: Full Paper (10 pages + refs)) doi:

Information Retrieval and Spectrum Based Bug Localization: Better Together
Tien-Duy B. Le, Richard J. Oentaryo, and David Lo
(Singapore Management University, Singapore)
Article: fse15main-mainid300-p (type: Full Paper (10 pages + refs)) doi:

Rule-Based Extraction of Goal-Use Case Models from Text
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Article: fse15main-mainid274-p (type: Full Paper (10 pages + refs)) doi:

Program Analysis II
Fri, Sep 4, 10:00 - 11:00, Oggioni (Chair: Alessandra Gorla)

Symbolic Execution of Programs with Heap Inputs
Pietro Braione, Giovanni Denaro, and Mauro Pezzè
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Article: fse15main-mainid165-p (type: Full Paper (10 pages + refs)) doi:

Automatically Deriving Pointer Reference Expressions from Binary Code for Memory Dump Analysis
Yangchun Fu, Zhiqiang Lin, and David Brumley
(University of Texas at Dallas, USA; Carnegie Mellon University, USA)
Article: fse15main-mainid35-p (type: Full Paper (10 pages + refs)) doi:

Measurement and Metric
Fri, Sep 4, 10:00 - 11:00, Alabastro A (Chair: Kathryn Stolee)

Summarizing and Measuring Development Activity
Christoph Treude, Fernando Figueira Filho, and Uirá Kulesza
(Federal University of Rio Grande do Norte, Brazil)
Article: fse15main-mainid88-p (type: Full Paper (10 pages + refs)) doi:

A Method to Identify and Correct Problematic Software Activity Data: Exploiting Capacity Constraints and Data Redundancies
Qimu Zheng, Audris Mockus, and Minghui Zhou
(Peking University, China; University of Tennessee, USA)
Article: fse15main-mainid250-p (type: Full Paper (10 pages + refs)) doi:

Patterns and Coding Convention
Fri, Sep 4, 10:00 - 11:00, Alabastro B (Chair: Emerson Murphy-Hill)

Gamification for Enforcing Coding Conventions
Christian R. Prause and Matthias Jarke
(DLR, Germany; RWTH Aachen University, Germany)
Article: fse15main-mainid8-p (type: Full Paper (10 pages + refs)) doi:

Mobile Applications
Fri, Sep 4, 11:30 - 13:10, Oggioni (Chair: Federica Sarro)

String Analysis for Java and Android Applications
Ding Li, Yingjun Lyu, Mian Wan, and William G. J. Halfond
(University of Southern California, USA)
Article: fse15main-mainid292-p (type: Full Paper (10 pages + refs)) doi:

Auto-completing Bug Reports for Android Applications
Kevin Moran, Mario Linares-Vásquez, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(College of William and Mary, USA)
Article: fse15main-mainid224-p (type: Full Paper (10 pages + refs + replpack)) doi:

CLAPP: Characterizing Loops in Android Applications
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, and Giovanni Vigna
(University of California at Santa Barbara, USA)
Article: fse15main-mainid268-p (type: Full Paper (10 pages + refs + replpack)) doi:

Search, Synthesis, and Verification
Fri, Sep 4, 11:30 - 13:10, Alabastro A (Chair: Domenico Bianculli)

TLV: Abstraction through Testing, Learning, and Validation
Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, and Shengchao Qin
(Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Teesside University, UK; Shenzhen University, China)
Article: fse15main-mainid64-p (type: Full Paper (10 pages + refs)) doi:

Mimic: Computing Models for Opaque Code
Stefan Heule, Manu Sridharan, and Satish Chandra
(Stanford University, USA; Samsung Research, USA)
Article: fse15main-mainid273-p (type: Full Paper (10 pages + refs + replpack)) doi:

Witness Validation and Stepwise Testification across Software Verifiers
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer
(University of Passau, Germany; University of Freiburg, Germany)
Article: fse15main-mainid253-p (type: Full Paper (10 pages + refs + replpack)) doi:

Java and Object-Oriented Programming
Fri, Sep 4, 11:30 - 13:10, Alabastro B (Chair: Andrea Arcuri)

Efficient and Reasonable Object-Oriented Concurrency
Scott West, Sebastian Nanz, and Bertrand Meyer
(Google, Switzerland; ETH Zurich, Switzerland)
Article: fse15main-mainid74-p (type: Full Paper (10 pages + refs)) doi:

FlexJava: Language Support for Safe and Modular Approximate Programming
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, and William Harris
(Georgia Tech, USA)
Article: fse15main-mainid18-p (type: Full Paper (10 pages + refs + replpack)) doi:

Getting to Know You: Towards a Capability Model for Java
Ben Hermann, Michael Reif, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany)
Article: fse15main-mainid92-p (type: Full Paper (10 pages + refs + replpack)) doi:

Testing III
Fri, Sep 4, 14:30 - 16:05, Oggioni (Chair: Justyna Petke)

Efficient Dependency Detection for Safe Java Test Acceleration
Jonathan Bell, Gail Kaiser, Eric Melski, and Mohan Dattatreya
(Columbia University, USA; Electric Cloud, USA)
Article: fse15main-mainid75-p (type: Full Paper (10 pages + refs)) doi:

Turning Programs against Each Other: High Coverage Fuzz-Testing using Binary-Code Mutation and Dynamic Slicing
Ulf Kargén and Nahid Shahmehri
(Linköping University, Sweden)
Article: fse15main-mainid174-p (type: Full Paper (10 pages + refs)) doi:

Guided Differential Testing of Certificate Validation in SSL/TLS Implementations
Yuting Chen and Zhendong Su
(Shanghai Jiao Tong University, China; University of California at Davis, USA)
Article: fse15main-mainid108-p (type: Full Paper (10 pages + refs + replpack)) doi:

Empirical Studies of Software Developers II
Fri, Sep 4, 14:30 - 16:05, Alabastro A (Chair: Massimiliano Di Penta)

Quality and Productivity Outcomes Relating to Continuous Integration in GitHub
Bogdan Vasilescu, Yue Yu, Huaimin Wang, Premkumar Devanbu, and Vladimir Filkov
(University of California at Davis, USA; National University of Defense Technology, China)
Article: fse15main-mainid209-p (type: Full Paper (10 pages + refs)) doi:

Developer Onboarding in GitHub: The Role of Prior Social Links and Language Experience
Casey Casalnuovo, Bogdan Vasilescu, Premkumar Devanbu, and Vladimir Filkov
(University of California at Davis, USA)
Article: fse15main-mainid215-p (type: Full Paper (10 pages + refs)) doi:

Impact of Developer Turnover on Quality in Open-Source Software
Matthieu Foucault, Marc Palyart, Xavier Blanc, Gail C. Murphy, and Jean-Rémy Falleri
(University of Bordeaux, France; University of British Columbia, Canada)
Article: fse15main-mainid265-p (type: Full Paper (10 pages + refs + replpack)) doi:

Symbolic Execution
Fri, Sep 4, 14:30 - 16:05, Alabastro B (Chair: Alessandro Orso)

MultiSE: Multi-path Symbolic Execution using Value Summaries
Koushik Sen, George Necula, Liang Gong, and Wontae Choi
(University of California at Berkeley, USA)

Best-Paper Award Article: fse15main-mainid93-p (type: Full Paper (10 pages + refs)) doi:

Assertion Guided Symbolic Execution of Multithreaded Programs
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta
(Virginia Tech, USA; Western Michigan University, USA; Princeton University, USA)
Article: fse15main-mainid163-p (type: Full Paper (10 pages + refs)) doi:

Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, and Corina S. Păsăreanu
(University of Stuttgart, Germany; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
Article: fse15main-mainid95-p (type: Full Paper (10 pages + refs + replpack)) doi:

New Ideas

Human Aspects of Software Engineering
Wed, Sep 2, 11:30 - 13:05, Stucchi

Bespoke Tools: Adapted to the Concepts Developers Know
Brittany Johnson, Rahul Pandita, Emerson Murphy-Hill, and Sarah Heckman
(North Carolina State University, USA)
Article: fse15nier-nierid31-p (type: Full Paper) doi:

I Heart Hacker News: Expanding Qualitative Research Findings by Analyzing Social News Websites
Titus Barik, Brittany Johnson, and Emerson Murphy-Hill
(ABB Research, USA; North Carolina State University, USA)
Article: fse15nier-nierid52-p (type: Full Paper) doi:

GitSonifier: Using Sound to Portray Developer Conflict History
Kevin J. North, Shane Bolan, Anita Sarma, and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
Article: fse15nier-nierid25-p (type: Full Paper) doi:

Automatically Recommending Test Code Examples to Inexperienced Developers
Raphael Pham, Yauheni Stoliar, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Article: fse15nier-nierid28-p (type: Full Paper) doi:

Using Software Theater for the Demonstration of Innovative Ubiquitous Applications
Han Xu, Stephan Krusche, and Bernd Bruegge
(TU München, Germany)
Article: fse15nier-nierid43-p (type: Full Paper) doi:

Validation, Verification, and Testing
Wed, Sep 2, 14:30 - 16:05, Stucchi

Behavioral Log Analysis with Statistical Guarantees
Nimrod Busany and Shahar Maoz
(Tel Aviv University, Israel)
Article: fse15nier-nierid32-p (type: Full Paper) doi:

Inner Oracles: Input-Specific Assertions on Internal States
Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, and Tian Lan
(Peking University, China)
Article: fse15nier-nierid34-p (type: Full Paper) doi:

Targeted Program Transformations for Symbolic Execution
Cristian Cadar
(Imperial College London, UK)
Article: fse15nier-nierid40-p (type: Full Paper) doi:

Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help
Jifeng Xuan, Xiaoyuan Xie, and Martin Monperrus
(Wuhan University, China; University of Lille, France; INRIA, France)
Article: fse15nier-nierid50-p (type: Full Paper) doi:

RDIT: Race Detection from Incomplete Traces
Arun K. Rajagopalan and Jeff Huang
(Texas A&M University, USA)
Article: fse15nier-nierid21-p (type: Full Paper) doi:

Maintenance and Evolution
Wed, Sep 2, 16:30 - 18:00, Stucchi

TACO: Test Suite Augmentation for Concurrent Programs
Tingting Yu
(University of Kentucky, USA)
Article: fse15nier-nierid45-p (type: Full Paper) doi:

Navigating through the Archipelago of Refactorings
Apostolos V. Zarras, Theofanis Vartziotis, and Panos Vassiliadis
(University of Ioannina, Greece)
Article: fse15nier-nierid19-p (type: Full Paper) doi:

Detecting Semantic Merge Conflicts with Variability-Aware Execution
Hung Viet Nguyen, My Huu Nguyen, Son Cuu Dang, Christian Kästner, and Tien N. Nguyen
(Iowa State University, USA; Ho Chi Minh City University of Science, Vietnam; University of Technology Sydney, Australia; Carnegie Mellon University, USA)
Article: fse15nier-nierid49-p (type: Full Paper) doi:

Product Lines Can Jeopardize Their Trade Secrets
Mathieu Acher, Guillaume Bécan, Benoit Combemale, Benoit Baudry, and Jean-Marc Jézéquel
(University of Rennes 1, France; INRIA, France; IRISA, France)
Article: fse15nier-nierid35-p (type: Full Paper) doi:

Tool Demonstrations
Thu, Sep 3, 10:20 - 11:30, Oggioni

JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland, USA; Massachusetts Institute of Technology, USA)
Article: fse15demo-demoid26-p (type: Short Paper) doi:

Don't Panic: Reverse Debugging of Kernel Drivers
Pavel Dovgalyuk, Denis Dmitriev, and Vladimir Makarov
(Russian Academy of Sciences, Russia)
Article: fse15demo-demoid1-p (type: Short Paper) doi:

UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, and Zohaib Iqbal
(University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan)
Article: fse15demo-demoid20-p (type: Short Paper) doi:

DexterJS: Robust Testing Platform for DOM-Based XSS Vulnerabilities
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, and Prateek Saxena
(National University of Singapore, Singapore)
Article: fse15demo-demoid29-p (type: Short Paper) doi:

T3i: A Tool for Generating and Querying Test Suites for Java
I. S. Wishnu B. Prasetya
(Utrecht University, Netherlands)
Article: fse15demo-demoid12-p (type: Short Paper) doi:

iTrace: Enabling Eye Tracking on Software Artifacts within the IDE to Support Software Engineering Tasks
Timothy R. Shaffer, Jenna L. Wise, Braden M. Walters, Sebastian C. Müller, Michael Falcone, and Bonita Sharif
(Youngstown State University, USA; University of Zurich, Switzerland)
Article: fse15demo-demoid23-p (type: Short Paper) doi:

Nyx: A Display Energy Optimizer for Mobile Web Apps
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
(University of Southern California, USA)
Article: fse15demo-demoid28-p (type: Short Paper) doi:

NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements
Chetan Arora, Mehrdad Sabetzadeh, Arda Goknil, Lionel C. Briand, and Frank Zimmer
(University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
Article: fse15demo-demoid16-p (type: Short Paper) doi:

Commit Guru: Analytics and Risk Prediction of Software Commits
Christoffer Rosen, Ben Grawi, and Emad Shihab
(Rochester Institute of Technology, USA; Concordia University, Canada)
Article: fse15demo-demoid13-p (type: Short Paper) doi:

OSSMETER: A Software Measurement Platform for Automatically Analysing Open Source Software Projects
Davide Di Ruscio, Dimitris S. Kolovos, Ioannis Korkontzelos, Nicholas Matragkas, and Jurgen J. Vinju
(University of L'Aquila, Italy; University of York, UK; University of Manchester, UK; CWI, Netherlands)
Article: fse15demo-demoid19-p (type: Short Paper) doi:

Comprehensive Service Matching with MatchBox
Paul Börding, Melanie Bruns, and Marie Christin Platenius
(University of Paderborn, Germany)
Article: fse15demo-demoid6-p (type: Short Paper) doi:

UEDashboard: Awareness of Unusual Events in Commit Histories
Larissa Leite, Christoph Treude, and Fernando Figueira Filho
(Federal University of Rio Grande do Norte, Brazil)
Article: fse15demo-demoid15-p (type: Short Paper) doi:

MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Bosco Ferreira Filho, Benoit Baudry, Nicolas Sannier, and Jean-Marc Davril
(University of Rennes 1, France; INRIA, France; IRISA, France; University of Luxembourg, Luxembourg; University of Namur, Belgium)
Article: fse15demo-demoid3-p (type: Short Paper) doi:

Industry Papers

Quality
Thu, Sep 3, 11:30 - 13:05, Stucchi

Predicting Field Reliability
Pete Rotella, Sunita Chulani, and Devesh Goyal
(Cisco Systems, USA)
Article: fse15ind-indid21-p (type: Short Paper (4 pages)) doi:

REMI: Defect Prediction for Efficient API Testing
Mijung Kim, Jaechang Nam, Jaehyuk Yeon, Soonhwang Choi, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Samsung Electronics, South Korea)
Article: fse15ind-indid18-p (type: Short Paper (4 pages)) doi:

OnSpot System: Test Impact Visibility during Code Edits in Real Software
Muhammad Umar Janjua
(Microsoft, USA)
Article: fse15ind-indid14-p (type: Short Paper (4 pages)) doi:

Software Process
Thu, Sep 3, 14:30 - 16:00, Stucchi

Products, Developers, and Milestones: How Should I Build My N-Gram Language Model
Juliana Saraiva, Christian Bird, and Thomas Zimmermann
(Federal University of Pernambuco, Brazil; Microsoft Research, USA)
Article: fse15ind-indid10-p (type: Short Paper (4 pages)) doi:

Evaluating a Formal Scenario-Based Method for the Requirements Analysis in Automotive Software Engineering
Joel Greenyer, Max Haase, Jörg Marhenke, and Rene Bellmer
(Leibniz Universität Hannover, Germany; IAV, Germany)
Article: fse15ind-indid15-p (type: Short Paper (4 pages)) doi:

Barriers and Enablers for Shortening Software Development Lead-Time in Mechatronics Organizations: A Case Study
Mahshad M.Mahally, Miroslaw Staron, and Jan Bosch
(Volvo, Sweden; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article: fse15ind-indid4-p (type: Short Paper (4 pages)) doi:

Requirements and Specification
Thu, Sep 3, 16:30 - 18:00, Stucchi

Semantic Degrees for Industrie 4.0 Engineering: Deciding on the Degree of Semantic Formalization to Select Appropriate Technologies
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, and Peter Weber
(ABB Research, Germany)
Article: fse15ind-indid2-p (type: Short Paper (4 pages)) doi:

Towards Automating the Security Compliance Value Chain
Smita Ghaisas, Manish Motwani, Balaji Balasubramaniam, Anjali Gajendragadkar, Rahul Kelkar, and Harrick Vin
(Tata Consultancy Services, India)
Article: fse15ind-indid9-p (type: Short Paper (4 pages)) doi:

Requirements, Architecture, and Quality in a Mission Critical System: 12 Lessons Learned
Aapo Koski and Tommi Mikkonen
(Insta DefSec, Finland; Tampere University of Technology, Finland)
Article: fse15ind-indid12-p (type: Short Paper (4 pages)) doi:

Doctoral Symposium
Tue, Sep 1, 09:00 - 10:30, Stucchi

Decentralized Self-Adaptation in Large-Scale Distributed Systems
Luca Florio
(Politecnico di Milano, Italy)
Article: fse15doc-docds2-p (type: Short Paper) doi:

Vehicle Level Continuous Integration in the Automotive Industry
Sebastian Vöst
(University of Stuttgart, Germany)
Article: fse15doc-docds4-p (type: Short Paper) doi:

Quantifying Architectural Debts
Lu Xiao
(Drexel University, USA)
Article: fse15doc-docds7-p (type: Short Paper) doi:

User-Centric Security: Optimization of the Security-Usability Trade-Off
Denis Feth
(Fraunhofer IESE, Germany)
Article: fse15doc-docds8-p (type: Short Paper) doi:

Automated Unit Test Generation for Evolving Software
Sina Shamshiri
(University of Sheffield, UK)
Article: fse15doc-docds13-p (type: Short Paper) doi:

Student Research Competition
Thu, Sep 3, 10:20 - 11:30, Oggioni

Increasing the Efficiency of Search-Based Unit Test Generation using Parameter Control
Thomas White
(University of Sheffield, UK)
Article: fse15src-srcid4-p (type: Abstract (2 Pages + References)) doi:

Enhancing Android Application Bug Reporting
Kevin Moran
(College of William and Mary, USA)
Article: fse15src-srcid9-p (type: Abstract (2 Pages + References)) doi:

Improving Energy Consumption in Android Apps
Carlos Bernal-Cárdenas
(College of William and Mary, USA)
Article: fse15src-srcid12-p (type: Abstract (2 Pages + References)) doi:

Automated Generation of Programming Language Quizzes
Shuktika Jain
(IIIT Delhi, India)
Article: fse15src-srcid5-p (type: Abstract (2 Pages + References)) doi:

Spotting Familiar Code Snippet Structures for Program Comprehension
Venkatesh Vinayakarao
(IIIT Delhi, India)
Article: fse15src-srcid6-p (type: Abstract (2 Pages + References)) doi:

Combining Eye Tracking with Navigation Paths for Identification of Cross-Language Code Dependencies
Martin Konopka
(Slovak University of Technology in Bratislava, Slovakia)
Article: fse15src-srcid7-p (type: Abstract (2 Pages + References)) doi:

A Textual Domain Specific Language for Requirement Modelling
Oyindamola Olajubu
(University of Northampton, UK)
Article: fse15src-srcid8-p (type: Abstract (2 Pages + References)) doi:

Automated Attack Surface Approximation
Christopher Theisen
(North Carolina State University, USA)
Article: fse15src-srcid10-p (type: Abstract (2 Pages + References)) doi:

Pockets: A Tool to Support Exploratory Programming for Novices and Educators
Erina Makihara
(NAIST, Japan)
Article: fse15src-srcid13-p (type: Abstract (2 Pages + References)) doi:

ESEC/FSE 2015 – Proceedings

Frontmatter

Research Papers

Adaptive Systems Wed, Sep 2, 11:30 - 13:05, Oggioni (Chair: Luciano Baresi)

Software Quality Wed, Sep 2, 11:30 - 13:05, Alabastro A (Chair: Ivica Crnkovic)

Synthesis and Search-Based Approaches for Reactive Systems Wed, Sep 2, 11:30 - 13:05, Alabastro B (Chair: Joël Greenyer)

Testing I Wed, Sep 2, 14:30 - 16:05, Oggioni (Chair: Paolo Tonella)

Search-Based Approaches to Testing, Repair, and Energy Optimisation Wed, Sep 2, 14:30 - 16:05, Alabastro A (Chair: Yue Jia)

Empirical Studies of Software Developers I Wed, Sep 2, 14:30 - 16:05, Alabastro B (Chair: Christoph Treude)

Testing II Wed, Sep 2, 16:30 - 18:00, Oggioni (Chair: Gordon Fraser)

Security Wed, Sep 2, 16:30 - 18:00, Alabastro B (Chair: Laurie Williams)

Configurable Systems Thu, Sep 3, 11:30 - 13:05, Oggioni (Chair: Shiva Nejati)

Debugging Thu, Sep 3, 11:30 - 13:05, Alabastro A (Chair: David Lo)

Web Applications Thu, Sep 3, 11:30 - 13:05, Alabastro B (Chair: Mira Mezini)

Studies of Software Engineering Research and Practice Thu, Sep 3, 14:30 - 16:00, Oggioni (Chair: Jens Krinke)

Concurrency Thu, Sep 3, 14:30 - 16:00, Alabastro A (Chair: Mauro Pezzè)

Program Analysis I Thu, Sep 3, 14:30 - 16:00, Alabastro B (Chair: Darko Marinov)

Prediction and Recommendation Thu, Sep 3, 16:30 - 18:00, Oggioni (Chair: Tim Menzies)

Program Repair Thu, Sep 3, 16:30 - 18:00, Alabastro A (Chair: Myra Cohen)

Information Retrieval Thu, Sep 3, 16:30 - 18:00, Alabastro B (Chair: Denys Poshyvanyk)

Program Analysis II Fri, Sep 4, 10:00 - 11:00, Oggioni (Chair: Alessandra Gorla)

Measurement and Metric Fri, Sep 4, 10:00 - 11:00, Alabastro A (Chair: Kathryn Stolee)

Patterns and Coding Convention Fri, Sep 4, 10:00 - 11:00, Alabastro B (Chair: Emerson Murphy-Hill)

Mobile Applications Fri, Sep 4, 11:30 - 13:10, Oggioni (Chair: Federica Sarro)

Search, Synthesis, and Verification Fri, Sep 4, 11:30 - 13:10, Alabastro A (Chair: Domenico Bianculli)

Java and Object-Oriented Programming Fri, Sep 4, 11:30 - 13:10, Alabastro B (Chair: Andrea Arcuri)

Testing III Fri, Sep 4, 14:30 - 16:05, Oggioni (Chair: Justyna Petke)

Empirical Studies of Software Developers II Fri, Sep 4, 14:30 - 16:05, Alabastro A (Chair: Massimiliano Di Penta)

Symbolic Execution Fri, Sep 4, 14:30 - 16:05, Alabastro B (Chair: Alessandro Orso)