In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool automatically generates and validates fixes for software faults. The key insights behind AutoFix-E are to rely on contracts present in the software to ensure that the proposed fixes are semantically sound, and on state diagrams using an abstract notion of state based on the boolean queries of a class. Out of 42 faults found by an automatic testing tool in two widely used Eiffel libraries, AutoFix-E proposes successful fixes for 16 faults. Submitting some of these faults to experts shows that several of the proposed fixes are identical or close to fixes proposed by humans.

Although increasing evidence confirms neuropsychiatric manifestations associated mainly with severe COVID-19 infection, long-term neuropsychiatric dysfunction (recently characterized as part of “long COVID-19” syndrome) has been frequently observed after mild infection. We show the spectrum of cerebral impact of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infection, ranging from long-term alterations in mildly infected individuals (orbitofrontal cortical atrophy, neurocognitive impairment, excessive fatigue and anxiety symptoms) to severe acute damage confirmed in brain tissue samples extracted from the orbitofrontal region (via endonasal transethmoidal access) from individuals who died of COVID-19. In an independent cohort of 26 individuals who died of COVID-19, we used histopathological signs of brain damage as a guide for possible SARS-CoV-2 brain infection and found that among the 5 individuals who exhibited those signs, all of them had genetic material of the virus in the brain. Brain tissue samples from these five patients also exhibited foci of SARS-CoV-2 infection and replication, particularly in astrocytes. Supporting the hypothesis of astrocyte infection, neural stem cell–derived human astrocytes in vitro are susceptible to SARS-CoV-2 infection through a noncanonical mechanism that involves spike–NRP1 interaction. SARS-CoV-2–infected astrocytes manifested changes in energy metabolism and in key proteins and metabolites used to fuel neurons, as well as in the biogenesis of neurotransmitters. Moreover, human astrocyte infection elicits a secretory phenotype that reduces neuronal viability. Our data support the model in which SARS-CoV-2 reaches the brain, infects astrocytes, and consequently, leads to neuronal death or dysfunction. These deregulated processes could contribute to the structural and functional alterations seen in the brains of COVID-19 patients.

COVID-19 patients may exhibit neuropsychiatric and/or neurological symptoms. We found that anxiety and cognitive impairment are manifested by 28-56% of SARS-CoV-2-infected individuals with mild or no respiratory symptoms and are associated with altered cerebral cortical thickness. Using an independent cohort, we found histopathological signs of brain damage in 19% of individuals who died of COVID-19. All of the affected brain tissues exhibited foci of SARS-CoV-2 infection, particularly in astrocytes. Infection of neural stem cell-derived astrocytes changed energy metabolism, altered key proteins and metabolites used to fuel neurons and for biogenesis of neurotransmitters, and elicited a secretory phenotype that reduces neuronal viability. Our data support the model where SARS-CoV-2 reaches the brain, infects astrocytes and triggers neuropathological changes that contribute to the structural and functional alterations in the brain of COVID-19 patients.

COVID-19 patients may exhibit neuropsychiatric and neurological symptoms. We found that anxiety and cognitive impairment are manifested by 28-56% of SARS-CoV-2-infected individuals with mild respiratory symptoms and are associated with altered cerebral cortical thickness. Using an independent cohort, we found histopathological signs of brain damage in 25% of individuals who died of COVID-19. All of the affected brain tissues exhibited foci of SARS-CoV-2 infection and replication, particularly in astrocytes. Infection of neural stem cell-derived astrocytes changed energy metabolism, altered key proteins and metabolites used to fuel neurons and for biogenesis of neurotransmitters, and elicited a secretory phenotype that reduces neuronal viability. Our data support the model where SARS-CoV-2 reaches the brain, infects astrocytes and triggers neuropathological changes that contribute to the structural and functional alterations in the brain of COVID-19 patients.

BackgroundFatigue and cognitive complaints are the most frequent persistent symptoms in patients after severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infection. This study aimed to assess fatigue and neuropsychological performance and investigate changes in the thickness and volume of gray matter (GM) and microstructural abnormalities in the white matter (WM) in a group of patients with mild-to-moderate coronavirus disease 2019 (COVID-19).MethodsWe studied 56 COVID-19 patients and 37 matched controls using magnetic resonance imaging (MRI). Cognition was assessed using Montreal Cognitive Assessment and Cambridge Neuropsychological Test Automated Battery, and fatigue was assessed using Chalder Fatigue Scale (CFQ-11). T1-weighted MRI was used to assess GM thickness and volume. Fiber-specific apparent fiber density (FD), free water index, and diffusion tensor imaging data were extracted using diffusion-weighted MRI (d-MRI). d-MRI data were correlated with clinical and cognitive measures using partial correlations and general linear modeling.ResultsCOVID-19 patients had mild-to-moderate acute illness (95% non-hospitalized). The average period between real-time quantitative reverse transcription polymerase chain reaction-based diagnosis and clinical/MRI assessments was 93.3 (±26.4) days. The COVID-19 group had higher total CFQ-11 scores than the control group (p < 0.001). There were no differences in neuropsychological performance between groups. The COVID-19 group had lower FD in the association, projection, and commissural tracts, but no change in GM. The corona radiata, corticospinal tract, corpus callosum, arcuate fasciculus, cingulate, fornix, inferior fronto-occipital fasciculus, inferior longitudinal fasciculus, superior longitudinal fasciculus, and uncinate fasciculus were involved. CFQ-11 scores, performance in reaction time, and visual memory tests correlated with microstructural changes in patients with COVID-19.ConclusionsQuantitative d-MRI detected changes in the WM microstructure of patients recovering from COVID-19. This study suggests a possible brain substrate underlying the symptoms caused by SARS-CoV-2 during medium- to long-term recovery.