Optimizing compilation with preservation of structural code coverage metrics to support software testing

Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also mandated for the development of safety-critical applications; for example, the DO178b document requires the application of the modified condition/decision coverage. One critical issue of code-coverage testing is that structural code coverage criteria are typically applied to source code whereas the generated machine code may result in a different code structure because of code optimizations performed by a compiler. In this work, we present the automatic calculation of coverage profiles describing which structural code-coverage criteria are preserved by which code optimization, independently of the concrete test suite. These coverage profiles allow to easily extend compilers with the feature of preserving any given code-coverage criteria by enabling only those code optimizations that preserve it. Furthermore, we describe the integration of these coverage profile into the compiler GCC. With these coverage profiles, we answer the question of how much code optimization is possible without compromising the error-detection likelihood of a given test suite. Experimental results conclude that the performance cost to achieve preservation of structural code coverage in GCC is rather low.Peer reviewedSubmitted Versio

Effects of Four Host Plants on Biology and Food Utilization of the Cutworm, Spodoptera litura

Effects of four host plants, tobacco, Chinese cabbage, cowpea and sweet potato, on larval and pupal development and survival, and longevity and fecundity of adults of Spodoptera litura (F) (Lepidoptera: Noctuidae), were studied under laboratory conditions (26° C, 60–80% RH), as was the utilization of the four host plants and adaptation on tobacco. All of the biological parameters included in the study were affected by the host plants. In a choice test, S. litura females oviposited most on Chinese cabbage, least on tobacco, and intermediate on cowpea and sweet potato. S. litura larvae developed differently on the four host plants, from shortest to longest in the following order: Chinese cabbage, cowpea, sweet potato, and tobacco. Pupal development was shorter on cowpea than on the other three host plants, and males generally developed longer than females. More females than males were found among emerged adults, and male adults lived 1–2 d longer than females. Larvae survived best on cowpea (81.6%), followed by Chinese cabbage (75.5%), then sweet potato (66.1%), and worst on tobacco (49.2%). Pupal survival rates were relatively high (91.4 – 95.9%) in all four host plant treatments, although that on sweet potato was lower than those on the other three host plants. Pupal weights on tobacco and sweet potato were similar, but both were lower than those on Chinese cabbage and cowpea. Generally, male pupae weighed less than female pupae. Numbers of eggs oviposited by female S. litura were highest on sweet potato, followed by those on cowpea, Chinese cabbage, and lowest on tobacco. Relative food consumption rate was highest on sweet potato, followed by that on cowpea, Chinese cabbage, and lowest on tobacco. In contrast, S. litura larvae that fed on tobacco had higher efficiency of conversion of digested food, highest efficiency of conversion of ingested food, and lowest approximate digestibility as compared with larvae that fed on other host plants. The potential causes for S. litura outbreaks on tobacco are discussed

Biphasic Electrical Currents Stimulation Promotes both Proliferation and Differentiation of Fetal Neural Stem Cells

The use of non-chemical methods to differentiate stem cells has attracted researchers from multiple disciplines, including the engineering and the biomedical fields. No doubt, growth factor based methods are still the most dominant of achieving some level of proliferation and differentiation control - however, chemical based methods are still limited by the quality, source, and amount of the utilized reagents. Well-defined non-chemical methods to differentiate stem cells allow stem cell scientists to control stem cell biology by precisely administering the pre-defined parameters, whether they are structural cues, substrate stiffness, or in the form of current flow. We have developed a culture system that allows normal stem cell growth and the option of applying continuous and defined levels of electric current to alter the cell biology of growing cells. This biphasic current stimulator chip employing ITO electrodes generates both positive and negative currents in the same culture chamber without affecting surface chemistry. We found that biphasic electrical currents (BECs) significantly increased the proliferation of fetal neural stem cells (NSCs). Furthermore, BECs also promoted the differentiation of fetal NSCs into neuronal cells, as assessed using immunocytochemistry. Our results clearly show that BECs promote both the proliferation and neuronal differentiation of fetal NSCs. It may apply to the development of strategies that employ NSCs in the treatment of various neurodegenerative diseases, such as Alzheimer's and Parkinson's diseases

