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
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
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
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
Using formal specifications to support testing, ACM Comput. Surv, vol.41, issue.2 9, p.76, 2009. ,
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 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