Fabrice Bouquet

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 13

Top Topics

Test Generation

Top Venues

Softw. Test. Verification Reliab.

Publications

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
Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and Performance. BIOSTEC (1) (2024)
Jessy Colonval, Fabrice Bouquet
Multidimensional Adaptative kNN over Tracking Outliers (Makoto). ADMA (1) (2023)
Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard
Regression Test Generation by Usage Coverage Driven Clustering on User Traces. ICSTW (2023)
Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau
Clustering of Usage Traces for Regression Test Cases Selection. ICST Workshops (2022)
Mathieu Briland, Fabrice Bouquet
An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices. J. Univers. Comput. Sci. 27 (7) (2021)
Mathieu Briland, Fabrice Bouquet
A Language for Modelling False Data Injection Attacks in Internet of Things. SERP4IoT (2021)
Mathieu Briland, Fabrice Bouquet
A Language for Modelling False Data Injection Attacks in Internet of Things. CoRR (2021)
Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet
Identifying and Generating Missing Tests using Machine Learning on Execution Traces. AITest (2020)
Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Bruno Legeard
Chapter One - Model-Based Testing for Internet of Things Systems. Adv. Comput. 108 (2018)
Nicolas Diot, Fabrice Bouquet, Christophe Lang
Une approche passive pour réduire les coûts de traitement des interactions entre agents (présentation courte). JFSMA (2018)
Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin
Contract-based testing for PHP with Praspel. J. Syst. Softw. 136 (2018)
Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard
Model-Based Testing as a Service for IoT Platforms. ISoLA (2) (2016)
Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte
Recent Advances in Model-Based Testing. Adv. Comput. 101 (2016)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM (2015)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. FSEN (2015)
Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. SERE (2014)
Jean-Marie Gauthier, Dominique Gendreau, Ahmed Hammad, Fabrice Bouquet
Modeling and simulation of modular complex system: Application to air-jet conveyor. AIM (2014)
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
Test generation with Satisfiability Modulo Theories solvers in model-based testing. Softw. Test. Verification Reliab. 24 (7) (2014)
Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet
A Constraint Solver for PHP Arrays. ICST Workshops (2013)
Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
Model-Based Testing for Functional and Security Test Generation. FOSAD (2013)
Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle
Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. ICST (2013)
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. ECMFA (2013)
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
Strategies Comparison of Test Generation from UML Using SMT Solver. ICST Workshops (2013)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. MODELSWARD (2013)
Lionel Droz-Bartholet, Jean-Christophe Lapayre, Fabrice Bouquet, Éric Garcia, A. Heinisch
Ramos: Concurrent writing and reconfiguration for collaborative systems. J. Parallel Distributed Comput. 72 (5) (2012)
Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. ICST (2012)
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. OCL@MoDELS (2012)
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
Grammar-Based Testing Using Realistic Domains in PHP. ICST (2012)
Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon
Selective Test Generation Method for Evolving Critical Systems. ICST Workshops (2011)
Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi
Model-Based Security Verification and Testing for Smart-cards. ARES (2011)
Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux
SysML to UML model transformation for test generation purpose. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, Nicolas Marilleau
Modelling of Complex Systems with AML as Realized in MIRO Project. Web Intelligence/IAT Workshops (2011)
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
Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave (2011)
Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops (2010)
Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet
Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP@TOOLS (2010)
Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet
Assessing the Quality of B Models. SEFM (2010)
Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau
Automated UML models merging for web services testing. Int. J. Web Grid Serv. 5 (2) (2009)
Vincent Pretre, Fabrice Bouquet, Christophe Lang
Using Common Criteria to Assess Quality of Web Services. ICST Workshops (2009)
Vincent Pretre, Fabrice Bouquet, Christophe Lang
Automating UML models merge for web services testing. iiWAS (2008)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux
A Test Generation Solution to Automate Software Testing. AST (2008)
Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti
Instantiation of Parameterized Data Structures for Model-Based Testing. B (2007)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting
A subset of precise UML for model-based testing. A-MOST (2007)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
JML2B: Checking JML Specifications with B Machines. B (2007)
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
Using Computer Science Modeling Techniques for Airport Security Certification. RCIS (2007)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
Automated Boundary Test Generation from JML Specifications. FM (2006)
Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre
Model-Based Testing from UML Models. GI Jahrestagung (2) (2006)
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V (2006)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
Safety Property Driven Test Generation from. FATES/RV (2006)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS (2005)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
Checking JML Specifications with B Machines. ZB (2005)
Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting
Requirements traceability in automated test generation: application to smart card software validation. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
Symbolic Animation of JML Specifications. FM (2005)
Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting
Requirements traceability in automated test generation: application to smart card software validation. A-MOST (2005)
Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
Faster Analysis of Formal Specifications. ICFEM (2004)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux
CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre
Mastering Test Generation from Smart Card Software Formal Models. CASSIS (2004)
Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. Tech. Sci. Informatiques 22 (1) (2003)
Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. JFPLC (2003)
Fabrice Bouquet, Bruno Legeard
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. FME (2003)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux
CLPS-B - A Constraint Solver for B. TACAS (2002)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py
Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. JFPLC (2000)
Fabrice Bouquet, Philippe Jégou
Using OBDDs to Handle Dynamic Constraints. Inf. Process. Lett. 62 (3) (1997)
Fabrice Bouquet, Philippe Jégou
Solving Over-Constrained CSPs Using Weighted OBDDs. Over-Constrained Systems (1995)