Model Based Test Generator