A gui crawling-based technique for android mobile application testing, Software Testing, Verification and Validation Workshops (ICSTW), pp.252-261, 2011. ,
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. ,
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. ,
Guided gui testing of android apps with minimal restart and approximate learning, SIGPLAN Not, vol.48, issue.10, pp.623-640, 2013. ,
Constructing test suites for interaction testing, Proc. of the 25th International Conference on Software Engineering, pp.38-48, 2003. ,
An implementation of an efficient algorithm for bisimulation equivalence, Science of Computer Programming, vol.13, pp.13-219, 1989. ,
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. ,
Gui ripping: Reverse engineering of graphical user interfaces for testing, Proceedings of the 10th Working Conference on Reverse Engineering, WCRE '03, p.260, 2003. ,
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. ,
Model inference of mobile applications with dynamic state abstraction, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02019290
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. ,