Abstract
Currently, software tends to assume increasingly critical roles in our society so assuring its quality becomes ever more crucial. There are several tools and processes of software testing to help increase quality in virtually any type of software. One example is the so called Model-Based Testing (MBT) tools, that generate test cases from models. However, most of these tools have a configuration phase, where test input data is provided manually by the tester, which influences the quality of the test suite generated. By adding coverage analysis to MBT tools it is possible to give feedback and help the tester to define the configuration data needed to achieve the most valuable test suite as possible. This paper presents a tool, PARADIGM-COV, that produces coverage information both over the PARADIGM model elements (to assess if input data is adequate to cover the test goals and assess if preconditions are achievable), and during test case execution (to identify the parts of the model/code that were actually exercised).

Abstract
The incorrect requirements elicitation, requirements changes and evolution during the project lifetime are the main causes pointed out for the failure of software projects. The requirements in the context of Software as a Service are in constant change and evolution which makes even more critical the attention given to Requirements Engineering (RE). The dynamic context evolution due to new stakeholders needs brings additional challenges to the RE such as the need to review the prioritization of requirements and manage their changes related to their baseline. It is important to apply methodologies and techniques for requirements change management to allow a flexible development of SaaS and to ensure their timely adaptation to change. However, the existing techniques and solutions can take a long time to be implemented so that they become ineffective. In this work, a new methodology to manage functional requirements is proposed. This new methodology is based on collecting and analysis of information about the usage of the service to extract pages visited, execution traces and functionalities more used. The analysis performed will allow review the existing requirements, propose recommendations based on quality concerns and improve service usability with the ultimate goal of increasing the software lifetime. Copyright © 2014 SCITEPRESS - Science and Technology Publications.

Abstract
This paper presents a study aiming to assess the feasibility of using the Pattern Based GUI Testing approach, PBGT, to test mobile applications. PBGT is a new model based testing approach that aims to increase systematization, reusability and diminish the effort in modelling and testing. It is based on the concept of User Interface Test Patterns (UITP) that contain generic test strategies for testing common recurrent behaviour, the so-called UI Patterns, on GUIs through its possible different implementations after a configuration step. Although PBGT was developed having web applications in mind, it is possible to develop drivers for other platforms in order to test a wide set of applications. However, web and mobile applications are different and only the development of a new driver to execute test cases over mobile applications may not be enough. This paper describes a study aiming to identify the adaptations and updates the PBGT should undergo in order to test mobile applications.

Abstract
This paper presents a tool to filter/configure the test cases generated within the Model-Based Testing project PBGT. The models are written in a Domain Specific Language called PARADIGM and are composed by User Interface Test Patterns (UITP) describing the testing goals. To generate test cases, the tester has to provide test input data for each UITP in the model. After that, it is possible to generate test cases. However, without a filter/configuration of the test case generation algorithm, the number of test cases can be so huge that becomes unfeasible. So, this paper presents an approach to define parameters for the test case generation in order to generate a feasible number of test cases. The approach is evaluated by comparing the different test strategies and measuring the performance of the modeling tool against a capture-replay tool used for web testing.

Abstract
Pattern Based GUI Testing (PBGT) is a new methodology that aims at systematizing and automating the GUI testing process. It is supported by a Tool (PBGT Tool) which provides an integrated modeling and testing environment that supports the crafting of test models based on UI Test Patterns, using a GUI modeling DSL called PARADIGM. The tool is freely available as an Eclipse plugin, developed on top of the Eclipse Modeling Framework. This paper presents PBGT Tool, which has been successfully used in several projects, and more recently at industry level.

Abstract
A monthly index based on the persistence of the westerly winds over the English Chanel is constructed for 1685-2008 using daily data from ships' logbooks and comprehensive marine meteorological datasets. The so-called Westerly Index (WI) provides the longest instrumental record of atmospheric circulation currently available. Anomalous WI values are associated with spatially coherent climatic signals in temperature and precipitation over large areas of Europe, which are stronger for precipitation than for temperature and in winter and summer than in transitional seasons. Overall, the WI series accord with the known European climatic history, and reveal that the frequency of the westerlies in the eastern Atlantic during the twentieth century and the Late Maunder Minimum was not exceptional in the context of the last three centuries. It is shown that the WI provides additional and complementary information to the North Atlantic Oscillation (NAO) indices. The analysis of WI series during the industrial era indicates an overall good agreement with the winter and high-summer NAO, with the exception of several multidecadal periods of weakened correlation. These decoupled periods between the frequency and the intensity of the zonal flow are interpreted on the basis of several sources of non-stationarity affecting the centres of the variability of the North Atlantic and their teleconnections. Comparisons with NAO reconstructions and long instrumental indices extending back to the seventeenth century suggest that similar situations have occurred in the past, which call for caution when reconstructing the past atmospheric circulation from climatic proxies. The robustness and extension of its climatic signal, the length of the series and its instrumental nature make the WI an excellent benchmark for proxy calibration in Europe and Greenland.