Exact Gap Computation for Code Coverage Metrics in ISO-C

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.Comment: In Proceedings MBT 2012, arXiv:1202.582

Integrität wissenschaftlicher Publikationen in der Digitalen Bibliothek: Wissenschaftsforschung Jahrbuch 2007

Im digitalen Zeitalter kommt es zu einem Wandel wissenschaftlichen Arbeitens, zur Zeit vor allem in dem Maße, wie die Potenziale der elektronischen Laborjournale und des elektronischen Publizierens im Internet als unverzichtbares Medium der Bereitstellung und Verbreitung von wissenschaftlichen Dokumenten genutzt werden. Den Vorzügen der elektronischen Publikationsform stehen zwei miteinander verbundene Probleme gegenüber, die noch nicht zufriedenstellend gelöst sind: das Problem der Authentizität und das der Langzeitarchivierung. Um die Vorzüge des elektronischen Publizierens für wissenschaftliche Dokumente voll wirksam werden zu lassen, müssen Lösungen gefunden und eingeführt werden, die die Integrität der wissenschaftlichen Veröffentlichungen langfristig sichern. Erste Lösungen liegen vor und werden in der Anwendung überprüft, weitere Lösungen werden zu finden und in ihrer Anwendung zu überprüfen sein. Die Vorteile elektronischer wissenschaftlicher Publikationen liegen auf der Hand − Schnelligkeit und weltweiter Zugriff auf alle relevanten Informationen. Einiges spricht dafür, dass wir erst am Anfang einer zweiten Medienrevolution stehen. Es ist aber heute schon gewiss, dass die elektronischen Medien nicht nur technisch neue Möglichkeiten der Wissensvermittlung erschließen, sondern die Wissensproduktion selbst verändern werden. Untersuchungen zur Qualitätssicherung und Integrität wissenschaftlicher Publikationen in der Digitalen Bibliothek sind ein wichtiges Anliegen der Wissenschaftsforschung, dem sich die Gesellschaft für Wissenschaftsforschung im Rahmen ihrer Jahrestagung am 23. und 24. März 2007 gemeinsam mit dem Institut für Bibliotheks- und Informationswissenschaft der Humboldt-Universität zu Berlin zugewandt hat. Die Beiträge dieses Jahrbuchs sollen dazu beitragen, einen Einblick in theoretische und praktische Probleme der neuen Kultur des elektronischen Publizierens in der Wissenschaft zu geben.Peer Reviewe

Plakophilin 1 stimulates translation by promoting eIF4A1 activity

p120 armadillo protein plakophilin 1 binds to eukaryotic translation factor eIF4A1, recruiting it into cap-binding complexes and stimulating translation

MondoA drives malignancy in B-ALL through enhanced adaptation to metabolic stress.

peer reviewedCancer cells are in most instances characterized by rapid proliferation and uncontrolled cell division. Hence, they must adapt to proliferation-induced metabolic stress through intrinsic or acquired antimetabolic stress responses to maintain homeostasis and survival. One mechanism to achieve this is reprogramming gene expression in a metabolism-dependent manner. MondoA (also known as Myc-associated factor X-like protein X-interacting protein [MLXIP]), a member of the MYC interactome, has been described as an example of such a metabolic sensor. However, the role of MondoA in malignancy is not fully understood and the underlying mechanism in metabolic responses remains elusive. By assessing patient data sets, we found that MondoA overexpression is associated with worse survival in pediatric common acute lymphoblastic leukemia (ALL; B-precursor ALL [B-ALL]). Using clustered regularly interspaced short palindromic repeats (CRISPR)/CRISPR-associated protein 9 (Cas9) and RNA-interference approaches, we observed that MondoA depletion reduces the transformational capacity of B-ALL cells in vitro and dramatically inhibits malignant potential in an in vivo mouse model. Interestingly, reduced expression of MondoA in patient data sets correlated with enrichment in metabolic pathways. The loss of MondoA correlated with increased tricarboxylic acid cycle activity. Mechanistically, MondoA senses metabolic stress in B-ALL cells by restricting oxidative phosphorylation through reduced pyruvate dehydrogenase activity. Glutamine starvation conditions greatly enhance this effect and highlight the inability to mitigate metabolic stress upon loss of MondoA in B-ALL. Our findings give novel insight into the function of MondoA in pediatric B-ALL and support the notion that MondoA inhibition in this entity offers a therapeutic opportunity and should be further explored

The genomic and transcriptional landscape of primary central nervous system lymphoma

