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:
Overview
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
NASA Ames Research Center
San Francisco, CA (USA)
contact
John Hosking
Department of Computer Science
University of Auckland
Auckland (New Zealand)
contact