D. Amalfitano, A. Fasolino, and P. Tramontana, A gui crawling-based technique for android mobile application testing, Software Testing, Verification and Validation Workshops (ICSTW), pp.252-261, 2011.

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, pp.1-11, 2012.

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, SIGPLAN Not, vol.48, issue.10, pp.623-640, 2013.

M. B. Cohen, P. B. Gibbons, W. B. Mugridge, and C. J. Colbourn, Constructing test suites for interaction testing, Proc. of the 25th International Conference on Software Engineering, pp.38-48, 2003.

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

A. Machiry, R. Tahiliani, and M. Naik, Dynodroid: An input generation system for android apps, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.224-234, 2013.

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, pp.1-30, 2012.

S. Salva, P. Laurençot, and S. R. Zafimiharisoa, Model inference of mobile applications with dynamic state abstraction, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02019290

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.