Mutation Testing as a Safety Net for Test Code Refactoring

Refactoring is an activity that improves the internal structure of the code without altering its external behavior. When performed on the production code, the tests can be used to verify that the external behavior of the production code is preserved. However, when the refactoring is performed on test code, there is no safety net that assures that the external behavior of the test code is preserved. In this paper, we propose to adopt mutation testing as a means to verify if the behavior of the test code is preserved after refactoring. Moreover, we also show how this approach can be used to identify the part of the test code which is improperly refactored

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Improvement in left ventricular ejection fraction after pharmacological up-titration in new-onset heart failure with reduced ejection fraction

OBJECTIVE: Recent studies have reported suboptimal up-titration of heart failure (HF) therapies in patients with heart failure and a reduced ejection fraction (HFrEF). Here, we report on the achieved doses after nurse-led up-titration, reasons for not achieving the target dose, subsequent changes in left ventricular ejection fraction (LVEF), and mortality. METHODS: From 2012 to 2018, 378 HFrEF patients with a recent (< 3 months) diagnosis of HF were referred to a specialised HF-nurse led clinic for protocolised up-titration of guideline-directed medical therapy (GDMT). The achieved doses of GDMT at 9 months were recorded, as well as reasons for not achieving the optimal dose in all patients. Echocardiography was performed at baseline and after up-titration in 278 patients. RESULTS: Of 345 HFrEF patients with a follow-up visit after 9 months, 69% reached ≥ 50% of the recommended dose of renin-angiotensin-system (RAS) inhibitors, 73% reached ≥ 50% of the recommended dose of beta-blockers and 77% reached ≥ 50% of the recommended dose of mineralocorticoid receptor antagonists. The main reasons for not reaching the target dose were hypotension (RAS inhibitors and beta-blockers), bradycardia (beta-blockers) and renal dysfunction (RAS inhibitors). During a median follow-up of 9 months, mean LVEF increased from 27.6% at baseline to 38.8% at follow-up. Each 5% increase in LVEF was associated with an adjusted hazard ratio of 0.84 (0.75–0.94, p = 0.002) for mortality and 0.85 (0.78–0.94, p = 0.001) for the combined endpoint of mortality and/or HF hospitalisation after a mean follow-up of 3.3 years. CONCLUSIONS: This study shows that protocolised up-titration in a nurse-led HF clinic leads to high doses of GDMT and improvement of LVEF in patients with new-onset HFrEF. SUPPLEMENTARY INFORMATION: The online version of this article (10.1007/s12471-021-01591-6) contains supplementary material, which is available to authorized users

Validation of thoracic aortic dimensions on ECG-triggered SSFP as alternative to contrast-enhanced MRA

Objectives: Assessment of thoracic aortic dimensions with non-ECG-triggered contrast-enhanced magnetic resonance angiography (CE-MRA) is accompanied with motion artefacts and requires gadolinium. To avoid both motion artefacts and gadolinium administration, we evaluated the similarity and reproducibility of dimensions measured on ECG-triggered, balanced steady-state free precession (SSFP) MRA as alternative to CE-MRA. Methods: All patients, with varying medical conditions, referred for thoracic aortic examination between September 2016 and March 2018, who underwent non-ECG-triggered CE-MRA and SSFP-MRA (1.5 T) were retrospectively included (n = 30). Aortic dimensions were measured after double-oblique multiplanar reconstruction by two observers at nine landmarks predefined by literature guidelines. Image quality was scored at the sinus of Valsalva, mid-ascending aorta and mid-descending aorta by semi-automatically assessing the vessel sharpness. Results: Aortic dimensions showed high agreement between non-ECG-triggered CE-MRA and SSFP-MRA (r = 0.99, p < 0.05) without overestimation or underestimation of aortic dimensions in SSFP-MRA (mean difference, 0.1 mm; limits of agreement, − 1.9 mm and 1.9 mm). Intra- and inter-observer variabilities were significantly smaller with SSFP-MRA for the sinus of Valsalva and sinotubular junction. Image quality of the sinus of Valsalva was significantly better with SSFP-MRA, as fewer images were of impaired quality (3/30) than in CE-MRA (21/30). Reproducibility of dimensions was significantly better in images scored as good quality compared to impaired quality in both sequences. Conclusions: Thoracic aortic dimensions measured on SSFP-MRA and non-ECG-triggered CE-MRA were similar. As expected, SSFP-MRA showed better reproducibility close to the aortic root because of lesser motion artefacts, making it a feasible non-contrast imaging alternative. Key Points: • SSFP-MRA provides similar dimensions as non-ECG-triggered CE-MRA. • Intra- and inter-observer reproducibilities improve for the sinus of Valsalva and sinotubular junction with SSFP-MRA. • ECG-triggered SSFP-MRA shows better image quality for landmarks close to the aortic root in the absence of cardiac motion

