Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mutation testing”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2017

Extension of mutation testing for the requirements and design faults - 322

Mutation Testing is a fault-based software testing technique that is considered to be the most efficient in detecting faults. It focuses on the software code level and follows a set of rules which are called mutation operators to systematically seed faults into the source code. Each seeded fault results is a new version of the software, which is called a mutant. Mutation testing promises to be effective in identifying adequate test data which can be used to find faults in the source code. However, traditional mutation testing is not geared towards the detection of requirements and design faults. To cover the full spectrum of possible faults, the mutation framework has been extended from the code level to the requirements and design level. Twenty-nine defects that appear in requirements and design documents were identified to define appropriate mutants. Then corresponding mutation operators that model the defects were developed. For each mutation operator, the strategy to generate a mutant and the evaluation of the number of possible mutants were defined. Existing code level cost reduction techniques were tailored for requirements and design mutation operators that result in a large number of mutants. With the extended mutation testing framework, the full spectrum of possible faults will be tested and identified to ensure the safety and functionality of the software. (authors)

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2024

MUPPET: An automated OpenMP mutation testing framework for performance optimization

MUPPET is a tool for OpenMP programs that identifies program modifications, called mutations, aimed at improving program performance. Existing performance optimization techniques, including profiling-based and auto-tuning techniques, fail to indicate program modifications at the source level thus preventing their portability across compilers. MUPPET aims to help HPC developers reason about performance defects and missed opportunities to improve performance at the source code level.

Parasyris, Konstantinos↗
DOE OSTI2017

Virtualized hardware environments for supporting digital I and C verification - 324

The technology of virtualized hardware testing platforms within the nuclear context in order to provide a framework for evaluating virtualized hardware/software approaches is discussed. To understand the applicability of virtualized hardware approaches, we have developed a virtual hardware model of an actual smart sensor using the Imperas product OVPsim development environment, as is seen in . An evaluation of the modeling effort required to create the digital I and C smart sensor is provided, followed by an analysis and findings on the various tools in the OVPsim environment for supporting testing, evidence collecting, and analysis. The analyzed tools include traditional input/output testing, model-based testing, mutation testing, and fault injection techniques. Finally, the goal of this research effort is to analyze virtual hardware platforms and present findings to the nuclear community on the efficacy and viability of this technology as a complementary means to actual hardware-in-the-loop testing Factory Acceptance Testing for Nuclear Power Plant (NPP) digital I and C systems. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2015

Rapid selective sweep of pre-existing polymorphisms and slow fixation of new mutations in experimental evolution of Desulfovibrio vulgaris

To investigate the genetic basis of microbial evolutionary adaptation to salt (NaCl) stress, populations of Desulfovibrio vulgaris Hildenborough (DvH), a sulfate-reducing bacterium important for the biogeochemical cycling of sulfur, carbon and nitrogen, and potentially the bioremediation of toxic heavy metals and radionuclides, were propagated under salt stress or non-stress conditions for 1200 generations. Whole-genome sequencing revealed 11 mutations in salt stress-evolved clone ES9-11 and 14 mutations in non-stress-evolved clone EC3-10. Whole-population sequencing data suggested the rapid selective sweep of the pre-existing polymorphisms under salt stress within the first 100 generations and the slow fixation of new mutations. Population genotyping data demonstrated that the rapid selective sweep of pre-existing polymorphisms was common in salt stress-evolved populations. In contrast, the selection of pre-existing polymorphisms was largely random in EC populations. Consistently, at 100 generations, stress-evolved population ES9 showed improved salt tolerance, namely increased growth rate (2.0-fold), higher biomass yield (1.8-fold) and shorter lag phase (0.7-fold) under higher salinity conditions. The beneficial nature of several mutations was confirmed by site-directed mutagenesis. All four tested mutations contributed to the shortened lag phases under higher salinity condition. In particular, compared with the salt tolerance improvement in ES9-11, a mutation in a histidine kinase protein gene lytS contributed 27% of the growth rate increase and 23% of the biomass yield increase while a mutation in hypothetical gene DVU2472 contributed 24% of the biomass yield increase. Our results suggested that a few beneficial mutations could lead to dramatic improvements in salt tolerance.

