You are here

Magic

M[agi]C a Tool for test case generation that combines combinatorial testing and model-based testing.