Alexandre Vernotte: 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). University of Franche-Comté, Besançon, France 2015