There are varieties of paradigms for testing software systems with the aim of uncovering faults and improving the quality of software products. One of the popular paradigms is model-based testing paradigm, where system’s behaviours are captured and denoted in a model for adequate abstract representation. Evidence has shown that automated testing can incredibly improve the testing efficiency. Central to such test automation is the use of appropriate testing tools. With the existence of a wide spectrum of software testing tools, it is difficult to decide which of the tools to choose and where to start the testing processes. It should be noted that irrespective of how similar the operational processes of software tools are; they are distinct in their respective overall composition. In order to make a choice of which tool is most appropriate to suit a system testing requirements, tester needs to understand some vital information related to the candidate tools such as availability, ease of use, programming skills needed, language and platform support, among others. In this paper, some of the most popular model-based testing tools on the market, both open source and commercial, are analyzed. The promising future of model-based testing is also proposed. This survey will help software testers, beginners or experts, to lay their hands on the appropriate model-based testing tools.