Model driven testing based on test history

We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an efficient way. On top of that we provide a statistical stopping rule, that is independent of the underlying way of walking through the system, which allows us to stop earlier with a certain statistical reliability.</p

FAK activity sustains intrinsic and acquired ovarian cancer resistance to platinum chemotherapy.

Gene copy number alterations, tumor cell stemness, and the development of platinum chemotherapy resistance contribute to high-grade serous ovarian cancer (HGSOC) recurrence. Stem phenotypes involving Wnt-β-catenin, aldehyde dehydrogenase activities, intrinsic platinum resistance, and tumorsphere formation are here associated with spontaneous gains in Kras, Myc and FAK (KMF) genes in a new aggressive murine model of ovarian cancer. Adhesion-independent FAK signaling sustained KMF and human tumorsphere proliferation as well as resistance to cisplatin cytotoxicity. Platinum-resistant tumorspheres can acquire a dependence on FAK for growth. Accordingly, increased FAK tyrosine phosphorylation was observed within HGSOC patient tumors surviving neo-adjuvant chemotherapy. Combining a FAK inhibitor with platinum overcame chemoresistance and triggered cell apoptosis. FAK transcriptomic analyses across knockout and reconstituted cells identified 135 targets, elevated in HGSOC, that were regulated by FAK activity and β-catenin including Myc, pluripotency and DNA repair genes. These studies reveal an oncogenic FAK signaling role supporting chemoresistance

A realistic pattern of fermion masses from a five-dimensional SO(10) model

