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 1-6)
    Gauthier, Jean-Marie | Gendreau, Dominique | Hammad, Ahmed | Bouquet, Fabrice
    pdf | 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