A Method for the Direct Identification of Differentiating Muscle Cells by a Fluorescent Mitochondrial Dye

Identification of differentiating muscle cells generally requires fixation, antibodies directed against muscle specific proteins, and lengthy staining processes or, alternatively, transfection of muscle specific reporter genes driving GFP expression. In this study, we examined the possibility of using the robust mitochondrial network seen in maturing muscle cells as a marker of cellular differentiation. The mitochondrial fluorescent tracking dye, MitoTracker, which is a cell-permeable, low toxicity, fluorescent dye, allowed us to distinguish and track living differentiating muscle cells visually by epi-fluorescence microscopy. MitoTracker staining provides a robust and simple detection strategy for living differentiating cells in culture without the need for fixation or biochemical processing

Increased EEG gamma band activity in Alzheimer’s disease and mild cognitive impairment

High frequency (30–70 Hz) gamma band oscillations in the human electro-encephalogram (EEG) are thought to reflect perceptual and cognitive processes. It is therefore interesting to study these measures in cognitive impairment and dementia. To evaluate gamma band oscillations as a diagnostic biomarker in Alzheimer’s disease (AD) and mild cognitive impairment (MCI), 15 psychoactive drug naïve AD patients, 20 MCI patients and 20 healthy controls participated in this study. Gamma band power (GBP) was measured in four conditions viz. resting state, music listening, story listening and visual stimulation. To evaluate test–retest reliability (TRR), subjects underwent a similar assessment one week after the first. The overall TRR was high. Elevated GBP was observed in AD when compared to MCI and control subjects in all conditions. The results suggest that elevated GBP is a reproducible and sensitive measure for cognitive dysfunction in AD in comparison with MCI and controls

A longitudinal study of muscle strength and function in patients with cancer cachexia

Purpose Patients with cancer frequently experience an involuntary loss of weight (in particular loss of muscle mass), defined as cachexia, with profound implications for independence and quality of life. The rate at which such patients’ physical performance declines has not been well established. The aim of this study was to determine the change in muscle strength and function over 8 weeks in patients with already established cancer cachexia, to help inform the design and duration of physical activity interventions applicable to this patient group. Methods Patients with thoracic and gastrointestinal cancer, with unintentional weight loss of >5% in 6 months or BMI < 20 plus 2% weight loss were included. Physical and functional assessments (baseline, 4 weeks, 8 weeks) included: isometric quadriceps and hamstring strength, handgrip, standing balance, 10m walk time and timed up and go. Results Fifty patients (32 male), mean ±SD age 65 ±10 years and BMI 24.9 ±4.3kg/m2 were recruited. Thoracic cancer patients had lower muscle strength and function (p0.05). Baseline variables did not differentiate between completers and non-completers (p>0.05). Conclusions More than a third of patients with established cancer cachexia in our study were stable over 8 weeks, suggesting a subgroup who may benefit from targeted interventions of reasonable duration. Better understanding the physical performance parameters which characterize and differentiate these patients has important clinical implications for cancer multidisciplinary team practice

Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations

Protecting privacy against bribery/coercion is a necessary requirement in electronic services, like e-voting, e-auction and e-health. Domain-specific privacy properties have been proposed to capture this. We generalise these properties as enforced privacy: a system enforces a user's privacy even when the user collaborates with the adversary. In addition, we account for the influence of third parties on a user's privacy. Third parties can help to break privacy by collaborating with the adversary, or can help to protect privacy by cooperating with the target user. We propose independency of privacy to capture the negative privacy impact that third parties can have, and coalition privacy to capture their positive privacy impact. We formally define these privacy notions in the applied pi calculus and build a hierarchy showing their relations

Senescent cells evade immune clearance via HLA-E-mediated NK and CD8(+) T cell inhibition

Senescent cells accumulate in human tissues during ageing and contribute to age-related pathologies. The mechanisms responsible for their accumulation are unclear. Here we show that senescent dermal fibroblasts express the non-classical MHC molecule HLA-E, which interacts with the inhibitory receptor NKG2A expressed by NK and highly differentiated CD8 + T cells to inhibit immune responses against senescent cells. HLA-E expression is induced by senescence-associated secretary phenotype-related pro-inflammatory cytokines, and is regulated by p38 MAP kinase signalling in vitro. Consistently, HLA-E expression is increased on senescent cells in human skin sections from old individuals, when compared with those from young, and in human melanocytic nevi relative to normal skin. Lastly, blocking the interaction between HLA-E and NKG2A boosts immune responses against senescent cells in vitro. We thus propose that increased HLA-E expression contributes to persistence of senescent cells in tissues, thereby suggesting a new strategy for eliminating senescent cells during ageing