TGV

swMATH32267MaRDI QIDQ43978FDOQ43978

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: TGV