Publications

View all 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 - État de situation sur l’hybridité de la formation à 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 = {État de situation sur l'hybridité de la formation à 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 = {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 = {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 = {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