Diversity of graph models and graph generators in mutation testing

When custom modeling tools are used for designing complex safety-critical systems (e.g., critical cyber-physical systems), the tools themselves need to be validated by systematic testing to prevent tool-specific bugs reaching the system. Testing of such modeling tools relies upon an automatically generated set of models as a test suite. While many software testing practices recommend that this test suite should be diverse, model diversity has not been studied systematically for graph models. In the paper, we propose different diversity metrics for models by generalizing and exploiting neighborhood and predicate shapes as abstraction. We evaluate such shape-based diversity metrics using various distance functions in the context of mutation testing of graph constraints and access policies for two separate industrial DSLs. Furthermore, we evaluate the quality (i.e., bug detection capability) of different (random and consistent) model generation techniques for mutation testing purposes

Secure Views for Collaborative Modeling

Model-based systems engineering necessitates effective collaboration between different collaborators, teams, and stakeholders. Traditional approaches used for managing concurrent code-based development do not naturally extend to collaborative modeling, which implies novel challenges. We present a collaborative modeling framework that provides secure views with precisely defined model access to each collaborator by rule-based model-level access control policies

KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons

Cholecystokinin-expressing interneurons (CCK-INs) mediate behavior state-dependent inhibition in cortical circuits and themselves receive strong GABAergic input. However, it remains unclear to what extent GABAB receptors (GABABRs) contribute to their inhibitory control. Using immunoelectron microscopy, we found that CCK-INs in the rat hippocampus possessed high levels of dendritic GABABRs and KCTD12 auxiliary proteins, whereas postsynaptic effector Kir3 channels were present at lower levels. Consistently, whole-cell recordings revealed slow GABABR-mediated inhibitory postsynaptic currents (IPSCs) in most CCK-INs. In spite of the higher surface density of GABABRs in CCK-INs than in CA1 principal cells, the amplitudes of IPSCs were comparable, suggesting that the expression of Kir3 channels is the limiting factor for the GABABR currents in these INs. Morphological analysis showed that CCK-INs were diverse, comprising perisomatic-targeting basket cells (BCs), as well as dendrite-targeting (DT) interneurons, including a previously undescribed DT type. GABABR-mediated IPSCs in CCK-INs were large in BCs, but small in DT subtypes. In response to prolonged activation, GABABR-mediated currents displayed strong desensitization, which was absent in KCTD12-deficient mice. This study highlights that GABABRs differentially control CCK-IN subtypes, and the kinetics and desensitization of GABABR-mediated currents are modulated by KCTD12 proteins

Stromal Fibroblasts in Digestive Cancer

The normal gastrointestinal stroma consists of extra-cellular matrix and a community of stromal cells including fibroblasts, myofibroblasts, smooth muscle cells, pericytes, endothelium and inflammatory cells. α-smooth muscle actin (α-SMA) positive stromal fibroblasts, often referred to as myofibroblasts or activated fibroblasts, are critical in the development of digestive cancer and help to create an environment that is permissive of tumor growth, angiogenesis and invasion. This review focusses on the contribution of activated fibroblasts in carcinogenesis and where possible directly applies this to, and draws on examples from, gastrointestinal cancer. In particular, the review expands on the definition, types and origins of activated fibroblasts. It examines the molecular biology of stromal fibroblasts and their contribution to the peritumoral microenvironment and concludes by exploring some of the potential clinical applications of this exciting branch of cancer research. Understanding the origin and biology of activated fibroblasts will help in the development of an integrated epithelial-stromal sequence to cancer that will ultimately inform cancer pathogenesis, natural history and future therapeutics