Zhou, Aifen↗
DOE OSTI2025

Testing convolutional neural network based deep learning systems: a statistical metamorphic approach

Machine learning technology spans many areas and today plays a significant role in addressing a wide range of problems in critical domains,i.e., healthcare, autonomous driving, finance, manufacturing, cybersecurity,etc. Metamorphic testing (MT) is considered a simple but very powerful approach in testing such computationally complex systems for which either an oracle is not available or is available but difficult to apply. Conventional metamorphic testing techniques have certain limitations in verifying deep learning-based models (i.e., convolutional neural networks (CNNs)) that have a stochastic nature (because of randomly initializing the network weights) in their training. In this article, we attempt to address this problem by using a statistical metamorphic testing (SMT) technique that does not require software testers to worry about fixing the random seeds (to get deterministic results) to verify the metamorphic relations (MRs). We propose seven MRs combined with different statistical methods to statistically verify whether the program under test adheres to the relation(s) specified in the MR(s). We further use mutation testing techniques to show the usefulness of the proposed approach in the healthcare space and test two CNN-based deep learning models (used for pneumonia detection among patients). The empirical results show that our proposed approach uncovers 85.71% of the implementation faults in the classifiers under test (CUT). Furthermore, we also propose an MRs minimization algorithm for the CUT, thus saving computational costs and organizational testing resources.

Computer Science↗
DOE OSTI2019

Sensor-Enabled Alleviation of Product Inhibition in Chorismate Pyruvate-Lyase

Product inhibition is a frequent bottleneck in industrial enzymes, and testing mutations to alleviate product inhibition via traditional methods remains challenging as many variants need to be tested against multiple substrate and product concentrations. Further, traditional screening methods are conducted in vitro, and resulting enzyme variants may perform differently in vivo in the context of whole-cell metabolism and regulation. In this study, we address these two problems by establishing a high-throughput screening method to alleviate product inhibition in an industrially relevant enzyme, chorismate pyruvate-lyase (UbiC). First, we engineered a highly specific, genetically encoded biosensor for 4-hydroxybenzoate (4HB) in an industrially relevant host, Pseudomonas putida KT2440. We subsequently applied the biosensor to detect the activity of a heterologously expressed UbiC that converts chorismate into 4HB and pyruvate. By using benzoate as a product surrogate that inhibits UbiC without activating the biosensor, we were able to efficiently create and screen a diversified library for UbiC variants with reduced product inhibition. Introduction of the improved UbiC enzyme variant into an experimental production strain for the industrial precursor cis,cis-muconic acid (muconate), enabled a >2-fold yield improvement for glucose to muconate conversion when the new UbiC variant was expressed from a plasmid and a 60% yield increase when the same UbiC variant was genomically integrated into the strain. Overall, this work demonstrates that by coupling a library of enzyme variants to whole-cell catalysis and biosensing, variants with reduced product inhibition can be identified, and that this improved enzyme can result in increased titers of a downstream molecule of interest.

09 BIOMASS FUELS↗
DOE OSTI2019

Relationship between KRAS mutations and dual time point {sup 18}F-FDG PET/CT imaging in colorectal liver metastases

