( en | de | ru )

 

Disambiguation of "Legeard, Bruno"

Author of the publication

copydeleteadd this publication to your clipboard
A taxonomy of model-based testing

, , and . (2006)

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.

Horst Bruno

Horst Bruno

Armin Bruno

Axel Brunold

Eugen Bruno

 

Other publications of authors with the same name

Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences., and . JFPLC, page 255-. Hermes, (1996)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)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)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , and . AITest, page 83-90. IEEE, (2020)Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS., and . JFPL, page 18-34. (1992)Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes., , and . JFPLC, page 95-. Hermes, (1998)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , and . JFPLC, page 125-144. Hermes, (2000)Set-Unification from Another Point of View., , and . ICLP Workshop on Logic Programming with Sets, (1993)LEIRIOS Test Generator: Automated Test Generation from B Models., and . B, volume 4355 of Lecture Notes in Computer Science, page 277-280. Springer, (2007)