Testing Key States of RFC 5011 in Autotrust

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.