V. Dallmeier, M. Burger, T. Orth, and A. Zeller, Webmate: a tool for testing web 2.0 applications, Proceedings of the Workshop on JavaScript Tools, JSTools '12, pp.11-15, 2012.

J. Fernandez, An implementation of an efficient algorithm for bisimulation equivalence, Science of Computer Programming, vol.13, pp.13-219, 1989.

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

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.

S. Salva and W. Durand, Model inference combining expert systems and formal models, LIMOS, 2014.

W. Yang, M. R. Prasad, and T. Xie, A grey-box approach for automated gui-model generation of mobile applications, Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering, FASE'13, pp.250-265, 2013.

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.