Model based test generator