AGATHA

swMATH2930MaRDI QIDQ15466FDOQ15466

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/7mf7lunl5k5eghju/fulltext.pdf

Cited In (14)

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

This page was built for software: AGATHA