Add to ORKGThis paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specify-ing the test purposes as Timed CTL formulas, we employ a recently developed timed game solver UPPAAL-TIGA to synthesize winning strategies, and then use these strategies to conduct conformance testing of the systems. The test-ing process is proved to be sound and complete with respect to the given test purposes. Case study and preliminary ex-perimental results indicate that this is a viable approach to real-time system testing. 1
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
We propose a generic game-based approach for test case generation. We set up a game between the test...
Abstract. Testing is an important step in validation process of critical systems. Black box testing ...
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By...
AbstractThis paper deals with targeted testing of timed systems whose models may have uncontrollable...
Abstract. This paper deals with targeted testing of timed systems with uncontrollable behavior. The ...
International audiencePartial observability and controllability are two well-known issues in test-ca...
We present a generalization of the classical theory of testing for Mealy machines to a setting of de...
The rapid development of complex and safety-critical systems requires the use of reliable verificati...
AbstractWe present a generalization of the classical theory of testing for Mealy machines to a setti...
Colloque avec actes et comité de lecture.Many critical, real-time systems or multimedia systems have...
We present a generalization of the classical theory of testing for Mealy machines to a setting of de...
International audiencePartial observability and controllability are two well-known issues in test-ca...
Abstract. We present a new technique and tool for testing of embedded systems using real-time online...
In this paper, we report on our main research contributions dealing with Model-Based Testing of Dyna...
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
We propose a generic game-based approach for test case generation. We set up a game between the test...
Abstract. Testing is an important step in validation process of critical systems. Black box testing ...
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By...
AbstractThis paper deals with targeted testing of timed systems whose models may have uncontrollable...
Abstract. This paper deals with targeted testing of timed systems with uncontrollable behavior. The ...
International audiencePartial observability and controllability are two well-known issues in test-ca...
We present a generalization of the classical theory of testing for Mealy machines to a setting of de...
The rapid development of complex and safety-critical systems requires the use of reliable verificati...
AbstractWe present a generalization of the classical theory of testing for Mealy machines to a setti...
Colloque avec actes et comité de lecture.Many critical, real-time systems or multimedia systems have...
We present a generalization of the classical theory of testing for Mealy machines to a setting of de...
International audiencePartial observability and controllability are two well-known issues in test-ca...
Abstract. We present a new technique and tool for testing of embedded systems using real-time online...
In this paper, we report on our main research contributions dealing with Model-Based Testing of Dyna...
Abstract. In this paper, we propose a first efficient on-the-fly algorithm for solving games based o...
We propose a generic game-based approach for test case generation. We set up a game between the test...
Abstract. Testing is an important step in validation process of critical systems. Black box testing ...