Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Bruno LEGEARD

Bruno Legeard Professeur

Génie Logiciel

Département Informatique des Systèmes Complexes
Equipe : VESONTIO
UFC - UFR ST

Professeur

Je suis Professeur de Génie Logiciel à l'Université de Franche-Comté, chercheur à FEMTO-ST/DISC.

Je travaille depuis une quinzaine d'année sur la génération automatique de tests à partir de modèles - Model-Based Testing. Je suis l'auteur de plus de 120 publications, et j'ai publié en 2007 avec Mark Utting un ouvrage de référence sur sujet intitulé "Practical Model-Based Testing" - Morgan Kaufmann Publishers Inc. San Francisco, CA, USA (cet ouvrage a été cité plus de 800 fois à ce jour).


Sur cette thématique, je réalise et pilote des recherches sur 5 problématiques principales:
I. Sur le développement de technologies de génération automatique de tests à partir de modèle en programmation en logique avec contraintes et moteur de preuve SMT.
II. Sur la modélisation pour la génération de tests par adaptation et interprétation de langages de modélisation dans le contexte du Model-Based Testing.
III. Sur les stratégies de génération et les critères de sélection pour la production des tests au travers de critères de couverture structurelle du modèle, fondé sur des scénarios ou méta-scénarios ou par couverture et traçabilité des exigences fonctionnelles.
IV. Sur la génération de tests de sécurité à partir de modèle (Model-Based Security Testing) par spécialisation de l'approche Model-Based Testing pour le test des fonctions de sécurité et pour la génération de tests de vulnérabilité.
V. Sur le processus Model-Based Testing et les aspects de Génie Logiciel liés à l'intégration avec les activités d'ingénierie des exigences et de gestion et d'automatisation des tests.

Une partie de mon activité s'inscrit dans la communauté du test logiciel :
- je suis membre du Bureau du Comité Français des Tests Logiciels depuis 2013;
- je pilote la rédaction de la certification Model-Based Testing au sein de l'organisme international ISTQB - International Software Testing Qualification Board.

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter.

Listes des publications :

Category article
2015
  • Model-based Testing: Where Does It Stand?
    CACM, Communications of the ACM (Volume 58, Issue (2), feb 2015, Pages :52-56)
    Binder, Robert V. | Legeard, Bruno | Kramer, Anne
    doi | bibtex
  • Achieving SCA Conformance Testing with Model-Based Testing
    Journal of Signal Processing Systems for Signal Image and Video Technology (Issue (*), 2015, Pages :***--***)
    Botella, Julien | Delahaye, Jean-Philippe | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    bibtex
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
2013
  • 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
2012
  • A taxonomy of model-based testing approaches
    Software Testing, Verification and Reliability, STVR (Volume 22, Issue (5), aug 2012, Pages :297 - 312)
    Utting, Mark | Pretschner, Alexander | Legeard, Bruno
    ressource | doi | bibtex
2010
  • Model-Based Testing - Next Generation Functional Testing
    SoftwareTech News (Volume 12, Issue (4), jan 2010, Pages :9--18)
    Legeard, Bruno | Utting, Mark
    bibtex
  • 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
    ressource | bibtex
  • An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
    JIAS, Journal of Information Assurance and Security (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
    ressource | bibtex
  • 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
  • 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
2009
  • 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
2006
  • Génération de tests à partir de statecharts fondée sur le calcul de comportements
    TSI (Technique et Science Informatiques) (Volume 25, Issue (1), 2006, Pages :103--132)
    Legeard, Bruno | Lebeau, Franck | Colin, Samuel
    bibtex
2004
  • Controlling test case explosion in test generation from B formal models
    Software Testing, Verification and Reliability, STVR (Volume 14, Issue (2), 2004, Pages :81--103)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • CLPS-B: A Constraint Solver to Animate a B Specification
    International Journal on Software Tools for Technology Transfer, STTT (Volume 6, Issue (2), aug 2004, Pages :143--157)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Generation of test sequences from formal specifications: GSM 11-11 standard case study
    International Journal of Software Practice and Experience (Volume 34, Issue (10), 2004, Pages :915--948)
    Bernard, E. | Legeard, Bruno | Luck, X. | Peureux, Fabien
    ressource | bibtex
  • Preamble Computation in Automated Test Case Generation using Constraint Logic Programming
    The Journal of Software Testing, Verification and Reliability (Volume 14, Issue (3), 2004, Pages :213--235)
    Colin, Séverine | Legeard, Bruno | Peureux, Fabien
    bibtex
2003
  • Génération de tests à partir de spécifications : Concepts, méthodes et outils
    Génie Logiciel (Volume 67, dec 2003, Pages :27--36)
    Legeard, Bruno | Py, L. | Ambert, Fabrice | Bouquet, Fabrice | Peureux, Fabien
    bibtex
2002
  • B-Testing-Tools : génération de tests aux limites à partir de spécifications B
    TSI (Technique et Science Informatiques) (Volume 21, Issue (9), 2002, Pages :1189--1218)
    Legeard, Bruno | Peureux, Fabien
    bibtex
1999
  • Procédure d'optimisation arborescente basée sur la structure d'arbre PQR
    TSI (Technique et Science Informatiques) (Volume 18, Issue (2), 1999, Pages :161--180)
    Boucher, E. | Legeard, Bruno
    bibtex
1997
  • Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
    RAIRO Informatique Théorique et Applications (Volume 31, Issue (3), 1997, Pages :205--236)
    Hibti, M. | Legeard, Bruno | Lombardi, H.
    bibtex
Category book
2011
  • Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test
    (nov 2011)
    Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
    ressource | bibtex
2009
  • Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés)
    APJOR, Asia-Pacific Journal of Operational Research (apr 2009)
    Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
    bibtex
