Fabrice Bouquet

68 papers A 5B 6C 6Journal 14Unranked 36

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