Powered by
Conference Publishing Consulting

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

ESEC/FSE 2015 – Proceedings

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

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)
Automated Multi-objective Control for Self-Adaptive Software Design
Antonio Filieri, Henry HoffmannORCID logo, and Martina Maggio
(University of Stuttgart, Germany; University of Chicago, USA; Lund University, Sweden)
Detecting Event Anomalies in Event-Based Systems
Gholamreza Safi, Arman Shahbazian, William G. J. HalfondORCID logo, and Nenad Medvidovic ORCID logo
(University of Southern California, USA)
Video Info

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 ORCID logo, Christian Bird, and Charles Sutton
(University of Edinburgh, UK; University College London, UK; Microsoft Research, USA)
Info
Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt
Neil A. Ernst, Stephany Bellomo, Ipek Ozkaya ORCID logo, Robert L. Nord, and Ian Gorton
(SEI, USA)
Info Best-Paper Award
Automatically Computing Path Complexity of Programs
Lucas Bang, Abdulbaki Aydin, and Tevfik BultanORCID logo
(University of California at Santa Barbara, USA)
Info

Synthesis and Search-Based Approaches for Reactive Systems
Wed, Sep 2, 11:30 - 13:05, Alabastro B (Chair: Joë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)
Info
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Reza Matinnejad, Shiva Nejati, Lionel C. BriandORCID logo, and Thomas Bruckmann
(University of Luxembourg, Luxembourg; Delphi Automotive Systems, Luxembourg)
Best-Paper Award
GR(1) Synthesis for LTL Specification Patterns
Shahar MaozORCID logo and Jan Oliver Ringert
(Tel Aviv University, Israel)

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
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)
Synthesizing Tests for Detecting Atomicity Violations
Malavika Samak and Murali Krishna Ramanathan
(Indian Institute of Science, India)

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 PoshyvanykORCID logo
(College of William and Mary, USA; Free University of Bolzano, Italy; University of Molise, Italy; University of Sannio, Italy)
Info Best-Paper Award
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)
Staged Program Repair with Condition Synthesis
Fan Long and Martin Rinard
(Massachusetts Institute of Technology, USA)
Info

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 ORCID logo, and Andy Zaidman
(Delft University of Technology, Netherlands; Radboud University Nijmegen, Netherlands)
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)
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)
Info

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)
Info
Test Report Prioritization to Assist Crowdsourced Testing
Yang Feng, Zhenyu Chen, James A. Jones ORCID logo, Chunrong Fang, and Baowen Xu ORCID logo
(Nanjing University, China; University of California at Irvine, USA)
Comparing and Combining Test-Suite Reduction and Regression Test Selection
August Shi, Tifany Yung, Alex Gyori, and Darko MarinovORCID logo
(University of Illinois at Urbana-Champaign, USA)

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)
Info
Quantifying Developers' Adoption of Security Tools
Jim Witschey, Olga Zielinska, Allaire Welk, Emerson Murphy-Hill, Chris Mayhorn, and Thomas ZimmermannORCID logo
(North Carolina State University, USA; Microsoft Research, USA)
Auto-patching DOM-Based XSS at Scale
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, and Prateek SaxenaORCID logo
(National University of Singapore, Singapore)
Info

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ästnerORCID logo
(University of Passau, Germany; Carnegie Mellon University, USA)
Info
Users Beware: Preference Inconsistencies Ahead
Farnaz Behrang, Myra B. Cohen, and Alessandro OrsoORCID logo
(Georgia Tech, USA; University of Nebraska-Lincoln, USA)
Best-Paper Award
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)
Video Info

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)
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)
Info
MemInsight: Platform-Independent Memory Debugging for JavaScript
Simon Holm Jensen, Manu Sridharan, Koushik Sen, and Satish Chandra ORCID logo
(Snowflake Computing, USA; Samsung Research, USA; University of California at Berkeley, USA)

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