Purpose: To investigate the association between metabolic parameters of dual time point {sup 18}F-FDG PET/CT imaging and Kirsten rat sarcoma (KRAS) mutation status in colorectal liver metastases (CRLM). Methods: Forty-nine colorectal cancer patients with 87 liver metastatic lesions were included in this retrospective study. KRAS gene mutation tests were also performed for all the patients. The maximum standardized uptake value (SUV{sub max}) was measured for each hepatic metastatic lesion on both early and delayed scans, and the change of SUV{sub max} (ΔSUV{sub max}) and retention index (RI) were calculated. Uni-variate and multi-variate analyses were employed to determine the relationship between any PET/CT parameters and KRAS mutation status. Results: Thirty-seven (42.5%) liver metastatic lesions harboring KRAS mutations were identified. The SUV{sub max} of CRLM with KRAS mutation both on early and delayed scans was significantly higher than those with wild-type KRAS (10.7 ± 6.0 vs. 7.8 ± 3.3, P = 0.002; 15.5 ± 10.1 vs. 10.0 ± 4.2, P < 0.001, respectively). Compared with wild-type KRAS CRLM, ΔSUV{sub max} and RI (%) of CRLM with KRAS mutation were also significantly higher than those with wild-type KRAS (4.8 ± 4.7 vs. 2.2 ± 2.0, P < 0.001; 45.3 ± 28.2 vs. 29.6 ± 24.7, P = 0.003, respectively). Multi-variate analyses showed that the SUV{sub max} on both early and delayed scans, ΔSUV{sub max}, and RI (%) were the 4 independent factors to predict CRLM patients harboring KRAS mutations. Conclusion: The SUV{sub max} on both early and delayed scans, ΔSUV{sub max}, and RI (%) may be the 4 independent factors to predict CRLM patients harboring KRAS mutations.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2024

Distinct function of Chlamydomonas CTRA-CTR transporters in Cu assimilation and intracellular mobilization

Abstract Successful acclimation to copper (Cu) deficiency involves a fine balance between Cu import and export. In the green alga Chlamydomonas reinhardtii, Cu import is dependent on a transcription factor, Copper Response Regulator 1 (CRR1), responsible for activating genes in Cu-deficient cells. Among CRR1 target genes are two Cu transporters belonging to the CTR/COPT gene family (CTR1 and CTR2) and a related soluble protein (CTR3). The ancestor of these green algal proteins was likely acquired from an ancient chytrid and contained conserved cysteine-rich domains (named the CTR-associated domains, CTRA) that are predicted to be involved in Cu acquisition. We show by reverse genetics that Chlamydomonas CTR1 and CTR2 are canonical Cu importers albeit with distinct affinities, while loss of CTR3 did not result in an observable phenotype under the conditions tested. Mutation of CTR1, but not CTR2, recapitulates the poor growth of crr1 in Cu-deficient medium, consistent with a dominant role for CTR1 in high-affinity Cu(I) uptake. On the other hand, the overaccumulation of Cu(I) (20 times the quota) in zinc (Zn) deficiency depends on CRR1 and both CTR1 and CTR2. CRR1-dependent activation of CTR gene expression needed for Cu over-accumulation can be bypassed by the provision of excess Cu in the growth medium. Over-accumulated Cu is sequestered into the acidocalcisome but can become remobilized by restoring Zn nutrition. This mobilization is also CRR1-dependent, and requires activation of CTR2 expression, again distinguishing CTR2 from CTR1 and consistent with the lower substrate affinity of CTR2. One sentence summary Regulation of Cu uptake and sequestration by members of the CTR family of proteins in Chlamydomonas.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2016

HU multimerization shift controls nucleoid compaction

Molecular mechanisms controlling functional bacterial chromosome (nucleoid) compaction and organization are surprisingly enigmatic but partly depend on conserved, histone-like proteins HUαα and HUαβ and their interactions that span the nanoscale and mesoscale from protein-DNA complexes to the bacterial chromosome and nucleoid structure. We determined the crystal structures of these chromosome-associated proteins in complex with native duplex DNA. Distinct DNA binding modes of HUαα and HUαβ elucidate fundamental features of bacterial chromosome packing that regulate gene transcription. By combining crystal structures with solution x-ray scattering results, we determined architectures of HU-DNA nucleoproteins in solution under near-physiological conditions. These macromolecular conformations and interactions result in contraction at the cellular level based on in vivo imaging of native unlabeled nucleoid by soft x-ray tomography upon HUβ and ectopic HUα38 expression. Structural characterization of charge-altered HUαα-DNA complexes reveals an HU molecular switch that is suitable for condensing nucleoid and reprogramming noninvasive Escherichia coli into an invasive form. Collective findings suggest that shifts between networking and cooperative and noncooperative DNA-dependent HU multimerization control DNA compaction and supercoiling independently of cellular topoisomerase activity. By integrating x-ray crystal structures, x-ray scattering, mutational tests, and x-ray imaging that span from protein-DNA complexes to the bacterial chromosome and nucleoid structure, we show that defined dynamic HU interaction networks can promote nucleoid reorganization and transcriptional regulation as efficient general microbial mechanisms to help synchronize genetic responses to cell cycle, changing environments, and pathogenesis.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Enhancing Developer Productivity - L2 Milestone (Final Report)

