Bisimulation minimization of tree automata, Proc. 11th Int. Conf. Implementation and Application of Automata, vol.4094, 2006. ,
Mobiguitar-a tool for automated model-based testing of mobile apps, IEEE Software, 2014. ,
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. ,
Test Generation Based on Symbolic Specifications, Lecture Notes in Computer Science, pp.1-15, 2004. ,
Model generation for legacy systems, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, vol.2941, pp.167-183, 2002. ,
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, 2012. ,
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. ,
Scenariographer: A tool for reverse engineering class usage scenarios from method invocation sequences, ICSM, pp.155-164, 2005. ,
Inferring specifications for resources from natural language api documentation, Autom. Softw. Eng, vol.18, issue.3-4, pp.227-261, 2011. ,