The following pages link to STG (Q19319):
Displaying 15 items.
- Test generation from state based use case models (Q736788) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1--3, 2004. Proceedings. (Q1881812) (← links)
- Towards Property Oriented Testing (Q2870321) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- A Conformance Testing Relation for Symbolic Timed Automata (Q3588100) (← links)
- (Q4422071) (← links)
- (Q4422085) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)
- Model Checking Software (Q5308369) (← links)
- (Q5393281) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464743) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703771) (← links)
- FM 2005: Formal Methods (Q5716876) (← links)