Past And Current Master

Running

Completed

• Ales Sturala, Record-based Logging
• Christiaan Hees, Strategies for Directed Generation of Test Sequences
• Jeiel Schalkwijk, 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