( en | de | ru )

 

Disambiguation of "Peureux, Fabien"

Author of the publication

copydeleteadd this publication to your clipboard
A subset of precise UML for model-based testing.

, , , , , and . A-MOST, page 95-104. ACM, (2007)

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.

Fabien Guilmineau

Fabien Abeille

Fabien Amarger

Fabien Gandon

Fabien Leurent

 

Other publications of authors with the same name

Automated Boundary Testing from Z and B., , and . FME, volume 2391 of Lecture Notes in Computer Science, page 21-40. Springer, (2002)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)Mastering Test Generation from Smart Card Software Formal Models., , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)Tooled Process for Early Validation of SysML Models Using Modelica Simulation., , , and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 230-237. Springer, (2015)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , and . JFPLC, page 125-144. Hermes, (2000)A Test Generation Solution to Automate Software Testing., , , and . AST, page 45-48. ACM, (2008)Controlling test case explosion in test generation from B formal models., , and . Softw. Test. Verification Reliab., 14 (2): 81-103 (2004)MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned., , , and . ISSRE Workshops, page 66-70. IEEE Computer Society, (2014)Generation of test sequences from formal specifications: GSM 11-11 standard case study., , , and . Softw. Pract. Exp., 34 (10): 915-948 (2004)