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. ,
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. ,
Learning regular sets from queries and counterexamples. Information and Computation, vol.75, pp.87-106, 1987. ,
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, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '13, pp.623-640, 2013. ,
Webmate: a tool for testing web 2.0 applications, Proceedings of the Workshop on JavaScript Tools, JSTools '12, pp.11-15, 2012. ,
An implementation of an efficient algorithm for bisimulation equivalence, Science of Computer Programming, vol.13, pp.13-219, 1989. ,
Test Generation Based on Symbolic Specifications, Lecture Notes in Computer Science, pp.1-15, 2004. ,
DOI : 10.1007/978-3-540-31848-4_1
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
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
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
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
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
Model inference combining expert systems and formal models, LIMOS, 2014. ,
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
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