Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Fabrice Bouquet

fbouquet

Génie Logiciel

DISC
Equipe : VESONTIO
UFC - UFR ST

    Membre du laboratoire depuis 1999, j'ai été directeur adjoint de celui-ci de 2008 à 2010 du DISC. Je suis actuellement directeur du centre de Télé-enseignement de l'Université de Fanche-Comté : CTU. Mon travail de recherche concerne le génie logiciel et plus particulièrement la génération de tests. Ce travail m'a permis d'intégré l'équipe projet "CASSIS" de l'INRIA en 2002.

    Pour la partie enseignement, j'enseigne dans les domaines de l'Intelligence artificielle, la compilation et le test logiciel et système. Je suis responsable du parcours "Développement et Validation de Logiciel" du master informatique de l'Université.

    Depuis 1999, mon domaine de recherche est autour de la génération de tests à partir de modèle. J'ai écris un livre sur les problématiques du tests et de son industrialisation avec Bruno Legeard et Natacha Pickaert ("Industrialiser le test fonctionnel" au édition Dunod) et plus de 80 articles scientifiques. Je travaille dans les 5 thèmes suivants :

    • Etudier et définir la sémantique des langages de modélisation.
    • Modéliser pour le test.
    • Développer des algorithmes d'interprétation des langages de modélisation en utilisant la programmation logique avec contraintes et la technologie SMT.
    • Définir les critères de sélection de test pour l'approche de génération de tests à partir de modèle ainsi que des critères de couverture structurelle des modèles ou des propriétés / scénarios (de sécurité).
    • Explorer les processus et méthodologie de génie logiciel liés à l'intégration des activités de tests et des exigences en assurant la traçabilité et l'automatisation des tests.

    Je m'intéresse aussi à l'utilisation de la modélisation dans les systèmes multi-agents. J'ai participé à la réalisation d'un ouvrage sur le sujet ("Simulation spatiale à base d'agents avec NetLogo" au édition ISTE).

    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
    2014
    • Test generation with SMT solvers in Model Based Testing
      Software Testing, Verification and Reliability (Volume 24, Issue (7), nov 2014, Pages :499 – 531)
      Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
      doi | bibtex
    2012
    • Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems
      Journal of Parallel and Distributed Computing (Volume 72, Issue (5), may 2012, Pages :637 - 649)
      Droz-Bartholet, Lionel | Lapayre, Jean-Christophe | Bouquet, Fabrice | Garcia, Eric | Heinisch, Alexander
      doi | bibtex
    2010
    • 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
    • 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
    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
    • Automated UML models merging for web services testing
      International Journal of Web and Grid Services (IJWGS) (Volume 5, Issue (2), 2009, Pages :107 - 129)
      Pretre, Vincent | De Kermadec, Adrien | Bouquet, Fabrice | Lang, Christophe | Dadeau, Frédéric
      pdf | doi | bibtex
    2004
    • 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
      pdf | doi | 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
    Category book
    2011
    • 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
      bibtex
    2009
    • 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
    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
    2015
    • Introduction à l'approche agent
      Simulation spatiale à base d'agents avec NetLogo, partie 1 (Publisher : ISTE, The International Society for Technology in Education / , Editor : Arnaud Banos, Christophe Lang, Nicolas Marilleau, Volume , Issue , Edition : 1st, Series , Chapter 1, feb 2015, Pages 15 - 36, )
      Bouquet, Fabrice | Chipeaux, Sébastien | Lang, Christophe | Marilleau, Nicolas | Nicod, Jean-Marc | Taillandier, Patrick
      pdf | bibtex
    • Formalismes de description des modèles agent
      Simulation spatiale à base d'agents avec NetLogo 1 (Publisher : ISTE, The International Society for Technology in Education / , Editor : Arnaud Banos, Christophe Lang, Nicolas Marilleau, Volume , Issue , Edition : 1sft, Series , Chapter , feb 2015, Pages 37 - 72, )
      Bouquet, Fabrice | Sheeren, David | Becu, Nicolas | Gaudou, Benoit | Lang, Christophe | Marilleau, Nicolas | Monteil, Claude
      pdf | bibtex
    2014
    • Model-Based Testing for Functional and Security Test Generation
      Foundations of Security Analysis and Design VII (Publisher : Springer / , Volume 8604, Issue , Edition : , Series , Chapter , 2014, Pages 1--33, )
      Bouquet, Fabrice | Peureux, Fabien | Ambert, Fabrice
      pdf | 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
      pdf | bibtex
    Category inproceedings
    2015
    • Tooled Process for Early Validation of SysML Models using Modelica Simulation
      FSEN'15, 6th IPM Int. Conf. on Fundamentals of Software Engineering / Tehran, Iran (Publisher : Springer, Volume 9392, 2015, Pages pages 230-237)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      pdf | doi | bibtex
    • A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
      17th International Conference on Formal Engineering Methods (ICFEM 2015 ) / Paris, France (Publisher : Springer, Volume 9407, 2015, Pages pages 134 - 152)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      bibtex
    2014
    • Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor
      IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM'2014. / Besançon (2014, Pages pages 1194 - 1199)
      Gauthier, Jean-Marie | Gendreau, Dominique | Hammad, Ahmed | Bouquet, Fabrice
      pdf | doi | 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
      doi | bibtex
    2013
    • A Constraint Solver for PHP Arrays
      ICST Workshops (2013, Pages pages 218 - 223)
      Enderlin, Ivan | Giorgetti, Alain | Bouquet, Fabrice
      pdf | doi | bibtex
    • 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
      pdf | doi | bibtex
    • Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
      MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 123 - 128)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      pdf | bibtex
    • Strategies Comparison of Test Generation from UML Using SMT Solver
      CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 224--229)
      Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
      doi | 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
      doi | bibtex
    2012
    • Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
      OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012 / Innsbruck, Austria (2012, Pages pages 55--60)
      Cantenot, Jérôme | Bouquet, Fabrice | Ambert, Fabrice
      doi | bibtex
    • 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
    • Vérification et Test pour des systèmes évolutifs
      AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Grenoble, France (2012, Pages pages 150--164)
      Fourneret, Elizabeta | Bouquet, Fabrice | Ochoa, Martin | Jürjens, Jan | Wenzel, Sven
      bibtex
    • Transformation of SysML structure diagrams to VHDL-AMS
      dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 74--81)
      Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
      pdf | doi | bibtex
    • Grammar-Based Testing using Realistic Domains in PHP
      A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Los Alamitos, CA, United States (Publisher : IEEE, 2012, Pages pages 509--518)
      Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice
      pdf | doi | 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
    • Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
      SECTEST 2012, 3rd Int. Workshop on Security Testing, co-located with ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Montreal, Canada (Publisher : IEEE, 2012, Pages pages 834--841)
      Paci, Federica | Massacci, Fabio | Bouquet, Fabrice | Debricon, Stéphane
      doi | bibtex
    2011
    • Selective Test Generation Method for Evolving Critical Systems
      REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 125--134)
      Fourneret, Elizabeta | Bouquet, Fabrice | Dadeau, Frédéric | Debricon, Stéphane
      doi | bibtex
    • Model-Based Security Verification and Testing for Smart-cards
      ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security / Vienna, Austria (2011, Pages pages 272--279)
      Fourneret, Elizabeta | Ochoa, Martin | Bouquet, Fabrice | Botella, Julien | Jürjens, Jan | Yousefi, Parvaneh
      bibtex
    • UML/OCL based impact analysis to test evolving critical software
      ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf. / Ohrid, Macedonia (2011, Pages pages 73--79)
      Fourneret, Elizabeta | Bouquet, Fabrice
      bibtex
    • Orchestrating Security and System Engineering for Evolving Systems
      Towards a Service-Based Internet / Poznan, Poland (Volume 6994, 2011, Pages pages 134--143)
      Massacci, Fabio | Bouquet, Fabrice | Fourneret, Elizabeta | Jürjens, Jan | Lund, Mass | Madelénat, Sébastien | Muehlberg, JanTobias | Paci, Federica | Paul, Stéphane | Piessens, Frank | Solhaug, Bjornar | Wenzel, Sven
      doi | bibtex
    • Modelling of complex systems with AML as realized in MIRO project
      LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology) / Lyon, France (2011, Pages pages 159--162)
      Chipeaux, Sébastien | Bouquet, Fabrice | Lang, Christophe | Marilleau, Nicolas
      doi | bibtex
    2010
    • Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
      A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10 / Paris, France (2010, Pages pages 54--61)
      Bouquet, Fabrice | Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
      pdf | doi | bibtex
    • Building a Test-ready Abstraction of a Behavioral Model using CLP
      TAP'10, 4-th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, 2010, Pages pages 167--182)
      Bué, Pierre-Christophe | Dadeau, Frédéric | De Kermadec, Adrien | Bouquet, Fabrice
      bibtex
    • Assessing the Quality of B Models
      SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods / Pisa, Italy (2010, Pages pages 83--90)
      De Kermadec, Adrien | Dadeau, Frédéric | Bouquet, Fabrice
      doi | bibtex
    • 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
      pdf | doi | bibtex
    • Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
      AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 11--25)
      Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
      pdf | bibtex
    2009
    • Génération de tests à partir de critères dynamiques de sélection et par abstraction
      AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels / Toulouse, France (2009, Pages pages 161--176)
      Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe
      bibtex
    • 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
      bibtex
    2008
    • Automating UML Models Merge for Web Services Testing
      iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services / Linz, Austria (2008, Pages pages 55--62)
      Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
      doi | bibtex
    • 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
      doi | bibtex
    • Agent based modelling of complex systems with AML and the situation calculus
      ABS2, Int. workshop on Agent Based Spatial Simulation / Paris, France (2008)
      Bouquet, Fabrice | Lang, Christophe | Giorgetti, Alain | Brocard, Thibaud
      bibtex
    2007
    • Using Computer Science Modeling Techniques for Airport Security Certification
      RCIS'07, 1st Int. Conf. on Research Challenges in Information Science / Ouarzazate, Morocco (2007, Pages pages 61--72)
      Ledru, Yves | Bouquet, Fabrice | Laleau, Régine | Vignes, Sylvie | Lemoine, Michel | Bert, Didier | Dubois, Catherine | Viguié Donzeau-Gouge, Véronique.
      bibtex
    • Instantiation of Parameterized Data Structures for Model-Based Testing
      B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, 2007, Pages pages 96--110)
      Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
      doi | bibtex
    • 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
    • A Model-Based Validation Framework for Web Services
      STV07, Procs of the 5th workshop on Systems Testing and Validation / Paris, France (2007, Pages pages 63--76)
      Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
      bibtex
    • EDEMOI: a methodology for security of air transport system
      EUCASS'10, 2nd European Conference on Aerospace Sciences (2007)
      Lemoine, Michel | R. Lopez Ruiz, Eduardo | Ledru, Yves | Bert, Didier | Laleau, Régine | Peureux, Fabien | Bouquet, Fabrice | Donzeau-Gouge, Véronique | Dubois, Catherine | Etienne, Jean-Frédéric | Vignes, Sylvie
      bibtex
    • JML2B: Checking JML specifications with B machines
      B'2007, the 7th Int. B Conference - Tool Session / Besancon, France (Volume 4355, 2007, Pages pages 285--288)
      Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
      bibtex
    • Towards automatic control for microfactories
      5th Int. Conf. on Industrial automation / Montréal, Québec, Canada (2007, Pages pages ***--***)
      Bouquet, Fabrice | Philippe, Laurent | Debricon, Stéphane | Descourvières, Eric | Gendreau, Dominique | Lutz, Philippe
      bibtex
    2006
    • Validation of Regulation Documents by Automated Analysis of Formal Models
      REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06) / Luxembourg, Luxembourg (2006, Pages pages 800--805)
      Ledru, Yves | Bouquet, Fabrice | Vignes, Sylvie | Bert, Didier
      bibtex
    • 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
    • Safety Property Driven Test Generation from JML Specifications
      FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification / Seattle, WA, United States (Volume 4262, 2006, Pages pages 225--239)
      Dadeau, Frédéric | Bouquet, Fabrice | Julliand, Jacques | Groslambert, Julien
      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
      pdf | 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.
      pdf | 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
    • Checking JML Specifications with B Machines
      Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05) / Guildford, United Kingdom (Publisher : Springer, Volume 3455, 2005, Pages pages 435--454)
      Bouquet, Fabrice | Dadeau, Frédéric | Groslambert, Julien
      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 : Association for Computing Machinery (ACM), 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
    • 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
    • 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
    • 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
    2002
    • 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
      pdf | 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
    • 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
    • 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
    • ROBDD : Une étude sur les ordres et stratégies de construction
      5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99 / Lyon, France (1999, Pages pages 207--215)
      Bouquet, Fabrice | Jégou, P.
      bibtex
    • Enumération et représentation d'impliquants premiers
      5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99 / Lyon, France (1999, Pages pages 179--188)
      Bouquet, Fabrice | Henocque, L. | Jégou, P.
      bibtex
    Category misc
    2015
    • SysML2Modelica
      (apr 2015)
      Bouquet, Fabrice | Gauthier, Jean-Marie
      bibtex
    2014
    • 7ème rencontre sur les pratiques du test
      Présentation générale de la démarche de test (jun 2014)
      Bouquet, Fabrice
      bibtex
    • 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
    • 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
    2012
    • Model-Based Testing Aujourd'hui
      Séminaire Invité au Club Qualité Logicielle, Montrouge, France (jan 2012)
      Bouquet, Fabrice
      bibtex
    • Hydra MBT-onFly
      (mar 2012)
      Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
      bibtex
    2011
    • Graphical Model of MAS for Verification and Validation (Software engineering point of view)
      Invited talk at the V2CS Workshop, Paris, France (nov 2011)
      Bouquet, Fabrice
      bibtex
    • 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
    • Critères génériques de comparaison de méthodes de modélisation de systèmes complexes pour la génération de simulations multi-agents
      CoMMISCo'10, 1ère Conférence Modélisation Mathématique et Informatique des Systèmes Complexes, IRD Bondy, France (oct 2010)
      Chipeaux, Sébastien | Bouquet, Fabrice | Lang, Christophe | Marilleau, Nicolas
      bibtex
    2006
    • JML2B - A Tool for Checking JML Specification with B Machines
      ( 2006)
      Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
      bibtex
    2004
    • 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
    2011
    • Preuve de la garantie de la séquentialité du système collaboratif RAMOS
      (dec 2011, Research Report, Number RR2011-12)
      Droz-Bartholet, Lionel | Bouquet, Fabrice | Lapayre, Jean-Christophe | Garcia, Eric
      bibtex
    2010
    • Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software
      (sep 2010, Technical Report, Number RT2010-06)
      Fourneret, Elizabeta | Bouquet, Fabrice
      bibtex
    2009
    • Test Generation Based on Abstraction and Dynamic Selection Criteria
      (sep 2009, Research Report, Number RR2009-02)
      Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe
      bibtex
    2008
    • Automating UML models merging: application of the method
      (dec 2008, Research Report, Number RR2008-09)
      Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
      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
    • Checking JML specifications with B machines
      LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (nov 2004, Research Report, Number RR2004-12)
      Bouquet, Fabrice | Dadeau, Frédéric | Groslambert, Julien
      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
    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 | Botella, Bernard | 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
    • 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. | Botella, Bernard | Gotlieb, A.
      bibtex
    Category unpublished
    1999
    • Sur l'évolution de la taille des ROBDD ( 1999)
      Bouquet, Fabrice
      bibtex