Algorithms for test generation from the given models.