- 4
- 1
GS
Gerson Sunyé
5
Documents
Identifiants chercheurs
- sunye
- 0000-0001-6407-8075
- IdRef : 151750467
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 2
|
Un outil d'assistance à la construction de tests de modèles à composants et services16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès
hal-01628306v1
|
|
COSTOTest: a tool for building and running test harness for service-based component models (demo)ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, Jul 2016, Saarbrücken, Germany. pp.437-440, ⟨10.1145/2931037.2948704⟩
Communication dans un congrès
hal-01436067v1
|
The Bosco Project - A JMI-Compliant Template-based Code Generator13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering. (IASSE-2004, 2004, Nice, France. pp.157-162
Communication dans un congrès
hal-00448041v1
|
|
The Bosco Project, A JMI-Compliant Template-based Code GeneratorISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004, Nice, France, France. pp.157--162
Communication dans un congrès
hal-00458122v1
|
Un cadre pour la vérification de modèles UML2005
Autre publication scientifique
hal-00458117v1
|