2006
  • Practical Model-Based Testing - A tools approach
    ELSEVIER SCIENCE (Edition : Morgan and Kauffmann, dec 2006)
    Utting, Mark | Legeard, Bruno
    bibtex
Category incollection
2015
  • Recent Advances in Model-Based Testing
    Advances in Computers (Publisher : Elsevier / , Volume , Issue , Edition : , Series , Chapter , 2015, Pages ***--***, )
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
    ressource | bibtex
2011
  • Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press / , Volume , Issue , Edition : , Series , Chapter , 2011, Pages 195--218, )
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    ressource | bibtex
Category inproceedings
2015
  • A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability
    Demo Session of ESSoS'15, the Int. Symposium on Engineering Secure Software and Systems / Milan, Italy (2015)
    Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
    ressource | 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 *, 2015, Pages pages ***---***)
    Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
    bibtex
  • 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
    ressource | 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
    ressource | doi | bibtex
  • 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
    bibtex
  • MBT for GlobalPlatform Compliance Testing: Experience Report and Lessons Learned
    ISSRE'14, 25-th Int. Symposium on Software Reliability Engineering / Naples, Italy (Publisher : IEEE Computer Society Press, 2014, Pages pages 66-70)
    Bernabeu, Gil | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    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
  • 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
    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
    ressource | bibtex
  • SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
    SERE 2014, 8th Int. Conf. on Software Security and Reliability / Paris, Dallas, United States (Publisher : IEEE, 2014, Pages pages 147--156)
    Fourneret, Elizabeta | Cantenot, Jérôme | Bouquet, Fabrice | Legeard, Bruno | Botella, Julien
    ressource | doi | bibtex
  • 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
  • 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
2013
  • 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, 2013, Pages pages 134 - 151)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    ressource | doi | bibtex
  • 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 Computer Society Press, 2013, Pages pages 445 - 452)
    Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    ressource | 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
    ressource | bibtex
  • 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
    ressource | doi | bibtex
  • 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
  • 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
  • Model-based and Pattern-driven Vulnerability Testing
    SASSI'13, Security assessment for systems, services and infrastructures / Berlin, Germany (Publisher : ETSI, 2013)
    Legeard, Bruno
    bibtex
2012
  • 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
    ressource | bibtex
  • 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
  • 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
  • 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
2011
  • Model-based testing for Information systems
    MBTUC'11, User Conference on Model-Based Testing / Berlin, Germany (Publisher : ETSI, 2011)
    Legeard, Bruno
    bibtex
2010
  • 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, 2010, Pages pages 1--8)
    Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    ressource | doi | bibtex
  • VETESS: MDE, Testing approaches and SysML
    Neptune workshop / Toulouse, France (2010)
    Legeard, Bruno | Peureux, Fabien | Fondement, Frédéric | Alter, Marc | Scherrer, Claude
    bibtex
  • 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, 2010, Pages pages 1--11)
    Bertolino, Antonia | Grieskamp, Wolfgang | Hierons, Robert | Le Traon, Yves | Legeard, Bruno | Muccini, Henry | Paradkar, Amit | Rosenblum, David | Tretmans, Jan
    ressource | bibtex