This report documents the work done as part of the “Enhancing Developer Productivity” level 2 milestone. The team surveyed developers about impediments and successes; improved our CI pipeline monitoring and reporting; developed tools for line coverage reporting and analysis; improved compiler warning adherence in SIERRA; prototyped static analysis, AI, and mutation testing tooling in SIERRA; and developed a 3-5 year SIERRA plan document to help these initiatives continue past this milestone.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

Utilizing fluorescent life time imaging microscopy technology for identify carriers of BRCA2 mutation

Worldwide, more than one million women are diagnosed with breast cancer every year, making it the most common female malignancy in the developed world. Germline mutations in BRCA1 and BRCA2 genes are estimated to increase the risk for developing breast cancer by up to 87%. From a clinical point of view, identification of BRCA1 and BRCA2 mutation carriers offers an opportunity to early identify or prevent the development of malignancy; therefore the ability to determine which women are more likely to carry BRCA1 or BRCA2 mutations is of great importance. The available diagnostic tests for mutation analysis of BRCA1 and BRCA2 are time- and labor-intensive, expensive, and do not allow the identification of all the functional mutations. We utilized the Fluorescent lifetime (FLT) imaging microscopy method which allows recognizing different cell populations, in order to distinguish between lymphocytes from BRCA1 and BRCA2 mutation carriers and non-carrier women by using easily obtainable lymphocyte cells from peripheral blood. Our results demonstrate that cells originated from BRCA2-mutation carriers have significantly lower FLT values compared with BRCA1 mutation carriers and control cells. This simple, inexpensive and sensitive method may be utilized in the future to detect BRCA2 mutation carriers, particularly those bearing unknown functional mutations. - Highlights: • Fluorescent lifetime imaging microscopy (FLIM) technology can be used for recognizing BRCA mutation carriers. • Cells originated from BRCA2-mutation carriers have lower FLT values compared with BRCA1 mutation carriers and control cells. • The difference in FLT values were observed regardless irradiation. • FLIM method may be more informative in the detection of BRCA2-mutation carriers than BRCA1.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2016

Development of a human live attenuated West Nile infectious DNA vaccine: Suitability of attenuating mutations found in SA14-14-2 for WN vaccine design

Direct attenuation of West Nile (WN) virus strain NY99 for the purpose of vaccine development is not feasible due to its high virulence and pathogenicity. Instead, we created highly attenuated chimeric virus W1806 with the serological identity of NY99. To further attenuate W1806, we investigated effects of mutations found in Japanese encephalitis virus vaccine SA14-14-2. WN viruses carrying all attenuating mutations lost infectivity in mammalian, but not in mosquito cells. No single reversion restored infectivity in mammalian cells, although increased infectivity in mosquito cells was observed. To identify a subset of mutations suitable for further attenuation of W1806, we analyzed effects of E{sub 138}K and K{sub 279}M changes on virulence, growth properties, and immunogenicity of derivatized W956, from which chimeric W1806 inherited its biological properties and attenuation profile. Despite strong dominant attenuating effect, introduction of only two mutations was not sufficient for attenuating W1806 to the safety level acceptable for human use. - Highlights: • Further attenuation of a WN vaccine precursor is outlined. • Effect of SA14-14-2 attenuating mutations is tested. • Mechanism of attenuation is proposed and illustrated. • The need for additional attenuating mutations is justified.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2019

Association between CT-texture-derived tumor heterogeneity, outcomes, and BRCA mutation status in patients with high-grade serous ovarian cancer

