---
Past And Current Master Theses

---+++ Running

   * [[Students.TimSmienk][Tim Smienk]], [[MasterProjects#PhpTesting][Testframework for Amplixs' php/smarty application-framework]]
   * Joanna Gasiewska, Test cases reconstruction

---+++ Completed

   * Ales Sturala, [[http://www.cs.uu.nl/docs/vakken/mcosc/2011/AlesSturala.pdf][Record-based Logging]]
   * Christiaan Hees, [[http://www.cs.uu.nl/docs/vakken/mcosc/2011/ChristiaanHees.pdf][Strategies for Directed Generation of Test Sequences]]
   * Jeiel Schalkwijk, [[http://www.cs.uu.nl/docs/vakken/mcosc/2011/JeielSchalkwijk.pdf][Smart Regression Testing with the T2 Testing Framework]]
   * Xiaoyu Cui, Automated Model-based analysis of Web-based User Interfaces
   * Maaike Gerritsen, Extending T2 with Prime Path Coverage Exploration 
   * Mark Stobbe, THEMIS: Framework for Automated Testing of Graphical User Interfaces 
   * Laurence Cabenda, A load & performance framework for the Conclusion Test Platform
   * Elmar Keij, Static Testing: Using the Weakest Pre-condition Calculus 
   * Ivaylo Gochkov, Reliable Web Applications
   * Jeroen Gordijn, A protocol for 'in-flight' simulation 
   * Wilco Niessen, Evaluating Repositories Standards, Techniques and Performance Simulation
   * Niels Egberts N, Procesmodellering van Temporele Aspecten in Wet- en Regelgeving