Biphasic Electrical Currents Stimulation Promotes both Proliferation and Differentiation of Fetal Neural Stem Cells

The use of non-chemical methods to differentiate stem cells has attracted researchers from multiple disciplines, including the engineering and the biomedical fields. No doubt, growth factor based methods are still the most dominant of achieving some level of proliferation and differentiation control - however, chemical based methods are still limited by the quality, source, and amount of the utilized reagents. Well-defined non-chemical methods to differentiate stem cells allow stem cell scientists to control stem cell biology by precisely administering the pre-defined parameters, whether they are structural cues, substrate stiffness, or in the form of current flow. We have developed a culture system that allows normal stem cell growth and the option of applying continuous and defined levels of electric current to alter the cell biology of growing cells. This biphasic current stimulator chip employing ITO electrodes generates both positive and negative currents in the same culture chamber without affecting surface chemistry. We found that biphasic electrical currents (BECs) significantly increased the proliferation of fetal neural stem cells (NSCs). Furthermore, BECs also promoted the differentiation of fetal NSCs into neuronal cells, as assessed using immunocytochemistry. Our results clearly show that BECs promote both the proliferation and neuronal differentiation of fetal NSCs. It may apply to the development of strategies that employ NSCs in the treatment of various neurodegenerative diseases, such as Alzheimer's and Parkinson's diseases

Coexistence of K-ras mutations and HPV infection in colon cancer

BACKGROUND: Activation of the ras genes or association with human papillomavirus infection have been extensively studied in colorectal cancer. However, the correlation between K-ras mutations and HPV in colorectal cancer has not been investigated yet. In this study we aimed to investigate the presence of K-ras mutations and their correlation with HPV infection in colon cancer. METHODS: K-ras mutations were analyzed by a mutagenic PCR assay and digestion with specific restriction enzymes to distinguish the wild-type and mutant codons. HPV infection was analyzed by PCR amplification and hybridization with specific probes by Southern blotting. Stattistical analyses were performed by the chi-square and Fisher's exact tests RESULTS: HPV gene fragments were detected in 43 tumors and 17 normal tissue samples. HPV 18 was the prevalent type in the tumor tissue. A mutation at codon 12 of the K-ras gene was present in 31 patients. 56% of the HPV-positive tumors also harbored a K-ras mutation. Codon 13 mutations were not observed. These data indicate that infection with high risk HPV types and mutational activation of the K-ras gene are frequent events in colorectal carcinogenesis. CONCLUSION: Our findings suggest that mutational activation of the K-ras gene is a common event in colon carcinogenesis and that HPV infection may represent an important factor in the development of the premalignant lesions leading to the neoplastic phenotype

Models and algorithms for energy-efficient scheduling with immediate start of jobs

We study a scheduling model with speed scaling for machines and the immediate start requirement for jobs. Speed scaling improves the system performance, but incurs the energy cost. The immediate start condition implies that each job should be started exactly at its release time. Such a condition is typical for modern Cloud computing systems with abundant resources. We consider two cost functions, one that represents the quality of service and the other that corresponds to the cost of running. We demonstrate that the basic scheduling model to minimize the aggregated cost function with n jobs is solvable in O(nlogn) time in the single-machine case and in O(n²m) time in the case of m parallel machines. We also address additional features, e.g., the cost of job rejection or the cost of initiating a machine. In the case of a single machine, we present algorithms for minimizing one of the cost functions subject to an upper bound on the value of the other, as well as for finding a Pareto-optimal solution

Targeted Inactivation of Cerberus Like-2 Leads to Left Ventricular Cardiac Hyperplasia and Systolic Dysfunction in the Mouse

