Model-Based Vulnerability Testing for Web Applications. - Franck Lebeau; Bruno Legeard; Fabien Peureux; Alexandre Vernotte (ICST Workshops, 2013)

Research Questions for Model-Based Vulnerability Testing of Web Applications. - Alexandre Vernotte (ICST, 2013)

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. - Alexandre Vernotte; Frédéric Dadeau; Franck Lebeau; Bruno Legeard; Fabien Peureux; François Piat (ICISS, 2014)

Risk-Based Vulnerability Testing Using Security Test Patterns. - Julien Botella; Bruno Legeard; Fabien Peureux; Alexandre Vernotte (ISoLA (2), 2014)

Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach. - Alexandre Vernotte; Cornel Botea; Bruno Legeard; Arthur Molnar; Fabien Peureux (RISK, 2015)

A pattern-driven and model-based vulnerability testing for Web applications. (Une approche à base de modèles et de patterns pour le test de vulnérabilités d'applications Web). - Alexandre Vernotte (2015)

pwnPr3d: An Attack-Graph-Driven Probabilistic Threat-Modeling Approach. - Pontus Johnson; Alexandre Vernotte; Mathias Ekstedt; Robert Lagerström (ARES, 2016)

Quantitative Information Security Risk Estimation Using Probabilistic Attack Graphs. - Pontus Johnson; Alexandre Vernotte; Dan Gorton; Mathias Ekstedt; Robert Lagerström (RISK, 2016)

Recent Advances in Model-Based Testing. - Mark Utting; Bruno Legeard; Fabrice Bouquet; Elizabeta Fourneret; Fabien Peureux; Alexandre Vernotte (Adv. Comput., 2016)

Analyzing the Effectiveness of Attack Countermeasures in a SCADA System. - Matus Korman; Margus Välja; Gunnar Björkman; Mathias Ekstedt; Alexandre Vernotte; Robert Lagerström (SPSR-SG@CPSWeek, 2017)

In-Depth Modeling of the UNIX Operating System for Architectural Cyber Security Analysis. - Alexandre Vernotte; Pontus Johnson; Mathias Ekstedt; Robert Lagerström (EDOC Workshops, 2017)

Load balancing of renewable energy: a cyber security analysis. - Alexandre Vernotte; Margus Välja; Matus Korman; Gunnar Björkman; Mathias Ekstedt; Robert Lagerström (Energy Inform., 2018)

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance. - Aymeric Cretin; Alexandre Vernotte; Antoine Chevrot; Fabien Peureux; Bruno Legeard (ICST Workshops, 2020)

DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation. - Antoine Chevrot; Alexandre Vernotte; Bruno Legeard (CoRR, 2021)

CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation. - Antoine Chevrot; Alexandre Vernotte; Bruno Legeard (Comput. Secur., 2022)

A domain-specific language to design false data injection tests for air traffic control systems. - Alexandre Vernotte; Aymeric Cretin; Bruno Legeard; Fabien Peureux (Int. J. Softw. Tools Technol. Transf., 2022)

Regression Test Generation by Usage Coverage Driven Clustering on User Traces. - Frédéric Tamagnan; Fabrice Bouquet; Alexandre Vernotte; Bruno Legeard (ICSTW, 2023)

Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns. - Frédéric Tamagnan; Alexandre Vernotte; Fabrice Bouquet; Bruno Legeard (Softw. Test. Verification Reliab., 2024)

Are Autonomous Web Agents Good Testers? - Antoine Chevrot; Alexandre Vernotte; Jean-Rémy Falleri; Xavier Blanc 001; Bruno Legeard; Aymeric Cretin (Proc. ACM Softw. Eng., 2025)

Are Autonomous Web Agents Good Testers? - Antoine Chevrot; Alexandre Vernotte; Jean-Rémy Falleri; Xavier Blanc 001; Bruno Legeard (CoRR, 2025)