Purpose: To assess the associations between inter-site texture heterogeneity parameters derived from computed tomography (CT), survival, and BRCA mutation status in women with high-grade serous ovarian cancer (HGSOC). Materials and methods: Retrospective study of 88 HGSOC patients undergoing CT and BRCA mutation status testing prior to primary cytoreductive surgery. Associations between texture metrics—namely inter-site cluster variance (SCV), inter-site cluster prominence (SCP), inter-site cluster entropy (SE)—and overall survival (OS), progression-free survival (PFS) as well as BRCA mutation status were assessed. Results: Higher inter-site cluster variance (SCV) was associated with lower PFS (p = 0.006) and OS (p = 0.003). Higher inter-site cluster prominence (SCP) was associated with lower PFS (p = 0.02) and higher inter-site cluster entropy (SE) correlated with lower OS (p = 0.01). Higher values of all three metrics were significantly associated with lower complete surgical resection status in BRCA-negative patients (SE p = 0.039, SCV p = 0.006, SCP p = 0.02), but not in BRCA-positive patients (SE p = 0.7, SCV p = 0.91, SCP p = 0.67). None of the metrics were able to distinguish between BRCA mutation carrier and non-mutation carrier. Conclusion: The assessment of tumoral heterogeneity in the era of personalized medicine is important, as increased heterogeneity has been associated with distinct genomic abnormalities and worse patient outcomes. A radiomics approach using standard-of-care CT scans might have a clinical impact by offering a non-invasive tool to predict outcome and therefore improving treatment effectiveness. However, it was not able to assess BRCA mutation status in women with HGSOC.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2022

Fast Evaluation of Viral Emerging Risks (FEVER): A computational tool for biosurveillance, diagnostics, and mutation typing of emerging viral pathogens

Viral pathogens can rapidly evolve, adapt to novel hosts, and evade human immunity. The early detection of emerging viral pathogens through biosurveillance coupled with rapid and accurate diagnostics are required to mitigate global pandemics. However, RNA viruses can mutate rapidly, hampering biosurveillance and diagnostic efforts. Here, we present a novel computational approach called FEVER (Fast Evaluation of Viral Emerging Risks) to design assays that simultaneously accomplish: 1) broad-coverage biosurveillance of an entire group of viruses, 2) accurate diagnosis of an outbreak strain, and 3) mutation typing to detect variants of public health importance. We demonstrate the application of FEVER to generate assays to simultaneously 1) detect sarbecoviruses for biosurveillance; 2) diagnose infections specifically caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2); and 3) perform rapid mutation typing of the D614G SARS-CoV-2 spike variant associated with increased pathogen transmissibility. These FEVER assays had a high in silico recall (predicted positive) up to 99.7% of 525,708 SARS-CoV-2 sequences analyzed and displayed sensitivities and specificities as high as 92.4% and 100% respectively when validated in 100 clinical samples. The D614G SARS-CoV-2 spike mutation PCR test was able to identify the single nucleotide identity at position 23,403 in the viral genome of 96.6% SARS-CoV-2 positive samples without the need for sequencing. This study demonstrates the utility of FEVER to design assays for biosurveillance, diagnostics, and mutation typing to rapidly detect, track, and mitigate future outbreaks and pandemics caused by emerging viruses.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2018

Biosynthesis, Microstructural Characterisations and Investigation of In-Vitro Mutagenic and Eco-Toxicological Response of a Novel Microbial Exopolysaccharide Based Biopolymer