2009
  • 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
    ressource | bibtex
2008
  • 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
    ressource | doi | bibtex
2007
  • 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
    ressource | doi | bibtex
  • LEIRIOS Test Generator: Automated Test Generation from B models
    B'2007, the 7th Int. B Conference - Industrial Tool Session / Besancon, France (Volume 4355, 2007, Pages pages 277--280)
    Legeard, Bruno | Jaffuel, Eddie
    bibtex
2006
  • Automated Boundary Test Generation from JML Specifications
    FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, 2006, Pages pages 428--443)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • 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
    bibtex
  • 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
  • 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
  • Model-based Testing from UML Models
    MBT'2006, Model-based Testing Workshop, INFORMATIK'06 / Dresden, Germany (Volume P-94, 2006, Pages pages 223--230)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Bernard, E. | Charbonnier, A. | Torreborre, E.
    ressource | bibtex
2005
  • JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP
    Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05) / Edinburgh, United Kingdom (Publisher : Springer, Volume 3440, 2005, Pages pages 551--556)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno | Utting, Mark
    bibtex
  • Automated Test Case Generation for Space On-Board Software
    DASIA 2005, Data Systems In Aerospace Int. Conf. / Edinburgh, United Kingdom (2005, Pages pages 153--159)
    Chevalley, Ph. | Legeard, Bruno | Orsat, J.
    bibtex
  • Symbolic Animation of JML Specifications
    Procs of the Int. Conf. on Formal Methods (FM'2005) / Newcastle Upon Tyne, United Kingdom (Publisher : Springer, Volume 3582, 2005, Pages pages 75--90)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno | Utting, Mark
    bibtex
  • How Symbolic Animation can help designing an Efficient Formal Model
    Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05) / Manchester, United Kingdom (Publisher : Springer, Volume 3785, 2005, Pages pages 96--110)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno
    bibtex
  • Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation
    Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05) / St. Louis, United States (Publisher : ACM Press, 2005)
    Bouquet, Fabrice | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • Using Constraint Logic Programming for the Symbolic Animation of Formal Models
    Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05) / Tallinn, Estonia (2005, Pages pages 32--46)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno
    bibtex
2004
  • Mastering Test Generation from Smart Card Software Formal Models
    Procs. of the Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04) / Marseille, France (Publisher : Springer, Volume 3362, 2004, Pages pages 70--85)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | Torreborre, E.
    bibtex
  • Automated Test Generation and Execution for Automative Embedded Software
    INCOSE 2004, Annual Int. Symp., 4th European Systems Engineering Conference (2004, Pages pages 252--268)
    Legeard, Bruno | Bouquet, Fabrice | Lebeau, Franck
    bibtex
  • Boundary Coverage Criteria for Test Generation from Formal Models
    Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04) / Saint-Malo, France (Publisher : IEEE Computer Society Press, 2004, Pages pages 139--150)
    Kosmatov, Nikolaï | Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • Faster Analysis of Formal Specification
    6th Int. Conf. on Formal Engineering Methods (ICFEM'04) / Seattle, WA, United States (Publisher : Springer, Volume 3308, 2004, Pages pages 239--258)
    Bouquet, Fabrice | Legeard, Bruno | Utting, Mark | Vacelet, Nicolas
    bibtex
  • Génération de tests à partir de statecharts fondée sur le calcul de comportements
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 153--167)
    Colin Samuel | Lebeau, Franck | Legeard, Bruno
    bibtex
  • Test case and Test driver generation for automotive embedded systems
    5th Int. Conf. on Software Testing, ICS-Test 2004 / Düsseldorf, Germany (2004, Pages pages 37--53)
    Bouquet, Fabrice | Lebeau, Franck | Legeard, Bruno
    bibtex
  • Automated Test Case and Test Driver Generation for Embedded Software
    ICSSEA - Int. Conf. on Software, System Engineering and Applications (2004, Pages pages 34--49)
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | Py, L. | Torrebore, E.
    bibtex
