Conformance testing for real-time systems
DOI10.1007/S10703-009-0065-1zbMATH Open1180.68072OpenAlexW2120916408MaRDI QIDQ842583FDOQ842583
Authors: Moez Krichen, Stavros Tripakis 
Publication date: 25 September 2009
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-009-0065-1
Recommendations
real-time systemstimed automatacoveragetest generationconformance testingpartial observabilityon-the-fly algorithmsspecification and verification
Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- A theory of timed automata
- Title not available (Why is that?)
- Testing Software Design Modeled by Finite-State Machines
- Formal Approaches to Software Testing
- Forward analysis of updatable timed automata
- Event-clock automata: a determinizable class of timed automata
- Foundations of Software Science and Computational Structures
- Testing timed automata
- Compositional specification of timed systems
- Title not available (Why is that?)
- Dynamical properties of timed automata
- Title not available (Why is that?)
- Model Checking Software
- Formal Approaches to Software Testing
- Experimental evaluation of verification and validation tools on Martian Rover software
- Formal Approaches to Software Testing
- Fault diagnosis for timed automata
- Title not available (Why is that?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Approaches to Software Testing
- Formal Modeling and Analysis of Timed Systems
- Formal Approaches to Software Testing
Cited In (33)
- Title not available (Why is that?)
- Automatic testing of real-time graphics systems
- A Method for Testing the Conformance of Real Time Systems
- Adaptive experiments for state identification in finite state machines with timeouts
- Compositional schedulability analysis of real-time actor-based systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Off-line test selection with test purposes for non-deterministic timed automata
- Realizability of schedules by stochastic time Petri nets with blocking semantics
- A local approach to the testing of real-time systems
- Testing timed automata
- A game approach to determinize timed automata
- Conformance checking of real-time models. Symbolic execution vs. bounded model checking
- Conformance tests for real-time systems with timed automata specifications
- Learning deterministic one-clock timed automata via mutation testing
- Interesting Properties of the Real-Time Conformance Relation tioco
- Passive testing with asynchronous communications and timestamps
- On-the-fly conformance testing using SPIN
- Model Checking Software
- Control Strategies for Off-Line Testing of Timed Systems
- FM 2005: Formal Methods
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
- Formal Approaches to Software Testing
- Deriving Homing Sequences for Finite State Machines with Timed Guards
- Control strategies for off-line testing of timed systems
- Testing from a stochastic timed system with a fault model
- Bounded determinization of timed automata with silent transitions
- Bounded determinization of timed automata with silent transitions
- Conformance testing techniques for timed systems
- Quantifying conformance using the Skorokhod metric
- Conformance Testing Relations for Timed Systems
- Title not available (Why is that?)
Uses Software
This page was built for publication: Conformance testing for real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q842583)