Primary lymphomas of the central nervous system (PCNSL) are mainly diffuse large B-cell lymphomas (DLBCLs) confined to the central nervous system (CNS). Molecular drivers of PCNSL have not been fully elucidated. Here, we profile and compare the whole-genome and transcriptome landscape of 51 CNS lymphomas (CNSL) to 39 follicular lymphoma and 36 DLBCL cases outside the CNS. We find recurrent mutations in JAK-STAT, NFkB, and B-cell receptor signaling pathways, including hallmark mutations in MYD88 L265P (67%) and CD79B (63%), and CDKN2A deletions (83%). PCNSLs exhibit significantly more focal deletions of HLA-D (6p21) locus as a potential mechanism of immune evasion. Mutational signatures correlating with DNA replication and mitosis are significantly enriched in PCNSL. TERT gene expression is significantly higher in PCNSL compared to activated B-cell (ABC)-DLBCL. Transcriptome analysis clearly distinguishes PCNSL and systemic DLBCL into distinct molecular subtypes. Epstein-Barr virus (EBV)+ CNSL cases lack recurrent mutational hotspots apart from IG and HLA-DRB loci. We show that PCNSL can be clearly distinguished from DLBCL, having distinct expression profiles, IG expression and translocation patterns, as well as specific combinations of genetic alterations

Cortical brain abnormalities in 4474 individuals with schizophrenia and 5098 control subjects via the enhancing neuro Imaging genetics through meta analysis (ENIGMA) Consortium

BACKGROUND: The profile of cortical neuroanatomical abnormalities in schizophrenia is not fully understood, despite hundreds of published structural brain imaging studies. This study presents the first meta-analysis of cortical thickness and surface area abnormalities in schizophrenia conducted by the ENIGMA (Enhancing Neuro Imaging Genetics through Meta Analysis) Schizophrenia Working Group. METHODS: The study included data from 4474 individuals with schizophrenia (mean age, 32.3 years; range, 11-78 years; 66% male) and 5098 healthy volunteers (mean age, 32.8 years; range, 10-87 years; 53% male) assessed with standardized methods at 39 centers worldwide. RESULTS: Compared with healthy volunteers, individuals with schizophrenia have widespread thinner cortex (left/right hemisphere: Cohen's d = -0.530/-0.516) and smaller surface area (left/right hemisphere: Cohen's d = -0.251/-0.254), with the largest effect sizes for both in frontal and temporal lobe regions. Regional group differences in cortical thickness remained significant when statistically controlling for global cortical thickness, suggesting regional specificity. In contrast, effects for cortical surface area appear global. Case-control, negative, cortical thickness effect sizes were two to three times larger in individuals receiving antipsychotic medication relative to unmedicated individuals. Negative correlations between age and bilateral temporal pole thickness were stronger in individuals with schizophrenia than in healthy volunteers. Regional cortical thickness showed significant negative correlations with normalized medication dose, symptom severity, and duration of illness and positive correlations with age at onset. CONCLUSIONS: The findings indicate that the ENIGMA meta-analysis approach can achieve robust findings in clinical neuroscience studies; also, medication effects should be taken into account in future genetic association studies of cortical thickness in schizophrenia

Quality indicators for patients with traumatic brain injury in European intensive care units

Background: The aim of this study is to validate a previously published consensus-based quality indicator set for the management of patients with traumatic brain injury (TBI) at intensive care units (ICUs) in Europe and to study its potential for quality measur

Changing care pathways and between-center practice variations in intensive care for traumatic brain injury across Europe

Purpose: To describe ICU stay, selected management aspects, and outcome of Intensive Care Unit (ICU) patients with traumatic brain injury (TBI) in Europe, and to quantify variation across centers. Methods: This is a prospective observational multicenter study conducted across 18 countries in Europe and Israel. Admission characteristics, clinical data, and outcome were described at patient- and center levels. Between-center variation in the total ICU population was quantified with the median odds ratio (MOR), with correction for case-mix and random variation between centers. Results: A total of 2138 patients were admitted to the ICU, with median age of 49 years; 36% of which were mild TBI (Glasgow Coma Scale; GCS 13–15). Within, 72 h 636 (30%) were discharged and 128 (6%) died. Early deaths and long-stay patients (> 72 h) had more severe injuries based on the GCS and neuroimaging characteristics, compared with short-stay patients. Long-stay patients received more monitoring and were treated at higher intensity, and experienced worse 6-month outcome compared to short-stay patients. Between-center variations were prominent in the proportion of short-stay patients (MOR = 2.3, p < 0.001), use of intracranial pressure (ICP) monitoring (MOR = 2.5, p < 0.001) and aggressive treatme