Author of the publication

Smartesting CertifyIt: Model-Based Testing for Enterprise IT.

, and . ICST, page 391-397. IEEE Computer Society, (2013)

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

A domain-specific language to design false data injection tests for air traffic control systems., , , and . Int. J. Softw. Tools Technol. Transf., 24 (2): 127-158 (2022)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , and . AITest, page 83-90. IEEE, (2020)Requirements traceability in the model-based testing process., and . Software Engineering (Workshops), volume P-106 of LNI, page 45-54. GI, (2007)Model-Based Testing from UML Models., , , , , , and . GI Jahrestagung (2), volume P-94 of LNI, page 223-230. GI, (2006)Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences., and . JFPLC, page 255-. Hermes, (1996)A Test Generation Solution to Automate Software Testing., , , and . AST, page 45-48. ACM, (2008)Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS., and . JFPL, page 18-34. (1992)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , and . JFPLC, page 125-144. Hermes, (2000)Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes., , and . JFPLC, page 95-. Hermes, (1998)Regression Test Generation by Usage Coverage Driven Clustering on User Traces., , , and . ICSTW, page 82-89. IEEE, (2023)