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
• Model-Based Test Selection for Infinite-State Reactive Systems
• Lutess
• SecureUML
• GATeL
• TorX
• STG
• UMLsec
• Omega
• TGV
• JUMBL
• 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