Conformance testing for real-time systems

356 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (2008, background): “For example in the theory of TA there has been recently lots of research on extending timed automata with price/cost [60, 8, 28] and studying timed games [64, 39, 13, 12] as well as on-line testing [56, 61].”
Interesting Properties of the Real-Time Conformance Relation (2006, methodology): “In a previous work [5], we introduced the timed input-output conformance relation tioco, an extension of the relation ioco [7].”
A Formal Framework for Conformance Testing of Distributed Real-Time Systems (2010, result): “Abstract. We extend our previous work on model-based testing [ 2 ].”
Using formal specifications to support testing (2009, unknown): “Recently the ioco relation, described in Section 6, has been extended to timed ioco (tioco) [Krichen and Tripakis 2004; 2005].”
State Identification Problems for Timed Automata (2005, background): “The basic model is timed automata with inputs and outputs (TAIO) as defined in [7].”