L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Bruno Legeard

Publications de Bruno Legeard

2020 (4)

  • inproceedings - Identifying and Generating Missing Tests using Machine Learning on Execution Traces
    2ème IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020) / Oxford, United Kingdom (2020)
    Utting, Mark | Legeard, Bruno | Dadeau, Frédéric | Tamagnan, Frédéric | Bouquet, Fabrice
    pdf | bibtex
  • inproceedings - Tool Support for Refactoring Manual Tests
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Bernard, Elodie | Botella, Julien | Ambert, Fabrice | Legeard, Bruno | Utting, Mark
    pdf | bibtex
  • inproceedings - Supporting efficient test automation using lightweight MBT
    3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2020) / Porto, Portugal (2020)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
    pdf | bibtex
  • inproceedings - Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Cretin, Aymeric | Vernotte, Alexandre | Chevrot, Antoine | Peureux, Fabien | Legeard, Bruno
    pdf | bibtex

2019 (2)

  • article - Complementary test selection criteria for model-based testing of security components
    International Journal on Software Tools for Technology Transfer (STTT) (Volume 21, Issue (4), aug 2019, Pages :425 - 448)
    Botella, Julien | Capuron, Jean-François | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Schadle, Florence
    pdf | doi | bibtex
  • inproceedings - A Lightweight MBT approach for Visual Acceptance-Test Driven Development
    19th International Conference on Software Quality, Reliability and Security (QRS 2019) / Sofia, Bulgaria (2019)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
    pdf | bibtex

2018 (3)

  • 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 - Lightweight Model-Based Testing for Enterprise IT
    11th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018) / Vasteras, Sweden (2018, Pages pages 224 - 230)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno | Bouzy, Arnaud
    pdf | doi | bibtex
  • article - Volume 108
    (Volume 108, jan 2018, Pages :1 - 58)
    Ahmad, Abbas | Fourneret, Elizabeta | Bouquet, Fabrice | Legeard, Bruno
    doi | bibtex

2016 (5)

  • inproceedings - Model-Based Testing as a Service for IoT Platforms
    7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016) / Corfu, Greece (Volume 9953, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 727 - 742)
    Ahmad, Abbas | Bouquet, Fabrice | Fourneret, Elizabeta | Le Gall, Franck | Legeard, Bruno
    pdf | doi | bibtex
  • inproceedings - MBeeTle - un outil pour la génération de tests à-la-volée à l'aide de modèles
    Actes des Huitièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel / Besançon, France (2016, Pages pages 253 - 256)
    Lorrain, Julien | Fourneret, Elizabeta | Dadeau, Frédéric | Legeard, Bruno
    pdf | bibtex
  • article - Achieving SCA Conformance Testing with Model-Based Testing
    Journal of Signal Processing Systems for Signal Image and Video Technology (Volume 83, Issue (1), apr 2016, Pages :113 - 128)
    Botella, Julien | Delahaye, Jean-Philippe | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    doi | bibtex
  • book - Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level
    John Wiley and Sons (apr 2016, Pages 1 - 304)
    Kramer, Anne | Legeard, Bruno
    bibtex
  • 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

