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 mudança climática não pode ser desmentida. Desde que a humanidade adquiriu o conhecimento da eletricidade que tem transformado todo o seu modo de viver em seu redor. Para a produção de eletricidade recorre-se, em parte, à combustão de materiais que libertam CO2 e que, pela quantidade emitida, potencialmente degrada o ambiente. Noutra perspetiva, em certas zonas geográficas, o acesso à energia elétrica é escasso. É neste contexto que surge a profissão de Software Testing. Neste artigo procura-se quantificar o contributo dos testes de software no desenvolvimento de aplicações que tenham em conta um consumo energético mais reduzido. Para atingir esse objetivo é proposta e aplicada uma metodologia para a medição de consumo e é definida uma fórmula matemática para apuramento da viabilidade económica dos testes. As consequências de um software que consuma menos energia serão de três ordens: a ambiental – na redução da emissão de CO2; a humana – pela possibilidade de mais pessoas utilizarem a capacidade energética instalada; e a financeira – na redução direta do custo do consumo.;Climate change cannot be ignored any longer. Since humanity has developed the knowledge of electricity and has shaped his existence in a way that we are all dependent on it. The generation of electricity is linked to the combustion of products that release CO2 into the atmosphere which has the potential to degrade the environment. On the other hand, some countries have a restricted access to electricity. It is in this context that a new profession emerges – the software testing. This article aims at quantifying the contribution of Software Testing in the energy consumption of software. To achieve this goal it is proposed and applied a simplified methodology for measuring consumption of software and it is defined a mathematical formula to calculate the economic viability of the tests. The consequences of an optimized software in its energy consumption will be: environmental – by reducing CO2 emissions; human – by allowing more people to use the already installed power capacity; and financial – by reduction of economical expenditure.

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.

Abstract
In a climate change context, changes in extreme sea-levels rather than changes in the mean are of particular interest from the coastal protection point of view. In this work, extreme sea-levels in the Baltic Sea are investigated based on daily tide gauge records for the period 1916-2005 using the annual block maxima approach. Extreme events are analysed based on the generalised extreme value distribution considering both stationary and time-varying models. The likelihood ratio test is applied to select between stationary and non-stationary models for the maxima and return values are estimated from the final model. As an independent and complementary approach, quantile regression is applied for comparison with the results from the extreme value approach. The rates of change in the uppermost quantiles are in general consistent and most pronounced for the northernmost stations.

Abstract
MEMS Inertial Measurement Units are available at low cost and can replace expensive units in mobile mapping platforms which need direct georeferencing. This is done through the integration with GNSS measurements in order to achieve a continuous positioning solution and to obtain orientation angles. This paper presents the results of the assessment of the accuracy of a system that integrates GNSS and a MEMS IMU in a terrestrial platform. We describe the methodology used and the tests realized where the accuracy of the positions and orientation parameters were assessed using an independent photogrammetric technique employing cameras that integrate the mobile mapping system developed by the authors. Results for the accuracy of attitude angles and coordinates show that accuracies better than a decimeter in positions, and under a degree in angles, can be achieved even considering that the terrestrial platform is operating in less than favorable environments.