1. De Cleva Farto G, Endo AT (2015) Evaluating the model-based testing approach in the context of mobile applications. Electron Notes Theor Comput Sci 314:3–21
2. Backlund A (2010) Utilizing statistics in a model-based testing process. Dissertation, Department of Information Technologies, Abo Akademi University
3. Boghdady PN, Badr N, Hashem M, Tolba MF (2011) Test case generation and test data extraction techniques. Int J Electr Comput Sci (IJECS-IJENS) 11(03):87–94
4. Abdurazik A, Offutt J (2000) Using UML collaboration diagrams for static checking and test generation. In: International conference on the unified modeling language, pp 383–395
5. Nam DH, Mousset EC, Levy DC (2006) Automating the testing of object behavior: a state chart-driven approach. In: Proceedings of world academy of science, engineering and technology, Helsinki, Finland