8:45 - 9:00

Introduction by the DS Chairs

9:00 - 10:00

Invited Talk
Writing Paper Reviews That You Would Be Thankful to Receive
Matthew B. Dwyer (University of Nebraska – Lincoln, USA)

10:00 - 10:30

Student Presentations I
Automated Planning for Self-Adaptive Systems
Richard Gil (Universidade de Lisboa, Portugal)

10:30 - 11:00

BREAK

11:00 - 12:30

Student Presentations II
Understanding the Software Fault Introduction Process
Laura Inozemtseva (University of Waterloo, Canada)

Scalable Formal Verification of UML Models
Mohammad Mehdi Pourhashem Kallehbasti (Politecnico di Milano, Italy)

Scalability Studies on Selective Mutation Testing
Jie Zhang (Peking University, China)

12:30 - 2:00

LUNCH

Student Posters

Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution
Verena Honsel (University of Goettingen, Germany)

Towards Model Driven Architecture and Analysis of System of Systems Access Control
Jamal El Hachem (University of Pau and Pays de l'Adour, France)

A Unified Approach to Automatic Testing of Architectural Constraints
Andrea Caracciolo (University of Bern, Switzerland)

Safe Evolution Patterns for Software Product Lines
Nicolas Dintzner (Delft University of Technology, Netherlands)

Strategies for Prioritizing Test Cases Generated through Model-Based Testing Approaches
João Felipe Silva (Ouriques Federal University of Campina Grande, Brazil)

Towards a Practical Security Analysis Methodology
Alexander van den Berghe (KU Leuven, Belgium)

Measuring Software Developers’ Perceived Difficulty with Biometric Sensors
Sebastian C. Müller (University of Zurich, Switzerland)

Mining Patterns of Sensitive Data Usage
Vitalii Avdiienko (Saarland University, Germany)

Search-Based Migration of Model Variants to Software Product Line Architectures
Wesley Klewerton Guez Assunção (Federal University of Paraná, Brazil)

On the Architecture-Driven Development of Software-Intensive Systems-of-Systems
Everton Cavalcante (Federal University of Rio Grande do Norte, Brazil)

Automatic Documentation Generation via Source Code Summarization
Paul McBurney (University of Notre Dame, USA)

A Declarative Foundation for Comprehensive History Querying
Reinout Stevens (Vrije Universiteit Brussel, Belgium)

An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management
Davy de Medeiros Baia (Pontifical Catholic University of Rio de Janeiro, Brazil)

Towards Generation of Software Development Tasks
C. Albert Thompson (University of British Columbia, Canada)

Contributor’s Performance, Participation Intentions, Its Influencers and Project Performance
Ayushi Rastogi (Indraprastha Institute of Information Technology, India)

Supporting Scientific SE Process Improvement
Erika S. Mesh (Rochester Institute of Technology, USA)

A Comprehensive Framework for the Development of Dynamic Smart Spaces
Adnan Shahzada (Politecnico di Milano, Italy)

Verification of Android Applications
Heila van der Merwe (University of Stellenbosch, South Africa)

A Security Practices Evaluation Framework
Patrick Morrison (North Carolina State University, USA)

3:30 - 4:00

BREAK

4:00 - 5:00

Student Presentations III

Qualitative Analysis of Knowledge Transfer in Pair Programming
Franz Zieris (Freie Universität Berlin, Germany)

DIETs: Recommender Systems for Mobile API Developers
Stefanie Beyer (University of Klagenfurt, Austria)

5:00 – 5:30

Wrap up and Closure