2015 (7)

  • 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, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 93--109)
    Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
    bibtex
  • inproceedings - Projet MBT_Sec – Model-Based Testing for Security Components
    AFADL'15, 14èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Bordeaux, France (2015, Pages pages 46 - 50)
    Botella, Julien | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Lorrain, Julien | Sibre, Romain
    pdf | bibtex
  • misc - Model-based testing dans l'industrie - usages et dissémination
    Conférence invitée au Forum Méthodes Formelles au LAAS-CNRS (co-organisé avec l'INRIA Grenoble), Toulouse, France, 16 juin 2015 (jun 2015)
    Legeard, Bruno
    bibtex
  • misc - Technologie Smartesting CertifyIt pour le test dirigé par les modèles - Applications aux composants de sécurité, cartes à puces et e-transactions
    Conférence invitée au Forum Méthodes Formelles au LAAS-CNRS (co-organisé avec l'INRIA Grenoble), Toulouse, France, 16 juin 2015 (jun 2015)
    Legeard, Bruno
    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)
    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
  • article - Model-based Testing: Where Does It Stand?
    Communications of the ACM (Volume 58, Issue (2), feb 2015, Pages :52 - 56)
    Binder, Robert V. | Legeard, Bruno | Kramer, Anne
    doi | bibtex

2014 (10)

  • 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 - Model-Based Testing for SCA Conformance Testing
    SDR-WInnComm-Europe'14, Wireless Innovation Forum European Conference on Communications Technology and Software Defined Radio / Rome, Italy (2014)
    Botella, Julien | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • inproceedings - MBT for GlobalPlatform Compliance Testing: Experience Report and Lessons Learned
    ISSRE'14, 25-th Int. Symposium on Software Reliability Engineering / Naples, Italy (Publisher : IEEE, 2014, Pages pages 66-70)
    Bernabeu, Gil | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    pdf | doi | 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, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 337--352)
    Botella, Julien | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | doi | bibtex
  • inproceedings - Model-Based Security Testing with Test Patterns
    UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (2014)
    Botella, Julien | Gro{ß}mann, Jürgen | Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik
    pdf | bibtex
  • inproceedings - From Test Legacy to Model-Based Testing - How to refactor an existing test repository into an MBT model?
    UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (Publisher : ETSI, 2014)
    Legeard, Bruno | Bouzy, Arnaud
    bibtex
  • inproceedings - Testing a webservices based ecosystem using MBT: the case of the Future Internet Public Private Partnership (FI-PPP)
    UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (Publisher : ETSI, 2014)
    Le Gall, Franck | Guillén Jiménez, David | Artusio, Laurent | Nagellen, Thierry | Bernard, Julien | Gruber, Lucas | Jaffuel, Eddie | Legeard, Bruno
    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
  • inproceedings - SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
    8th International Conference on Software Security and Reliability (SERE 2014) / San Francisco (CA), United States (Publisher : IEEE, 2014, Pages pages 147 - 156)
    Fourneret, Elizabeta | Cantenot, Jérôme | Bouquet, Fabrice | Legeard, Bruno | Botella, Julien
    pdf | doi | 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 (11)

  • inproceedings - A Structured Approach for Efficient Model-Based Testing in Large IT projects
    UCAAT 2013, 1st User Conference on Advanced Automated Testing / Paris, France (Publisher : ETSI, 2013)
    Schoch, Jean-Pierre | Legeard, Bruno
    bibtex
  • inproceedings - Model-based and Pattern-driven Vulnerability Testing
    SASSI'13, Security assessment for systems, services and infrastructures / Berlin, Germany (Publisher : ETSI, 2013)
    Legeard, Bruno
    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
  • article - L'alignement de l'IT avec les besoins Métier
    IT-Expert, La reference technique on-line des professionnels de l'informatique (jul 2013)
    Legeard, Bruno
    bibtex
  • inproceedings - Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
    ECMFA'13, 9-th European Conference on Modelling Foundations and Applications / Montpellier, France (Publisher : Springer, Volume 7949, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 134 - 151)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | doi | 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
  • misc - Génération de test à  partir de modèle - Retour sur 10 ans d'expérience de transfert de technologie
    Conférence invitée aux Journées nationales du GDR CNRS Génie de la Programmation et du Logiciel, Nancy, France (apr 2013)
    Legeard, Bruno
    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 - Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience
    ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation (2013, Pages pages 192--201)
    Botella, Julien | Bouquet, Fabrice | Capuron, Jean-François | Lebeau, Franck | Legeard, Bruno | Schadle, Florence
    pdf | doi | bibtex
  • inproceedings - Smartesting CertifyIt - Model-Based Testing for Enterprise IT
    ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation, Testing Tool Track / Luxembourg, Luxembourg (Publisher : IEEE, 2013, Pages pages 192--201)
    Legeard, Bruno | Bouzy, Arnaud
    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

