The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources is spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic, theoretically well-founded and effective automated real-time testing techniques are of great practical value. We pesent an online conformance testing tool for timed systems
AbstractWe propose a new methodology for automated testing of real-time applications in general and ...
Coordination is playing a key role in complex cyber-physical systems (CPSs). The complexity and impo...
Abstract. Testing is an important step in validation process of critical systems. Black box testing ...
This chapter presents principles and techniques for model-based black-box conformance testing of rea...
We present T-Uppaal{} -- a new tool for online black-box testing of real-time embedded systems from ...
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded...
Abstract. We present a new technique and tool for testing of embedded systems using real-time online...
In this paper we present a framework, an algorithm and a new tool for online testing of real-time sy...
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded...
We present TUPPAAL --- a new tool for online black-box testing of real-time embedded systems from n...
This chapter presents principles and techniques for model-based black-box conformance testing of rea...
Testing is the primary software validation technique used by industry today, but remains ad hoc, err...
Time Petri nets with stopwatches not only model system/environment interactions and time constraints...
International audienceWe propose a methodology for testing conformance of an important class of real...
International audienceWe propose a new methodology for automated testing of real-time applications i...
AbstractWe propose a new methodology for automated testing of real-time applications in general and ...
Coordination is playing a key role in complex cyber-physical systems (CPSs). The complexity and impo...
Abstract. Testing is an important step in validation process of critical systems. Black box testing ...
This chapter presents principles and techniques for model-based black-box conformance testing of rea...
We present T-Uppaal{} -- a new tool for online black-box testing of real-time embedded systems from ...
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded...
Abstract. We present a new technique and tool for testing of embedded systems using real-time online...
In this paper we present a framework, an algorithm and a new tool for online testing of real-time sy...
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded...
We present TUPPAAL --- a new tool for online black-box testing of real-time embedded systems from n...
This chapter presents principles and techniques for model-based black-box conformance testing of rea...
Testing is the primary software validation technique used by industry today, but remains ad hoc, err...
Time Petri nets with stopwatches not only model system/environment interactions and time constraints...
International audienceWe propose a methodology for testing conformance of an important class of real...
International audienceWe propose a new methodology for automated testing of real-time applications i...
AbstractWe propose a new methodology for automated testing of real-time applications in general and ...
Coordination is playing a key role in complex cyber-physical systems (CPSs). The complexity and impo...
Abstract. Testing is an important step in validation process of critical systems. Black box testing ...