29th Int. Conference on Software Engineering® 20 - 26 May 2007

Doctoral Symposium

A Full-Day Symposium to be held on Monday May 21, 2007
In conjunction with ICSE 2007 May 2007, Minneapolis, MN, USA

Venue: Directors Row 4


Barbara G. Ryder, Rutgers University, USA,
David Rosenblum, University College London, UK,

Goals and Objectives

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.


WELCOME (Barbara Ryder and David Rosenblum)


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




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




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




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


CONCLUSION (Barbara Ryder and David Rosenblum)