2003
  • Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
    Proc. of FME'03, Formal Method Europe / Pisa, Italy (Volume 2805, 2003, Pages pages 778--795)
    Bouquet, Fabrice | Legeard, Bruno
    bibtex
  • Réification de scripts exécutables en génération de tests à partir de spécifications formelles : application aux mécanismes de transaction de la Java Card
    Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels / Rennes, France (2003, Pages pages 141--156)
    Bouquet, Fabrice | Legeard, Bruno
    bibtex
  • Automated Boundary-Value Test Generation from Specifications - Method and Tools
    4th Int. Conf. on Software Testing, ICSTEST 2003 / Cologne, Germany (2003, Pages pages 52--68)
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Preamble computation in automated test generation using Constraint Logic Programming
    Proceedings of UK-Test Workshop / York, United Kingdom (2003)
    Colin, Séverine | Legeard, Bruno | Peureux, Fabien
    bibtex
  • BZP : Un format fédérateur pour l'évaluation de spécifications formelles
    JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes / Amiens, France (Publisher : Hermès, 2003, Pages pages 203--216)
    Bouquet, Fabrice | Legeard, Bruno | Vacelet, Nicolas
    bibtex
  • Intégration de domaines à variables dans un solveur de contraintes ensemblistes
    JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes / Amiens, France (Publisher : Hermès, 2003, Pages pages 217--222)
    Ambert, Fabrice | Chemin, Sébastien | Legeard, Bruno
    bibtex
2002
  • A Comparison of the LIFC/B and TTF/Z Test-Generation Methods
    2nd International Conference of B and Z Users, ZB2002 / Grenoble, France (Volume 2272, 2002, Pages pages 309--329)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • CLPS-B: A constraint solver for B
    Proceedings of the conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, ETAPS / Grenoble, France (Publisher : Springer, Volume 2280, 2002, Pages pages 188--204)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    ressource | bibtex
  • Automated boundary testing from Z and B
    Proc. of the Int. Conf. on Formal Methods Europe, FME'02 / Copenhaguen, Denmark (Publisher : Springer, Volume 2391, 2002, Pages pages 21--40)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming
    Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR'02) / Brnö, République Tchèque (2002, Pages pages 105--120)
    Ambert, Fabrice | Bouquet, Fabrice | Chemin, Sébastien | Guenaud, Sébastien | Legeard, Bruno | Peureux, Fabien | Vacelet, Nicolas | Utting, Mark
    bibtex
2001
  • Generation of functional test sequences from B formal specifications - Presentation and industrial case-study
    Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001) / San Diego, United States (Publisher : IEEE Computer Society Press, 2001, Pages pages 377--381)
    Legeard, Bruno | Peureux, Fabien
    bibtex
  • Génération de séquences de test à partir d'une spécification B en PLC ensembliste
    Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels) / Nancy, France (2001, Pages pages 113--130)
    Legeard, Bruno | Peureux, Fabien
    bibtex
  • B-Testing-Tool : un environnement pour la validation fonctionnelle d'applications critiques (présentation et étude de cas industriel)
    Actes de AFIS'2001, 2ème Conférence Annuelle d'Ingéniérie Système / Toulouse, France (2001, Pages pages 141--147)
    Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien
    bibtex
2000
  • Evaluation de spécifications formelles en programmation logique avec contraintes ensemblistes - Application à l'animation de spécifications formelles B
    Actes du congrès AFADL'2000 / Grenoble, France (2000, Pages pages 21--35)
    Py, L. | Legeard, Bruno | Tatibouët, Bruno
    bibtex
  • Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B
    9èmes Journées Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2000 / Marseille, France (2000, Pages pages 125--144)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | Py, L.
    bibtex
  • Constraint Logic Programming with Sets for animation B formal specifications
    Proc. of the 1st Int. Conf. on Computational Logic, Workshop on Constraint Logic Programming and Software Engineering, (C)LPSE2000 / Imperial College, London, United Kingdom (2000)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
1999
  • An efficient CLP approach for large-scale cutting stock problem
    PACLP'99, Pratical Applications of Constraint Technologies and Logic Programming / London, United Kingdom (1999, Pages pages 147--163)
    Py, L. | Jacques, Isabelle | Legeard, Bruno
    bibtex
  • Constraint Logic Programming with Sets for animation and verification of B specification
    Proc. of DPS'99, International Workshop on Declarative Programming Systems / Paris, France (1999)
    Legeard, Bruno | Py, L.
    bibtex
1998
  • Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic
    2nd B Conference / Montpellier, France (Volume 1393, 1998, Pages pages 273--292)
    Julliand, Jacques | Legeard, Bruno | Machicoane, T. | Parreaux, Benoit | Tatibouët, Bruno
    bibtex
  • Résolution d'un problème de découpe à deux dimensions en Programmation Logique avec Contraintes
    actes de JFPLC'98 / Nantes, France (Publisher : Hermès, 1998, Pages pages 95--111)
    Jacques, Isabelle | Legeard, Bruno | Py, L.
    bibtex
  • Représentation de séquences définies sur des ensembles non instanciés par arbre PQR partiel
    Actes de JFPLC'98 / Nantes, France (Publisher : Hermès, 1998, Pages pages 251--266)
    Berkaoui, L. | Legeard, Bruno
    bibtex
