P. A. Abdulla, L. Kaati, and J. Hgberg, Bisimulation minimization of tree automata, Proc. 11th Int. Conf. Implementation and Application of Automata, vol.4094, 2006.

L. Frantzen, J. Tretmans, and T. Willemse, Test Generation Based on Symbolic Specifications, No. 3395 in Lecture Notes in Computer Science, pp.1-15, 2004.

L. Mariani and M. Pezze, Dynamic detection of cots component incompatibility, IEEE Software, vol.24, issue.5, pp.76-85, 2007.

A. Memon, I. Banerjee, and A. Nagarajan, Gui ripping: Reverse engineering of graphical user interfaces for testing, Proceedings of the 10th Working Conference on Reverse Engineering. pp. 260-. WCRE '03, 2003.

A. Mesbah, A. Van-deursen, and S. Lenselink, 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.

S. Salva and W. Durand, Inferring formal models from production systems, LIMOS Research Report, 2015.