article - A domain-specific language to design false data injection tests for air traffic control systems International Journal on Software Tools for Technology Transfer (STTT) ( 2021) Vernotte, Alexandre | Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien
inproceedings - Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 143 - 152) Cretin, Aymeric | Vernotte, Alexandre | Chevrot, Antoine | Peureux, Fabien | Legeard, Bruno
inproceedings - Increasing the Resilience of ATC systems against False Data Injection Attacks using DSL-based Testing 8th International Conference on Research in Air Transportation (ICRAT 2018) / Castelldefels, Spain (2018) Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
techreport - The PMVT approach: a RASEN innovation for security Pattern and Model-based Vulnerability Testing RASEN FP7 EU founded Research Project (apr 2015, White Paper) Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik | Vernotte, Alexandre
inproceedings - A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability 7th International Symposium on Engineering Secure Software and Systems (ESSoS 2015) / Milan, Italy (2015) Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
inproceedings - Test de vulnérabilité Web à base de patterns et de modèles 6-èmes journées nationales du GDR CNRS du Génie de la Programmation et du Logiciel / Paris, France (2014, Pages pages 123--124) Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
article - Les tests et le développement sécurisé peuvent-ils réduire les failles d'un système et les risques de hacking? Magazine Programmez (Volume 173, apr 2014, Pages :12-13) Ribault, Alain | Legeard, Bruno | Vernotte, Alexandre
inproceedings - Génération de tests de vulnérabilité web à partir de modèles AFADL'13, 12èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Nancy, France (2013, Pages pages 49--63) Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
inproceedings - Research Questions for Model-Based Vulnerability Testing of Web Applications ICST'13 PhD Symposium, held during the 6-th IEEE Int. Conf. on Software Testing, Verification and Validation / Luxembourg, Luxembourg (Publisher : IEEE, 2013, Pages pages 505--506 ) Vernotte, Alexandre