( en | de | ru )

 

Disambiguation of "Peureux, Fabien"

Author of the publication

copydeleteadd this publication to your clipboard
A Test Generation Solution to Automate Software Testing.

, , , and . AST, page 45-48. ACM, (2008)

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 Gandon

Fabien Abeille

Fabien Amarger

Fabien Leurent

 

Other publications of authors with the same name

Boundary Coverage Criteria for Test Generation from Formal Models., , , and . ISSRE, page 139-150. IEEE Computer Society, (2004)A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing., , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 134-152. Springer, (2015)A Comparison of the BTT and TTF Test-Generation Methods., , and . ZB, volume 2272 of Lecture Notes in Computer Science, page 309-329. Springer, (2002)CLPS-B - A Constraint Solver for B., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 188-204. Springer, (2002)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)A subset of precise UML for model-based testing., , , , , and . A-MOST, page 95-104. ACM, (2007)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)