Testing Key States of RFC 5011 in Autotrust

Published: Mon 12 July 2010
Last updated: Fri 22 September 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