TestUnit Core

CppUnit

JUnit

This module supports test model generation driven by the JUnit Java library from a Java model created using the JavaArchitect module.

This module supports test model generation driven by the NUnit C# library from a C# model created using the CsDesigner module.