STG
From MaRDI portal
Software:19319
No author found.
Related Items (15)
Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1--3, 2004. Proceedings. ⋮ Conformance testing for real-time systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ FM 2005: Formal Methods ⋮ A Conformance Testing Relation for Symbolic Timed Automata ⋮ Symbolic Model-based Test Selection ⋮ Test generation from state based use case models ⋮ Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ⋮ Unnamed Item ⋮ Model Checking Software ⋮ Model-Based Testing for Functional and Security Test Generation ⋮ Towards Property Oriented Testing
This page was built for software: STG
