D. H. Nguyen, P. Strooper, and J. G. Suess, Model-based testing of multiple GUI variants using the GUI test generator, Proceedings of the 5th Workshop on Automation of Software Test, AST '10, 2010.
DOI : 10.1145/1808266.1808270

A. Blouin and O. Beaudoux, Improving modularity and usability of interactive systems with Malai, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.115-124, 2010.
DOI : 10.1145/1822018.1822037

URL : https://hal.archives-ouvertes.fr/inria-00477627

L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, AutoBlackTest: Automatic Black-Box Testing of Interactive Applications, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.81-90, 2012.
DOI : 10.1109/ICST.2012.88

J. Bowen and S. Reeves, UI-driven test-first development of interactive systems, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.165-174, 2011.
DOI : 10.1145/1996461.1996515

. Zedan, Using formal specifications to support testing, ACM Comput. Surv, vol.41, issue.2 9, p.76, 2009.

J. L. Silva, J. C. Campos, and A. C. Paiva, Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees, Electronic Notes in Theoretical Computer Science, vol.208, pp.77-93, 2008.
DOI : 10.1016/j.entcs.2008.03.108

A. C. Dias-neto, R. Subramanyan, M. Vieira, and G. H. Travassos, A survey on model-based testing approaches, Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007, WEASELTech '07, pp.31-36, 2007.
DOI : 10.1145/1353673.1353681