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.
No references recorded for this publication.
No citations of this publication recorded.