default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabrice Bouquet
Person information
- affiliation: Université de Franche-Comté, Besançon, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c51]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: 842-851- 2023
- [c50]Jessy Colonval
, Fabrice Bouquet:
Multidimensional Adaptative kNN over Tracking Outliers (Makoto). ADMA (1) 2023: 535-550 - [c49]Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard:
Regression Test Generation by Usage Coverage Driven Clustering on User Traces. ICSTW 2023: 82-89 - 2022
- [c48]Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau:
Clustering of Usage Traces for Regression Test Cases Selection. ICST Workshops 2022: 138-145 - 2021
- [j12]Mathieu Briland, Fabrice Bouquet:
An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices. J. Univers. Comput. Sci. 27(7): 774-792 (2021) - [c47]Mathieu Briland, Fabrice Bouquet:
A Language for Modelling False Data Injection Attacks in Internet of Things. SERP4IoT 2021: 1-8 - [i1]Mathieu Briland, Fabrice Bouquet:
A Language for Modelling False Data Injection Attacks in Internet of Things. CoRR abs/2104.09294 (2021) - 2020
- [c46]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: 83-90
2010 – 2019
- 2018
- [j11]Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Bruno Legeard:
Chapter One - Model-Based Testing for Internet of Things Systems. Adv. Comput. 108: 1-58 (2018) - [j10]Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin:
Contract-based testing for PHP with Praspel. J. Syst. Softw. 136: 209-222 (2018) - [c45]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: 107-116 - 2016
- [j9]Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte:
Recent Advances in Model-Based Testing. Adv. Comput. 101: 53-120 (2016) - [c44]Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard:
Model-Based Testing as a Service for IoT Platforms. ISoLA (2) 2016: 727-742 - 2015
- [c43]Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. FSEN 2015: 230-237 - [c42]Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM 2015: 134-152 - 2014
- [j8]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): 499-531 (2014) - [c41]Jean-Marie Gauthier, Dominique Gendreau, Ahmed Hammad, Fabrice Bouquet:
Modeling and simulation of modular complex system: Application to air-jet conveyor. AIM 2014: 1194-1199 - [c40]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: 147-156 - 2013
- [c39]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: 134-151 - [c38]Fabrice Bouquet, Fabien Peureux, Fabrice Ambert:
Model-Based Testing for Functional and Security Test Generation. FOSAD 2013: 1-33 - [c37]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: 192-201 - [c36]Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet:
A Constraint Solver for PHP Arrays. ICST Workshops 2013: 218-223 - [c35]Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet:
Strategies Comparison of Test Generation from UML Using SMT Solver. ICST Workshops 2013: 224-229 - [c34]Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. MODELSWARD 2013: 123-128 - 2012
- [j7]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): 637-649 (2012) - [c33]Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet:
Grammar-Based Testing Using Realistic Domains in PHP. ICST 2012: 509-518 - [c32]Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon:
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. ICST 2012: 834-841 - [c31]Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet:
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. OCL@MoDELS 2012: 55-60 - 2011
- [j6]Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
SysML to UML model transformation for test generation purpose. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c30]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: 272-279 - [c29]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: 159-162 - [c28]Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon:
Selective Test Generation Method for Evolving Critical Systems. ICST Workshops 2011: 125-134 - [c27]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: 134-143 - [p1]Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet:
Test Generation Using Symbolic Animation of Models. Model-Based Testing for Embedded Systems 2011 - 2010
- [c26]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: 54-61 - [c25]Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet:
Assessing the Quality of B Models. SEFM 2010: 83-90 - [c24]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: 167-182
2000 – 2009
- 2009
- [j5]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): 107-129 (2009) - [c23]Vincent Pretre, Fabrice Bouquet, Christophe Lang:
Using Common Criteria to Assess Quality of Web Services. ICST Workshops 2009: 295-302 - 2008
- [c22]Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux:
A Test Generation Solution to Automate Software Testing. AST 2008: 45-48 - [c21]Vincent Pretre, Fabrice Bouquet, Christophe Lang:
Automating UML models merge for web services testing. iiWAS 2008: 55-62 - 2007
- [c20]Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting:
A subset of precise UML for model-based testing. A-MOST 2007: 95-104 - [c19]Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108 - [c18]Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert:
JML2B: Checking JML Specifications with B Machines. B 2007: 285-288 - [c17]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: 61-72 - 2006
- [c16]Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes:
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006 - [c15]Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand:
Safety Property Driven Test Generation from. FATES/RV 2006: 225-239 - [c14]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard:
Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443 - [c13]Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre:
Model-Based Testing from UML Models. GI Jahrestagung (2) 2006: 223-230 - 2005
- [j4]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): 1-7 (2005) - [c12]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 - [c11]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting:
Symbolic Animation of JML Specifications. FM 2005: 75-90 - [c10]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard:
How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110 - [c9]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting:
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS 2005: 551-556 - [c8]Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert:
Checking JML Specifications with B Machines. ZB 2005: 434-453 - 2004
- [j3]Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6(2): 143-157 (2004) - [c7]Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85 - [c6]Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet:
Faster Analysis of Formal Specifications. ICFEM 2004: 239-258 - 2003
- [j2]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): 203-216 (2003) - [c5]Fabrice Bouquet, Bruno Legeard:
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. FME 2003: 778-795 - [c4]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: 203-216 - 2002
- [c3]Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204 - 2000
- [c2]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: 125-144
1990 – 1999
- 1997
- [j1]Fabrice Bouquet, Philippe Jégou:
Using OBDDs to Handle Dynamic Constraints. Inf. Process. Lett. 62(3): 111-120 (1997) - 1995
- [c1]Fabrice Bouquet, Philippe Jégou:
Solving Over-Constrained CSPs Using Weighted OBDDs. Over-Constrained Systems 1995: 293-308
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
