AGATHA

swMATH2930MaRDI QIDQ15466FDOQ15466

Author name not available (Why is that?)

Cited In (5)

• Slicing communicating automata specifications: Polynomial algorithms for model reduction
• Model-Based Test Selection for Infinite-State Reactive Systems
• Formal Approaches to Software Testing
• Model-Based Testing for Functional and Security Test Generation
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables

This page was built for software: AGATHA