Bisimulation minimization of tree automata, Proc. 11th Int. Conf. Implementation and Application of Automata, vol.4094, 2006. ,
Test Generation Based on Symbolic Specifications, No. 3395 in Lecture Notes in Computer Science, pp.1-15, 2004. ,
Dynamic detection of cots component incompatibility, IEEE Software, vol.24, issue.5, pp.76-85, 2007. ,
Gui ripping: Reverse engineering of graphical user interfaces for testing, Proceedings of the 10th Working Conference on Reverse Engineering. pp. 260-. WCRE '03, 2003. ,
Crawling Ajax-based web applications through dynamic analysis of user interface state changes, ACM Transactions on the Web (TWEB), vol.6, issue.1, p.30, 2012. ,
Inferring formal models from production systems, LIMOS Research Report, 2015. ,