<?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%">A. Barbosa</style></author><author><style face="normal" font="default" size="100%">Ana Paiva</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Fabio Patern</style></author><author><style face="normal" font="default" size="100%">Kris Luyten</style></author><author><style face="normal" font="default" size="100%">Frank Maurer</style></author><author><style face="normal" font="default" size="100%">Pason Dewan</style></author><author><style face="normal" font="default" size="100%">Carmen Santoro</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Test case generation from mutated task models</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 3rd Symposium on Engineering Interactive Computing Systems - EICS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">June</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jccampos/files/barbosapc2011.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">Pisa, Italy</style></pub-location><pages><style face="normal" font="default" size="100%">175-184</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper describes an approach to the model-based testing of graphical user interfaces from task models. Starting from a task model of the system under test, oracles are generated whose behaviour is compared with the execution of the running system. The use of task models means that the effort of producing the test oracles is reduced. It does also mean, however, that the oracles are confined to the set of expected user behaviours for the system. The paper focuses on solving this problem. It shows how task mutations can be generated automatically, enabling a broader range of user behaviours to be considered. A tool, based on a classification of user errors, generates these mutations. A number of examples illustrate the approach.&lt;/p&gt;
</style></abstract></record></records></xml>