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. ,
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. ,
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. ,
Inferring specifications for resources from natural language api documentation, Autom. Softw. Eng, vol.18, issue.3-4, pp.227-261, 2011. ,