A framework for generating models using meta-heuristic algorithms in the context of model-driven testing - View it on GitHub