We provide a unified description of fermion masses and mixing angles in the framework of a supersymmetric grand unified SO(10) model with anarchic Yukawa couplings of order unity. The space-time is five dimensional and the extra flat spatial dimension is compactified on the orbifold $S^1/(Z_2 \times Z_2')$, leading to Pati-Salam gauge symmetry on the boundary where Yukawa interactions are localised. The gauge symmetry breaking is completed by means of a rather economic scalar sector, avoiding the doublet-triplet splitting problem. The matter fields live in the bulk and their massless modes get exponential profiles, which naturally explain the mass hierarchy of the different fermion generations. Quarks and leptons properties are naturally reproduced by a mechanism, first proposed by Kitano and Li, that lifts the SO(10) degeneracy of bulk masses in terms of a single parameter. The model provides a realistic pattern of fermion masses and mixing angles for large values of $\tan\beta$. It favours normally ordered neutrino mass spectrum with the lightest neutrino mass below 0.01 eV and no preference for leptonic CP violating phases. The right handed neutrino mass spectrum is very hierarchical and does not allow for thermal leptogenesis. We analyse several variants of the basic framework and find that the results concerning the fermion spectrum are remarkably stable.Comment: 30 pages, 7 figures, 4 table

A novel rapamycin analog is highly selective for mTORC1 in vivo.

Rapamycin, an inhibitor of mechanistic Target Of Rapamycin Complex 1 (mTORC1), extends lifespan and shows strong potential for the treatment of age-related diseases. However, rapamycin exerts metabolic and immunological side effects mediated by off-target inhibition of a second mTOR-containing complex, mTOR complex 2. Here, we report the identification of DL001, a FKBP12-dependent rapamycin analog 40x more selective for mTORC1 than rapamycin. DL001 inhibits mTORC1 in cell culture lines and in vivo in C57BL/6J mice, in which DL001 inhibits mTORC1 signaling without impairing glucose homeostasis and with substantially reduced or no side effects on lipid metabolism and the immune system. In cells, DL001 efficiently represses elevated mTORC1 activity and restores normal gene expression to cells lacking a functional tuberous sclerosis complex. Our results demonstrate that highly selective pharmacological inhibition of mTORC1 can be achieved in vivo, and that selective inhibition of mTORC1 significantly reduces the side effects associated with conventional rapalogs

De novo mutations in SMCHD1 cause Bosma arhinia microphthalmia syndrome and abrogate nasal development

Bosma arhinia microphthalmia syndrome (BAMS) is an extremely rare and striking condition characterized by complete absence of the nose with or without ocular defects. We report here that missense mutations in the epigenetic regulator SMCHD1 mapping to the extended ATPase domain of the encoded protein cause BAMS in all 14 cases studied. All mutations were de novo where parental DNA was available. Biochemical tests and in vivo assays in Xenopus laevis embryos suggest that these mutations may behave as gain-of-function alleles. This finding is in contrast to the loss-of-function mutations in SMCHD1 that have been associated with facioscapulohumeral muscular dystrophy (FSHD) type 2. Our results establish SMCHD1 as a key player in nasal development and provide biochemical insight into its enzymatic function that may be exploited for development of therapeutics for FSHD

Associations of Low Vitamin D and Elevated Parathyroid Hormone Concentrations With Bone Mineral Density in Perinatally HIV-Infected Children

BACKGROUND: Perinatally HIV-infected (PHIV) children have, on average, lower bone mineral density (BMD) than perinatally HIV-exposed uninfected (PHEU) and healthy children. Low 25-hydroxy vitamin D [25(OH)D] and elevated parathyroid hormone (PTH) concentrations may lead to suboptimal bone accrual. METHODS: PHIV and PHEU children in the Pediatric HIV/AIDS Cohort Study had total body (TB) and lumbar spine (LS) BMD and bone mineral content (BMC) measured by dual-energy x-ray absorptiometry; BMD z-scores (BMDz) were calculated for age and sex. Low 25(OH)D was defined as ≤20 ng/mL and high PTH as >65 pg/mL. We fit linear regression models to estimate the average adjusted differences in BMD/BMC by 25(OH)D and PTH status and log binomial models to determine adjusted prevalence ratios of low 25(OH)D and high PTH in PHIV relative to PHEU children. RESULTS: PHIV children (n = 412) were older (13.0 vs. 10.8 years) and more often black (76% vs. 64%) than PHEU (n = 207). Among PHIV, children with low 25(OH)D had lower TB-BMDz [SD, -0.38; 95% confidence interval (CI), -0.60 to -0.16] and TB-BMC (SD, -59.1 g; 95% CI, -108.3 to -9.8); high PTH accompanied by low 25(OH)D was associated with lower TB-BMDz. Among PHEU, children with low 25(OH)D had lower TB-BMDz (SD, -0.34; 95% CI, -0.64 to -0.03). Prevalence of low 25(OH)D was similar by HIV status (adjusted prevalence ratio, 1.00; 95% CI, 0.81 to 1.24). High PTH was 3.17 (95% CI, 1.25 to 8.06) times more likely in PHIV children. CONCLUSIONS: PHIV and PHEU children with low 25(OH)D may have lower BMD. Vitamin D supplementation trials during critical periods of bone accrual are needed

Association of Accelerometry-Measured Physical Activity and Cardiovascular Events in Mobility-Limited Older Adults: The LIFE (Lifestyle Interventions and Independence for Elders) Study.

BACKGROUND:Data are sparse regarding the value of physical activity (PA) surveillance among older adults-particularly among those with mobility limitations. The objective of this study was to examine longitudinal associations between objectively measured daily PA and the incidence of cardiovascular events among older adults in the LIFE (Lifestyle Interventions and Independence for Elders) study. METHODS AND RESULTS:Cardiovascular events were adjudicated based on medical records review, and cardiovascular risk factors were controlled for in the analysis. Home-based activity data were collected by hip-worn accelerometers at baseline and at 6, 12, and 24&nbsp;months postrandomization to either a physical activity or health education intervention. LIFE study participants (n=1590; age 78.9±5.2 [SD] years; 67.2% women) at baseline had an 11% lower incidence of experiencing a subsequent cardiovascular event per 500&nbsp;steps taken per day based on activity data (hazard ratio, 0.89; 95% confidence interval, 0.84-0.96; P=0.001). At baseline, every 30&nbsp;minutes spent performing activities ≥500&nbsp;counts per minute (hazard ratio, 0.75; confidence interval, 0.65-0.89 [P=0.001]) were also associated with a lower incidence of cardiovascular events. Throughout follow-up (6, 12, and 24&nbsp;months), both the number of steps per day (per 500&nbsp;steps; hazard ratio, 0.90, confidence interval, 0.85-0.96 [P=0.001]) and duration of activity ≥500&nbsp;counts per minute (per 30&nbsp;minutes; hazard ratio, 0.76; confidence interval, 0.63-0.90 [P=0.002]) were significantly associated with lower cardiovascular event rates. CONCLUSIONS:Objective measurements of physical activity via accelerometry were associated with cardiovascular events among older adults with limited mobility (summary score &gt;10 on the Short Physical Performance Battery) both using baseline and longitudinal data. CLINICAL TRIAL REGISTRATION:URL: http://www.clinicaltrials.gov. Unique identifier: NCT01072500