F. Bouquet

发表

Identifying and Generating Missing Tests using Machine Learning on Execution Traces

M. Utting, Bruno Legeard, Frédéric Dadeau, 2020, 2020 IEEE International Conference On Artificial Intelligence Testing (AITest).

The V 3 F Project

Bertrand Jeannet, T. Jéron, Bruno Legeard, 2022 .

Extending the Unified Process with Model-Based Testing

Bruno Legeard, F. Bouquet, Stephane Debricon, 2006 .

The V3F project

Bruno Legeard, Arnaud Gotlieb, Bertrand Jeannet, 2006 .

New Results - Model-based Testing

Fabrice Bouquet, Alexandre Vernotte, Alain Giorgetti, 2014 .

A Model-Based Validation Framework for Web Services

F. Bouquet, V. Pretre, C. Lang, 2007 .

Clustering of Usage Traces for Regression Test Cases Selection

Frédéric Dadeau, F. Bouquet, Vahana Dorcis, 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

D 7 . 3 : A MODEL-BASED TESTING APPROACH FOR EVOLUTION

Julien Botella, Frédéric Dadeau, F. Bouquet, 2011 .

Test Generation Using Symbolic Animation of Models

Fabrice Bouquet, Bruno Legeard, Jacques Julliand, 2011, Model-Based Testing for Embedded Systems.

Combining approaches for the security of infinite state systems

Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .

Selective Test Generation Method for Evolving Critical Systems

Fabrice Bouquet, Elizabeta Fourneret, Frédéric Dadeau, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Assessing the Quality of B Models

Fabrice Bouquet, Frédéric Dadeau, Adrien De Kermadec, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

A subset of precise UML for model-based testing

Fabrice Bouquet, Bruno Legeard, Mark Utting, 2007, A-MOST '07.

Praspel: Contract-Driven Testing for PHP using Realistic Domains

Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2014 .

Grammar-Based Testing Using Realistic Domains in PHP

Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Recent Advances in Model-Based Testing

Fabrice Bouquet, Bruno Legeard, Alexandre Vernotte, 2016, Adv. Comput..

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing

Fabrice Bouquet, Ahmed Hammad, Fabien Peureux, 2015, ICFEM.

Tooled Process for Early Validation of SysML Models Using Modelica Simulation

Fabrice Bouquet, Ahmed Hammad, Fabien Peureux, 2015, FSEN.

Modeling and simulation of modular complex system: Application to air-jet conveyor

Fabrice Bouquet, Ahmed Hammad, Dominique Gendreau, 2014, 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

Ramos: Concurrent writing and reconfiguration for collaborative systems

Fabrice Bouquet, Lionel Droz-Bartholet, Jean-Christophe Lapayre, 2012, J. Parallel Distributed Comput..

Model-Based Testing as a Service for IoT Platforms

Fabrice Bouquet, Bruno Legeard, Elizabeta Fourneret, 2016, ISoLA.

SysML to UML model transformation for test generation purpose

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, 2011, SOEN.

Contract-based testing for PHP with Praspel

Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2018, J. Syst. Softw..

Instantiation of Parameterized Data Structures for Model-Based Testing

Fabrice Bouquet, Jean-François Couchot, Alain Giorgetti, 2007, B.

Automated Boundary Test Generation from JML Specifications

Fabrice Bouquet, Bruno Legeard, Frédéric Dadeau, 2006, FM.

Safety Property Driven Test Generation from

Fabrice Bouquet, Jacques Julliand, Julien Groslambert, 2006, FATES/RV.

Symbolic Animation of JML Specifications

Fabrice Bouquet, Bruno Legeard, Frédéric Dadeau, 2005, FM.

CLPS–B – A constraint solver to animate a B specification

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, 2004, International Journal on Software Tools for Technology Transfer.

Using OBDDs to Handle Dynamic Constraints

Fabrice Bouquet, Philippe Jégou, F. Bouquet, 1997, Inf. Process. Lett..

Model-Based Testing for Functional and Security Test Generation

Fabrice Bouquet, Fabrice Ambert, Fabien Peureux, 2013, FOSAD.

Program Committee Additional Reviewers Extending a Cp Solver with Congruences as Domains for Program Verification Requirements for Constraint Solvers in Verification of Data-intensive Embedded System Software a Symbolic Intruder Model for Hash-collision Attacks Strategy for Flaws Detection Based on

M. Rusinowitch, A. Podelski, Bertrand Jeannet, 2022 .

An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices

F. Bouquet, Mathieu Briland, 2021, J. Univers. Comput. Sci..

Extending the Unified Process with Model-Based Testing

F. Bouquet, Stephane Debricon, J. Nicolet, 2006 .

CLPS-B - A Constraint Solver for B

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, 2002, TACAS.

How Symbolic Animation Can Help Designing an Efficient Formal Model

Fabrice Bouquet, Bruno Legeard, Frédéric Dadeau, 2005, ICFEM.

Towards automatic control for microfactories.

Fabrice Bouquet, Philippe Lutz, Laurent Philippe, 2007 .

Test generation with Satisfiability Modulo Theories solvers in model‐based testing

Fabrice Bouquet, Fabrice Ambert, Jérôme Cantenot, 2014, Softw. Test. Verification Reliab..

A Language for Modelling False Data Injection Attacks in Internet of Things

Fabrice Bouquet, Mathieu Briland, F. Bouquet, 2021, 2021 IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT).