JAIN Ambica

Generating an optimized test suite from models for use in a software testing environment