AGATHA
From MaRDI portal
Software:15466
No author found.
Related Items (5)
Formal Approaches to Software Testing ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ Slicing communicating automata specifications: Polynomial algorithms for model reduction ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Model-Based Testing for Functional and Security Test Generation
This page was built for software: AGATHA
