Testing Key States of RFC 5011 in Autotrust

Published: Mon 12 July 2010
Last updated: Wed 06 December 2023

Carsten Rutz of Radboud University investigated the usability of time model-based testing in a case study: Conformance of the implementation Autotrust with RFC 5011. The results are presented in a bachelor thesis.

Related links:

general news