TGV

MaRDI QIDQ43978swMATHFDO

Official website http://www.irisa.fr/vertecs/Logiciels/TGV.html

Cited in

(9)

• Combining test case generation and runtime verification
• SecureUML
• AGATHA
• TorX
• STG
• UMLsec
• FDR explorer
• Model-Based Testing for Functional and Security Test Generation
• JUMBL

This page was built for software: TGV