( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A subset of precise UML for model-based testing.

, , , , , и . A-MOST, стр. 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.

Fabien Guilmineau

Fabien Abeille

Fabien Amarger

Fabien Gandon

Fabien Leurent

 

Другие публикации лиц с тем же именем

Requirements traceability in automated test generation: application to smart card software validation., , , , и . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)Automated Boundary Testing from Z and B., , и . FME, том 2391 из Lecture Notes in Computer Science, стр. 21-40. Springer, (2002)B-Testing-Tools : génération de tests aux limites à partir de spécifications B., и . Technique et Science Informatiques, 21 (9): 1189-1218 (2002)Mastering Test Generation from Smart Card Software Formal Models., , , и . CASSIS, том 3362 из Lecture Notes in Computer Science, стр. 70-85. Springer, (2004)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , и . JFPLC, стр. 125-144. Hermes, (2000)Tooled Process for Early Validation of SysML Models Using Modelica Simulation., , , и . FSEN, том 9392 из Lecture Notes in Computer Science, стр. 230-237. Springer, (2015)A Test Generation Solution to Automate Software Testing., , , и . AST, стр. 45-48. ACM, (2008)MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned., , , и . ISSRE Workshops, стр. 66-70. IEEE Computer Society, (2014)A Comparison of the BTT and TTF Test-Generation Methods., , и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 309-329. Springer, (2002)CLPS-B - A Constraint Solver for B., , и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2002)