AGATHA

MaRDI QIDQ15466swMATHFDO

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

Cited in

(14)

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

This page was built for software: AGATHA