Publications

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'18) / Barcelona, Spain (2018, Pages pages A venir)
    Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | bibtex

2016 (1)

  • incollection - Recent Advances in Model-Based Testing
    Advances in Computers (Publisher : Elsevier / , Editor : Atif Memon, Volume 101, Issue , Edition : 1st, Series , Chapter 2, mar 2016, Pages 53 - 120, )
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
    pdf | bibtex

2015 (4)

  • inproceedings - Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach
    RISK'15, 3rd Int. Workshop on Risk Assessment and Risk-driven Testing / Berlin, Germany (Publisher : Springer, Volume 9488, 2015, Pages pages 93--109)
    Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
    bibtex
  • misc - The RASEN FP7 Project Innovations
    Exhibition at the Cyber Security & Privacy Innovation Forum 2015, Brussels, Belgium (apr 2015)
    Botea, Cornel | Vernotte, Alexandre
    bibtex
  • 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, Number )
    Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik | Vernotte, Alexandre
    bibtex
  • inproceedings - A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability
    International Symposium on Engineering Secure Software and Systems / Milan, Italy (2015)
    Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex

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, 2014, Pages pages 358-377)
    Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
    doi | bibtex
  • misc - Formation sur les méthodes de test et de validation des logiciels
    (nov 2014)
    Ambert, Fabrice | Bouquet, Fabrice | Gauthier, Jean-Marie | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • 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, 2014, Pages pages 337--352)
    Botella, Julien | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | doi | bibtex
  • 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
  • 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
    bibtex

2013 (6)

  • misc - Formation sur la démarche de test en développement logiciel
    Présentation générale de la démarche de test (durée : 3h00 - orateurs : Fabrice Bouquet, Fabien Peureux) Présentation de la démarche d'Intégration Continue (durée : 1h00 - orateurs : Cédric Joffroy, Fabien Peureux) Atelier pratique sur le test structurel (durée : 8h00 - animateurs : Fabrice Ambert, Fabrice Bouquet, Jean-Marie Gauthier, Ivan Enderlin, Cédric Joffroy, Fabien Peureux, Alexandre Vernotte) Atelier pratique sur le test fonctionnel (durée : 8h00 - animateurs : Fabrice Ambert, Fabrice Bouquet, Jean-Marie Gauthier, Ivan Enderlin, Cédric Joffroy, Fabien Peureux, Alexandre Vernotte) Participation à la table ronde de fin de séminaire (durée : 2h30 - participants : Fabrice Ambert, Fabrice Bouquet, Fabien Peureux) (dec 2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • misc - Journées nationales du Developpement Logiciel (JDEV'2013)
    T6.A1 Définition et écriture des tests de couverture des exigences logiciel (Fabien Peureux) T6.A2 Industrialisation des tests - Intégration continue et automatisation des tests (Fabrice Ambert, Cédric Joffroy) T6.A4.1 Bien écrire les tests de son composants logiciel Java (Fabrice Ambert, Alexandre Vernotte) T6.A4.1 Bien écrire les tests de son composants logiciel PHP (Ivan Enderlin, Jean-Marie Gauthier) T6.GT4 L'émergence des spécifications et de la conception par le test / Conduite du développement par les tests (Bruno Legeard, Fabien Peureux) (sep 2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • 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 - 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 - 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
  • 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