Add to ORKGState Machine Language (AsmL). Our environment supports semi-automatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment.
International audienceTest generation has been acknowledged as a cost-prone activity reducing produc...
Testing is the dominant technique for quality assurance of software systems. It typically consumes c...
This paper presents an approach to automated generation of executable test code from class models re...
AbstractAs part of Microsofts Trustworthy Computing [Trustworthy Computing : Reliability URL http://...
AsmL is a specification system for software modeling, test generation, test validation, and implemen...
This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for te...
This paper explains how object models written in the Unified Modeling Language (UML) can be translat...
Testing plays an important role at ASML. Test frameworks have become so complex, with dozens of inte...
System vendors focus more and more on the quality of a system instead of increasing functionality. T...
Process mining allows for the automated discovery of process models from event logs. These models pr...
In this paper, we present the AsmetaVBDD tool that automatically translates the scenarios written in...
International audienceThe success and the massive adoption of Web applications and services are push...
Abstract. Modeling is a popular way of representing the behavior of a system. A very useful type of ...
In software system development, formal models are used to precisely specify the initial requirements...
Model-based testing is the technique relying on behaviour models of the system under test and/or its...
International audienceTest generation has been acknowledged as a cost-prone activity reducing produc...
Testing is the dominant technique for quality assurance of software systems. It typically consumes c...
This paper presents an approach to automated generation of executable test code from class models re...
AbstractAs part of Microsofts Trustworthy Computing [Trustworthy Computing : Reliability URL http://...
AsmL is a specification system for software modeling, test generation, test validation, and implemen...
This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for te...
This paper explains how object models written in the Unified Modeling Language (UML) can be translat...
Testing plays an important role at ASML. Test frameworks have become so complex, with dozens of inte...
System vendors focus more and more on the quality of a system instead of increasing functionality. T...
Process mining allows for the automated discovery of process models from event logs. These models pr...
In this paper, we present the AsmetaVBDD tool that automatically translates the scenarios written in...
International audienceThe success and the massive adoption of Web applications and services are push...
Abstract. Modeling is a popular way of representing the behavior of a system. A very useful type of ...
In software system development, formal models are used to precisely specify the initial requirements...
Model-based testing is the technique relying on behaviour models of the system under test and/or its...
International audienceTest generation has been acknowledged as a cost-prone activity reducing produc...
Testing is the dominant technique for quality assurance of software systems. It typically consumes c...
This paper presents an approach to automated generation of executable test code from class models re...