Conformance Testing Relations for Timed Systems
From MaRDI portal
Recommendations
- On Conformance Testing for Timed Systems
- Conformance testing techniques for timed systems
- Conformance tests for real-time systems with timed automata specifications
- Conformance testing for real-time systems
- A conformance testing relation for symbolic timed automata
- Timed testing of concurrent systems
- Timed testing of concurrent systems
- A Method for Testing the Conformance of Real Time Systems
- scientific article; zbMATH DE number 1515281
Cites work
- A theory of timed automata
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- scientific article; zbMATH DE number 1973972 (Why is no real title available?)
- scientific article; zbMATH DE number 2013786 (Why is no real title available?)
- scientific article; zbMATH DE number 938070 (Why is no real title available?)
- Testing timed automata
Cited in
(16)- Formal testing from timed finite state machines
- Conformance testing techniques for timed systems
- Formal Testing of Systems Presenting Soft and Hard Deadlines
- A Brief Introduction to $\mathcal{THOTL}$
- Passive Testing of Timed Systems
- On Conformance Testing for Timed Systems
- A conformance testing relation for symbolic timed automata
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
- scientific article; zbMATH DE number 1515281 (Why is no real title available?)
- Timed testing of concurrent systems
- Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
- A Method for Testing the Conformance of Real Time Systems
- On Resource-Sensitive Timed Component Connectors
- Principles of Distributed Systems
- FM 2005: Formal Methods
- An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
This page was built for publication: Conformance Testing Relations for Timed Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434605)
