<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Miguel Pinto</style></author><author><style face="normal" font="default" size="100%">Marcelo Goncalves</style></author><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">TOM: a Model-Based GUI Testing framework</style></title><secondary-title><style face="normal" font="default" size="100%">14th International Conference on Formal Aspects of Component Software</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/masci/files/paper_25.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">10487</style></volume><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Applying model-based testing to interactive systems enables the systematic testing of the system by automatically simulating user actions on the user interface. It reduces the cost of (expensive) user testing by identifying implementations errors without the involvement of human users, but raises a number of specific challenges, such as how to achieve good coverage of the actual use of the system during the testing process. This paper describes TOM, a model-based testing framework that uses a combination of tools and mutation testing techniques to maximize testing of user interface behaviors&lt;/p&gt;
</style></abstract></record></records></xml>