Publications

View all publications (20)2021 (1)2020 (2)2018 (1)2016 (1)2015 (4)2014 (5)2013 (6)

2021 (1)

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
pdf | doi

2020 (2)

inproceedings - Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data
8th OpenSky Symposium (2020) / Online (Electronic Conference), Online (Electronic Conference) (Volume 59, Issue 1, 2020, Pages pages 9 (10))
Chevrot, Antoine | Vernotte, Alexandre | Bernabé, Pierre | Cretin, Aymeric | Peureux, Fabien | Legeard, Bruno
doi | bibtex@inproceedings{97a4053d-35af-472d-b9cf-4b8ecd37f1ff, title = {Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data}, author = {Chevrot, Antoine and Vernotte, Alexandre and Bernab\'e, Pierre and Cretin, Aymeric and Peureux, Fabien and Legeard, Bruno}, year = {2020}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {8th OpenSky Symposium (2020)}, editor = {97a4053d-35af-472d-b9cf-4b8ecd37f1ff-editor.pdf}, month = {nov}, number = {1}, pages = {9 (10)}, volume = {59}, doi = {10.3390/proceedings2020059009} }
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
pdf | doi | bibtex@inproceedings{580924f8-bf21-43e5-8710-8c3c7bff7372, title = {Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance}, author = {Cretin, Aymeric and Vernotte, Alexandre and Chevrot, Antoine and Peureux, Fabien and Legeard, Bruno}, year = {2020}, address = {Porto, Portugal}, booktitle = {IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020)}, editor = {580924f8-bf21-43e5-8710-8c3c7bff7372-editor.pdf}, month = {oct}, pages = {143 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/16440/documents/author/data}, doi = {10.1109/ICSTW50294.2020.00034} }

2018 (1)

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
pdf | bibtex@inproceedings{a3bc152a-2f46-4edd-ba9b-0afdeb728309, title = {Increasing the Resilience of ATC systems against False Data Injection Attacks using DSL-based Testing}, author = {Cretin, Aymeric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2018}, address = {Castelldefels, Spain}, booktitle = {8th International Conference on Research in Air Transportation (ICRAT 2018)}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/14638/documents/author/data} }

2016 (1)

incollection - Advances in Computers
Recent Advances in Model-Based Testing (Publisher : Elsevier, Editor : Atif Memon, Volume 101, Edition : 1st, Series Advances in Computers, Chapter 2, mar 2016, Pages 53 - 120)
Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
bibtex@incollection{ulbf+15:bc, title = {Advances in Computers}, author = {Utting, Mark and Legeard, Bruno and Bouquet, Fabrice and Fourneret, Elizabeta and Peureux, Fabien and Vernotte, Alexandre}, year = {2016}, booktitle = {Recent Advances in Model-Based Testing}, chapter = {2}, edition = {1st}, editor = {Atif Memon}, month = {mar}, pages = {53 - 120}, volume = {101}, doi = {10.1016/bs.adcom.2015.11.004}, publisher = {Elsevier}, series = {Advances in Computers} }

2015 (4)

