Searching for "Conformance testing for real-time systems." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Conformance Testing of Real-Time Systems against Timed Automata Specifications
- …Conformance Testing of Real-Time Systems against Timed Automata Specications Rachel Cardell…
- Cited by 1 (0 self) – Add To MetaCart
-
Black-box conformance testing for real-time systems
- …Conformance Testing for Real-Time Systems Moez Krichen ∗ Stavros Tripakis † Abstract We propose a…
- Cited by 19 (5 self) – Add To MetaCart
-
Conformance Tests for Real-Time Systems with Timed Automata Specifications
- … Systems with Timed Automata Specications Rachel Cardell-Oliver 1 Keywords: conformance testing; real-time…
- Add To MetaCart
-
Conformance Testing of Real-Time Systems with Timed Automata Specifications
- …Conformance Testing of Real-Time Systems with Timed Automata Specications Rachel Cardell…
- Cited by 6 (0 self) – Add To MetaCart
-
An expressive and implementable formal framework for testing real-time systems
- …}@(email omitted); Abstract. We propose a new framework for black-box conformance testing of real-time systems, based…
- Cited by 4 (1 self) – Add To MetaCart
-
A Practical and Complete Algorithm for Testing Real-Time Systems
- … for generating conformance tests for real-time systems. Our algorithm is complete in that, under a test…
- Cited by 23 (3 self) – Add To MetaCart
-
Automating test generation for discrete event oriented real-time embedded systems
- …. In [5] a method for generating conformance tests for real-time systems from timed automata…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
