An automated OpenMP mutation testing framework for performance optimization
Not Available
97 MATHEMATICS AND COMPUTING↗
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.
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↗
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↗
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↗
Hardware Fuzzing with An Emulator
Bugs in digital logic have led to some significant security vulnerabilities. Hardware bugs are particularly troublesome since they cannot be easily patched. Additionally, if the bug is in the root of trust, all trust built upon it can be vulnerable. Traditional testing either require a deep knowledge of the system, creative attack vectors and lots of human interaction. This is not scalable as there are very few engineers that can wear the hat of a designer, a verification engineer, and a cybersecurity expert. Hardware fuzzing is a relatively new research area in dynamic hardware testing. It has proven to be an effective method for discovering bugs, unexpected behaviors, and security vulnerabilities in software. While hardware fuzzing is new to the hardware domain, it has a strong track record in software testing. Fuzzing is a testing technique that randomly mutates the input data to uncover bugs or vulnerabilities in the design. It is especially good at finding corner cases that test engineers can not envision. Another advantage over other dynamic testing techniques is that, if done well, deep knowledge of the design is not required. Additionally, fuzzing scales well. If the system is set up correctly, it can run unsupervised for weeks if necessary. In this work, we propose using hardware fuzzing to improve the input vector generation for an information flow tracking tool. To get reasonable throughput of test vectors, an emulator is targeted as the execution platform. Efficient emulator execution has some specific requirements.
42 ENGINEERING↗
Tre-DST: A Drug Susceptibility Test for Mycobacterium tuberculosis Using Solvatochromic Trehalose Probes
In 2024, an estimated 10 million people developed Tuberculosis (TB), nearly half a million of whom were infected with drug-resistant tuberculosis (DR-TB). Early detection of infection and drug resistance enables rapid engagement in effective care. Bacterial culture and nucleic acid testing remain the primary diagnostic methods, with smear microscopy being phased out. However, these methods present significant limitations for diagnosing drug resistance, such as lengthy time-to-result for phenotypic tests, as well as the need for prior knowledge of resistance mutations and prohibitive cost for molecular tests. To address this, we developed a rapid phenotypic TB drug susceptibility test, termed Tre-DST, based on novel metabolically incorporated trehalose probes, which specifically detect live mycobacteria. We used the nonpathogenic Mycobacterium smegmatis and the virulence-attenuated Mycobacterium tuberculosis (Mtb) H37Ra or auxotrophic Mtb to demonstrate a strong correlation between cost-effective plate reader results and flow cytometry data, suggesting that the plate reader is a suitable fluorescence detector for Tre-DST. We determined that adding a 1-week incubation step allowed Mtb samples originally seeded at 10 4 CFU/mL to become detectable, over 2 weeks earlier than colony-forming unit analysis. We found that Tre-DST reports on drug susceptibility in a drug-agnostic manner, demonstrating loss of fluorescence with frontline TB drugs as well as the newer drug bedaquiline. Tre-DST distinguished RIF- and INH-resistant auxotrophs from susceptible controls and accurately reported the resistance activity. Ultimately, because Tre-DST is agnostic to mechanisms of drug resistance, this assay is likely compatible with all WHO-recommended and future DR-TB drugs as a diagnostic in reference laboratories.
diagnostics↗
Robust Synthetic Biology Toolkit to Advance Carboxysome Study and Redesign
Carboxysomes are polyhedral protein organelles that microorganisms use to facilitate carbon dioxide assimilation. They are composed of a modular protein shell that envelops an enzymatic core mainly composed of physically coupled Rubisco and carbonic anhydrase. While the modular construction principles of carboxysomes make them attractive targets as customizable metabolic platforms, their size and complexity can be a hindrance. In this work, we design and validate a plasmid set, the pXpressome toolkit, in which α-carboxysomes are robustly expressed and remain intact and functional after purification. We tested this toolkit by introducing mutations that influence carboxysome structure and performance. We find that deletion of vertex-capping genes results in formation of larger carboxysomes, while deletion of facet forming genes produces smaller particles, suggesting that adjusting the ratio of these proteins can rationally affect morphology. Through a series of fluorescently labeled constructs, we observe that this toolkit leads to more uniform expression and better cell health than previously published carboxysome expression systems. Overall, the pXpressome toolkit facilitates the study and redesign of carboxysomes with robust performance and improved phenotype uniformity. The pXpressome toolkit will support efforts to remodel carboxysomes for enhanced carbon fixation or serve as a platform for other nanoencapsulation goals.
59 BASIC BIOLOGICAL SCIENCES↗
Leaky ribosomal scanning enables tunable translation of bicistronic ORFs in green algae
Advances in sequencing technology have unveiled examples of nucleus-encoded polycistrons, once considered rare. Exclusively polycistronic transcripts are prevalent in green algae, although the mechanism by which multiple polypeptides are translated from a single transcript is unknown. Here, we used bioinformatic and in vivo mutational analyses to evaluate competing mechanistic models for translation of bicistronic mRNAs in green algae. High-confidence manually curated datasets of bicistronic loci from two divergent green algae, Chlamydomonas reinhardtii and Auxenochlorella protothecoides, revealed a preference for weak Kozak-like sequences for ORF 1 and an underrepresentation of potential initiation codons before the ORF 2 start codon, which are suitable conditions for leaky ribosome scanning to allow ORF 2 translation. We used mutational analysis in A. protothecoides to test the mechanism. In vivo manipulation of the ORF 1 Kozak-like sequence and start codon altered reporter expression at ORF 2, with a weaker Kozak-like sequence enhancing expression and a stronger one diminishing it. A synthetic bicistronic dual reporter demonstrated inversely adjustable activity of green fluorescent protein expressed from ORF 1 and luciferase from ORF 2, depending on the strength of the ORF 1 Kozak-like sequence. Our findings demonstrate that translation of multiple ORFs in green algal bicistronic transcripts is consistent with episodic leaky scanning of ORF 1 to allow translation at ORF 2. This work has implications for the potential functionality of upstream open reading frames (uORFs) found across eukaryotic genomes and for transgene expression in synthetic biology applications.
59 BASIC BIOLOGICAL SCIENCES↗
Thermophilic Chassis-Enabled High-Throughput Selection of a Thermostable Fluorogenic Reporter
Thermostable proteins show increased shelf life and performance at elevated temperatures and under harsh conditions, resulting in lower costs for various industrial and biotechnological applications. However, due to a limited understanding of the relationship between stability and function, protein stabilization remains primarily a trial-and-error approach. Therefore, building a combinatorial library of mutations predicted to improve stability, followed by experimental testing, represents a markedly improved methodology. However, the lack of high-throughput approaches to screen even a moderately sized library presents a major bottleneck in the field. Here, in this study, we use a thermophile, Parageobacillus thermoglucosidasius (Ptherm) to rapidly screen combinatorial libraries consisting of rationally designed thermostabilizing mutations (∼10 3 –10 4 ) of a mesophilic fluorescent reporter, Y-FAST. On a Petri dish, microbial growth at an elevated temperature and exposure to fluorogen yielded several colonies of Ptherm that showed distinct fluorescence at 55 and 68 °C in our two sequentially generated libraries using Rosetta and ProteinMPNN, respectively. The Y-FAST variants isolated from fluorescent colonies were brighter than Y-FAST and showed higher resistance to thermal and chemical denaturation. AlphaFold-predicted structures and MD simulations revealed stability-enhancing salt bridges and hydrogen bond networks in the isolated FAST variants. The moderately thermostable FAST (tsFAST) and hyperstable FAST (hsFAST) were then demonstrated as translation reporters for protein expression and folding at elevated temperatures, such as 55 and 68 °C. Our approach of combinatorial library generation and high-throughput screening in a thermophilic chassis could, in principle, be extended to other proteins fused to these translation reporters. Furthermore, the hsFAST protein is small─half the size of the green fluorescent protein─and does not require oxygen for maturation, making it ideal for engineering extremophilic anaerobes for biosensing and bioconversion.
59 BASIC BIOLOGICAL SCIENCES↗
Massively parallel reporter assays and mouse transgenic assays provide correlated and complementary information about neuronal enhancer activity
High-throughput massively parallel reporter assays (MPRAs) and phenotype-rich in vivo transgenic mouse assays are two potentially complementary ways to study the impact of noncoding variants associated with psychiatric diseases. Here, we investigate the utility of combining these assays. Specifically, we carry out an MPRA in induced human neurons on over 50,000 sequences derived from fetal neuronal ATAC-seq datasets and enhancers validated in mouse assays. We also test the impact of over 20,000 variants, including synthetic mutations and 167 common variants associated with psychiatric disorders. We find a strong and specific correlation between MPRA and mouse neuronal enhancer activity. Four out of five tested variants with significant MPRA effects affected neuronal enhancer activity in mouse embryos. Mouse assays also reveal pleiotropic variant effects that could not be observed in MPRA. Our work provides a catalog of functional neuronal enhancers and variant effects and highlights the effectiveness of combining MPRAs and mouse transgenic assays.
Kosicki, Michael↗
Structure and in vivo psoralen DNA crosslink repair activity of mycobacterial Nei2
Mycobacterium smegmatis Nei2 is a monomeric enzyme with AP β-lyase activity on single-stranded DNA. Expression of Nei2, and its operonic neighbor Lhr (a tetrameric 3'-to-5' helicase), is induced in mycobacteria exposed to DNA damaging agents. Here, we find that nei2 deletion sensitizes M. smegmatis to killing by DNA inter-strand crosslinker trimethylpsoralen but not to crosslinkers mitomycin C and cisplatin. By contrast, deletion of lhr sensitizes to killing by all three crosslinking agents. We report a 1.45 Å crystal structure of recombinant Nei2, which is composed of N and C terminal lobes flanking a central groove suitable for DNA binding. The C lobe includes a tetracysteine zinc complex. Mutational analysis identifies the N-terminal proline residue (Pro2 of the ORF) and Lys51, but not Glu3, as essential for AP lyase activity. We find that Nei2 has 5-hydroxyuracil glycosylase activity on single-stranded DNA that is effaced by alanine mutations of Glu3 and Lys51 but not Pro2. Testing complementation of psoralen sensitivity by expression of wild-type and mutant nei2 alleles in Δnei2 cells established that AP lyase activity is neither sufficient nor essential for crosslink repair. By contrast, complementation of psoralen sensitivity of Δlhr cells by mutant lhr alleles depended on Lhr’s ATPase/helicase activities and its tetrameric quaternary structure. The lhr–nei2 operon comprises a unique bacterial system to rectify inter-strand crosslinks.
59 BASIC BIOLOGICAL SCIENCES↗
Rational Design of Lanmodulin Variants for Size-Based Selectivity of Individual Rare Earth Elements
Rare earth elements (REEs) are essential to modern technologies, yet their high physical and chemical similarity makes separation of individual REEs difficult and environmentally taxing. Metalloproteins offer a promising alternative for selective REE binding, as they tend to have high metal ion affinity and specificity. Lanmodulin (LanM), in particular, has arisen as a potential candidate for REE separation as it exhibits picomolar affinity for elements in the REE family. Prior work has shown that the single point mutation D9N can shift LanM’s preference away from lanthanides toward actinides, motivating efforts to tune selectivity of LanM through targeted mutagenesis. Here, we tested the hypothesis that introducing selective aspartic acid to glutamic acid substitutions in the metal coordinating EF hands of LanM would impose steric constraints that would drive LanM affinity away from larger ions, such as La3+, to smaller ions, such as Y3+. To test this hypothesis, a combination of computational and experimental approaches were employed to evaluate the signal mutations LanM D5E and LanM D3E and the double mutants LanM D1ED5E and LanM D3ED9E. Surprisingly, increasing the number of mutations within the metal center did not enhance affinity for smaller REEs, or decrease affinity for larger ions. Only the single point mutation LanM D5E weakened La3+ binding by one order of magnitude relative to LanM wild type (WT), and pairing it with a second mutation to produce LanM D1ED5E drove La3+ affinity to be stronger than that seen for LanM WT. The D3E mutation alone prevented proper expression and folding, but paring it with D9E to produce LanM D3ED9E rescued expression and yielded La3+ affinities comparable to LanM WT. All variants that expressed (LanM D5E, LanM D1ED5E, LanM D3ED9E) displayed Y3+ affinities comparable to LanM WT. Overall, these results highlight the tunability of LanM’s metal-binding environment but also expose current limitations in predicting structural responses to point mutations within a protein sequence. This work establishes a foundation that can be used for refining computational and experimental strategies to engineer metalloproteins with tailored REE selectivity.
Close, Emily [Pacific Northwest National Laborator↗
Binary vector copy number engineering improves Agrobacterium -mediated transformation
The copy number of a plasmid is linked to its functionality, yet there have been few attempts to optimize higher-copy-number mutants for use across diverse origins of replication in different hosts. We use a high-throughput growth-coupled selection assay and a directed evolution approach to rapidly identify origin of replication mutations that influence copy number and screen for mutants that improve Agrobacterium-mediated transformation (AMT) efficiency. By introducing these mutations into binary vectors within the plasmid backbone used for AMT, we observe improved transient transformation of Nicotiana benthamiana in four diverse tested origins (pVS1, RK2, pSa and BBR1). For the best-performing origin, pVS1, we isolate higher-copy-number variants that increase stable transformation efficiencies by 60–100% in Arabidopsis thaliana and 390% in the oleaginous yeast Rhodosporidium toruloides. Our work provides an easily deployable framework to generate plasmid copy number variants that will enable greater precision in prokaryotic genetic engineering, in addition to improving AMT efficiency.
59 BASIC BIOLOGICAL SCIENCES↗
Data for A Fluorescence-Based Transient Expression Assay for the Analysis of Upstream Open Reading Frames in Plants
Scripts for the manuscript "A fluorescence-based transient expression assay for the analysis of upstream open reading frames in plant" by Haas et al. Upstream open reading frames (uORFs) are regulatory elements present in the 5′ leaders of mRNA that can significantly impact downstream gene expression in eukaryotes. In crop engineering, editing of uORFs can provide an avenue to upregulate expression of native genes without the need to add persistent transgenic copies. Even with genome- wide methods to identify translated uORFs such as ribosome profiling, their functional characterization depends on validation through reporter gene assays and mutagenesis studies. Current screening methods for plants use luciferases or protoplasts to measure differential gene expression between wild- type and mutated transcript leaders, which requires tissue processing and/or substrate addition. Here, we present a time- and cost- efficient alternative to investigate transcript leaders by co- expression of two fluorescent proteins in Nicotiana benthamiana leaf tissue and test our assay on genes involved in photoprotection, editing of which could provide a pathway to increase CO2 assimilation during sun–shade transitions.
Gene Editing↗
High-Sensitivity DNA Aptasensors for Detecting Salivary Biomarker S100A7 in Heart Failure
Early detection of heart failure (HF) is vital for improving patient outcomes, lowering hospital readmission rates, and enabling prompt treatment. We present the first high-affinity DNA aptamer for the salivary HF biomarker S100A7 and its application in highly sensitive, noninvasive diagnostic tests. Iterative truncation of the initial 82-nt aptamer (17–82) produced a 43-nt core (17–43) with a binding affinity of 27 nM, which was further enhanced to 5.5 nM through dimerization. Biochemical and mutational studies confirmed that 17–43 adopts a G-quadruplex structure, which is essential for S100A7 recognition and resistance to enzymatic degradation in human saliva. Incorporating 17–43 into sandwich aptamer-ELISA and hybrid aptamer–antibody ELISA assays allowed detection of recombinant S100A7 in human saliva with limits of detection (LOD) of 7.4 ng mL–1 (0.6 nM) and 29 pg/mL (2.2 pM), respectively-outperforming commercial immunoassays in both sensitivity and dynamic range. The hybrid assay maintained its full performance after 2.5 months of room temperature storage. Additionally, a biolayer interferometry (BLI) sensor with 17–43 quantified S100A7 in patient saliva (n = 3), achieving a LOD of 3.2 ng mL–1 (0.3 nM) with a total assay time of less than 20 min. The aptamer’s stability, high specificity, and versatility across biosensing platforms establish it as a promising tool for noninvasive heart failure diagnostics, laying the groundwork for portable aptamer-based biosensors for multiplexed monitoring of HF biomarkers.
DNA aptamer↗
A Fluorescence‐Based Transient Expression Assay for the Analysis of Upstream Open Reading Frames in Plants
Upstream open reading frames (uORFs) are regulatory elements present in the 5′ leaders of mRNA that can significantly impact downstream gene expression in eukaryotes. In crop engineering, editing of uORFs can provide an avenue to upregulate expression of native genes without the need to add persistent transgenic copies. Even with genome-wide methods to identify translated uORFs such as ribosome profiling, their functional characterization depends on validation through reporter gene assays and mutagenesis studies. Current screening methods for plants use luciferases or protoplasts to measure differential gene expression between wild-type and mutated transcript leaders, which requires tissue processing and/or substrate addition. Here, we present a time- and cost-efficient alternative to investigate transcript leaders by co-expression of two fluorescent proteins in Nicotiana benthamiana leaf tissue and test our assay on genes involved in photoprotection, editing of which could provide a pathway to increase CO 2 assimilation during sun–shade transitions.
Nicotiana benthamiana↗
Extending evolutionary forecasts across bacterial species
Improving evolutionary forecasting requires progressing from studying repeated evolution of a single genotype under identical conditions to formulating broad principles. These principles should enable predictions of how similar species will adapt to similar selective pressures. Evolve-and-resequence experiments with multiple species allow testing forecasts on different biological levels and elucidating the causes for failed predictions. Here, we show that forecasts for adaptation to static culture conditions can be extended to multiple species by testing previous predictions for Pseudomonas syringae and Pseudomonas savastanoi. In addition to sequence divergence, these species differ in their repertoire of biofilm regulatory genes and structural components. Consistent with predictions, both species repeatedly produced biofilm mutants with a wrinkly spreader phenotype. Predominantly, mutations occurred in the wsp operon, with less frequent promoter mutations near uncharacterized diguanylate cyclases. However, mutational patterns differed on the gene level, which was explained by a lack of conservation in relative fitness of mutants between more divergent species. The same mutation was the most frequent for both species suggesting that conserved mutation hotspots can increase parallel evolution. This study shows that evolutionary forecasts can be extended across species, but that differences in the genotype–phenotype–fitness map and mutational biases limit predictability on a detailed molecular level.
59 BASIC BIOLOGICAL SCIENCES↗
Stress-regulated Arabidopsis GAT2 is a low affinity γ-aminobutyric acid transporter
Abstract The four-carbon non-proteinogenic amino acid γ-aminobutyric acid (GABA) accumulates to high levels in plants in response to various abiotic and biotic stress stimuli, and plays a role in C:N balance, signaling, and as a transport regulator. Expression in Xenopus oocytes and voltage-clamping allowed the characterization of Arabidopsis GAT2 (At5g41800) as a low affinity GABA transporter with a K0.5GABA ~8 mM. l-Alanine and butylamine represented additional substrates. GABA-induced currents were strongly dependent on the membrane potential, reaching the highest affinity and highest transport rates at strongly negative membrane potentials. Mutation of Ser17, previously reported to be phosphorylated in planta, did not result in altered affinity. In a short-term stress experiment, AtGAT2 mRNA levels were up-regulated at low water potential and under osmotic stress (polyethylene glycol and mannitol). Furthermore, AtGAT2 promoter activity was detected in vascular tissues, maturating pollen, and the phloem unloading region of young seeds. Even though this suggested a role for AtGAT2 in long-distance transport and loading of sink organs, under the conditions tested neither AtGAT2-overexpressing plants, atgat2 or atgat1 T-DNA insertion lines, nor atgat1 atgat2 doubleknockout mutants differed from wild-type plants in growth on GABA, amino acid levels, or resistance to salt and osmotic stress.
Plant Sciences↗