Complementary test selection criteria for model-based testing of security components

Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle. Complementary test selection criteria for model-based testing of security components. STTT, 21(4):425-448, 2019. [doi]

Abstract

Abstract is missing.