JITProf: Pinpointing JIT-Unfriendly JavaScript Code
Liang Gong, Michael Pradel ORCID logo, and Koushik Sen
(University of California at Berkeley, USA; TU Darmstadt, Germany)
Info
Cross-Language Program Slicing for Dynamic Web Applications
Hung Viet Nguyen, Christian KästnerORCID logo, and Tien N. Nguyen
(Iowa State University, USA; Carnegie Mellon University, USA)
Detecting JavaScript Races That Matter
Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
(Koç University, Turkey; Microsoft Research, USA)
Info

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. GallORCID logo
(University of Zurich, Switzerland)
An Empirical Study of Goto in C Code from GitHub Repositories
Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric TanterORCID logo, Shane McIntosh, Audris Mockus, and Ahmed E. Hassan ORCID logo
(Rochester Institute of Technology, USA; University of Chile, Chile; Kyushu University, Japan; McGill University, Canada; University of Tennessee, USA; Queen's University, Canada)
How Practitioners Perceive the Relevance of Software Engineering Research
David LoORCID logo, Nachiappan Nagappan, and Thomas ZimmermannORCID logo
(Singapore Management University, Singapore; Microsoft Research, USA)
Best-Paper Award

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

What Change History Tells Us about Thread Synchronization
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, and Shan LuORCID logo
(Columbia University, USA; North Carolina State University, USA; University of Wisconsin-Madison, USA; University of Chicago, USA)
Finding Schedule-Sensitive Branches
Jeff Huang ORCID logo and Lawrence Rauchwerger
(Texas A&M University, USA)
Effective and Precise Dynamic Detection of Hidden Races for Java Programs
Yan CaiORCID logo and Lingwei Cao
(Institute of Software at Chinese Academy of Sciences, China)

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
Hidden Truths in Dead Software Paths
Michael Eichberg, Ben Hermann, Mira Mezini ORCID logo, and Leonid Glanz
(TU Darmstadt, Germany)
Info
P3: Partitioned Path Profiling
Mohammed Afraz, Diptikalyan Saha, and Aditya Kanade
(Indian Institute of Science, India; IBM Research, India)

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 ORCID logo
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
Heterogeneous Defect Prediction
Jaechang Nam and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Clone-Based and Interactive Recommendation for Modifying Pasted Code
Yun Lin, Xin Peng ORCID logo, Zhenchang Xing, Diwen Zheng, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)

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 ORCID logo, Claire Le GouesORCID logo, and Yuriy BrunORCID logo
(University of Massachusetts at Amherst, USA; University College London, UK; Carnegie Mellon University, USA; University of Massachusetts, USA)
Responsive Designs in a Snap
Nishant Sinha and Rezwana Karim
(IBM Research, India; Rutgers University, USA)
CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling
Aritra Dhar, Rahul Purandare ORCID logo, Mohan Dhawan, and Suresh Rangaswamy
(Xerox Research Center, India; IIIT Delhi, India; IBM Research, India)
Info

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 MarcusORCID logo
(University of Texas at Dallas, USA; Free University of Bolzano, Italy; Florida State University, USA; University of Sannio, Italy; University of Molise, Italy)
Info
Information Retrieval and Spectrum Based Bug Localization: Better Together
Tien-Duy B. Le, Richard J. Oentaryo, and David LoORCID logo
(Singapore Management University, Singapore)
Rule-Based Extraction of Goal-Use Case Models from Text
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Info

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)
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)

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)
Info
A Method to Identify and Correct Problematic Software Activity Data: Exploiting Capacity Constraints and Data Redundancies
Qimu Zheng, Audris Mockus, and Minghui Zhou ORCID logo
(Peking University, China; University of Tennessee, USA)

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)

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. HalfondORCID logo
(University of Southern California, USA)
Auto-completing Bug Reports for Android Applications
Kevin Moran, Mario Linares-Vásquez, Carlos Bernal-Cárdenas, and Denys PoshyvanykORCID logo
(College of William and Mary, USA)
Video Info
CLAPP: Characterizing Loops in Android Applications
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, and Giovanni Vigna
(University of California at Santa Barbara, USA)
Info

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 ORCID logo, Shang-Wei Lin, and Shengchao Qin
(Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Teesside University, UK; Shenzhen University, China)
Info
Mimic: Computing Models for Opaque Code
Stefan Heule, Manu Sridharan, and Satish Chandra ORCID logo
(Stanford University, USA; Samsung Research, USA)
Info
Witness Validation and Stepwise Testification across Software Verifiers
Dirk BeyerORCID logo, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer
(University of Passau, Germany; University of Freiburg, Germany)
Info

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)
FlexJava: Language Support for Safe and Modular Approximate Programming
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, and William Harris
(Georgia Tech, USA)
Getting to Know You: Towards a Capability Model for Java
Ben Hermann, Michael Reif, Michael Eichberg, and Mira MeziniORCID logo
(TU Darmstadt, Germany)
Info

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 ORCID logo, Eric Melski, and Mohan Dattatreya
(Columbia University, USA; Electric Cloud, USA)
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)
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)
Info

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 DevanbuORCID logo, and Vladimir Filkov
(University of California at Davis, USA; National University of Defense Technology, China)
Developer Onboarding in GitHub: The Role of Prior Social Links and Language Experience
Casey Casalnuovo, Bogdan Vasilescu, Premkumar DevanbuORCID logo, and Vladimir Filkov
(University of California at Davis, USA)
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)
Info

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
Assertion Guided Symbolic Execution of Multithreaded Programs
Shengjian Guo ORCID logo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta ORCID logo
(Virginia Tech, USA; Western Michigan University, USA; Princeton University, USA)
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)
Info

proc time: 0.85