D. Amalfitano, A. R. Fasolino, P. Tramontana, S. De-carmine, and A. M. Memon, Using gui ripping Figure 15: IOSTS S4 for automated testing of android applications, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.258-261, 2012.

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.

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.
DOI : 10.1007/978-3-540-31848-4_1

M. E. Joorabchi and A. Mesbah, Reverse engineering ios mobile applications, Proceedings of the 2012 19th Working Conference on Reverse Engineering, WCRE '12, pp.177-186, 2012.
DOI : 10.1109/wcre.2012.27

B. Lambeau, C. Damas, and P. Dupont, State-merging dfa induction algorithms with mandatory merge constraints, Grammatical Inference: Algorithms and Applications, vol.5278, pp.139-153, 2008.
DOI : 10.1007/978-3-540-88009-7_11

URL : http://www.info.ucl.ac.be/~pdupont/pdupont/pdf/icgi08.pdf

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.
DOI : 10.1109/wcre.2003.1287256

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.
DOI : 10.1145/2109205.2109208

URL : https://repository.tudelft.nl/islandora/object/uuid%3Af7a5f58d-5d36-4105-8ac2-385c0f18cf1a/datastream/OBJ/download

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.
DOI : 10.1109/ase.2009.60

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.
DOI : 10.1007/978-3-642-37057-1_19

URL : https://link.springer.com/content/pdf/10.1007%2F978-3-642-37057-1_19.pdf

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.
DOI : 10.1007/s10515-011-0082-3