The following pages link to AGATHA (Q15466):
Displaying 5 items.
- Slicing communicating automata specifications: Polynomial algorithms for model reduction (Q1019005) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)
- Formal Approaches to Software Testing (Q5710658) (← links)