( en | de | ru )

 

Disambiguation of "Peureux, Fabien"

Author of the publication

copydeleteadd this publication to your clipboard
Preamble computation in automated test case generation using constraint logic programming.

, , and . Softw. Test. Verification Reliab., 14 (3): 213-235 (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.

Fabien Guilmineau

Fabien Abeille

Fabien Amarger

Fabien Gandon

Fabien Leurent

 

Other publications of authors with the same name

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)Requirements traceability in automated test generation: application to smart card software validation., , , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)Mastering Test Generation from Smart Card Software Formal Models., , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , and . JFPLC, page 125-144. Hermes, (2000)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)Controlling test case explosion in test generation from B formal models., , and . Softw. Test. Verification Reliab., 14 (2): 81-103 (2004)A Test Generation Solution to Automate Software Testing., , , and . AST, page 45-48. ACM, (2008)MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned., , , and . ISSRE Workshops, page 66-70. IEEE Computer Society, (2014)CLPS-B - A constraint solver to animate a B specification., , and . Int. J. Softw. Tools Technol. Transf., 6 (2): 143-157 (2004)