P. A. Abdulla, L. Kaati, and J. Hogberg, Bisimulation minimization of tree automata, Proc. 11th Int. Conf. Implementation and Application of Automata, vol.4094, 2006.

D. Amalfitano, A. R. Fasolino, P. Tramontana, B. D. Ta, and A. M. Memon, Mobiguitar-a tool for automated model-based testing of mobile apps, IEEE Software, 2014.

S. Anand, M. Naik, M. J. Harrold, and H. Yang, Automated concolic testing of smartphone apps, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE '12, vol.59, pp.1-59, 2012.

D. Angluin, Learning regular sets from queries and counterexamples. Information and Computation, vol.75, pp.87-106, 1987.

S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig et al., Finding bugs in web applications using dynamic test generation and explicit-state model checking. Software Engineering, IEEE Transactions on, vol.36, issue.4, pp.474-494, 2010.

W. Choi, G. Necula, and K. Sen, Guided gui testing of android apps with minimal restart and approximate learning, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '13, pp.623-640, 2013.

L. Frantzen, J. Tretmans, and T. Willemse, Test Generation Based on Symbolic Specifications, Lecture Notes in Computer Science, pp.1-15, 2004.

H. Hungar, T. Margaria, and B. Steffen, Model generation for legacy systems, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, vol.2941, pp.167-183, 2002.

A. Memon, I. Banerjee, and A. Nagarajan, Gui ripping: Reverse engineering of graphical user interfaces for testing, Proceedings of the 10th Working Conference on Reverse Engineering, WCRE '03, p.260, 2003.

A. Mesbah, A. Van-deursen, and S. Lenselink, Crawling Ajax-based web applications through dynamic analysis of user interface state changes, ACM Transactions on the Web (TWEB), vol.6, issue.1, 2012.

M. Pradel and T. R. Gross, Automatic generation of object usage specifications from large method traces, Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, ASE '09, pp.371-382, 2009.

M. Salah, T. Denton, S. Mancoridis, and A. Shokouf, Scenariographer: A tool for reverse engineering class usage scenarios from method invocation sequences, ICSM, pp.155-164, 2005.

H. Zhong, L. Zhang, T. Xie, and H. Mei, Inferring specifications for resources from natural language api documentation, Autom. Softw. Eng, vol.18, issue.3-4, pp.227-261, 2011.