The Doctoral Symposium at MODELS 2009

  • Juergen Dingel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6002)


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.

Unable to display preview. Download preview PDF.


  1. [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
  2. [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
  3. [Eas10]
    Easterbrook, S.: Course page for CSC2130S: Empirical Research Methods in Software Engineering, (last accessed January 11, 2010)
  4. [SHH+05]
    Sjoeberg, D.I.K., Hannay, J.E., Hansen, O., By Kampenes, V., Karahasanovic, A., Liborg, N.-K., Rekdal, A.C.: A survey of controlled experiments in software engineering. IEEE Transactions on Software Engineering 31, 733–753 (2005)CrossRefGoogle Scholar
  5. [SSS07]
    Shull, F., Singer, J., Sjoberg, D.I.K. (eds.): Guide to Advanced Empirical Software Engineering. Springer, Heidelberg (2007)Google Scholar
  6. [WRH+00]
    Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wesslén, A.: Experimentation in software engineering: an introduction. Kluwer, Dordrecht (2000)zbMATHGoogle Scholar
  7. [XX10]
    Xie, T., Xie, Y.: Advice collection (2010), (last accessed January 11, 2010)

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Juergen Dingel
    • 1
  1. 1.School of ComputingQueen’s UniversityKingstonCanada

Personalised recommendations