Research output per year
Research output per year
Supervised Work
- 4 results
Search results
-
Model checking Task Models with UPPAAL using MDE
Author: Postma, E., 2 Jul 2021Supervisor: Schivo, S. (Examiner) & Vos, T. (Co-assessor)
Student thesis: Master's Thesis
File -
Formal analysis of the Java Collections Framework
Author: de Boer, M., 23 Jul 2021Supervisor: de Gouw, S. (Examiner) & Vos, T. (Co-assessor)
Student thesis: Master's Thesis
File -
Intergrating TESTAR in a DevOps environment
Author: Slomp, A., 9 Jul 2021Supervisor: Vos, T. (Examiner) & Aho, P. (Co-assessor)
Student thesis: Master's Thesis
File -
Remote and parallel test automation at the GUI level using a generic adapter
Author: van der Kuijl, M. G., 31 Aug 2021Supervisor: Vos, T. (Examiner) & Aho, P. (Co-assessor)
Student thesis: Master's Thesis
File