Barbara G. Ryder, Rutgers University, USA, 
David Rosenblum, University College London, UK,  |
The Doctoral Symposium is a forum for Ph.D. students to discuss their research goals, methods, and results at an early stage in their research. The Symposium aims to provide useful guidance for completion of the dissertation research and initiation of a research career. The event itself is closed to the public, however we are pleased to share an overview here.
08.20-08.30 |
WELCOME (Barbara Ryder and David Rosenblum) |
08.30-10.30 |
SESSION 1 (Long Presentations - 30 mins) |
|
On Sufficiency of Mutants - Akbar Siami Namin
Discussion leader: Mauro Pezzè |
Testing and Analysis of Access Control Policies - Evan E Martin
Discussion leader: Barbara Ryder |
A Context-Oriented Framework for Software Testing in Pervasive Environment - Heng Lu
Discussion leader: David Rosenblum |
A Data Model to Support End User Software Engineering - Christopher Scaffidi
Discussion leader: Betty Cheng |
10.30-11.00 |
BREAK |
11.00-12.30 |
SESSION 2 (Long Presentations - 30 mins) |
|
Ajaxifying Classic Web Applications - Ali Mesbah
Discussion leader: Jeff Magee |
A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks - Yuriy Brun
Discussion leader: David Notkin |
Handling Safety-related Feature Interaction in Safety-Critical Product Lines - Jing (Janet) Liu
Discussion leader: Wilhelm Schäfer |
12.30-14.00 |
LUNCH |
14.00-15.30 |
SESSION 3 (Long Presentations - 30 mins) |
|
Toward Applying Information Hiding Modularity On Dynamic Adaptation - Yuanyuan Song
Discussion leader: Mary Shaw |
Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts - Sarah Smith Heckman
Discussion leader: David Rosenblum |
Stakeholder Value Driven Threat Modeling for Off The Shelf Based Systems - Yue Chen
Discussion leader: Mary Shaw |
15.30-16.00 |
BREAK |
16.00-17.45 |
SESSION 4 (1 Long Presentation, followed by 5 Short (15 mins) Presentations) |
|
Mining Object Usage Models - Andrzej Wasylkowski (long presentation)
Discussion leader: Barbara Ryder |
Modular-like Transformations and Style Checking for Crosscutting Programming Concepts - Macneil Charles Shonle
Discussion leader: Betty Cheng |
Assessing Changeability by Investigating the Propagation of Change Types - Beat Fluri
Discussion leader: David Notkin |
Using Software Model Checking for Software Component Certification - Ali Taleghani
Discussion leader: Jeff Magee |
Understanding and Aiding Code Evolution By Inferring Change Patterns - Miryung Kim
Discussion leader: Mauro Pezzè |
A Quality-Driven Approach to Enable Decision-Making in Self-Adaptive Software - Mazeiar Salehie
Discussion leader: Wilhelm Schäfer |
17.45-17.50 |
CONCLUSION (Barbara Ryder and David Rosenblum) |
