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

Phone Layout
No Pictures
Sunday, August 30, 2015
Registration (Central)
08:30 – 09:00
A-Test (Workshop)
09:00 – 10:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
09:00 – 10:30, Alabastro B
Break
10:30 – 11:00
A-Test (Workshop)
11:00 – 12:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
11:00 – 12:30, Alabastro B
Lunch
12:30 – 14:00
A-Test (Workshop)
14:00 – 15:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
14:00 – 15:30, Alabastro B
The Use of Text Retrieval and Natural Language Processing in Software Engineering (Tutorial)
14:00 – 15:30, Stampa
Break
15:30 – 16:00
A-Test (Workshop)
16:00 – 17:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
16:00 – 17:30, Alabastro B
The Use of Text Retrieval and Natural Language Processing in Software Engineering (Tutorial)
16:00 – 17:30, Stampa
Monday, August 31, 2015
Registration (Central)
08:30 – 09:00
A-Test (Workshop)
09:00 – 10:30, Alabastro A
Control Theory for Software Engineering (Workshop)
09:00 – 10:30, Alabastro B
Software Engineering for Mobile Apps: Research Accomplishments and Future Challenges (Tutorial)
09:00 – 10:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
09:00 – 10:30, Stucchi
Break
10:30 – 11:00
A-Test (Workshop)
11:00 – 12:30, Alabastro A
Control Theory for Software Engineering (Workshop)
11:00 – 12:30, Alabastro B
Software Engineering for Mobile Apps: Research Accomplishments and Future Challenges (Tutorial)
11:00 – 12:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
11:00 – 12:30, Stucchi
Lunch
12:30 – 14:00
A-Test (Workshop)
14:00 – 15:30, Alabastro A
Control Theory for Software Engineering (Workshop)
14:00 – 15:30, Alabastro B
MODAClouds Project
14:00 – 15:30, Novelli
The Art and Science of Analyzing Software Data (Tutorial)
14:00 – 15:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
14:00 – 15:30, Stucchi
Break
15:30 – 16:00
A-Test (Workshop)
16:00 – 17:30, Alabastro A
Control Theory for Software Engineering (Workshop)
16:00 – 17:30, Alabastro B
MODAClouds Project
16:00 – 17:30, Novelli
The Art and Science of Analyzing Software Data (Tutorial)
16:00 – 17:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
16:00 – 17:30, Stucchi
Tuesday, September 1, 2015
Registration (Central)
08:30 – 09:00
Quality-aware DevOps (Workshop)
08:45 – 10:30, Alabastro A
Doctoral Symposium
09:00 – 10:30, Stucchi
Decentralized Self-Adaptation in Large-Scale Distributed Systems
(Politecnico di Milano, Italy)
Publisher's Version
Vehicle Level Continuous Integration in the Automotive Industry
Sebastian Vöst
(University of Stuttgart, Germany)
Publisher's Version
Quantifying Architectural Debts
Lu Xiao
(Drexel University, USA)
Publisher's Version
User-Centric Security: Optimization of the Security-Usability Trade-Off
Denis Feth
(Fraunhofer IESE, Germany)
Publisher's Version
Automated Unit Test Generation for Evolving Software
Sina Shamshiri
(University of Sheffield, UK)
Publisher's Version
Social Software Engineering (Workshop)
09:00 – 10:30, Alabastro B
MODAClouds Project
09:00 – 10:30, Novelli
Combining Quantitative and Qualitative Methods in Empirical Software Engineering (Tutorial)
09:00 – 10:30, Stampa
Break
10:30 – 11:00
Quality-aware DevOps (Workshop)
11:00 – 12:30, Alabastro A
Social Software Engineering (Workshop)
11:00 – 12:30, Alabastro B
MODAClouds Project
11:00 – 12:30, Novelli
Combining Quantitative and Qualitative Methods in Empirical Software Engineering (Tutorial)
11:00 – 12:30, Stampa
Doctoral Symposium
11:00 – 12:30, Stucchi
Lunch
12:30 – 14:00
Quality-aware DevOps (Workshop)
13:30 – 15:30, Alabastro A
Social Software Engineering (Workshop)
14:00 – 15:30, Alabastro B
MODAClouds Project
14:00 – 15:30, Novelli
Challenges of Conducting Software Engineering Experiments: Everything You Always Wanted to Know but Were Afraid to Ask (Tutorial)
14:00 – 15:30, Stampa
Doctoral Symposium
14:00 – 15:30, Stucchi
Break
15:30 – 16:00
Quality-aware DevOps (Workshop)
16:00 – 17:30, Alabastro A
Social Software Engineering (Workshop)
16:00 – 17:30, Alabastro B
MODAClouds Project
16:00 – 17:30, Novelli
Challenges of Conducting Software Engineering Experiments: Everything You Always Wanted to Know but Were Afraid to Ask (Tutorial)
16:00 – 17:30, Stampa
Doctoral Symposium
16:00 – 17:30, Stucchi
Guided tour
16:30 – 19:00
ICSE Steering Committee
19:00 – 22:00
Organizing Committee Dinner
20:30 – 23:00
Wednesday, September 2, 2015
Registration (Central)
08:30 – 09:00
Welcome from the Chairs
09:00 – 09:30, Oggioni, Chair: Elisabetta Di Nitto
Welcome from the Chairs
Elisabetta Di Nitto, Mark Harman, and Patrick Heymans
(Politecnico di Milano, Italy; University College London, UK; University of Namur, Belgium)
MODAClouds Project
09:00 – 11:00, Novelli
DICE Project
09:00 – 11:00, Stampa
The Role of Science for the Conservation and Preservation of Cultural Heritage and in Fighting Art Crimes (Keynote)
09:30 – 10:30, Oggioni, Chair: Elisabetta Di Nitto
The Role of Science for the Conservation and Preservation of Cultural Heritage and in Fighting Art Crimes (Keynote)
Maurizio Seracini
Visualization of Test Information to Assist Fault Localization (SIGSOFT Impact Paper Award Talk)
10:30 – 11:00, Oggioni, Chair: Nenad Medvidovic
Visualization of Test Information to Assist Fault Localization
Break
11:00 – 11:30
Software Quality (Research Papers)
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)
Publisher's Version Preprint Info
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
Publisher's Version Preprint Info
Automatically Computing Path Complexity of Programs
(University of California at Santa Barbara, USA)
Publisher's Version Info
Synthesis and Search-Based Approaches for Reactive Systems (Research Papers)
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)
Publisher's Version Info
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
(University of Luxembourg, Luxembourg; Delphi Automotive Systems, Luxembourg)
Best-Paper Award
Publisher's Version
GR(1) Synthesis for LTL Specification Patterns
(Tel Aviv University, Israel)
Publisher's Version
Adaptive Systems (Research Papers)
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Detecting Event Anomalies in Event-Based Systems
Gholamreza Safi, Arman Shahbazian, William G. J. Halfond, and Nenad Medvidovic
(University of Southern California, USA)
Publisher's Version Preprint Video Info
Human Aspects of Software Engineering (New Ideas)
11:30 – 13:05, Stucchi
Bespoke Tools: Adapted to the Concepts Developers Know
(North Carolina State University, USA)
Publisher's Version Preprint
I Heart Hacker News: Expanding Qualitative Research Findings by Analyzing Social News Websites
(ABB Research, USA; North Carolina State University, USA)
Publisher's Version Preprint
GitSonifier: Using Sound to Portray Developer Conflict History
Kevin J. North, Shane Bolan, Anita Sarma, and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
Publisher's Version
Automatically Recommending Test Code Examples to Inexperienced Developers
Raphael Pham, Yauheni Stoliar, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Publisher's Version
Using Software Theater for the Demonstration of Innovative Ubiquitous Applications
Han Xu, Stephan Krusche, and Bernd Bruegge
(TU München, Germany)
Publisher's Version
MODAClouds Project
11:30 – 13:05, Novelli
DICE Project
11:30 – 13:05, Stampa
Lunch
13:05 – 14:30
Search-Based Approaches to Testing, Repair, and Energy Optimisation (Research Papers)
14:30 – 16:05, Alabastro A, Chair: Yue Jia
Optimizing Energy Consumption of GUIs in Android Apps: A Multi-objective Approach
(College of William and Mary, USA; Free University of Bolzano, Italy; University of Molise, Italy; University of Sannio, Italy)
Best-Paper Award
Publisher's Version Preprint Info
Generating TCP/UDP Network Data for Automated Unit Test Generation
(Scienta, Norway; University of Luxembourg, Luxembourg; University of Sheffield, UK; Saarland University, Germany)
Publisher's Version
Staged Program Repair with Condition Synthesis
Fan Long and Martin Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version Info
Empirical Studies of Software Developers I (Research Papers)
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)
Publisher's Version Preprint
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)
Publisher's Version
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)
Publisher's Version Preprint Info
Testing I (Research Papers)
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
Publisher's Version
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)
Publisher's Version
Synthesizing Tests for Detecting Atomicity Violations
(Indian Institute of Science, India)
Publisher's Version
Validation, Verification, and Testing (New Ideas)
14:30 – 16:05, Stucchi
Behavioral Log Analysis with Statistical Guarantees
Nimrod Busany and Shahar Maoz
(Tel Aviv University, Israel)
Publisher's Version
Inner Oracles: Input-Specific Assertions on Internal States
Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, and Tian Lan
(Peking University, China)
Publisher's Version Info
Targeted Program Transformations for Symbolic Execution
(Imperial College London, UK)
Publisher's Version Preprint
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)
Publisher's Version Preprint
RDIT: Race Detection from Incomplete Traces
Arun K. Rajagopalan and Jeff Huang
(Texas A&M University, USA)
Publisher's Version
DICE Project
14:30 – 16:05, Stampa
Break
16:05 – 16:30
Security (Research Papers)
16:30 – 18:00, Alabastro B, Chair: Laurie Williams
Questions Developers Ask While Diagnosing Potential Security Vulnerabilities with Static Analysis
(North Carolina State University, USA; University of North Carolina at Charlotte, USA)
Publisher's Version Preprint Info
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint Info
Testing II (Research Papers)
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)
Publisher's Version Preprint Info
Test Report Prioritization to Assist Crowdsourced Testing
Yang Feng, Zhenyu Chen, James A. Jones, Chunrong Fang, and
(Nanjing University, China; University of California at Irvine, USA)
Publisher's Version
Comparing and Combining Test-Suite Reduction and Regression Test Selection
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint
Maintenance and Evolution (New Ideas)
16:30 – 18:00, Stucchi
TACO: Test Suite Augmentation for Concurrent Programs
(University of Kentucky, USA)
Publisher's Version
Navigating through the Archipelago of Refactorings
Apostolos V. Zarras, Theofanis Vartziotis, and Panos Vassiliadis
(University of Ioannina, Greece)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
Search-Based Software Engineering (TSE and TOSEM Journal Papers) (Session)
16:30 – 18:00, Alabastro A, Chair: Thomas Zimmermann
Wiem Mkaouer, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb, and Ali Ouni. Many-Objective Software Remodularization using NSGA-III. ACM TOSEM Issue 24(3)2015

