Abstract
In the context of software development, validation, verification and in particular testing activities, have received much attention from developers and, in consequence, researchers seeking to define techniques and tools that allow such activities to be carried out systematically, with high quality and low cost. In this scenario, the automation of testing activities is crucial, since its m…