Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle. Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013. pages 192-201, IEEE, 2013. [doi]
Abstract is missing.