inproceedings - Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach
3rd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2015) / Berlin, Germany (Publisher : Springer, Volume 9488, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 93 - 109)
Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
bibtex@inproceedings{vblm+15:ip, title = {Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach}, author = {Vernotte, Alexandre and Botea, Cornel and Legeard, Bruno and Molnar, Arthur and Peureux, Fabien}, year = {2015}, address = {Berlin, Germany}, booktitle = {3rd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2015)}, month = {jun}, pages = {93 - 109}, volume = {9488}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
misc - The RASEN FP7 Project Innovations
Exhibition at the Cyber Security & Privacy Innovation Forum 2015, Brussels, Belgium (apr 2015)
Botea, Cornel | Vernotte, Alexandre
bibtex@misc{bv15:oip, title = {The RASEN FP7 Project Innovations}, author = {Botea, Cornel and Vernotte, Alexandre}, year = {2015}, address = {Brussels, Belgium}, booktitle = {Cybersecurity and Privacy Innovation Forum (2015)}, month = {apr} }
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
bibtex@techreport{lpss+15:ir, title = {The PMVT approach: a RASEN innovation for security Pattern and Model-based Vulnerability Testing}, author = {Legeard, Bruno and Peureux, Fabien and Schneider, Martin and Seehusen, Fredrik and Vernotte, Alexandre}, year = {2015}, editor = {lpss+15:ir-editor.pdf}, month = {apr}, url = {http://www.rasenproject.eu/downloads/752/}, institution = {RASEN FP7 EU founded Research Project} }
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
pdf | bibtex@inproceedings{vlp15:oip, title = {A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability}, author = {Vernotte, Alexandre and Legeard, Bruno and Peureux, Fabien}, year = {2015}, address = {Milan, Italy}, booktitle = {7th International Symposium on Engineering Secure Software and Systems (ESSoS 2015)}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/10120/documents/author/data} }

2014 (5)

inproceedings - Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
ICISS'14, 10-th Int. Conf. on Information Systems Security / Hyderabad, India (Publisher : Springer, Volume 8080, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 358-377)
Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
pdf | doi | bibtex@inproceedings{vdll+14:ip, title = {Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities}, author = {Vernotte, Alexandre and Dadeau, Fr\'ed\'eric and Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Piat, Fran\c{c}ois}, year = {2014}, address = {Hyderabad, India}, booktitle = {ICISS'14, 10-th Int. Conf. on Information Systems Security}, month = {dec}, pages = {358-377}, url = {https://publiweb.femto-st.fr/tntnet/entries/8581/documents/author/data}, volume = {8080}, doi = {10.1007/978-3-319-13841-1_20}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Formation sur les méthodes de test et de validation des logiciels
(2014)
Ambert, Fabrice | Bouquet, Fabrice | Gauthier, Jean-Marie | Peureux, Fabien | Vernotte, Alexandre
bibtex@inproceedings{9ab7908b-684f-4a59-96b0-3e31755e6597, title = {Formation sur les m\'ethodes de test et de validation des logiciels}, author = {Ambert, Fabrice and Bouquet, Fabrice and Gauthier, Jean-Marie and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, month = {nov} }
inproceedings - Risk-Based Vulnerability Testing using Security Test Patterns
ISoLA'14, 6-th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation / Corfu, Greece (Publisher : Springer, Volume 8803, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 337--352)
Botella, Julien | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
pdf | doi | bibtex@inproceedings{bpv14:ip, title = {Risk-Based Vulnerability Testing using Security Test Patterns}, author = {Botella, Julien and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, address = {Corfu, Greece}, booktitle = {ISoLA'14, 6-th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation}, month = {oct}, pages = {337--352}, url = {https://publiweb.femto-st.fr/tntnet/entries/8578/documents/author/data}, volume = {8803}, doi = {10.1007/978-3-662-45231-8_24}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
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
pdf | bibtex@inproceedings{vlp14:onp, title = {Test de vuln\'erabilit\'e Web \`a base de patterns et de mod\`eles}, author = {Vernotte, Alexandre and Legeard, Bruno and Peureux, Fabien}, year = {2014}, address = {Paris, France}, booktitle = {6-\`emes journ\'ees nationales du GDR CNRS du G\'enie de la Programmation et du Logiciel}, month = {jun}, pages = {123--124}, url = {https://publiweb.femto-st.fr/tntnet/entries/8592/documents/author/data} }
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

2013 (6)

inproceedings - Formation sur la démarche de test en développement logiciel
(2013)
Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Peureux, Fabien | Vernotte, Alexandre
bibtex@inproceedings{f7728078-3312-416c-8c3e-e608ed0e0f34, title = {Formation sur la d\'emarche de test en d\'eveloppement logiciel}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {dec} }
inproceedings - Journées nationales du Developpement Logiciel (JDEV'2013)
(2013)
Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
bibtex@inproceedings{f5efe41d-2f96-4794-bb3d-78aef131b94d, title = {Journ\'ees nationales du Developpement Logiciel (JDEV'2013)}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {sep} }
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
pdf | bibtex@inproceedings{llpv13:np, title = {G\'en\'eration de tests de vuln\'erabilit\'e web \`a partir de mod\`eles}, author = {Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, address = {Nancy, France}, booktitle = {AFADL'13, 12\`emes journ\'ees Francophones sur les Approches Formelles dans l'Assistance Au D\'eveloppement de Logiciels}, month = {apr}, pages = {49--63}, url = {https://publiweb.femto-st.fr/tntnet/entries/5975/documents/author/data} }
inproceedings - Model-Based Vulnerability Testing for Web Applications
SECTEST'13, 4-th Int. Workshop on Security Testing. In conjunction with ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation / Luxembourg, Luxembourg (Publisher : IEEE, 2013, Pages pages 445 - 452)
Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
pdf | doi | bibtex@inproceedings{llpv13:ip, title = {Model-Based Vulnerability Testing for Web Applications}, author = {Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {SECTEST'13, 4-th Int. Workshop on Security Testing. In conjunction with ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {445 - 452}, url = {https://publiweb.femto-st.fr/tntnet/entries/5961/documents/author/data}, doi = {10.1109/ICSTW.2013.58}, publisher = {IEEE} }
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
doi | bibtex@inproceedings{vernotte13:oip, title = {Research Questions for Model-Based Vulnerability Testing of Web Applications}, author = {Vernotte, Alexandre}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {ICST'13 PhD Symposium, held during the 6-th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {505--506 }, doi = {10.1109/ICST.2013.82}, publisher = {IEEE} }
misc - Active testing techniques
Tutorial talk at ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation, Luxembourg, Luxembourg (mar 2013)
Legeard, Bruno | Vernotte, Alexandre
bibtex@misc{lv13:oip, title = {Active testing techniques}, author = {Legeard, Bruno and Vernotte, Alexandre}, year = {2013}, month = {mar} }