Abstract: Most of the software practitioners believe in Model-based test case generation. Advantages of this are the early detection of faults, reducing software development time etc. The most ...