Génération de tests de vulnérabilité pour vérifieur de byte code Java Card - Savary, Aymerick (ProQuest Dissertations and Theses, 2013)