L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Bruno Legeard

Publications de Bruno Legeard

2021 (1)

  • article - A domain-specific language to design false data injection tests for air traffic control systems
    International Journal on Software Tools for Technology Transfer (STTT) ( 2021)
    Vernotte, Alexandre | Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex

2020 (5)

  • inproceedings - Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data
    8th OpenSky Symposium (2020) / Online (Electronic Conference), Online (Electronic Conference) (Volume 59, Issue 1, 2020, Pages pages 9 (10))
    Chevrot, Antoine | Vernotte, François | Bernabé, Pierre | Cretin, Aymeric | Peureux, Fabien | Legeard, Bruno
    doi | bibtex
  • inproceedings - Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
    IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 143 - 152)
    Cretin, Aymeric | Vernotte, Alexandre | Chevrot, Antoine | Peureux, Fabien | Legeard, Bruno
    pdf | doi | bibtex
  • inproceedings - Supporting efficient test automation using lightweight MBT
    13th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 84 - 94)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
    pdf | doi | bibtex
  • 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, Pages pages 83 - 90)
    Utting, Mark | Legeard, Bruno | Dadeau, Frédéric | Tamagnan, Frédéric | Bouquet, Fabrice
    pdf | doi | bibtex
  • inproceedings - Tool Support for Refactoring Manual Tests
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020, Pages pages 332 - 342)
    Bernard, Elodie | Botella, Julien | Ambert, Fabrice | Legeard, Bruno | Utting, Mark
    pdf | doi | 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 - Model-based testing dans l'industrie - usages et dissémination
    Forum Méthodes Formelles / Toulouse, France (2015)
    Legeard, Bruno
    pdf | bibtex
  • inproceedings - Technologie Smartesting CertifyIt pour le test dirigé par les modèles - Applications aux composants de sécurité, cartes à puces et e-transactions
    Forum Méthodes Formelles / Toulouse, France (2015)
    Legeard, Bruno
    pdf | bibtex
  • inproceedings - Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach
    3rd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2015) / 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
    14èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015) / Bordeaux, France (2015, Pages pages 46 - 50)
    Botella, Julien | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Lorrain, Julien | Sibre, Romain
    pdf | 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
    7th International Symposium on Engineering Secure Software and Systems (ESSoS 2015) / 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 - Journées nationales du Developpement Logiciel (JDEV'2013)
    (2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    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
  • 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
  • inproceedings - Génération de test à  partir de modèle - Retour sur 10 ans d'expérience de transfert de technologie
    (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 - Symbolic Methods in Testing
    (2012)
    Legeard, Bruno
    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
  • 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)
    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
  • 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 (Volume 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
  • inproceedings - MBT for Large-Scale Enterprise Information Systems, Challenges and Quality Issue
    (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
  • inproceedings - Practical Software Testing: Tool Automation and Human Factors
    (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
    Model-Based Testing Workshop (MBT 2006) / Dresden, Germany (Volume P-94, Series Lecture Notes in Informatics (LNI), 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