Abstract
Effective testing of message-oriented software requires describing the expected behaviour of the system and the causality relations between messages. This is often achieved with formal specifications based on temporal logics that require both first-order and metric temporal constructs - to specify constraints over data and real time. This paper proposes a technique to automatically generate tests for metric first-order temporal specifications that match well-understood specification patterns. Our approach takes in properties in a high-level specification language and identifies test schemas (strategies) that are likely to falsify the property. Schemas correspond to abstract classes of execution traces, that can be refined by introducing assumptions about the system. At the low level, concrete traces are successively produced for each schema using property-based testing principles. We instantiate this approach for a popular robotic middleware, ROS, and evaluate it on two systems, showing that schema-based test generation is effective for message-oriented software.

Abstract
Robotic applications are often designed to be reusable and configurable. Sometimes, due to the different supported software and hardware components, as well as the different implemented robot capabilities, the total number of possible configurations for a single system can be extremely large. In these scenarios, understanding how different configurations coexist and which components and capabilities are compatible with each other is a significant time sink both for developers and end users alike. In this paper, we present a static analysis tool, specifically designed for robotic software developed for the Robot Operating System (ROS), that is capable of presenting a graphical and interactive overview of the system's runtime variability, with the goal of simplifying the deployment of the desired robot configuration.

Abstract

Abstract
The water content in an agricultural crop is of crucial importance and can either be estimated through proximal or remote sensing techniques, allowing better irrigation scheduling and avoiding extreme water stress periods. However, the current climate change context is increasing the use of eco-friendly practices to reconcile water management and thermal protection from sunburn. These approaches aim to mitigate summer stress factors (high temperature, high radiation, and water shortage) and improve the plants' thermal efficiency. In this study, data from unmanned aerial vehicles (UAVs) were used to monitor the efficiency of foliar kaolin application (5%) in a commercial vineyard. Thermal infrared imagery (TIR) was used to compare the canopy temperature of grapevines with and without kaolin and to compute crop water stress and stomatal conductance indices. The gas exchange parameters of single leaves were also analysed to ascertain the physiological performance of vines and validate the UAV-based TIR data. Generally, plants sprayed with kaolin presented a lower temperature compared to untreated plants. Moreover, UAV-based data also showed a lower water stress index and higher stomatal conductance, which relate to eco-physiological measurements carried out in the field. Thus, the suitability of UAV-based TIR data proved to be a good approach to monitor entire vineyards in regions affected by periods of heatwaves, as is the case of the analysed study area.

Abstract

Abstract
The use of technology in cultural heritage sites for end-users, like virtual audio-visual reconstructions, has become a common solution to improve the communication and perception between these spaces and their visitors. Since humans perceive the world with different senses and in real-time, to evoke more than one or two senses at a time can bring benefits for the user perception. Accordingly, some very different implementations unleashing multisensory experiences have been made. Aiming to understand how different stimuli are being evoked in multisensory experiences to enhance cultural heritage experiences, and how these implementations are being evaluated, this paper presents a systematic review of technological multisensory applications in cultural heritage. Thus, the collected and analyzed data, focused on technologies used, purpose of the experience, stimuli explored, evaluation process, main findings obtained, and limitations found, will provide valuable information for further implementations. The overall results unleash the wide diversity available for multisensory implementations, from technological solutions to available content for users. Covering the pros and cons of such diversity, this study sustains the use of multisensory applications in cultural heritage as a powerful tool to enrich users' visits.