Detecting Trivial Mutant Equivalences via Compiler Optimisations

Mutation testing realises the idea of fault-based testing, i.e., using artificial defects to guide the testing process. It is used to evaluate the adequacy of test suites and to guide test case generation. It is a potentially powerful form of testing, but it is well-known that its effectiveness is inhibited by the presence of equivalent mutants. We recently studied Trivial Compiler Equivalence (TCE) as a simple, fast and readily applicable technique for identifying equivalent mutants for C programs. In the present work, we augment our findings with further results for the Java programming language. TCE can remove a large portion of all mutants because they are determined to be either equivalent or duplicates of other mutants. In particular, TCE equivalent mutants account for 7.4% and 5.7% of all C and Java mutants, while duplicated mutants account for a further 21% of all C mutants and 5.4% Java mutants, on average. With respect to a benchmark ground truth suite (of known equivalent mutants), approximately 30% (for C) and 54% (for Java) are TCE equivalent. It is unsurprising that results differ between languages, since mutation characteristics are language-dependent. In the case of Java, our new results suggest that TCE may be particularly effective, finding almost half of all equivalent mutants

Impacts of Microgravity Analogs to Spaceflight on Cerebral Autoregulation.

It is well known that exposure to microgravity in astronauts leads to a plethora physiological responses such as headward fluid shift, body unloading, and cardiovascular deconditioning. When astronauts return to Earth, some encounter problems related to orthostatic intolerance. An impaired cerebral autoregulation (CA), which could be compromised by the effects of microgravity, has been proposed as one of the mechanisms responsible for orthostatic intolerance. CA is a homeostatic mechanism that maintains cerebral blood flow for any variations in cerebral perfusion pressure by adapting the vascular tone and cerebral vessel diameter. The ground-based models of microgravity are useful tools for determining the gravitational impact of spaceflight on human body. The head-down tilt bed rest (HDTBR), where the subject remains in supine position at -6 degrees for periods ranging from few days to several weeks is the most commonly used ground-based model of microgravity for cardiovascular deconditioning. head-down bed rest (HDBR) is able to replicate cephalic fluid shift, immobilization, confinement, and inactivity. Dry immersion (DI) model is another approach where the subject remains immersed in thermoneutral water covered with an elastic waterproof fabric separating the subject from the water. Regarding DI, this analog imitates absence of any supporting structure for the body, centralization of body fluids, immobilization and hypokinesia observed during spaceflight. However, little is known about the impact of microgravity on CA. Here, we review the fundamental principles and the different mechanisms involved in CA. We also consider the different approaches in order to assess CA. Finally, we focus on the effects of short- and long-term spaceflight on CA and compare these findings with two specific analogs to microgravity: HDBR and DI

Capabilities of Global Ocean Programmes to Inform Climate Services

AbstractClimate services are identified as a means of providing the information that is needed to support decision makers in assessing the impacts of climate change on the oceans. We discuss the current observation programs to support these services, and their capacity to provide the information needed to monitor and address key science questions. An analysis of the current oceanographic observation programs is shown to be undersubscribed from their original plans. There are vulnerabilities in the current observing programs, particularly in relation to satellite measurements. The interaction of climate services with the research community, with policy makers and stakeholders and operational centres is outlined and leads to four recommendations. The key recommendations are for the more pervasisve development of climate services and for a modest increment in the observing program informed by the recommendations of the OceanObs’09 conference

Baroreflex and Cerebral Autoregulation Are Inversely Correlated

Background:The relative stability of cerebral blood flow is maintained by the baroreflex and cerebral autoregulation (CA). We assessed the relationship between baroreflex sensitivity (BRS) and CA in patients with atherosclerotic carotid stenosis or occlusion.Methods and Results:Patients referred for assessment of atherosclerotic unilateral >50% carotid stenosis or occlusion were included. Ten healthy volunteers served as a reference group. BRS was measured using the sequence method. CA was quantified by the correlation coefficient (Mx) between slow oscillations in mean arterial blood pressure and mean cerebral blood flow velocities from transcranial Doppler. Forty-five patients (M/F: 36/9), with a median age of 68 years (IQR:17) were included. Thirty-four patients had carotid stenosis, and 11 patients had carotid occlusion (asymptomatic: 31 patients; symptomatic: 14 patients). The median degree of carotid steno-occlusive disease was 90% (IQR:18). Both CA (P=0.02) and BRS (P<0.001) were impaired in patients as compared with healthy volunteers. CA and BRS were inversely and strongly correlated with each other in patients (rho=0.58, P<0.001) and in healthy volunteers (rho=0.939; P<0.001). Increasing BRS remained strongly associated with impaired CA on multivariate analysis (P=0.004).Conclusions:There was an inverse correlation between CA and BRS in healthy volunteers and in patients with carotid stenosis or occlusion. This might be due to a relative increase in sympathetic drive associated with weak baroreflex enhancing cerebral vasomotor tone and CA

