Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Health promoting potential of herbal teas and tinctures from Artemisia campestris subsp maritima: from traditional remedies to prospective products

This work explored the biotechnological potential of the medicinal halophyte Artemisia campestris subsp. maritima (dune wormwood) as a source of health promoting commodities. For that purpose, infusions, decoctions and tinctures were prepared from roots and aerial-organs and evaluated for in vitro antioxidant, anti-diabetic and tyrosinase-inhibitory potential, and also for polyphenolic and mineral contents and toxicity. The dune wormwood extracts had high polyphenolic content and several phenolics were identified by ultra-high performance liquid chromatography-photodiode array-mass-spectrometry (UHPLC-PDA-MS). The main compounds were quinic, chlorogenic and caffeic acids, coumarin sulfates and dicaffeoylquinic acids; several of the identified phytoconstituents are here firstly reported in this A. campestris subspecies. Results obtained with this plant's extracts point to nutritional applications as mineral supplementary source, safe for human consumption, as suggested by the moderate to low toxicity of the extracts towards mammalian cell lines. The dune wormwood extracts had in general high antioxidant activity and also the capacity to inhibit a-glucosidase and tyrosinase. In summary, dune wormwood extracts are a significant source of polyphenolic and mineral constituents, antioxidants and a-glucosidase and tyrosinase inhibitors, and thus, relevant for different commercial segments like the pharmaceutical, cosmetic and/or food industries.FCT - Foundation for Science and Technology [CCMAR/Multi/04326/2013]; Portuguese National Budget; FCT [IF/00049/2012, SFRH/BD/94407/2013]; Research Foundation - Flanders (FWO) [12M8315N]info:eu-repo/semantics/publishedVersio

The neurochemical basis of human cortical auditory processing: combining proton magnetic resonance spectroscopy and magnetoencephalography

BACKGROUND: A combination of magnetoencephalography and proton magnetic resonance spectroscopy was used to correlate the electrophysiology of rapid auditory processing and the neurochemistry of the auditory cortex in 15 healthy adults. To assess rapid auditory processing in the left auditory cortex, the amplitude and decrement of the N1m peak, the major component of the late auditory evoked response, were measured during rapidly successive presentation of acoustic stimuli. We tested the hypothesis that: (i) the amplitude of the N1m response and (ii) its decrement during rapid stimulation are associated with the cortical neurochemistry as determined by proton magnetic resonance spectroscopy. RESULTS: Our results demonstrated a significant association between the concentrations of N-acetylaspartate, a marker of neuronal integrity, and the amplitudes of individual N1m responses. In addition, the concentrations of choline-containing compounds, representing the functional integrity of membranes, were significantly associated with N1m amplitudes. No significant association was found between the concentrations of the glutamate/glutamine pool and the amplitudes of the first N1m. No significant associations were seen between the decrement of the N1m (the relative amplitude of the second N1m peak) and the concentrations of N-acetylaspartate, choline-containing compounds, or the glutamate/glutamine pool. However, there was a trend for higher glutamate/glutamine concentrations in individuals with higher relative N1m amplitude. CONCLUSION: These results suggest that neuronal and membrane functions are important for rapid auditory processing. This investigation provides a first link between the electrophysiology, as recorded by magnetoencephalography, and the neurochemistry, as assessed by proton magnetic resonance spectroscopy, of the auditory cortex

Antimicrobial activity and bioactive compounds of portuguese wild edible mushrooms methanolic extracts

The antimicrobial properties of phenolic extracts of Portuguese wild edible mushroom species (Lactarius deliciosus, Sarcodon imbricatus and Tricholoma portentosum) against pathogens were investigated. The minimal inhibitory concentrations (MICs) were evaluated for the entire mushroom, the cap and the stipe, separately; the portion of the mushroom used proved to be influenced in the results obtained, which are directly correlated with the content of total phenols and flavonoids in the extracts. The growth of Grampositive bacteria (Bacillus cereus, B. subtilis,) was well inhibited by these mushrooms, while Escherichia coli (Gramnegative bacteria) was resistant. The study on the antifungal effect of these mushrooms revealed that Candida albicans and Cryptococcus neoformans were differently inhibited for the mushrooms used

Antioxidative protection of dietary bilberry, chokeberry and Lactobacillus plantarum HEAL19 in mice subjected to intestinal oxidative stress by ischemia-reperfusion

<p>Abstract</p> <p>Background</p> <p>Ischemia-reperfusion (I/R) in the intestines is an inflammatory condition which activates leukocytes and reactive oxygen species (ROS) and leads to lipid peroxidation and DNA damage. Bilberry and chokeberry fruits are rich sources of polyphenols which may act as antioxidants and prevent lipid peroxidation. Lactic acid bacteria (LAB) may improve microbial status in the intestines and increase the metabolic activity towards polyphenolic degradation. The aim of the study was to clarify antioxidative effects of bilberry and chokeberry fruits alone and with addition of a LAB-strain, <it>Lactobacillus plantarum </it>HEAL19, in an I/R-model in mice.</p> <p>Methods</p> <p>Male BALB/cJ mice were fed the experimental diets for 10 days. Diets consisted of standard chow supplemented with either bilberry (<it>Vaccinium myrtillus</it>) or chokeberry (<it>Aronia × prunifolia</it>) powder alone or in combination with the LAB-strain <it>Lactobacillus plantarum </it>HEAL19. I/R-injury was induced by holding superior mesenteric artery clamped for 30 minutes followed by reperfusion for 240 minutes. Thereafter, colonic and caecal tissues and contents were collected. Malondialdehyde (MDA) was used as indicator of lipid peroxidation and was measured by a calorimetric assay, lactobacilli were cultured on Rogosa agar plates and <it>Enterobacteriaceae </it>on VRBG agar plates, anthocyanins and phenolic acids were analysed by HPLC-DAD-ESI-MSn.</p> <p>Results</p> <p>MDA was significantly decreased in the colon of groups fed bilberry alone (p = 0.030) and in combination with <it>L. plantarum </it>HEAL19 (p = 0.021) compared to the IR-control but not in chokeberry-fed groups. Supplementation with bilberry or chokeberry alone reduced the total number of lactobacilli on the mucosa. Higher concentrations of anthocyanins were found in the colon than in the caecum content of mice. A more varied composition of different anthocyanins was also observed in the colon content compared to the caecum of bilberry-fed mice. Phenolic acids formed by microbial degradation of the dietary polyphenols in the gut could be detected. More phenolic metabolites were found in the intestines of bilberry-fed mice than in the chokeberry-fed ones.</p> <p>Conclusions</p> <p>Bilberry alone and in combination with <it>L. plantarum </it>HEAL19 exerts a better protection against lipid peroxidation than chokeberry. These dietary supplements may be used to prevent or suppress oxidative stress.</p