Stefano Di Alesio, Shiva Nejati, and Lionel Briand. Gotlieb, Arnaud Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM TOSEM Issue 25(1)2016

J. Krall, T. Menzies, and M. Davies. GALE: Geometric Active Learning for Search-Based Software Engineering. To appear on IEEE TSE (available online at the time of writing)
DICE Project
16:30 – 18:00, Stampa
SIGSOFT Town Hall and Reception
19:00 – 22:00
Thursday, September 3, 2015
Software without Boundaries: engineering secure invisible software
09:00 – 10:00, Oggioni, Chair: Patrick Heymans
Software without Boundaries: engineering secure invisible software
Bashar Nuseibeh
DICE Project
09:00 – 11:30, Stampa
FSE 2016 and ESEC/FSE 2017 presentations
10:00 – 10:10, Oggioni, Chair: Patrick Heymans
Introduction to the Demo and SRC sessions
10:10 – 10:20, Oggioni, Chair: Patrick Heymans
Tool Demonstrations
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)
Publisher's Version Preprint Info
Don't Panic: Reverse Debugging of Kernel Drivers
Pavel Dovgalyuk, Denis Dmitriev, and Vladimir Makarov
(Russian Academy of Sciences, Russia)
Publisher's Version Info
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)
Publisher's Version
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)
Publisher's Version Preprint Video Info
T3i: A Tool for Generating and Querying Test Suites for Java
I. S. Wishnu B. Prasetya
(Utrecht University, Netherlands)
Publisher's Version Video Info
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)
Publisher's Version Preprint Video Info
Nyx: A Display Energy Optimizer for Mobile Web Apps
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
(University of Southern California, USA)
Publisher's Version
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)
Publisher's Version Info
Commit Guru: Analytics and Risk Prediction of Software Commits
(Rochester Institute of Technology, USA; Concordia University, Canada)
Publisher's Version Preprint Info
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)
Publisher's Version Preprint
Comprehensive Service Matching with MatchBox
Paul Börding, Melanie Bruns, and Marie Christin Platenius
(University of Paderborn, Germany)
Publisher's Version Preprint Video Info
UEDashboard: Awareness of Unusual Events in Commit Histories
Larissa Leite, Christoph Treude, and Fernando Figueira Filho
(Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Preprint Info
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)
Publisher's Version Video Info
Student Research Competition (Posters)
10:20 – 11:30, Oggioni
Increasing the Efficiency of Search-Based Unit Test Generation using Parameter Control
Thomas White
(University of Sheffield, UK)
Publisher's Version Preprint
Enhancing Android Application Bug Reporting
(College of William and Mary, USA)
Publisher's Version Preprint Video Info
Improving Energy Consumption in Android Apps
(College of William and Mary, USA)
Publisher's Version
Automated Generation of Programming Language Quizzes
Shuktika Jain
(IIIT Delhi, India)
Publisher's Version
Spotting Familiar Code Snippet Structures for Program Comprehension
(IIIT Delhi, India)
Publisher's Version Preprint
Combining Eye Tracking with Navigation Paths for Identification of Cross-Language Code Dependencies
(Slovak University of Technology in Bratislava, Slovakia)
Publisher's Version Preprint
A Textual Domain Specific Language for Requirement Modelling
Oyindamola Olajubu
(University of Northampton, UK)
Publisher's Version Preprint
Automated Attack Surface Approximation
Christopher Theisen
(North Carolina State University, USA)
Publisher's Version Preprint
Pockets: A Tool to Support Exploratory Programming for Novices and Educators
(NAIST, Japan)
Publisher's Version
Break
11:00 – 11:30
Debugging (Research Papers)
11:30 – 13:05, Alabastro A, Chair: David Lo
Crowd Debugging
Fuxiang Chen and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Publisher's Version
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)
Publisher's Version Preprint Info
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)
Publisher's Version
Web Applications (Research Papers)
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)
Publisher's Version Preprint Info
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)
Publisher's Version
Detecting JavaScript Races That Matter
Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
(Koç University, Turkey; Microsoft Research, USA)
Publisher's Version Info
Configurable Systems (Research Papers)
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)
Publisher's Version Preprint Info
Users Beware: Preference Inconsistencies Ahead
(Georgia Tech, USA; University of Nebraska-Lincoln, USA)
Best-Paper Award
Publisher's Version
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)
Publisher's Version Preprint Video Info
Quality (Industry Papers)
11:30 – 13:05, Stucchi
Predicting Field Reliability
Pete Rotella, Sunita Chulani, and Devesh Goyal
(Cisco Systems, USA)
Publisher's Version
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)
Publisher's Version Preprint
OnSpot System: Test Impact Visibility during Code Edits in Real Software
Muhammad Umar Janjua
(Microsoft, USA)
Publisher's Version
DICE Project
11:30 – 13:05, Stampa
ESEC SC LM
13:05 – 14:30, Novelli
Lunch
13:05 – 14:30
Concurrency (Research Papers)
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 Lu
(Columbia University, USA; North Carolina State University, USA; University of Wisconsin-Madison, USA; University of Chicago, USA)
Publisher's Version Preprint
Finding Schedule-Sensitive Branches
Jeff Huang and Lawrence Rauchwerger
(Texas A&M University, USA)
Publisher's Version
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)
Publisher's Version Preprint
Program Analysis I (Research Papers)
14:30 – 16:00, Alabastro B, Chair: Darko Marinov
A User-Guided Approach to Program Analysis
(Georgia Tech, USA; Microsoft Research, UK)
Best-Paper Award
Publisher's Version
Hidden Truths in Dead Software Paths
(TU Darmstadt, Germany)
Publisher's Version Preprint Info
P3: Partitioned Path Profiling
Mohammed Afraz, Diptikalyan Saha, and Aditya Kanade
(Indian Institute of Science, India; IBM Research, India)
Publisher's Version
Studies of Software Engineering Research and Practice (Research Papers)
14:30 – 16:00, Oggioni, Chair: Jens Krinke
The Making of Cloud Applications: An Empirical Study on Software Development for the Cloud
(University of Zurich, Switzerland)
Publisher's Version
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)
Publisher's Version Preprint
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
Publisher's Version
Software Process (Industry Papers)
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
DICE Project
14:30 – 16:00, Stampa
Break
16:00 – 16:30
Program Repair (Research Papers)
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)
Publisher's Version Preprint
Responsive Designs in a Snap
Nishant Sinha and Rezwana Karim
(IBM Research, India; Rutgers University, USA)
Publisher's Version
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)
Publisher's Version Info
Information Retrieval (Research Papers)
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)
Publisher's Version Preprint Info
Information Retrieval and Spectrum Based Bug Localization: Better Together
(Singapore Management University, Singapore)
Publisher's Version Preprint
Rule-Based Extraction of Goal-Use Case Models from Text
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Publisher's Version Info
Prediction and Recommendation (Research Papers)
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)
Publisher's Version
Heterogeneous Defect Prediction
Jaechang Nam and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Requirements and Specification (Industry Papers)
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)
Publisher's Version
Towards Automating the Security Compliance Value Chain
Smita Ghaisas, Manish Motwani, Balaji Balasubramaniam, Anjali Gajendragadkar, Rahul Kelkar, and Harrick Vin
(Tata Consultancy Services, India)
Publisher's Version
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)
Publisher's Version
DICE Project
16:30 – 18:00, Stampa
Social Dinner
19:00 – 22:00
Friday, September 4, 2015
Formal methods and continuous change: towards a happy marriage (ACM SIGSOFT Outstanding Research Award Talk)
09:00 – 10:00, Oggioni, Chair: Mark Harman
Formal methods and continuous change: towards a happy marriage
Carlo Ghezzi
Measurement and Metric (Research Papers)
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)
Publisher's Version Preprint Info
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)
Publisher's Version Preprint
Patterns and Coding Convention
10:00 – 11:00, Alabastro B, Chair: Emerson Murphy-Hill
A. Ampatzoglou, A. Chatzigeorgiou, S. Charalampidou, and P. Avgeriou. The Effect of GoF Design Patterns on Stability: A Case Study; To appear on IEEE TSE (available online at the time of writing)
Gamification for Enforcing Coding Conventions
Christian R. Prause and Matthias Jarke
(DLR, Germany; RWTH Aachen University, Germany)
Publisher's Version
Program Analysis II (Research Papers)
10:00 – 11:00, Oggioni, Chairs: 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)
Publisher's Version
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)
Publisher's Version
Student Research Competition 1 (SRC - Finals)
10:00 – 11:00, Stucchi, Chairs: Andrew Begel and Anne Koziolek
Break
11:00 – 11:30
Search, Synthesis, and Verification (Research Papers)
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)
Publisher's Version Preprint Info
Mimic: Computing Models for Opaque Code
Stefan Heule, Manu Sridharan, and Satish Chandra
(Stanford University, USA; Samsung Research, USA)
Publisher's Version Preprint Info
Witness Validation and Stepwise Testification across Software Verifiers
(University of Passau, Germany; University of Freiburg, Germany)
Publisher's Version Preprint Info
Java and Object-Oriented Programming (Research Papers)
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)
Publisher's Version Preprint
FlexJava: Language Support for Safe and Modular Approximate Programming
(Georgia Tech, USA)
Publisher's Version
Getting to Know You: Towards a Capability Model for Java
Ben Hermann, Michael Reif, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Preprint Info
Mobile Applications (Research Papers)
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)
Publisher's Version
Auto-completing Bug Reports for Android Applications
(College of William and Mary, USA)
Publisher's Version Preprint 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)
Publisher's Version Info
Tool Demonstrations 1 (Tool Demonstrations)
11:30 – 13:10, Hall Bar
JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland, USA; Massachusetts Institute of Technology, USA)
Publisher's Version Preprint Info
Don't Panic: Reverse Debugging of Kernel Drivers
Pavel Dovgalyuk, Denis Dmitriev, and Vladimir Makarov
(Russian Academy of Sciences, Russia)
Publisher's Version Info
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)
Publisher's Version
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)
Publisher's Version Preprint Video Info
T3i: A Tool for Generating and Querying Test Suites for Java
I. S. Wishnu B. Prasetya
(Utrecht University, Netherlands)
Publisher's Version Video Info
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)
Publisher's Version Preprint Video Info
Student Research Competition 2 (SRC - Finals)
11:30 – 13:10, Stucchi, Chairs: Andrew Begel and Anne Koziolek
Lunch
13:10 – 14:30
Empirical Studies of Software Developers II (Research Papers)
14:30 – 16:05, Alabastro A, Chair: Massimiliano Di Penta
Quality and Productivity Outcomes Relating to Continuous Integration in GitHub
(University of California at Davis, USA; National University of Defense Technology, China)
Publisher's Version
Developer Onboarding in GitHub: The Role of Prior Social Links and Language Experience
(University of California at Davis, USA)
Publisher's Version
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)
Publisher's Version Preprint Info
Symbolic Execution (Research Papers)
14:30 – 16:05, Alabastro B, Chairs: 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
Publisher's Version
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)
Publisher's Version
Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution
(University of Stuttgart, Germany; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
Publisher's Version Preprint Info
Testing III (Research Papers)
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
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)
Publisher's Version Info
Tool Demonstrations 2 (Tool Demonstrations)
14:30 – 16:05, Hall Bar
Nyx: A Display Energy Optimizer for Mobile Web Apps
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
(University of Southern California, USA)
Publisher's Version
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)
Publisher's Version Info
Commit Guru: Analytics and Risk Prediction of Software Commits
(Rochester Institute of Technology, USA; Concordia University, Canada)
Publisher's Version Preprint Info
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)
Publisher's Version Preprint
Comprehensive Service Matching with MatchBox
Paul Börding, Melanie Bruns, and Marie Christin Platenius
(University of Paderborn, Germany)
Publisher's Version Preprint Video Info
UEDashboard: Awareness of Unusual Events in Commit Histories
Larissa Leite, Christoph Treude, and Fernando Figueira Filho
(Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Preprint Info
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)
Publisher's Version Video Info
Closing
16:05 – 16:30, Oggioni, Chair: Mark Harman
Guided tour
16:30 – 19:00

Time stamp: 2019-08-23T13:41:40+02:00