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]
@inproceedings{BotellaBCLLS13,
title = {Model-Based Testing of Cryptographic Components - Lessons Learned from Experience},
author = {Julien Botella and Fabrice Bouquet and Jean-Francois Capuron and Franck Lebeau and Bruno Legeard and Florence Schadle},
year = {2013},
doi = {10.1109/ICST.2013.42},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2013.42},
researchr = {https://researchr.org/publication/BotellaBCLLS13},
cites = {0},
citedby = {0},
pages = {192-201},
booktitle = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013},
publisher = {IEEE},
isbn = {978-1-4673-5961-0},
}