A modified microbial polysaccharide based biopolymer has been investigated as a potential candidate towards development of sustainable biomaterials and bioplastics. An in-depth study was carried out to biosynthesize, characterize and assess any possible mutagenic potential and ecotoxicity of the microbial polysaccharide biopolymer. Microstructural investigations using confocal microscopy, Fourier transform (FT)-Raman depth profile mapping and scanning electron microscopy (SEM) of the biosynthetically modified polysaccharide revealed internal structural perturbations, as well as occlusion of granular pores by extraneous materials. The Raman 3D mapping depth profile along with time-of-flight (MALDI-TOF) mass spectrometry also indicated important structural and surface modifications, which could be correlated to the production of microbial exopolysaccharides and secondary metabolites. The study then looked into any possible genetic mutation and ecological risks associated with the biosynthetically modified polysaccharide through the investigation of genotoxicity and ecotoxicity. The genotoxicity study was carried out through bacterial reverse gene mutation (Ames) test by using two different strains (TA98 and TA100) of bacteria. The results did not indicate any mutagenic effect against either of the strains used for the biopolymer samples and was found to be genotoxically safe. Ecotoxicity tests, carried out using bioluminescent bacteria Vibrio fisheri further indicated no ecotoxicity within the given experimental conditions. The study measured the half maximal effective concentration (EC50) to cause a 50% decrease in the light output of the bacteria, a measure of ecotoxicological response of the biopolymer. Overall, results from this study indicated that the novel biopolymer was genotoxically and ecotoxically safe, which offers immense potential for future use of this biopolymer.

36 MATERIALS SCIENCE↗
DOE OSTI2018

Engineered U7 snRNA mediates sustained splicing correction in erythroid cells from β-thalassemia/HbE patients

Highlights: • Defect of β{sup E}-globin pre-mRNA splicing was repaired by engineered splice-switching U7 snRNA. • Splice-switching oligonucleotide sequence was identified by a two-step tiling approach. • The engineered U7 snRNA improve pathology of erythroid cells from thalassemia patients. Repair of a splicing defect of β-globin pre-mRNA harboring hemoglobin E (HbE) mutation was successfully accomplished in erythroid cells from patients with β-thalassemia/HbE disorder by a synthetic splice-switching oligonucleotide (SSO). However, its application is limited by short-term effectiveness and requirement of lifelong periodic administration of SSO, especially for chronic diseases like thalassemias. Here, we engineered lentiviral vectors that stably express U7 small nuclear RNA (U7 snRNA) carrying the splice-switching sequence of the SSO that restores correct splicing of β{sup E}-globin pre-mRNA and achieves a long-term therapeutic effect. Using a two-step tiling approach, we systematically screened U7 snRNAs carrying splice-switching SSO sequences targeted to the cryptic 5′ splice site created by HbE mutation. We tested this approach and identified the most responsive element for mediating splicing correction in engineered U7 snRNAs in HeLa-β{sup E} cell model cell line. Remarkably, the U7 snRNA lentiviral vector (U7 βE4+1) targeted to this region effectively restored the correctly-spliced β{sup E}-globin mRNA for at least 5 months. Moreover, the effects of the U7 βE4+1 snRNA lentiviral vector were also evident as upregulation of the correctly-spliced β{sup E}-globin mRNA in erythroid progenitor cells from β-thalassemia/HbE patients treated with the vector, which led to improvements of pathologies in erythroid progenitor cells from thalassemia patients. These results suggest that the splicing correction of β{sup E}-globin pre-mRNA by the engineered U7 snRNA lentiviral vector provides a promising, long-term treatment for β-thalassemia/HbE.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2019

Genome engineering of E. coli for improved styrene production and polymerization

Microbial production of exogenous organic compounds is challenging as biosynthetic pathways are often complex and produce metabolites that are toxic to the hosts. Biogenic styrene is an example of this problem, which if addressed could result in a more sustainable supply of this important component of the plastics industry. In this study, we engineered Escherichia coli for the production of styrene. We systematically optimized the production capability by first screening different pathway expression levels in E. coli strains. We then further designed and constructed a transcription regulator library targeting 54 genes with 85,420 mutations, and tested this library for increased styrene resistance and production. A series of tolerant mutants not only exhibited improved styrene tolerance but also produced higher styrene concentrations compared to the parent strain. The best producing mutant, ST05 LexA_E45I, produced a 3.45-fold increase in styrene compared to the parent strain. The produced styrene was extracted via gas stripping into dodecane and used in a direct free radical synthesis of polystyrene.

09 BIOMASS FUELS↗