1997
  • Multi-criteria comparison between algorithmic, constraint logic and specific constraint programming on a real scheduling problem
    Proceedings of PACT97 (1997, Pages pages 47--63)
    Bachelu, A. | Baptiste, Pierre | Boucher, E. | Legeard, Bruno | Varnier, Christophe
    bibtex
  • Procédures exactes d'optimisation dans le paradigme de la Programmation Logique avec Contraintes ensemblistes
    Actes de JFPLC'97 / Orléans, France (Publisher : Hermès, 1997, Pages pages 179--193)
    Boucher, E. | Legeard, Bruno
    bibtex
Category misc
2015
  • 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
  • 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
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
  • 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
2012
  • Symbolic Methods in Testing
    Invited Talk at the Seminar 13021 in Dagstuhl, Germany (oct 2012)
    Legeard, Bruno
    bibtex
2011
  • 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
2010
  • 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
  • Practical Software Testing: Tool Automation and Human Factors
    Invited Talk at the Seminar 10111 in Dagstuhl, Germany (mar 2010)
    Legeard, Bruno
    bibtex
  • 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
2004
  • Controlling Test Case Explosion in Test Generation from Formal Models
    Invited Talk at the Microsoft Resarch Summer Institute on Trends in Testing: Theory, Techniques and Tools, University of Washington, USA (aug 2004)
    Legeard, Bruno
    bibtex
  • Animateur JML-Testing-Tools
    ( 2004)
    Dadeau, Frédéric | Bouquet, Fabrice | Legeard, Bruno
    bibtex
2002
  • BZ-Testing-Tools
    ( 2002)
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | al
    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
2006
  • Automated Boundary Test Generation from JML Specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report, Number RR2006-03)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
2004
  • JML-Testing-Tools - A symbolic animator for JML specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (nov 2004, Technical Report, Number RT2004-05)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno
    bibtex
  • A constraint solver to animate a B specification
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-13)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Controlling Test Case Explosion in Test Generation from B Formal Models
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-14)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • Preamble Computation in Automated Test Case Generation using Constraint Logic Programming
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-15)
    Colin, Séverine | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Generation of test sequences from formal specifications: GSM 11.11 standard case-study
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-16)
    Bernard, E. | Legeard, Bruno | Luck, X. | Peureux, Fabien
    bibtex
2002
  • Génération de tests dans le cas de structures dynamiques
    RNTL INKA, Thales (feb 2002, Compte rendu d'avancement 2, Number )
    Ambert, Fabrice | Bouquet, Fabrice | Gaspari, Laetitia | Legeard, Bruno | Bottela, B. | Gotlieb, A.
    bibtex
  • Projet BZ-Testing-Tools - Génération de tests aux limites à partir d'un modèle formel B ou Z - Annexes Techniques
    ANVAR (may 2002, Compte rendu d'avancement au 30 avril 2002, Number )
    Ambert, Fabrice | Bouquet, Fabrice | Chemin, Sébastien | Guenaud, Sébastien | Legeard, Bruno | Peureux, Fabien | Vacelet, Nicolas
    bibtex
2001
  • Modélisation formelle et tests - Application Ticket Métro/RER
    Schlumberger Terminaux Urbains et Systèmes (jun 2001, Rapport de fin de contrat, Number )
    Legeard, Bruno | Peureux, Fabien | Gaspari, Laetitia | Caritey, N.
    bibtex
  • Génération de tests dans le cas de structures dynamiques
    RNTL INKA, Thales (jul 2001, Compte rendu d'avancement 1, Number )
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Parreaux, Benoit | Vincent, J. | Bottela, B. | Gotlieb, A.
    bibtex
2000
  • Generation of functional tests sequences from B formal specifications of the GSM 11-11 standard
    Schlumberger SmartCard R&D (jul 2000, Rapport de fin de contrat, Number )
    Bernard, E. | Legeard, Bruno | Luck, X. | Peureux, Fabien
    bibtex
1998
  • Document de conception et maintenance de moteur d'optimisation de découpe
    AID (jun 1998, Rapport de fin de contrat, Number )
    Jacques, Isabelle | Legeard, Bruno | Py, L.
    bibtex
home