L'institut

FEMTO-ST

Annuaire

Vous êtes ici

• Accueil
• Fabrice Bouquet

Fabrice Bouquet

Département DISC
équipe VESONTIO

UFC - UFR ST

Courriel :

fbouquet [at] femto-st.fr

03.81.66.66.64

Adresse :

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Publications de Fabrice Bouquet

Voir toutes les publications (86)2021 (2)2020 (2)2019 (1)2018 (2)2016 (3)2015 (6)2014 (6)2013 (7)2012 (10)2011 (10)2010 (10)2009 (6)2008 (4)2007 (7)2006 (9)2004 (1)

2021 (2)

• article - An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices
  Journal of Universal Computer Science, (J.USC) (Volume 27, Issue (7), jul 2021, Pages :774 - 792)
  Briland, Mathieu | Bouquet, Fabrice
  
  doi
• inproceedings - A Language for Modelling False Data Injection Attacks in Internet of Things
  3rd International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2021) / Online (Electronic Conference), Online (Electronic Conference) (2021)
  Briland, Mathieu | Bouquet, Fabrice
  
  pdf | bibtex@inproceedings{1e8ec251-41d2-4a4a-8a8a-299f1fe02b7a, title = {A Language for Modelling False Data Injection Attacks in Internet of Things}, author = {Briland, Mathieu and Bouquet, Fabrice}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {3rd International Workshop on Software Engineering Research \& Practices for the Internet of Things (SERP4IoT 2021)}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/17706/documents/author/data} }

2020 (2)

