An Model Based Test Case Generation Technique Using Genetic Algorithms