Fabrice Bouquet

According to our database, Fabrice Bouquet authored at least 62 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and Performance.

Lionel Pazart, Vincent Armbruster, Debora Monin, Corinne Delorme, Monique Borel, Damien Le Nihouannen, Frédéric Barbot, Fabrice Bouquet, Guy Carrault, Thomas Lihoreau, Marlène Durand, Helène Clogenson, Sylvia Pelayo

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

2023

Regression Test Generation by Usage Coverage Driven Clustering on User Traces.

Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Multidimensional Adaptative kNN over Tracking Outliers (Makoto).

Jessy Colonval, Fabrice Bouquet

Proceedings of the Advanced Data Mining and Applications - 19th International Conference, 2023

2022

Clustering of Usage Traces for Regression Test Cases Selection.

Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

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

Mathieu Briland, Fabrice Bouquet

J. Univers. Comput. Sci., 2021

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

Mathieu Briland, Fabrice Bouquet

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT SERP4IoT 2021, 2021

2020

Identifying and Generating Missing Tests using Machine Learning on Execution Traces.

Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2018

Contract-based testing for PHP with Praspel.

Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin

J. Syst. Softw., 2018

Chapter One - Model-Based Testing for Internet of Things Systems.

Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Bruno Legeard

Adv. Comput., 2018

Une approche passive pour réduire les coûts de traitement des interactions entre agents (présentation courte).

Nicolas Diot, Fabrice Bouquet, Christophe Lang

Proceedings of the Distribution et Décentralisation, 2018

2016

Recent Advances in Model-Based Testing.

Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte

Adv. Comput., 2016

Model-Based Testing as a Service for IoT Platforms.

Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

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

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Proceedings of the Formal Methods and Software Engineering, 2015

Tooled Process for Early Validation of SysML Models Using Modelica Simulation.

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Test generation with Satisfiability Modulo Theories solvers in model-based testing.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Softw. Test. Verification Reliab., 2014

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models.

Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

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

Jean-Marie Gauthier, Dominique Gendreau, Ahmed Hammad, Fabrice Bouquet

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014

2013

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS.

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A Constraint Solver for PHP Arrays.

Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Strategies Comparison of Test Generation from UML Using SMT Solver.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Model-Based Testing of Cryptographic Components - Lessons Learned from Experience.

Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Model-Based Testing for Functional and Security Test Generation.

Fabrice Bouquet, Fabien Peureux, Fabrice Ambert

Proceedings of the Foundations of Security Analysis and Design VII, 2013

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing.

Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

2012

Ramos: Concurrent writing and reconfiguration for collaborative systems.

Lionel Droz-Bartholet, Jean-Christophe Lapayre, Fabrice Bouquet, Éric Garcia, A. Heinisch

J. Parallel Distributed Comput., 2012

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Managing Evolution by Orchestrating Requirements and Testing Engineering Processes.

Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Grammar-Based Testing Using Realistic Domains in PHP.

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

SysML to UML model transformation for test generation purpose.

Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux

ACM SIGSOFT Softw. Eng. Notes, 2011

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper).

Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass Soldal Lund, Sébastien Madelénat, Jan Tobias Mühlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjørnar Solhaug, Sven Wenzel

Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Selective Test Generation Method for Evolving Critical Systems.

Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Modelling of Complex Systems with AML as Realized in MIRO Project.

Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, Nicolas Marilleau

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

Model-Based Security Verification and Testing for Smart-cards.

Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi

Proceedings of the Sixth International Conference on Availability, 2011

Test Generation Using Symbolic Animation of Models.

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Assessing the Quality of B Models.

Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.

Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Third International Conference on Software Testing, 2010

2009

Automated UML models merging for web services testing.

Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau

Int. J. Web Grid Serv., 2009

Using Common Criteria to Assess Quality of Web Services.

Vincent Pretre, Fabrice Bouquet, Christophe Lang

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Automating UML models merge for web services testing.

Vincent Pretre, Fabrice Bouquet, Christophe Lang

Proceedings of the iiWAS'2008, 2008

A Test Generation Solution to Automate Software Testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

2007

Using Computer Science Modeling Techniques for Airport Security Certification.

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

JML2B: Checking JML Specifications with B Machines.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Instantiation of Parameterized Data Structures for Model-Based Testing.

Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti

Proceedings of the B 2007: Formal Specification and Development in B, 2007

A subset of precise UML for model-based testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Model-Based Testing from UML Models.

Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Automated Boundary Test Generation from JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard

Proceedings of the FM 2006: Formal Methods, 2006

Safety Property Driven Test Generation from.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Validation of Regulation Documents by Automated Analysis of Formal Models.

Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

Requirements traceability in automated test generation: application to smart card software validation.

Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting

ACM SIGSOFT Softw. Eng. Notes, 2005

Checking JML Specifications with B Machines.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

How Symbolic Animation Can Help Designing an Efficient Formal Model.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard

Proceedings of the Formal Methods and Software Engineering, 2005

Symbolic Animation of JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the FM 2005: Formal Methods, 2005

2004

CLPS-B - A constraint solver to animate a B specification.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Int. J. Softw. Tools Technol. Transf., 2004

Faster Analysis of Formal Specifications.

Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet

Proceedings of the Formal Methods and Software Engineering, 2004

Mastering Test Generation from Smart Card Software Formal Models.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre

Proceedings of the Construction and Analysis of Safe, 2004

2003

Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes.

Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet

Tech. Sci. Informatiques, 2003

Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study.

Fabrice Bouquet, Bruno Legeard

Proceedings of the FME 2003: Formal Methods, 2003

2002

CLPS-B - A Constraint Solver for B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py

Proceedings of the Programmation en logique avec contraintes, 2000

1997

Using OBDDs to Handle Dynamic Constraints.

Fabrice Bouquet, Philippe Jégou

Inf. Process. Lett., 1997

1995

Solving Over-Constrained CSPs Using Weighted OBDDs.

Fabrice Bouquet, Philippe Jégou

Proceedings of the Over-Constrained Systems, 1995