Previous analysis of the Cerberus like 2 knockout (Cerl2(-/-)) mouse revealed a significant mortality during the first day after birth, mostly due to cardiac defects apparently associated with randomization of the left-right axis. We have however, identified Cerl2-associated cardiac defects, particularly a large increase in the left ventricular myocardial wall in neonates that cannot be explained by laterality abnormalities. Therefore, in order to access the endogenous role of Cerl2 in cardiogenesis, we analyzed the embryonic and neonatal hearts of Cerl2 null mutants that did not display a laterality phenotype. Neonatal mutants obtained from the compound mouse line Cer2(-/-)Fundacao para a Ciencia e Tecnologia (FCT); IBB/CBME [PEst-OE/EQB/LA0023/2011]; FCT [SFRH/BD/62081/2009]info:eu-repo/semantics/publishedVersio

Chronic p53-independent p21 expression causes genomic instability by deregulating replication licensing

The cyclin-dependent kinase inhibitor p21WAF1/CIP1 (p21) is a cell-cycle checkpoint effector and inducer of senescence, regulated by p53. Yet, evidence suggests that p21 could also be oncogenic, through a mechanism that has so far remained obscure. We report that a subset of atypical cancerous cells strongly expressing p21 showed proliferation features. This occurred predominantly in p53-mutant human cancers, suggesting p53-independent upregulation of p21 selectively in more aggressive tumour cells. Multifaceted phenotypic and genomic analyses of p21-inducible, p53-null, cancerous and near-normal cellular models showed that after an initial senescence-like phase, a subpopulation of p21-expressing proliferating cells emerged, featuring increased genomic instability, aggressiveness and chemoresistance. Mechanistically, sustained p21 accumulation inhibited mainly the CRL4–CDT2 ubiquitin ligase, leading to deregulated origin licensing and replication stress. Collectively, our data reveal the tumour-promoting ability of p21 through deregulation of DNA replication licensing machinery—an unorthodox role to be considered in cancer treatment, since p21 responds to various stimuli including some chemotherapy drugs

Search for strongly interacting massive particles generating trackless jets in proton-proton collisions at s = 13 TeV

A search for dark matter in the form of strongly interacting massive particles (SIMPs) using the CMS detector at the LHC is presented. The SIMPs would be produced in pairs that manifest themselves as pairs of jets without tracks. The energy fraction of jets carried by charged particles is used as a key discriminator to suppress efficiently the large multijet background, and the remaining background is estimated directly from data. The search is performed using proton-proton collision data corresponding to an integrated luminosity of 16.1 fb - 1 , collected with the CMS detector in 2016. No significant excess of events is observed above the expected background. For the simplified dark matter model under consideration, SIMPs with masses up to 100 GeV are excluded and further sensitivity is explored towards higher masses

Measurement and interpretation of same-sign W boson pair production in association with two jets in pp collisions at s = 13 TeV with the ATLAS detector

This paper presents the measurement of fducial and diferential cross sections for both the inclusive and electroweak production of a same-sign W-boson pair in association with two jets (W±W±jj) using 139 fb−1 of proton-proton collision data recorded at a centre-of-mass energy of √s = 13 TeV by the ATLAS detector at the Large Hadron Collider. The analysis is performed by selecting two same-charge leptons, electron or muon, and at least two jets with large invariant mass and a large rapidity diference. The measured fducial cross sections for electroweak and inclusive W±W±jj production are 2.92 ± 0.22 (stat.) ± 0.19 (syst.)fb and 3.38±0.22 (stat.)±0.19 (syst.)fb, respectively, in agreement with Standard Model predictions. The measurements are used to constrain anomalous quartic gauge couplings by extracting 95% confdence level intervals on dimension-8 operators. A search for doubly charged Higgs bosons H±± that are produced in vector-boson fusion processes and decay into a same-sign W boson pair is performed. The largest deviation from the Standard Model occurs for an H±± mass near 450 GeV, with a global signifcance of 2.5 standard deviations