Author of the publication

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.

 

Other publications of authors with the same name

Requirements traceability in automated test generation: application to smart card software validation., , , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)B-Testing-Tools : génération de tests aux limites à partir de spécifications B., and . Technique et Science Informatiques, 21 (9): 1189-1218 (2002)Automated Boundary Testing from Z and B., , and . FME, volume 2391 of Lecture Notes in Computer Science, page 21-40. Springer, (2002)Mastering Test Generation from Smart Card Software Formal Models., , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)A subset of precise UML for model-based testing., , , , , and . A-MOST, page 95-104. ACM, (2007)Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , and . MODELSWARD, page 123-128. SciTePress, (2013)Test Generation Using Symbolic Animation of Models., , , , , , and . Model-Based Testing for Embedded Systems, CRC Press, (2011)Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance., , , , and . ICST Workshops, page 143-152. IEEE, (2020)Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study., and . ASE, page 377-381. IEEE Computer Society, (2001)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , and . JFPLC, page 125-144. Hermes, (2000)