Publications

Category article

2014

  • 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

Category incollection

2016

  • 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

Category inproceedings

2015

  • 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
  • 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

2014

  • 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
  • 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
  • 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

2013

  • 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
  • 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
  • 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

Category misc

2015

  • The RASEN FP7 Project Innovations
    Exhibition at the Cyber Security & Privacy Innovation Forum 2015, Brussels, Belgium (apr 2015)
    Botea, Cornel | Vernotte, Alexandre
    bibtex

2014

  • 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

2013

  • 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
  • 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
  • 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

Category techreport

2015

  • 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