• incollection - État de situation sur l’hybridité de la formation à distance en contexte postsecondaire
  La double alternance, ou quand l’utilisation de l’hybridation de la formation permet d’accroître l’immersion des apprenants en entreprise (Volume 2 - Ce qu’en disent les recherches, Series Formation à distance | Distance Learning, Chapter 6, oct 2020, Pages 123 - 138)
  Bouquet, Fabrice | Briot, Marc
  
  bibtex@incollection{2e6df77c-91f4-4e2b-ad34-56677cf2b0ec, title = {État de situation sur l'hybridité de la formation à distance en contexte postsecondaire}, author = {Bouquet, Fabrice and Briot, Marc}, year = {2020}, booktitle = {La double alternance, ou quand l'utilisation de l'hybridation de la formation permet d'accro\^itre l'immersion des apprenants en entreprise}, chapter = {6}, month = {oct}, pages = {123 - 138}, volume = {2 - Ce qu'en disent les recherches}, series = {Formation \`a distance | Distance Learning} }
• inproceedings - Identifying and Generating Missing Tests using Machine Learning on Execution Traces
  2ème IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020) / Oxford, United Kingdom (2020, Pages pages 83 - 90)
  Utting, Mark | Legeard, Bruno | Dadeau, Frédéric | Tamagnan, Frédéric | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{58a5c38d-9650-478d-adf9-3803592da86c, title = {Identifying and Generating Missing Tests using Machine Learning on Execution Traces }, author = {Utting, Mark and Legeard, Bruno and Dadeau, Fr\'ed\'eric and Tamagnan, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2020}, address = {Oxford, United Kingdom}, booktitle = {2\`eme IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020)}, editor = {58a5c38d-9650-478d-adf9-3803592da86c-editor.pdf}, month = {jul}, pages = {83 - 90}, url = {https://publiweb.femto-st.fr/tntnet/entries/16470/documents/author/data}, doi = {10.1109/AITEST49225.2020.00020} }

2019 (1)

• incollection - Pratiques et innovations à l'ère du numérique en formation à distance
  Dispositif d’apprentissage en langue à distance pour la mise à niveau et le renforcement en anglais et en enseignement à distance à l’Université de Franche-Comté (jul 2019, Pages 159 - 184)
  Bouquet, Fabrice | Briot, Marc | Georges, Valéry | Raclot, Annabelle
  
  bibtex@incollection{40852286-f7c9-4860-bbd1-f6db05976c0f, title = {Pratiques et innovations \`a l'\`ere du num\'erique en formation \`a distance}, author = {Bouquet, Fabrice and Briot, Marc and Georges, Val\'ery and Raclot, Annabelle}, year = {2019}, booktitle = {Dispositif d'apprentissage en langue \`a distance pour la mise \`a niveau et le renforcement en anglais et en enseignement \`a distance \`a l'Universit\'e de Franche-Comt\'e}, month = {jul}, pages = {159 - 184} }

2018 (2)

• article - Contract-based testing for PHP with Praspel
  Journal of Systems and Software (Volume 136, feb 2018, Pages :209 - 222)
  Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice | Enderlin, Ivan
  
  doi
• article - Volume 108
  (Volume 108, jan 2018, Pages :1 - 58)
  Ahmad, Abbas | Fourneret, Elizabeta | Bouquet, Fabrice | Legeard, Bruno
  
  doi

2016 (3)

• inproceedings - Model-Based Testing as a Service for IoT Platforms
  7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016) / Corfu, Greece (Volume 9953, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 727 - 742)
  Ahmad, Abbas | Bouquet, Fabrice | Fourneret, Elizabeta | Le Gall, Franck | Legeard, Bruno
  
  pdf | doi | bibtex@inproceedings{ac4cab4e-05fe-4d9f-9189-577cfb70b08f, title = {Model-Based Testing as a Service for IoT Platforms}, author = {Ahmad, Abbas and Bouquet, Fabrice and Fourneret, Elizabeta and Le Gall, Franck and Legeard, Bruno}, year = {2016}, address = {Corfu, Greece}, booktitle = {7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016)}, month = {oct}, pages = {727 - 742}, url = {https://publiweb.femto-st.fr/tntnet/entries/14359/documents/author/data}, volume = {9953}, doi = {10.1007/978-3-319-47169-3_55}, series = {Lecture Notes in Computer Science (LNCS)} }
• incollection - Advances in Computers
  Recent Advances in Model-Based Testing (Publisher : Elsevier, Editor : Atif Memon, Volume 101, Edition : 1st, Series Advances in Computers, Chapter 2, mar 2016, Pages 53 - 120)
  Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@incollection{ulbf+15:bc, title = {Advances in Computers}, author = {Utting, Mark and Legeard, Bruno and Bouquet, Fabrice and Fourneret, Elizabeta and Peureux, Fabien and Vernotte, Alexandre}, year = {2016}, booktitle = {Recent Advances in Model-Based Testing}, chapter = {2}, edition = {1st}, editor = {Atif Memon}, month = {mar}, pages = {53 - 120}, volume = {101}, doi = {10.1016/bs.adcom.2015.11.004}, publisher = {Elsevier}, series = {Advances in Computers} }
• unpublished - Le test logiciel dans le cycle de vie d'applications (mar 2016)
  Bouquet, Fabrice
  
  bibtex@unpublished{222d4287-7344-4a18-a8a9-d04eb966b389, title = {Le test logiciel dans le cycle de vie d'applications}, author = {Bouquet, Fabrice}, year = {2016}, month = {mar} }

2015 (6)

• inproceedings - A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
  17th International Conference on Formal Engineering Methods (ICFEM 2015 ) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 134 - 152)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | bibtex@inproceedings{gbhp15b:ip, title = {A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015 )}, month = {nov}, pages = {134 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/11855/documents/author/data}, volume = {9407}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Tooled Process for Early Validation of SysML Models using Modelica Simulation
  6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) / Teheran, Iran, Islamic Republic Of (Publisher : Springer, Volume 9392, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 230 - 237)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{gbhp15:ip, title = {Tooled Process for Early Validation of SysML Models using Modelica Simulation}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Teheran, Iran, Islamic Republic Of}, booktitle = {6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015)}, month = {apr}, pages = {230 - 237}, url = {https://publiweb.femto-st.fr/tntnet/entries/10118/documents/author/data}, volume = {9392}, doi = {10.1007/978-3-319-24644-4_16}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• incollection - Simulation spatiale à base d'agents avec NetLogo, partie 1
  Introduction à l'approche agent (Publisher : ISTE, The International Society for Technology in Education, Edition : 1st, Series Systèmes d'information, web et informatique ubiquitaire, Chapter 1, feb 2015, Pages 15 - 36)
  Bouquet, Fabrice | Chipeaux, Sébastien | Lang, Christophe | Marilleau, Nicolas | Taillandier, Patrick
  
  bibtex@incollection{bclm+15:bc, title = {Simulation spatiale \`a base d'agents avec NetLogo, partie 1}, author = {Bouquet, Fabrice and Chipeaux, S\'ebastien and Lang, Christophe and Marilleau, Nicolas and Taillandier, Patrick}, year = {2015}, booktitle = {Introduction \`a l'approche agent}, chapter = {1}, edition = {1st}, month = {feb}, pages = {15 - 36}, publisher = {ISTE, The International Society for Technology in Education}, series = {Syst\`emes d'information, web et informatique ubiquitaire} }
• incollection - Formalismes de description des modèles agent
  Simulation spatiale à base d'agents avec NetLogo 1 (Publisher : ISTE, The International Society for Technology in Education, Editor : Arnaud Banos, Christophe Lang, Nicolas Marilleau, Edition : 1sft, Series Systèmes d'information, web et informatique ubiquitaire, feb 2015, Pages 37 - 72)
  Bouquet, Fabrice | Sheeren, David | Becu, Nicolas | Gaudou, Benoit | Lang, Christophe | Marilleau, Nicolas | Monteil, Claude
  
  bibtex@incollection{bsbg+15:bc, title = {Formalismes de description des mod\`eles agent}, author = {Bouquet, Fabrice and Sheeren, David and Becu, Nicolas and Gaudou, Benoit and Lang, Christophe and Marilleau, Nicolas and Monteil, Claude}, year = {2015}, booktitle = {Simulation spatiale \`a base d'agents avec NetLogo 1}, edition = {1sft}, editor = {Arnaud Banos, Christophe Lang, Nicolas Marilleau}, month = {feb}, pages = {37 - 72}, publisher = {ISTE, The International Society for Technology in Education}, series = {Syst\`emes d'information, web et informatique ubiquitaire} }
• incollection - Agent-based Spatial Simulation with Netlogo
  Introduction to the Agent Approach (Publisher : Elsevier, Editor : Banos, Arnaud and Lang, Christophe and Marilleau, Nicolas, Volume Volume 1: Introduction and Bases, Chapter 1, jan 2015, Pages 1 - 28)
  Bouquet, Fabrice | Chipeaux, Sébastien | Lang, Christophe | Marilleau, Nicolas | Nicod, Jean-Marc | Taillandier, Patrick
  
  bibtex@incollection{429d264c-040f-47de-a350-c034dce65e61, title = {Agent-based Spatial Simulation with Netlogo}, author = {Bouquet, Fabrice and Chipeaux, S\'ebastien and Lang, Christophe and Marilleau, Nicolas and Nicod, Jean-Marc and Taillandier, Patrick}, year = {2015}, booktitle = {Introduction to the Agent Approach}, chapter = {1}, editor = {Banos, Arnaud and Lang, Christophe and Marilleau, Nicolas}, month = {jan}, pages = {1 - 28}, volume = {Volume 1: Introduction and Bases}, publisher = {Elsevier} }
• incollection - Agent-based Spatial Simulation with Netlogo
  Description Formalisms in Agent Models (Editor : Banos, Arnaud and Lang, Christophe and Marilleau, Nicolas, Volume Volume 1: Introduction and Bases, Chapter 2, jan 2015, Pages 29 - 73)
  Bouquet, Fabrice | Sheeren, David | Becu, Nicolas | Gaudou, Benoit | Lang, Christophe | Marilleau, Nicolas | Monteil, Claude
  
  bibtex@incollection{64f0a24f-b6cf-48ce-a214-debd32386d9b, title = {Agent-based Spatial Simulation with Netlogo}, author = {Bouquet, Fabrice and Sheeren, David and Becu, Nicolas and Gaudou, Benoit and Lang, Christophe and Marilleau, Nicolas and Monteil, Claude}, year = {2015}, booktitle = {Description Formalisms in Agent Models}, chapter = {2}, editor = {Banos, Arnaud and Lang, Christophe and Marilleau, Nicolas}, month = {jan}, pages = {29 - 73}, volume = {Volume 1: Introduction and Bases}, doi = {10.1016/B978-1-78548-055-3.50002-2} }

2014 (6)

• inproceedings - Formation sur les méthodes de test et de validation des logiciels
  (2014)
  Ambert, Fabrice | Bouquet, Fabrice | Gauthier, Jean-Marie | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@inproceedings{9ab7908b-684f-4a59-96b0-3e31755e6597, title = {Formation sur les m\'ethodes de test et de validation des logiciels}, author = {Ambert, Fabrice and Bouquet, Fabrice and Gauthier, Jean-Marie and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, month = {nov} }
• inproceedings - Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor
  13th IEEE International Conference on Advanced Intelligent Mechatronics (AIM 2014) / Besançon, France (2014, Pages pages 1194 - 1199)
  Gauthier, Jean-Marie | Gendreau, Dominique | Hammad, Ahmed | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{18a297c7-dd5c-4187-bec6-2b4aa820fc20, title = {Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor}, author = {Gauthier, Jean-Marie and Gendreau, Dominique and Hammad, Ahmed and Bouquet, Fabrice}, year = {2014}, address = {Besan\c{c}on, France}, booktitle = {13th IEEE International Conference on Advanced Intelligent Mechatronics (AIM 2014)}, month = {jul}, pages = {1194 - 1199}, url = {https://publiweb.femto-st.fr/tntnet/entries/7402/documents/author/data}, doi = {10.1109/AIM.2014.6878244}, organization = {IEEE} }
• inproceedings - 7ème rencontre sur les pratiques du test
  (2014)
  Bouquet, Fabrice
  
  bibtex@inproceedings{71032dc2-ee54-4aee-a1d0-f528ac0de31a, title = {7\`eme rencontre sur les pratiques du test}, author = {Bouquet, Fabrice}, year = {2014}, month = {jun} }
• inproceedings - SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
  8th International Conference on Software Security and Reliability (SERE 2014) / San Francisco (CA), United States (Publisher : IEEE, 2014, Pages pages 147 - 156)
  Fourneret, Elizabeta | Cantenot, Jérôme | Bouquet, Fabrice | Legeard, Bruno | Botella, Julien
  
  pdf | doi | bibtex@inproceedings{fcbl+14:ip, title = {SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models}, author = {Fourneret, Elizabeta and Cantenot, J\'er\^ome and Bouquet, Fabrice and Legeard, Bruno and Botella, Julien}, year = {2014}, address = {San Francisco (CA), United States}, booktitle = {8th International Conference on Software Security and Reliability (SERE 2014)}, month = {jun}, pages = {147 - 156}, url = {http://dx.doi.org/10.1109/SERE.2014.28}, doi = {10.1109/SERE.2014.28}, publisher = {IEEE} }
• article - Test generation with SMT solvers in Model Based Testing
  Software Testing, Verification and Reliability (Volume 24, Issue (7), may 2014, Pages :499 - 531)
  Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
  
  doi
• incollection - Foundations of Security Analysis and Design VII
  Model-Based Testing for Functional and Security Test Generation (Publisher : Springer, Volume 8604, Series Lecture Notes in Computer Science (LNCS), jan 2014, Pages 1 - 33)
  Bouquet, Fabrice | Peureux, Fabien | Ambert, Fabrice
  
  pdf | bibtex@incollection{bpa14:bc, title = {Foundations of Security Analysis and Design VII}, author = {Bouquet, Fabrice and Peureux, Fabien and Ambert, Fabrice}, year = {2014}, booktitle = {Model-Based Testing for Functional and Security Test Generation}, month = {jan}, pages = {1 - 33}, url = {http://dx.doi.org/10.1007/978-3-319-10082-1_1}, volume = {8604}, doi = {10.1007/978-3-319-10082-1_1}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2013 (7)

• inproceedings - Formation sur la démarche de test en développement logiciel
  (2013)
  Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@inproceedings{f7728078-3312-416c-8c3e-e608ed0e0f34, title = {Formation sur la d\'emarche de test en d\'eveloppement logiciel}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {dec} }
• inproceedings - Journées nationales du Developpement Logiciel (JDEV'2013)
  (2013)
  Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@inproceedings{f5efe41d-2f96-4794-bb3d-78aef131b94d, title = {Journ\'ees nationales du Developpement Logiciel (JDEV'2013)}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {sep} }
• inproceedings - Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
  ECMFA'13, 9-th European Conference on Modelling Foundations and Applications / Montpellier, France (Publisher : Springer, Volume 7949, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 134 - 151)
  Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{abll+13:ip, title = {Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2013}, address = {Montpellier, France}, booktitle = {ECMFA'13, 9-th European Conference on Modelling Foundations and Applications}, month = {jul}, pages = {134 - 151}, url = {https://publiweb.femto-st.fr/tntnet/entries/5960/documents/author/data}, volume = {7949}, doi = {10.1007/978-3-642-39013-5_10}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - A Constraint Solver for PHP Arrays
  ICST Workshops / Luxembourg, Luxembourg (2013, Pages pages 218 - 223)
  Enderlin, Ivan | Giorgetti, Alain | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{0689a6d3-e6d9-4ac7-bade-43a021b246cc, title = {A Constraint Solver for PHP Arrays}, author = {Enderlin, Ivan and Giorgetti, Alain and Bouquet, Fabrice}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {ICST Workshops}, month = {mar}, pages = {218 - 223}, url = {https://publiweb.femto-st.fr/tntnet/entries/5746/documents/author/data}, doi = {10.1109/ICSTW.2013.80}, organization = {IEEE}, publisher = {IEEE} }
• inproceedings - Strategies Comparison of Test Generation from UML Using SMT Solver
  CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 224--229)
  Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{cab13:ip, title = {Strategies Comparison of Test Generation from UML Using SMT Solver}, author = {Cantenot, J\'er\^ome and Ambert, Fabrice and Bouquet, Fabrice}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013}, month = {mar}, pages = {224--229}, url = {http://dx.doi.org/10.1109/ICSTW.2013.71}, doi = {10.1109/ICSTW.2013.71}, publisher = {IEEE} }
• inproceedings - Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience
  ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation (2013, Pages pages 192--201)
  Botella, Julien | Bouquet, Fabrice | Capuron, Jean-François | Lebeau, Franck | Legeard, Bruno | Schadle, Florence
  
  pdf | doi | bibtex@inproceedings{bbcl+13:ip, title = {Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience}, author = {Botella, Julien and Bouquet, Fabrice and Capuron, Jean-Fran\c{c}ois and Lebeau, Franck and Legeard, Bruno and Schadle, Florence}, year = {2013}, booktitle = {ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {192--201}, url = {http://dx.doi.org/10.1109/ICST.2013.42}, doi = {10.1109/ICST.2013.42} }
• inproceedings - Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
  MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 123 - 128)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | bibtex@inproceedings{gbph13:oip, title = {Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {123 - 128}, url = {https://publiweb.femto-st.fr/tntnet/entries/5976/documents/author/data} }

2012 (10)

• inproceedings - Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
  VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle / Lisbon, Portugal (2012, Pages pages 139--144)
  Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
  
  pdf | bibtex@inproceedings{abll12:ip, title = {Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2012}, address = {Lisbon, Portugal}, booktitle = {VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle}, month = {nov}, pages = {139--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/357/documents/author/data} }
• inproceedings - Model-Based Security Testing - Experience report for security component testing at the French Department of Defense
  MBTUC'12, User Conference on Model-Based Testing / Tallinn, Estonia (Publisher : ETSI, 2012)
  Bouquet, Fabrice | Legeard, Bruno | Lebeau, Franck | Capuron, Jean-François
  
  bibtex@inproceedings{bllc12:oip, title = {Model-Based Security Testing - Experience report for security component testing at the French Department of Defense}, author = {Bouquet, Fabrice and Legeard, Bruno and Lebeau, Franck and Capuron, Jean-Fran\c{c}ois}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {MBTUC'12, User Conference on Model-Based Testing}, month = {oct}, publisher = {ETSI} }
• inproceedings - Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
  OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012 / Innsbruck, Austria (2012, Pages pages 55--60)
  Cantenot, Jérôme | Bouquet, Fabrice | Ambert, Fabrice
  
  doi | bibtex@inproceedings{cba12:ip, title = {Transformation rules from UML4MBT meta-model to SMT meta-model for model animation}, author = {Cantenot, J\'er\^ome and Bouquet, Fabrice and Ambert, Fabrice}, year = {2012}, address = {Innsbruck, Austria}, booktitle = {OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012}, month = {sep}, pages = {55--60}, doi = {10.1145/2428516.2428526} }
• article - Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems
  Journal of Parallel and Distributed Computing (Volume 72, Issue (5), may 2012, Pages :637 - 649)
  Droz-Bartholet, Lionel | Lapayre, Jean-Christophe | Bouquet, Fabrice | Garcia, Eric | Heinisch, Alexander
  
  pdf | doi
• inproceedings - Transformation of SysML structure diagrams to VHDL-AMS
  dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 74--81)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{gbhp12:ip, title = {Transformation of SysML structure diagrams to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2012}, address = {Besan\c{c}on, France}, booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS}, editor = {Bourgeois, Julien and de Labachelerie, Michel}, month = {apr}, pages = {74--81}, url = {https://publiweb.femto-st.fr/tntnet/entries/593/documents/author/data}, doi = {10.1109/dMEMS.2012.12} }
• inproceedings - Grammar-Based Testing using Realistic Domains in PHP
  A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Los Alamitos, CA, United States (Publisher : IEEE, 2012, Pages pages 509--518)
  Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{edgb12:ip, title = {Grammar-Based Testing using Realistic Domains in PHP}, author = {Enderlin, Ivan and Dadeau, Fr\'ed\'eric and Giorgetti, Alain and Bouquet, Fabrice}, year = {2012}, address = {Los Alamitos, CA, United States}, booktitle = {A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {apr}, pages = {509--518}, url = {https://publiweb.femto-st.fr/tntnet/entries/692/documents/author/data}, doi = {10.1109/ICST.2012.136}, publisher = {IEEE} }
• inproceedings - Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
  SECTEST 2012, 3rd Int. Workshop on Security Testing, co-located with ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Montreal, Canada (Publisher : IEEE, 2012, Pages pages 834--841)
  Paci, Federica | Massacci, Fabio | Bouquet, Fabrice | Debricon, Stéphane
  
  pdf | doi | bibtex@inproceedings{pmbd12:ip, title = {Managing Evolution by Orchestrating Requirements and Testing Engineering Processes}, author = {Paci, Federica and Massacci, Fabio and Bouquet, Fabrice and Debricon, St\'ephane}, year = {2012}, address = {Montreal, Canada}, booktitle = {SECTEST 2012, 3rd Int. Workshop on Security Testing, co-located with ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {apr}, pages = {834--841}, url = {http://dx.doi.org/10.1109/ICST.2012.184}, doi = {10.1109/ICST.2012.184}, publisher = {IEEE} }
• misc - Hydra MBT-onFly
  (mar 2012)
  Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
  
  bibtex@misc{bapl+12:soft, title = {Hydra MBT-onFly}, author = {Bouquet, Fabrice and Ambert, Fabrice and Peureux, Fabien and Lorrain, Julien and Sermier, Thomas}, year = {2012}, month = {mar} }
• inproceedings - Model-Based Testing Aujourd'hui
  (2012)
  Bouquet, Fabrice
  
  bibtex@inproceedings{bouquet12:it, title = {Model-Based Testing Aujourd'hui}, author = {Bouquet, Fabrice}, year = {2012}, month = {jan} }
• inproceedings - Vérification et Test pour des systèmes évolutifs
  AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Grenoble, France (2012, Pages pages 150--164)
  Fourneret, Elizabeta | Bouquet, Fabrice | Ochoa, Martin | Jürjens, Jan | Wenzel, Sven
  
  bibtex@inproceedings{fboj+12:np, title = {V\'erification et Test pour des syst\`emes \'evolutifs}, author = {Fourneret, Elizabeta and Bouquet, Fabrice and Ochoa, Martin and J\"urjens, Jan and Wenzel, Sven}, year = {2012}, address = {Grenoble, France}, booktitle = {AFADL'12, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jan}, pages = {150--164} }

2011 (10)

• techreport - Preuve de la garantie de la séquentialité du système collaboratif RAMOS
  (dec 2011, Research Report)
  Droz-Bartholet, Lionel | Bouquet, Fabrice | Lapayre, Jean-Christophe | Garcia, Eric
  
  bibtex@techreport{bblg11:ir, title = {Preuve de la garantie de la s\'equentialit\'e du syst\`eme collaboratif RAMOS}, author = {Droz-Bartholet, Lionel and Bouquet, Fabrice and Lapayre, Jean-Christophe and Garcia, Eric}, year = {2011}, month = {dec} }
• inproceedings - Graphical Model of MAS for Verification and Validation (Software engineering point of view)
  (2011)
  Bouquet, Fabrice
  
  bibtex@inproceedings{bouquet11:it, title = {Graphical Model of MAS for Verification and Validation (Software engineering point of view)}, author = {Bouquet, Fabrice}, year = {2011}, month = {nov} }
• book - Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test
  Dunod (nov 2011)
  Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
  
  pdf | bibtex@book{lbp11:bc, title = {Industrialiser le test fonctionnel. Pour ma\^itriser les risques m\'etier et accro\^itre l'efficacit\'e du test}, author = {Legeard, Bruno and Bouquet, Fabrice and Pickaert, Natacha}, year = {2011}, month = {nov}, url = {http://hal.inria.fr/hal-00645019}, publisher = {Dunod}, series = {Collection InfoPro} }
• inproceedings - Orchestrating Security and System Engineering for Evolving Systems
  Towards a Service-Based Internet / Poznan, Poland (Volume 6994, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 134--143)
  Massacci, Fabio | Bouquet, Fabrice | Fourneret, Elizabeta | Jürjens, Jan | Lund, Mass | Madelénat, Sébastien | Muehlberg, JanTobias | Paci, Federica | Paul, Stéphane | Piessens, Frank | Solhaug, Bjornar | Wenzel, Sven
  
  pdf | doi | bibtex@inproceedings{mbfj+11:it, title = {Orchestrating Security and System Engineering for Evolving Systems}, author = {Massacci, Fabio and Bouquet, Fabrice and Fourneret, Elizabeta and J\"urjens, Jan and Lund, Mass and Madel\'enat, S\'ebastien and Muehlberg, JanTobias and Paci, Federica and Paul, St\'ephane and Piessens, Frank and Solhaug, Bjornar and Wenzel, Sven}, year = {2011}, address = {Poznan, Poland}, booktitle = {Towards a Service-Based Internet}, month = {oct}, pages = {134--143}, url = {http://dx.doi.org/10.1007/978-3-642-24755-2_12}, volume = {6994}, doi = {10.1007/978-3-642-24755-2_12}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - UML/OCL based impact analysis to test evolving critical software
  ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf. / Ohrid, Macedonia (2011, Pages pages 73--79)
  Fourneret, Elizabeta | Bouquet, Fabrice
  
  bibtex@inproceedings{fb11:oip, title = {UML/OCL based impact analysis to test evolving critical software}, author = {Fourneret, Elizabeta and Bouquet, Fabrice}, year = {2011}, address = {Ohrid, Macedonia}, booktitle = {ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf.}, month = {sep}, pages = {73--79} }
• inproceedings - Model-Based Security Verification and Testing for Smart-cards
  ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security / Vienna, Austria (2011, Pages pages 272--279)
  Fourneret, Elizabeta | Ochoa, Martin | Bouquet, Fabrice | Botella, Julien | Jürjens, Jan | Yousefi, Parvaneh
  
  bibtex@inproceedings{fobj+11:ip, title = {Model-Based Security Verification and Testing for Smart-cards}, author = {Fourneret, Elizabeta and Ochoa, Martin and Bouquet, Fabrice and Botella, Julien and J\"urjens, Jan and Yousefi, Parvaneh}, year = {2011}, address = {Vienna, Austria}, booktitle = {ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security}, month = {aug}, pages = {272--279} }
• inproceedings - Modelling of complex systems with AML as realized in MIRO project
  LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology) / Lyon, France (2011, Pages pages 159--162)
  Chipeaux, Sébastien | Bouquet, Fabrice | Lang, Christophe | Marilleau, Nicolas
  
  pdf | doi | bibtex@inproceedings{cblm11:ip, title = {Modelling of complex systems with AML as realized in MIRO project}, author = {Chipeaux, S\'ebastien and Bouquet, Fabrice and Lang, Christophe and Marilleau, Nicolas}, year = {2011}, address = {Lyon, France}, booktitle = {LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology)}, month = {aug}, pages = {159--162}, url = {http://dx.doi.org/10.1109/WI-IAT.2011.195}, doi = {10.1109/WI-IAT.2011.195} }
• inproceedings - Selective Test Generation Method for Evolving Critical Systems
  REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 125--134)
  Fourneret, Elizabeta | Bouquet, Fabrice | Dadeau, Frédéric | Debricon, Stéphane
  
  pdf | doi | bibtex@inproceedings{fbdd11:ip, title = {Selective Test Generation Method for Evolving Critical Systems}, author = {Fourneret, Elizabeta and Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Debricon, St\'ephane}, year = {2011}, address = {Berlin, Germany}, booktitle = {REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011}, month = {mar}, pages = {125--134}, url = {http://dx.doi.org/10.1109/ICSTW.2011.95}, doi = {10.1109/ICSTW.2011.95} }
• misc - Using Topcased for Model-Based Testing
  First TopCased Days, Toulouse, France (feb 2011)
  Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
  
  bibtex@misc{lasalle11:onp, title = {Using Topcased for Model-Based Testing}, author = {Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude}, year = {2011}, address = {Toulouse, France}, booktitle = {1st TOPCASED Days (2011)}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/554/documents/author/data} }
• incollection - Test Generation using Symbolic Animation of Models
  Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
  Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
  
  pdf | bibtex@incollection{dplt+10:bc, title = {Test Generation using Symbolic Animation of Models}, author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Tissot, R\'egis and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2011}, booktitle = {Model-Based Testing for Embedded Systems}, pages = {195--218}, url = {https://publiweb.femto-st.fr/tntnet/entries/797/documents/author/data}, publisher = {CRC Press}, series = {Series on Computational Analysis, Synthesis, and Design of Dynamic Systems} }

2010 (10)

• inproceedings - SysML to UML model transformation for test generation purpose
  UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods / Shanghai, China (Volume 36, Issue 1, Series SIGSOFT Software Engineering Notes, 2010, Pages pages 1--8)
  Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{lblp10:ip, title = {SysML to UML model transformation for test generation purpose}, author = {Lasalle, Jonathan and Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien}, year = {2010}, address = {Shanghai, China}, booktitle = {UML\&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods}, month = {nov}, number = {1}, pages = {1--8}, url = {https://publiweb.femto-st.fr/tntnet/entries/285/documents/author/data}, volume = {36}, doi = {10.1145/1921532.1921560}, series = {SIGSOFT Software Engineering Notes} }
• misc - Critères génériques de comparaison de méthodes de modélisation de systèmes complexes pour la génération de simulations multi-agents
  CoMMISCo'10, 1ère Conférence Modélisation Mathématique et Informatique des Systèmes Complexes, IRD Bondy, France (oct 2010)
  Chipeaux, Sébastien | Bouquet, Fabrice | Lang, Christophe | Marilleau, Nicolas
  
  bibtex@misc{cblm10:onp, title = {Crit\`eres g\'en\'eriques de comparaison de m\'ethodes de mod\'elisation de syst\`emes complexes pour la g\'en\'eration de simulations multi-agents}, author = {Chipeaux, S\'ebastien and Bouquet, Fabrice and Lang, Christophe and Marilleau, Nicolas}, year = {2010}, address = {Bondy, France}, booktitle = {1\`ere Conf\'erence Mod\'elisation Math\'ematique et Informatique des Syst\`emes Complexes (CoMMISCO 2010)}, month = {oct} }
• inproceedings - Assessing the Quality of B Models
  SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods / Pisa, Italy (2010, Pages pages 83--90)
  De Kermadec, Adrien | Dadeau, Frédéric | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{dkdb10:ip, title = {Assessing the Quality of B Models}, author = {de Kermadec, Adrien and Dadeau, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2010}, address = {Pisa, Italy}, booktitle = {SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods}, month = {sep}, pages = {83--90}, url = {http://dx.doi.org/10.1109/SEFM.2010.17}, doi = {10.1109/SEFM.2010.17} }
• techreport - Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software
  (sep 2010, Technical Report)
  Fourneret, Elizabeta | Bouquet, Fabrice
  
  bibtex@techreport{fb10:ir, title = {Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software}, author = {Fourneret, Elizabeta and Bouquet, Fabrice}, year = {2010}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/120/documents/author/data} }
• inproceedings - Building a Test-ready Abstraction of a Behavioral Model using CLP
  TAP'10, 4-th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 167--182)
  Bue, Pierre-Christophe | Dadeau, Frédéric | De Kermadec, Adrien | Bouquet, Fabrice
  
  bibtex@inproceedings{bddkb10:ip, title = {Building a Test-ready Abstraction of a Behavioral Model using CLP}, author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and de Kermadec, Adrien and Bouquet, Fabrice}, year = {2010}, address = {Malaga, Spain}, booktitle = {TAP'10, 4-th Int. Conf. on Tests and Proofs}, editor = {Fraser, G. and Gargantini, A.}, month = {jul}, pages = {167--182}, volume = {6143}, series = {Lecture Notes in Computer Science (LNCS)} }
• article - VETESS : IDM, Test et SysML
  Génie Logiciel (Volume 93, jun 2010, Pages :43 - 48)
  Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
  
  pdf
• inproceedings - Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
  10èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010) / Poitiers, France (2010, Pages pages 11 - 25)
  Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
  
  pdf | bibtex@inproceedings{bjmb10:np, title = {Associer des techniques de preuve et de r\'esolution de contraintes pour la construction d'abstractions}, author = {Bue, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2010}, address = {Poitiers, France}, booktitle = {10\`emes Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2010)}, month = {jun}, pages = {11 - 25}, url = {https://publiweb.femto-st.fr/tntnet/entries/426/documents/author/data} }
• misc - VETESS : IDM, Test et SysML
  7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France (may 2010)
  Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
  
  bibtex@misc{fmwa+10:onp, title = {VETESS : IDM, Test et SysML}, author = {Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude}, year = {2010}, address = {Toulouse, France}, booktitle = {7th Nice Environment with a Process and Tools Using Norms and Example Workshop (Neptune Workshop 2010)}, month = {may}, url = {https://publiweb.femto-st.fr/tntnet/entries/552/documents/author/data} }
• inproceedings - Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
  3rd IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2010) / Paris, France (2010, Pages pages 54 - 61)
  Bouquet, Fabrice | Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
  
  pdf | doi | bibtex@inproceedings{bbjm10:ip, title = {Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests}, author = {Bouquet, Fabrice and Bue, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2010}, address = {Paris, France}, booktitle = {3rd IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2010)}, month = {apr}, pages = {54 - 61}, url = {https://publiweb.femto-st.fr/tntnet/entries/253/documents/author/data}, doi = {10.1109/ICSTW.2010.47} }
• article - An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
  Journal of Information Assurance and Security (JIAS) (Volume 5, Issue (1), 2010, Pages :335 - 351)
  Masson, Pierre-Alain | Potet, Marie-Laure | Julliand, Jacques | Tissot, Régis | Debois, Georges | Legeard, Bruno | Chetali, Boutheina | Bouquet, Fabrice | Jaffuel, Eddie | Van Aertrick, Lionel | Andronick, June | Haddad, Amal
  
  pdf

2009 (6)

• article - Le Model-Based Testing aligne exigences métier et référentiel de tests
  IT-Expert, La reference technique on-line des professionnels de l'informatique (Volume 82, nov 2009, Pages :26--33)
  Legeard, Bruno | Bouquet, Fabrice
  
• techreport - Test Generation Based on Abstraction and Dynamic Selection Criteria
  (sep 2009, Research Report)
  Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe
  
  bibtex@techreport{bbjm09:ir, title = {Test Generation Based on Abstraction and Dynamic Selection Criteria}, author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2009}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/108/documents/author/data} }
• book - Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés)
  Dunod (apr 2009)
  Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
  
  bibtex@book{lbp09:bc, title = {Industrialiser le test fonctionnel (des exigences m\'etier au r\'ef\'erentiel de tests automatis\'es)}, author = {Legeard, Bruno and Bouquet, Fabrice and Pickaert, Natacha}, year = {2009}, month = {apr}, publisher = {Dunod}, series = {Collection InfoPro} }
• inproceedings - From Business Processes to Integration Testing
  IDM'09, 5èmes journées sur l'Ingéniérie Dirigée par les Modèles / Nancy, France (Volume 1, 2009)
  Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane
  
  pdf | bibtex@inproceedings{dbl09:np, title = {From Business Processes to Integration Testing}, author = {Debricon, St\'ephane and Bouquet, Fabrice and Legeard, Bruno}, year = {2009}, address = {Nancy, France}, booktitle = {IDM'09, 5\`emes journ\'ees sur l'Ing\'eni\'erie Dirig\'ee par les Mod\`eles}, editor = {Zendra, Olivier}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/420/documents/author/data}, volume = {1} }
• inproceedings - Génération de tests à partir de critères dynamiques de sélection et par abstraction
  AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels / Toulouse, France (2009, Pages pages 161--176)
  Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe
  
  pdf | bibtex@inproceedings{bbjm09:np, title = {G\'en\'eration de tests \`a partir de crit\`eres dynamiques de s\'election et par abstraction}, author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2009}, address = {Toulouse, France}, booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jan}, pages = {161--176}, url = {https://publiweb.femto-st.fr/tntnet/entries/417/documents/author/data} }
• article - Automated UML models merging for web services testing
  International Journal of Web and Grid Services (IJWGS) (Volume 5, Issue (2), 2009, Pages :107 - 129)
  Pretre, Vincent | De Kermadec, Adrien | Bouquet, Fabrice | Lang, Christophe | Dadeau, Frédéric
  
  pdf | doi

2008 (4)

• techreport - Automating UML models merging: application of the method
  (dec 2008, Research Report)
  Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
  
  bibtex@techreport{pbl08:ir, title = {Automating UML models merging: application of the method}, author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe}, year = {2008}, month = {dec}, url = {https://publiweb.femto-st.fr/tntnet/entries/105/documents/author/data} }
• inproceedings - Agent based modelling of complex systems with AML and the situation calculus
  ABS2, Int. workshop on Agent Based Spatial Simulation / Paris, France (2008)
  Bouquet, Fabrice | Lang, Christophe | Giorgetti, Alain | Brocard, Thibaud
  
  pdf | bibtex@inproceedings{bbgl08:oip, title = {Agent based modelling of complex systems with AML and the situation calculus}, author = {Brocard, Thibaud and Bouquet, Fabrice and Giorgetti, Alain and Lang, Christophe}, year = {2008}, address = {Paris, France}, booktitle = {ABS2, Int. workshop on Agent Based Spatial Simulation}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/488/documents/author/data} }
• inproceedings - A test generation solution to automate software testing
  AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 45--48)
  Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe
  
  pdf | doi | bibtex@inproceedings{bglp08:oip, title = {A test generation solution to automate software testing}, author = {Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien and Grandpierre, Christophe}, year = {2008}, address = {Leipzig, Germany}, booktitle = {AST'08, 3rd Int. workshop on Automation of Software Test}, month = {may}, pages = {45--48}, url = {https://publiweb.femto-st.fr/tntnet/entries/483/documents/author/data}, doi = {http://doi.acm.org/10.1145/1370042.1370052} }
• inproceedings - Automating UML Models Merge for Web Services Testing
  iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services / Linz, Austria (2008, Pages pages 55--62)
  Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
  
  pdf | doi | bibtex@inproceedings{pbl08:ip, title = {Automating UML Models Merge for Web Services Testing}, author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe}, year = {2008}, address = {Linz, Austria}, booktitle = {iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services}, pages = {55--62}, url = {https://publiweb.femto-st.fr/tntnet/entries/205/documents/author/data}, doi = {http://doi.acm.org/10.1145/1497308.1497322} }

2007 (7)

• inproceedings - A Model-Based Validation Framework for Web Services
  STV07, Procs of the 5th workshop on Systems Testing and Validation / Paris, France (2007, Pages pages 63--76)
  Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
  
  pdf | bibtex@inproceedings{pbl07:oip, title = {A Model-Based Validation Framework for Web Services}, author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe}, year = {2007}, address = {Paris, France}, booktitle = {STV07, Procs of the 5th workshop on Systems Testing and Validation}, month = {dec}, pages = {63--76}, url = {https://publiweb.femto-st.fr/tntnet/entries/476/documents/author/data} }
• inproceedings - A subset of precise UML for model-based testing
  A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 95--104)
  Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe | Vacelet, Nicolas
  
  pdf | doi | bibtex@inproceedings{bglp+07:ip, title = {A subset of precise UML for model-based testing}, author = {Utting, Mark and Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien and Grandpierre, Christophe and Vacelet, Nicolas}, year = {2007}, address = {London, United Kingdom}, booktitle = {A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing}, month = {jul}, pages = {95--104}, url = {https://publiweb.femto-st.fr/tntnet/entries/178/documents/author/data}, doi = {http://doi.acm.org/10.1145/1291535.1291545} }
• inproceedings - Towards automatic control for microfactories
  5th Int. Conf. on Industrial automation / Montréal, Québec, Canada (2007, Pages pages ***--***)
  Bouquet, Fabrice | Philippe, Laurent | Debricon, Stéphane | Descourvieres, Eric | Gendreau, Dominique | Lutz, Philippe
  
  pdf | bibtex@inproceedings{ddgl+07:ip, title = {Towards automatic control for microfactories}, author = {Descourvi\`eres, E. and Debricon, St\'ephane and Gendreau, Dominique and Lutz, Philippe and Philippe, Laurent and Bouquet, Fabrice}, year = {2007}, address = {Montr\'eal, Qu\'ebec, Canada}, booktitle = {5th Int. Conf. on Industrial automation}, month = {jun}, pages = {***--***}, url = {https://publiweb.femto-st.fr/tntnet/entries/861/documents/author/data}, organization = {ETS} }
• inproceedings - Using Computer Science Modeling Techniques for Airport Security Certification
  RCIS'07, 1st Int. Conf. on Research Challenges in Information Science / Ouarzazate, Morocco (2007, Pages pages 61--72)
  Ledru, Yves | Bouquet, Fabrice | Laleau, Régine | Vignes, Sylvie | Lemoine, Michel | Bert, Didier | Dubois, Catherine | Viguié Donzeau-Gouge, Véronique.
  
  bibtex@inproceedings{llbb+07:ip, title = {Using Computer Science Modeling Techniques for Airport Security Certification}, author = {Laleau, R\'egine and Ledru, Yves and Bert, Didier and Bouquet, Fabrice and Lemoine, Michel and Dubois, Catherine and Vignes, Sylvie and Vigui\'e Donzeau-Gouge, V\'eronique.}, year = {2007}, address = {Ouarzazate, Morocco}, booktitle = {RCIS'07, 1st Int. Conf. on Research Challenges in Information Science}, month = {apr}, pages = {61--72} }
• inproceedings - Instantiation of Parameterized Data Structures for Model-Based Testing
  B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 96--110)
  Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
  
  pdf | doi | bibtex@inproceedings{bcdg07:ip, title = {Instantiation of Parameterized Data Structures for Model-Based Testing}, author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {96--110}, url = {https://publiweb.femto-st.fr/tntnet/entries/167/documents/author/data}, volume = {4355}, doi = {10.1007/11955757_10}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - JML2B: Checking JML specifications with B machines
  B'2007, the 7th Int. B Conference - Tool Session / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 285--288)
  Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
  
  bibtex@inproceedings{bdg07:oip, title = {JML2B: Checking JML specifications with B machines}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference - Tool Session}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {285--288}, volume = {4355}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - EDEMOI: a methodology for security of air transport system
  EUCASS'10, 2nd European Conference on Aerospace Sciences (2007)
  Lemoine, Michel | R. Lopez Ruiz, Eduardo | Ledru, Yves | Bert, Didier | Laleau, Régine | Peureux, Fabien | Bouquet, Fabrice | Donzeau-Gouge, Véronique | Dubois, Catherine | Etienne, Jean-Frédéric | Vignes, Sylvie
  
  bibtex@inproceedings{lrlplb+07:oip, title = {EDEMOI: a methodology for security of air transport system}, author = {Lemoine, Michel and R. Lopez Ruiz, Eduardo and Ledru, Yves and Bert, Didier and Laleau, R\'egine and Peureux, Fabien and Bouquet, Fabrice and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Etienne, Jean-Fr\'ed\'eric and Vignes, Sylvie}, year = {2007}, booktitle = {EUCASS'10, 2nd European Conference on Aerospace Sciences} }

2006 (9)

• inproceedings - Model-based Testing from UML Models
  Model-Based Testing Workshop (MBT 2006) / Dresden, Germany (Volume P-94, Series Lecture Notes in Informatics (LNI), 2006, Pages pages 223 - 230)
  Bernard, Eddy | Bouquet, Fabrice | Charbonnier, Amandine | Legeard, Bruno | Peureux, Fabien | Utting, Mark | Torreborre, Eric
  
  pdf | bibtex@inproceedings{bbcl+06:ip, title = {Model-based Testing from UML Models}, author = {Bernard, Eddy and Bouquet, Fabrice and Charbonnier, Amandine and Legeard, Bruno and Peureux, Fabien and Utting, Mark and Torreborre, Eric}, year = {2006}, address = {Dresden, Germany}, booktitle = {Model-Based Testing Workshop (MBT 2006)}, editor = {bbcl+06:ip-editor.pdf}, month = {oct}, pages = {223 - 230}, url = {https://publiweb.femto-st.fr/tntnet/entries/759/documents/author/data}, volume = {P-94}, series = {Lecture Notes in Informatics (LNI)} }
• inproceedings - Extending the Unified Process with Model-Based Testing
  MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification / Genova, Italy (2006, Pages pages 2--15)
  Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane | Nicolet, Jean-Baptiste
  
  pdf | bibtex@inproceedings{bdln06:ip, title = {Extending the Unified Process with Model-Based Testing}, author = {Legeard, Bruno and Bouquet, Fabrice and Debricon, St\'ephane and Nicolet, Jean-Baptiste}, year = {2006}, address = {Genova, Italy}, booktitle = {MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification}, month = {oct}, pages = {2--15}, url = {https://publiweb.femto-st.fr/tntnet/entries/156/documents/author/data} }
• inproceedings - Model-Based Security Testing, Application to a Smart Card Identity Applet
  eSmart 2006, 7th Int. Conf. on Smart Cards / Sophia-Antipolis, France (2006)
  Bouquet, Fabrice | Celletti, F. | Debois, Georges | De Lavernette, A. | Jaffuel, Eddie | Julliand, Jacques | Legeard, Bruno | Lidoine, J. | Plessis, J.-C. | Masson, Pierre-Alain
  
  bibtex@inproceedings{bcddl+06:oip, title = {Model-Based Security Testing, Application to a Smart Card Identity Applet}, author = {Bouquet, Fabrice and Celletti, F. and Debois, Georges and De Lavernette, A. and Jaffuel, Eddie and Julliand, Jacques and Legeard, Bruno and Lidoine, J. and Plessis, J.-C. and Masson, Pierre-Alain}, year = {2006}, address = {Sophia-Antipolis, France}, booktitle = {eSmart 2006, 7th Int. Conf. on Smart Cards}, month = {sep} }
• inproceedings - Automated Boundary Test Generation from JML Specifications
  FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 428--443)
  Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
  
  bibtex@inproceedings{bdl06:ip, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Hamilton, Canada}, booktitle = {FM'06, 14th Int. Conf. on Formal Methods}, editor = {Nipkow, T. and Misra, J.}, month = {aug}, pages = {428--443}, volume = {4085}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Safety Property Driven Test Generation from JML Specifications
  1st International Workshops Formal Approaches to Software Testing and International Conference on Runtime Verification (FATES/RV 2006) / Seatte, United States (Volume 4262, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 225 - 239)
  Bouquet, Fabrice | Dadeau, Frédéric | Groslambert, Julien | Julliand, Jacques
  
  pdf | doi | bibtex@inproceedings{bdgj06:ip, title = {Safety Property Driven Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien and Julliand, Jacques}, year = {2006}, address = {Seatte, United States}, booktitle = {1st International Workshops Formal Approaches to Software Testing and International Conference on Runtime Verification (FATES/RV 2006)}, month = {aug}, pages = {225 - 239}, url = {https://publiweb.femto-st.fr/tntnet/entries/151/documents/author/data}, volume = {4262}, doi = {10.1007/11940197_15}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Validation of Regulation Documents by Automated Analysis of Formal Models
  REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06) / Luxembourg, Luxembourg (2006, Pages pages 800--805)
  Ledru, Yves | Bouquet, Fabrice | Vignes, Sylvie | Bert, Didier
  
  bibtex@inproceedings{bblv06:ip, title = {Validation of Regulation Documents by Automated Analysis of Formal Models}, author = {Bert, Didier and Bouquet, Fabrice and Ledru, Yves and Vignes, Sylvie}, year = {2006}, address = {Luxembourg, Luxembourg}, booktitle = {REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06)}, month = {jun}, pages = {800--805} }
• inproceedings - JML-Testing-Tools, un Animateur Symbolique de Spécifications JML
  AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels / Paris, France (2006)
  Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
  
  pdf | bibtex@inproceedings{bdl06:onp, title = {JML-Testing-Tools, un Animateur Symbolique de Sp\'ecifications JML}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Paris, France}, booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/522/documents/author/data} }
• techreport - Automated Boundary Test Generation from JML Specifications
  LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report)
  Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
  
  bibtex@techreport{bdl06:ir, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/686/documents/author/data}, institution = {LIFC - Laboratoire d'Informatique de l'Universit\'e de Franche-Comt\'e} }
• misc - JML2B - A Tool for Checking JML Specification with B Machines
  ( 2006)
  Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
  
  bibtex@misc{gdb06:soft, title = {JML2B - A Tool for Checking JML Specification with B Machines}, author = {Dadeau, Fr\'ed\'eric and Bouquet, Fabrice and Groslambert, Julien}, year = {2006}, url = {http://lifc.univ-fcomte.fr/ groslambert/JML2B} }

2004 (1)

• article - CLPS-B: A Constraint Solver to Animate a B Specification
  International Journal on Software Tools for Technology Transfer (STTT) (Volume 6, Issue (2), aug 2004, Pages :143 - 157)
  Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi