Model-Based Testing of Cryptographic Components - Lessons Learned from Experience

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]

Authors

Julien Botella

This author has not been identified. Look up 'Julien Botella' in Google

Fabrice Bouquet

This author has not been identified. Look up 'Fabrice Bouquet' in Google

Jean-Francois Capuron

This author has not been identified. Look up 'Jean-Francois Capuron' in Google

Franck Lebeau

This author has not been identified. Look up 'Franck Lebeau' in Google

Bruno Legeard

This author has not been identified. Look up 'Bruno Legeard' in Google

Florence Schadle

This author has not been identified. Look up 'Florence Schadle' in Google