STG
From MaRDI portal
Software:19319
swMATH7274MaRDI QIDQ19319FDOQ19319
Author name not available (Why is that?)
Cited In (15)
- Title not available (Why is that?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- FM 2005: Formal Methods
- Conformance testing for real-time systems
- Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1--3, 2004. Proceedings.
- Title not available (Why is that?)
- Model-Based Test Selection for Infinite-State Reactive Systems
- Test generation from state based use case models
- Model Checking Software
- Title not available (Why is that?)
- Symbolic Model-based Test Selection
- Model-Based Testing for Functional and Security Test Generation
- Tools and Algorithms for the Construction and Analysis of Systems
- Towards property oriented testing
- A Conformance Testing Relation for Symbolic Timed Automata
This page was built for software: STG
