Abstract
Mutation testing is a testing criterion used to measure the quality of a test suite. In mutation, a test suite is executed against the set of mutants of a given program under testing. A score is computed to measure the adequacy of the test suite in detecting faults. Although powerful, mutation testing has two major drawbacks: The high-computational cost to generate and execute the set of generated mutants and the existence of equivalent mutants. In this paper, we present a preliminary experimental study to investigate the use of control-flow information, aiming to reduce the number of mutants. For this study, only a subset of mutants, defined by its location, is executed. Such location is determined by the set of primitive arcs of a given program under testing. Next, it is analyzed the relationship between minimal mutants and primitive arcs. Results indicate that the approach reduces the number of mutants and equivalent mutants and, in most cases, still maintains a high mutation score concerning full mutation. Moreover, the results also indicate that there is a concentration of minimal mutants on the nodes related to primitive arcs. Finally, we compare the effectiveness of our strategy over random mutant sampling.

Abstract
Language designers usually need to implement parsers and printers. Despite being two closely related programs, in practice they are often designed separately, and then need to be revised and kept consistent as the language evolves. It will be more convenient if the parser and printer can be unified and developed in a single program, with their consistency guaranteed automatically. Furthermore, in certain scenarios (like showing compiler optimisation results to the programmer), it is desirable to have a more powerful reflective printer that, when an abstract syntax tree corresponding to a piece of program text is modified, can propagate the modification to the program text while preserving layouts, comments, and syntactic sugar. To address these needs, we propose a domain-specific language BiYacc, whose programs denote both a parser and a reflective printer for a fully disambiguated context-free grammar. BiYacc is based on the theory of bidirectional transformations, which helps to guarantee by construction that the generated pairs of parsers and reflective printers are consistent. Handling grammatical ambiguity is particularly challenging: we propose an approach based on generalised parsing and disambiguation filters, which produce all the parse results and (try to) select the only correct one in the parsing direction; the filters are carefully bidirectionalised so that they also work in the printing direction and do not break the consistency between the parsers and reflective printers. We show that BiYacc is capable of facilitating many tasks such as Pombrio and Krishnamurthi's 'resugaring', simple refactoring, and language evolution.

Abstract

Abstract
Salterns are extreme environments, where the high salt concentration is the main limitation to microbial growth, along with solar radiation, temperature and pH. These selective pressures might lead to the acquisition of unique genetic adaptations that can manifest in the production of interesting natural products. The present study aimed at obtaining the culturable microbial diversity from two Portuguese salterns located in different geographic regions. A total of 190 isolates were retrieved and identified as belonging to 30 genera distributed among 4 phyla-Firmicutes, Proteobacteria, Actinobacteria and Bacteroidetes. Specifically, members of the genus Bacillus were the most frequently isolated from both salterns and all actinobacterial isolates belong to the rare members of this group. The molecular screening of NRPS and PKS-I genes allowed the detection of 38 isolates presenting PKS-I, 25 isolates presenting NRPS and 23 isolates presenting both types of biosynthetic genes. Sequencing of randomly selected amplicons revealed similarity with known PKS-I and NRPS genes or non-annotated hypothetical proteins. This study is the first contribution on the culturable bacterial diversity of Portuguese salterns and on their bioactive potential. Ultimately, these findings provide a novel contribution to improve the understanding on the microbial diversity of salterns.

Abstract
A cost-effective optical instrument for continuous in-situ monitoring applications is presented. With a production cost in raw materials of 38 Euro, a power consumption of 300 mu A in sleep mode and 100 mA in active mode (5 ms reading), and a capacity to monitor turbidity and sedimentary displacement at eight different depths in the water column, the sensor was developed for sediment monitoring in coastal areas. Due to the extent and dynamics of the processes involved in these areas, observations require a wide spatial and temporal resolution. Each of the eight monitoring nodes uses one infrared backscatter channel, to estimate turbidity and sediment concentration, and one ultraviolet with one infrared transmitted light channels to distinguish organic/inorganic composition of the suspended material load. An in-lab calibration was conducted, using formazine to correlate turbidity with the electronic outputs of the instrument. An analysis of the influence of external light sources and correction techniques were performed. Moreover, an in-lab experiment was conducted to study the behaviour of the sensor-to-sediment transport, wash load and sediment accumulation. The device was deployed, with a water level sensor, in an estuarine area with high sediment dynamics. The monitoring data were analysed, showing the potential of the device to continuously monitor turbidity, sediment processes, and distinguish between organic and inorganic matter, at the different depths in the water column.

Abstract
<p>Although the Earth system is described to react relatively abruptly to present anthropogenic forcings, the notion of abruptness remains questionable as it refers to a time scale that is difficult to constrain properly. Recognizing this issue, the tipping elements as listed in Lenton et al. (2008) rely on long-term observations under controlled conditions, which enabled the associated tipping points to be identified. For example, there is evidence nowadays that if the rate of deforestation from forest fires and the climate change does not decrease, the Amazonian forest will reach a tipping point towards savanna (Nobre, 2019), which would impact the regional and global climate systems as well as various other ecosystems, directly or indirectly (Magalhães et al., 2020). However, if the present tipping elements, which are now evidenced, are mostly related to the present climate change and thus directly or indirectly related to anthropogenic forcing, their interpretation must still rely on former cases detected in the past, and especially from studies of abrupt climatic transitions evidenced in paleoclimate proxy records. Moreover, recent studies of past changes have shown that addressing abrupt transitions in the past raises the issue of data quality of individual records, including the precision of the time scale and the quantification of associated uncertainties. Investigating past abrupt transitions and the mechanisms involved requires the best data quality possible. This can be a serious limitation when considering the sparse spatial coverage of high resolution paleo-records where dating is critical and corresponding errors often challenging to control. In theory, this would therefore almost limit our investigations to ice-core records of the last climate cycle, because they offer the best possible time resolution. However, evidence shows that abrupt transitions can also be identified in deeper time with lower resolution records, but still revealing changes or transitions that have impacted the dynamics of the Earth system globally. TiPES Work Package 1 will address these issues and collect paleorecords permitting to evidence the temporal behavior of tipping elements in past climates, including several examples.</p> <p>Lenton T. et al. (2008). PNAS 105, 1786-1793.</p> <p>Nobre C. (2019). Nature 574, 455.</p> <p>Magalhães N.d. et al. (2020). Sci. Rep. 16914 (2019) doi:10.1038/s41598-019-53284-1</p> <p>This work is performed under the TiPES project funded by the European Union’s Horizon 2020 research and innovation program under grant agreement # 820970 <https://tipes.sites.ku.dk/></p>