( en | de | ru )

 

Disambiguation of "Bouquet, Fabrice"

Author of the publication

copydeleteadd this publication to your clipboard
Mastering Test Generation from Smart Card Software Formal Models.

, , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antoine Bouquet

Fritz Bouquet

Stefanie Bouquet

Fabrice Lacombe

Fabrice Nahon

 

Other publications of authors with the same name

A subset of precise UML for model-based testing., , , , , and . A-MOST, page 95-104. ACM, (2007)Faster Analysis of Formal Specifications., , , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 239-258. Springer, (2004)A Language for Modelling False Data Injection Attacks in Internet of Things., and . SERP4IoT, page 1-8. IEEE, (2021)Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , and . MODELSWARD, page 123-128. SciTePress, (2013)Solving Over-Constrained CSPs Using Weighted OBDDs., and . Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 293-308. Springer, (1995)Test Generation Using Symbolic Animation of Models., , , , , , and . Model-Based Testing for Embedded Systems, CRC Press, (2011)Model-Based Testing of Cryptographic Components - Lessons Learned from Experience., , , , , and . ICST, page 192-201. IEEE Computer Society, (2013)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , and . AITest, page 83-90. IEEE, (2020)Clustering of Usage Traces for Regression Test Cases Selection., , and . ICST Workshops, page 138-145. IEEE, (2022)Model-Based Testing from UML Models., , , , , , and . GI Jahrestagung (2), volume P-94 of LNI, page 223-230. GI, (2006)