2012 (6)

  • inproceedings - Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
    VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle / Lisbon, Portugal (2012, Pages pages 139--144)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • inproceedings - From Business Processes and Business Rules to Tests - Model-Based Testing for Enterprise Application
    Software ICSSEA 2012, 24th Int. Conf. on Software & Systems Engineering and their Applications / Paris, France (2012)
    Legeard, Bruno
    bibtex
  • inproceedings - From Business Processes and Business Rules to Tests - Model-Based Testing for Enterprise Application Software
    MBTUC'12, User Conference on Model-Based Testing / Tallinn, Estonia (Publisher : ETSI, 2012)
    Legeard, Bruno
    bibtex
  • inproceedings - Model-Based Security Testing - Experience report for security component testing at the French Department of Defense
    MBTUC'12, User Conference on Model-Based Testing / Tallinn, Estonia (Publisher : ETSI, 2012)
    Bouquet, Fabrice | Legeard, Bruno | Lebeau, Franck | Capuron, Jean-François
    bibtex
  • misc - Symbolic Methods in Testing
    Invited Talk at the Seminar 13021 in Dagstuhl, Germany (oct 2012)
    Legeard, Bruno
    bibtex
  • article - A taxonomy of model-based testing approaches
    Software Testing, Verification and Reliability (Volume 22, Issue (5), aug 2012, Pages :297 - 312)
    Utting, Mark | Pretschner, Alexander | Legeard, Bruno
    pdf | doi | bibtex

2011 (4)

  • book - Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test
    Dunod (nov 2011)
    Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
    pdf | bibtex
  • inproceedings - Model-based testing for Information systems
    MBTUC'11, User Conference on Model-Based Testing / Berlin, Germany (Publisher : ETSI, 2011)
    Legeard, Bruno
    bibtex
  • misc - Using Topcased for Model-Based Testing
    First TopCased Days, Toulouse, France (feb 2011)
    Lasalle, Jonathan | Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    bibtex
  • incollection - Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex

2010 (11)

  • inproceedings - SysML to UML model transformation for test generation purpose
    UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods / Shanghai, China (Volume 36, Issue 1, Series SIGSOFT Software Engineering Notes, 2010, Pages pages 1--8)
    Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • article - Les tests de bout en bout s'imposent dans les grands systèmes d'information
    IT-Expert, La reference technique on-line des professionnels de l'informatique (Volume 86, jul 2010, Pages :16 - 25)
    Nguyen-Duc, Philippe | Legeard, Bruno
    bibtex
  • article - VETESS : IDM, Test et SysML
    Génie Logiciel (Issue (93), jun 2010, Pages :43--48)
    Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    pdf | bibtex
  • inproceedings - VETESS: MDE, Testing approaches and SysML
    Neptune workshop / Toulouse, France (2010)
    Legeard, Bruno | Peureux, Fabien | Fondement, Frédéric | Alter, Marc | Scherrer, Claude
    bibtex
  • misc - VETESS : IDM, Test et SysML
    7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France (may 2010)
    Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    bibtex
  • misc - MBT for Large-Scale Enterprise Information Systems, Challenges and Quality Issue
    Invited Keynote at A-MOST 2010, 6th Workshop on Advances in Model Based Testing, co-located with ICST 2010, Paris, France (apr 2010)
    Legeard, Bruno
    bibtex
  • article - Model-based Testing: a new paradigm for manual and automated functional testing
    Revue Testing Experience (Volume 9, mar 2010, Pages :77 - 79)
    Legeard, Bruno
    bibtex
  • misc - Practical Software Testing: Tool Automation and Human Factors
    Invited Talk at the Seminar 10111 in Dagstuhl, Germany (mar 2010)
    Legeard, Bruno
    bibtex
  • inbook - Model-Based Testing - Next Generation Functional Testing
    Pages 9 - 18 (Publisher : SoftwareTech News, Volume volume 12, Issue (4), Series Number 4, jan 2010)
    Legeard, Bruno | Utting, Mark
    bibtex
  • article - An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
    Journal of Information Assurance and Security (JIAS) (Volume 5, Issue (1), 2010, Pages :335 - 351)
    Masson, Pierre-Alain | Potet, Marie-Laure | Julliand, Jacques | Tissot, Régis | Debois, Georges | Legeard, Bruno | Chetali, Boutheina | Bouquet, Fabrice | Jaffuel, Eddie | Van Aertrick, Lionel | Andronick, June | Haddad, Amal
    pdf | bibtex
  • inproceedings - Model-Based Testing for the Cloud
    Practical Software Testing: Tool Automation and Human Factors / Dagstuhl, Germany (Publisher : IT-Expert, La référence technique on-line des professionnels de l'informatique, Series Dagstuhl Seminar Proceedings, 2010, Pages pages 1--11)
    Bertolino, Antonia | Grieskamp, Wolfgang | Hierons, Robert | Le Traon, Yves | Legeard, Bruno | Muccini, Henry | Paradkar, Amit | Rosenblum, David | Tretmans, Jan
    pdf | bibtex

2009 (3)

  • article - Le Model-Based Testing aligne exigences métier et référentiel de tests
    IT-Expert, La reference technique on-line des professionnels de l'informatique (Volume 82, nov 2009, Pages :26--33)
    Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • book - Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés)
    Dunod (apr 2009)
    Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
    bibtex
  • inproceedings - From Business Processes to Integration Testing
    IDM'09, 5èmes journées sur l'Ingéniérie Dirigée par les Modèles / Nancy, France (Volume 1, 2009)
    Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane
    pdf | bibtex

