STG
From MaRDI portal
Cited in
(25)- JTorX
- SecureUML
- AGATHA
- IF-2.0
- Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1--3, 2004. Proceedings.
- TorX
- GATeL
- UMLsec
- Towards property oriented testing
- Model-Based Test Selection for Infinite-State Reactive Systems
- A conformance testing relation for symbolic timed automata
- AGEDIS
- TGV
- scientific article; zbMATH DE number 1973978 (Why is no real title available?)
- scientific article; zbMATH DE number 1973989 (Why is no real title available?)
- Symbolic Model-based Test Selection
- Model-Based Testing for Functional and Security Test Generation
- Model Checking Software
- scientific article; zbMATH DE number 5879030 (Why is no real title available?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- FM 2005: Formal Methods
- JUMBL
- Test generation from state based use case models
- Conformance testing for real-time systems
This page was built for software: STG
