The Doctoral Symposium at MODELS 2009
The research of nine doctoral students was selected for presentation at the symposium from a total of nineteen submissions. All submissions received detailed feedback via written reviews by three members of the program committee. At the symposium, the research described in the accepted submissions was presented, discussed, and additional, detailed feedback was provided. This summary provides a brief overview of the symposium.
Unable to display preview. Download preview PDF.
- [DHR+07]Dwyer, M.B., Hatcliff, J., Robby, Pasareanu, C.S., Visser, W.: Formal software analysis: Emerging trends in software model checking. In: International Conference on Software Engineering, Workshop on the Future of Software Engineering (FOSE 2007), Minneapolis, USA (May 2007)Google Scholar
- [Din09]Dingel, J.: Proceedings of the Doctoral Symposium at MoDELS 2009. Technical Report 2009-566, School of Computing, Queen’s University, Kingston, Canada, October 2009, 58 pages (2009)Google Scholar
- [Eas10]Easterbrook, S.: Course page for CSC2130S: Empirical Research Methods in Software Engineering, http://www.cs.toronto.edu/~sme/CSC2130 (last accessed January 11, 2010)
- [SSS07]Shull, F., Singer, J., Sjoberg, D.I.K. (eds.): Guide to Advanced Empirical Software Engineering. Springer, Heidelberg (2007)Google Scholar
- [XX10]Xie, T., Xie, Y.: Advice collection (2010), http://people.engr.ncsu.edu/txie/advice.htm (last accessed January 11, 2010)