Add to ORKGInternational audienceUMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conformance test suites for protocols. Both tools are connected so that it is possible to specify an application in UML and derive automatically some test cases. In this article, the integration of those tools in an industrial process is evaluated through a case study. This case study, proposed by Gemplus, is a Java Card applet: a classical electronic purse
International audienceThis paper presents the results of a work done in the Software Factory / MoDri...
The goal of this research is the study of a methodology to convert design-level specifications of co...
[[abstract]]This paper describes the architecture and operations of a test system NGNAS-SIOTP. NGNAS...
International audienceUMLAUT is a framework for building tools dedicated to the manipulation of mode...
Abstract: UMLAUT is a framework for building tools dedicated to the manipula-tion of models describe...
UMLAUT is a framework for building tools dedicated to the manipulation of models described using th...
UML models focus primarily on the definition of system structure and behaviour, but provide only lim...
International audienceA mass market in reusable components demands a high level of component quality...
Unified Modeling Language (UML) is a standard language for modeling of a system. UML is used to visu...
Abstract. We describe a comprehensive approach for conformance testing of reactive systems. Based on...
The Unified Modeling Language (UML) is a visual language to support the design and development of co...
Novel techniques and a toolset are presented for automatically testing the conformance of software i...
Testing activities that are based on models are becoming increasingly popular. UML models represent ...
In this paper we investigate and propose a fully automated technique to perform conformance checking...
The Object Management Group (OMG) provides the UML Testing Profile for the model-driven specificatio...
International audienceThis paper presents the results of a work done in the Software Factory / MoDri...
The goal of this research is the study of a methodology to convert design-level specifications of co...
[[abstract]]This paper describes the architecture and operations of a test system NGNAS-SIOTP. NGNAS...
International audienceUMLAUT is a framework for building tools dedicated to the manipulation of mode...
Abstract: UMLAUT is a framework for building tools dedicated to the manipula-tion of models describe...
UMLAUT is a framework for building tools dedicated to the manipulation of models described using th...
UML models focus primarily on the definition of system structure and behaviour, but provide only lim...
International audienceA mass market in reusable components demands a high level of component quality...
Unified Modeling Language (UML) is a standard language for modeling of a system. UML is used to visu...
Abstract. We describe a comprehensive approach for conformance testing of reactive systems. Based on...
The Unified Modeling Language (UML) is a visual language to support the design and development of co...
Novel techniques and a toolset are presented for automatically testing the conformance of software i...
Testing activities that are based on models are becoming increasingly popular. UML models represent ...
In this paper we investigate and propose a fully automated technique to perform conformance checking...
The Object Management Group (OMG) provides the UML Testing Profile for the model-driven specificatio...
International audienceThis paper presents the results of a work done in the Software Factory / MoDri...
The goal of this research is the study of a methodology to convert design-level specifications of co...
[[abstract]]This paper describes the architecture and operations of a test system NGNAS-SIOTP. NGNAS...