2008 (1)

  • inproceedings - A test generation solution to automate software testing
    AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 45--48)
    Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe
    pdf | doi | bibtex

2007 (2)

  • inproceedings - A subset of precise UML for model-based testing
    A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 95--104)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe | Vacelet, Nicolas
    pdf | doi | bibtex
  • inproceedings - LEIRIOS Test Generator: Automated Test Generation from B models
    B'2007, the 7th Int. B Conference - Industrial Tool Session / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 277--280)
    Legeard, Bruno | Jaffuel, Eddie
    bibtex

2006 (8)

  • book - Practical Model-Based Testing - A tools approach
    Elsevier (Edition : Morgan and Kauffmann, dec 2006, Pages 550)
    Utting, Mark | Legeard, Bruno
    bibtex
  • inproceedings - Extending the Unified Process with Model-Based Testing
    MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification / Genova, Italy (2006, Pages pages 2--15)
    Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane | Nicolet, Jean-Baptiste
    pdf | bibtex
  • inproceedings - Model-based Testing from UML Models
    MBT'2006, Model-based Testing Workshop, INFORMATIK'06 / Dresden, Germany (Volume P-94, Series LNI, Lecture Notes in Informatics, 2006, Pages pages 223 - 230)
    Bernard, Eddy | Bouquet, Fabrice | Charbonnier, Amandine | Legeard, Bruno | Peureux, Fabien | Utting, Mark | Torreborre, Eric
    pdf | bibtex
  • inproceedings - Model-Based Security Testing, Application to a Smart Card Identity Applet
    eSmart 2006, 7th Int. Conf. on Smart Cards / Sophia-Antipolis, France (2006)
    Bouquet, Fabrice | Celletti, F. | Debois, Georges | De Lavernette, A. | Jaffuel, Eddie | Julliand, Jacques | Legeard, Bruno | Lidoine, J. | Plessis, J.-C. | Masson, Pierre-Alain
    bibtex
  • inproceedings - Automated Boundary Test Generation from JML Specifications
    FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 428--443)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • inproceedings - JML-Testing-Tools, un Animateur Symbolique de Spécifications JML
    AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels / Paris, France (2006)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • techreport - Automated Boundary Test Generation from JML Specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • article - Génération de tests à partir de statecharts fondée sur le calcul de comportements
    Technique et Science Informatiques (TSI) (Volume 25, Issue (1), 2006, Pages :103--132)
    Legeard, Bruno | Lebeau, Franck | Colin, Samuel
    bibtex