Use of satellite observations for operational oceanography: recent achievements and future prospects

The paper gives an overview of the development of satellite oceanography over the past five years focusing on the most relevant issues for operational oceanography. Satellites provide key essential variables to constrain ocean models and/or serve downstream applications. New and improved satellite data sets have been developed and have directly improved the quality of operational products. The status of the satellite constellation for the last five years was, however, not optimal. Review of future missions shows clear progress and new research and development missions with a potentially large impact for operational oceanography should be demonstrated. Improvement of data assimilation techniques and developing synergetic use of high resolution satellite observations are important future priorities

Shared Genetics of Multiple System Atrophy and Inflammatory Bowel Disease

BACKGROUND: Multiple system atrophy (MSA) is a rare neurodegenerative disease characterized by intracellular accumulations of α-synuclein and nerve cell loss in striatonigral and olivopontocerebellar structures. Epidemiological and clinical studies have reported potential involvement of autoimmune mechanisms in MSA pathogenesis. However, genetic etiology of this interaction remains unknown. We aimed to investigate genetic overlap between MSA and 7 autoimmune diseases and to identify shared genetic loci. METHODS: Genome-wide association study summary statistics of MSA and 7 autoimmune diseases were combined in cross-trait conjunctional false discovery rate analysis to explore overlapping genetic background. Expression of selected candidate genes was compared in transgenic MSA mice and wild-type mice. Genetic variability of candidate genes was further investigated using independent whole-exome genotyping data from large cohorts of MSA and autoimmune disease patients and healthy controls. RESULTS: We observed substantial polygenic overlap between MSA and inflammatory bowel disease and identified 3 shared genetic loci with leading variants upstream of the DENND1B and RSP04 genes, and in intron of the C7 gene. Further, the C7 gene showed significantly dysregulated expression in the degenerating midbrain of transgenic MSA mice compared with wild-type mice and had elevated burden of protein-coding variants in independent MSA and inflammatory bowel disease cohorts. CONCLUSION: Our study provides evidence of shared genetic etiology between MSA and inflammatory bowel disease with an important role of the C7 gene in both phenotypes, with the implication of immune and gut dysfunction in MSA pathophysiology. © 2020 The Authors. Movement Disorders published by Wiley Periodicals LLC. on behalf of International Parkinson and Movement Disorder Society

Clinical autonomic nervous system laboratories in Europe. A joint survey of the European Academy of Neurology and the European Federation of Autonomic Societies

Background and purpose: Disorders of the autonomic nervous system (ANS) are common conditions, but it is unclear whether access to ANS healthcare provision is homogeneous across European countries. The aim of this study was to identify neurology-driven or interdisciplinary clinical ANS laboratories in Europe, describe their characteristics and explore regional differences. Methods: We contacted the European national ANS and neurological societies, as well as members of our professional network, to identify clinical ANS laboratories in each country and invite them to answer a web-based survey. Results: We identified 84 laboratories in 22 countries and 46 (55%) answered the survey. All laboratories perform cardiovascular autonomic function tests, and 83% also perform sweat tests. Testing for catecholamines and autoantibodies are performed in 63% and 56% of laboratories, and epidermal nerve fiber density analysis in 63%. Each laboratory is staffed by a median of two consultants, one resident, one technician and one nurse. The median (interquartile range [IQR]) number of head-up tilt tests/laboratory/year is 105 (49–251). Reflex syncope and neurogenic orthostatic hypotension are the most frequently diagnosed cardiovascular ANS disorders. Thirty-five centers (76%) have an ANS outpatient clinic, with a median (IQR) of 200 (100–360) outpatient visits/year; 42 centers (91%) also offer inpatient care (median 20 [IQR 4–110] inpatient stays/year). Forty-one laboratories (89%) are involved in research activities. We observed a significant difference in the geographical distribution of ANS services among European regions: 11 out of 12 countries from North/West Europe have at least one ANS laboratory versus 11 out of 21 from South/East/Greater Europe (p = 0.021). Conclusions: This survey highlights disparities in the availability of healthcare services for people with ANS disorders across European countries, stressing the need for improved access to specialized care in South, East and Greater Europe

Copernicus Marine Service Ocean State Report

This is the final version. Available from Taylor & Francis via the DOI in this record