Doctoral Symposium

Below you can find an overview of the presentations of the ASE 2010 Doctoral Symposium. Please note that ASE 2010 provides other opportunities to make your attendance even more inspiring and productive !

The full program can be consulted online in the Program section of this website. The Doctoral Symposium is organized on:


Doctoral Symposium
tuesday 21 September 2010
08:30 Registration
09:00 SESSION 1 - Keynote by Rupak Majumdar
(MPI-SWS, Kaiserslautern and UC Los Angeles)

Through the Looking Glass: Ph.D., Research, and Advising

Getting a doctoral degree, and preparing for a career in research, is not easy. Being an advisor is perhaps harder. I will recount some personal lessons I have learnt, and advice from others I have found helpful.

(Joint work with many others, whose advice has shaped my views)
10:30 Coffee break
11:00 SESSION 2

Error-Avoiding Adaptors for Black-Box Software Components
Casandra Holotescu
Politehnica University of Timisoara, Romania

Automated Model Grouping
Michael Becker
University of Leipzig, Germany
12:30 Lunch break
14:00 SESSION 3

Automatic inference of abstract type behavior
Mihai Balint
Politehnica University of Timisoara, Romania

Extraction and Visualization of Traceability Relationships between Documents and Source Code
Xiaofan Chen
University of Auckland, New Zealand
15:30 Lunch break
16:00 SESSION 4

Model Checking Graph Representation of Precise Boolean Inter-procedural Flow Analysis
Domnic Letarte
École Polytechnique de Montréal, Canada

The Influence of Multiple Artifacts on the Effectiveness of Software Testing
Matt Staats
University of Minnesota, USA
17:30 Closing discussion

Doctoral Symposium Chairs

Corina Pasareanu Corina Pasareanu
NASA Ames Research Center
San Francisco, CA (USA)

John Hosking John Hosking
Department of Computer Science
University of Auckland
Auckland (New Zealand)

program/doctoral.txt · Last modified: 01.09.2010 12:01 by Dirk Deridder
Driven by DokuWiki