Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. - Julien Botella; Fabrice Bouquet; Jean-Francois Capuron; Franck Lebeau; Bruno Legeard; Florence Schadle (ICST, 2013)

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 (Int. J. Softw. Tools Technol. Transf., 2019)