Finding the needles in the haystack: Generating legal test inputs for object-oriented programs

A test input for an object-oriented program typically consists of asequence of method calls that use the API defined by the programunder test. Generating legal test inputs can be challenging because,for some programs, the set of legal method sequences is much smallerthan the set of all possible sequences; without a formalspecification of legal sequences, an input generator is bound toproduce mostly illegal sequences.We propose a scalable technique that combines dynamic analysis withrandom testing to help an input generator create legal test inputswithout a formal specification, even for programs in whichmost sequences are illegal. The technique uses an example executionof the program to infer a model of legal call sequences, and usesthe model to guide a random input generator towards legal butbehaviorally-diverse sequences.We have implemented our technique for Java, in a tool calledPalulu, and evaluated its effectiveness in creating legal inputsfor real programs. Our experimental results indicate that thetechnique is effective and scalable. Our preliminary evaluationindicates that the technique can quickly generate legal sequencesfor complex inputs: in a case study, Palulu created legal testinputs in seconds for a set of complex classes, for which it took anexpert thirty minutes to generate a single legal input

Experience with FreeStyle Libre Flash glucose monitoring system in management of refractory dumping syndrome in pregnancy shortly after bariatric surgery

Bariatric surgery is an effective therapy for obesity but is associated with long-term complications such as dumping syndromes and nutritional deficiencies. We report a case of a 26-year-old caucasian female, with history of morbid obesity and gestational diabetes (GDM), who became pregnant 4 months after Roux-en-Y bypass surgery. She developed GDM during subsequent pregnancy, which was initially managed with metformin and insulin. Nocturnal hypoglycaemia causing sleep disturbance and daytime somnolence occured at 19 weeks of pregnancy (19/40). Treatment with rapid-acting carbohydrates precipitated further hypoglycaemia. Laboratory investigations confirmed hypoglycaemia at 2.2 mmol/L with appropriately low insulin and C-peptide, intact HPA axis and negative IgG insulin antibodies. The patient was seen regularly by the bariatric dietetic team but concerns about compliance persisted. A FreeStyle Libre system was used from 21/40 enabling the patient a real-time feedback of changes in interstitial glucose following high or low GI index food intake. The patient declined a trial of acarbose but consented to an intraveneous dextrose infusion overnight resulting in improvement but not complete abolishment of nocturnal hypoglycaemia. Hypoglycaemias subsided at 34/40 and metformin and insulin had to be re-introduced due to high post-prandial blood glucose readings. An emergency C-section was indicated at 35 + 1/40 and a small-for-gestational-age female was delivered. There have been no further episodes of hypoglycaemia following delivery. This case illustrates challenges in the management of pregnancy following bariatric surgery. To our knowledge, this is the first use of FreeStyle Libre in dumping syndrome in pregnancy following bariatric surgery with troublesome nocturnal hypoglycaemia. Learning points: Bariatric surgery represents the most effective treatment modality in cases of severe obesity. With increasing prevalence of obesity, more people are likely to undergo bariatric procedures, many of which are women of childbearing age. Fertility generally improves after bariatric surgery due to weight reduction, but pregnancy is not recommended for at least 12-24 months after surgery. If pregnancy occurs, there are currently little evidence-based guidelines available on how to manage complications such as dumping syndromes or gestational diabetes (GDM) in women with history of bariatric surgery. Diagnosis of GDM relies on the use of a 75 g oral glucose tolerance test (OGTT). The use of this test in pregnant women is not recommended due to its potential to precipitate dumping syndrome. Capillary glucose monitoring profiles or continuous glucose monitoring (CGM) is being currently discussed as alternative testing modalities. As the CGM technology becomes more available, including the recently introduced FreeStyle Libre Flash glucose monitoring system, more pregnant women, including those after bariatric surgery, will have access to this technology. We suggest urgent development of guidelines regarding the use of CGM and flash glucose monitoring tools in these circumstances and in the interim recommend careful consideration of their use on a case-to-case basis

Multilocus sequence types of invasive Corynebacterium diphtheriae isolated in the Rio de Janeiro urban area, Brazil

Invasive infections caused by Corynebacterium diphtheriae in vaccinated and non-vaccinated individuals have been reported increasingly. In this study we used multilocus sequence typing (MLST) to study genetic relationships between six invasive strains of this bacterium isolated solely in the urban area of Rio de Janeiro, Brazil, during a 10-year period. Of note, all the strains rendered negative results in PCR reactions for the tox gene, and four strains presented an atypical sucrose-fermenting ability. Five strains represented new sequence types. MLST results did not support the hypothesis that invasive (sucrose-positive) strains of C. diphtheriae are part of a single clonal complex. Instead, one of the main findings of the study was that such strains can be normally found in clonal complexes with strains related to non-invasive disease. Comparative analyses with C. diphtheriae isolated in different countries provided further information on the geographical circulation of some sequence types

Towards better tamper&intrusion detection

This presentation discusses in generic terms some of the work of the Vulnerability Assessment Team at Los Alamos National Laboratory in the area of tamper and intrusion detection. Novel security approaches are discussed. We also present preliminary results for a crude prototype of a high security ('Town Crier') monitoring system for securing moving cargo or stationary assets

The relative contribution of climate variability and vector control coverage to changes in malaria parasite prevalence in Zambia 2006-2012

BACKGROUND: Four malaria indicator surveys (MIS) were conducted in Zambia between 2006 and 2012 to evaluate malaria control scale-up. Nationally, coverage of insecticide-treated nets (ITNs) and indoor residual spraying (IRS) increased over this period, while parasite prevalence in children 1-59 months decreased dramatically between 2006 and 2008, but then increased from 2008 to 2010. We assessed the relative effects of vector control coverage and climate variability on malaria parasite prevalence over this period. METHODS: Nationally-representative MISs were conducted in April-June of 2006, 2008, 2010 and 2012 to collect household-level information on malaria control interventions such as IRS, ITN ownership and use, and child parasite prevalence by microscopic examination of blood smears. We fitted Bayesian geostatistical models to assess the association between IRS and ITN coverage and climate variability and malaria parasite prevalence. We created predictions of the spatial distribution of malaria prevalence at each time point and compared results of varying IRS, ITN, and climate inputs to assess their relative contributions to changes in prevalence. RESULTS: Nationally, the proportion of households owning an ITN increased from 37.8 % in 2006 to 64.3 % in 2010 and 68.1 % in 2012, with substantial heterogeneity sub-nationally. The population-adjusted predicted child malaria parasite prevalence decreased from 19.6 % in 2006 to 10.4 % in 2008, but rose to 15.3 % in 2010 and 13.5 % in 2012. We estimated that the majority of this prevalence increase at the national level between 2008 and 2010 was due to climate effects on transmission, although there was substantial heterogeneity at the provincial level in the relative contribution of changing climate and ITN availability. We predict that if climate factors preceding the 2010 survey were the same as in 2008, the population-adjusted prevalence would have fallen to 9.9 % nationally. CONCLUSIONS: These results suggest that a combination of climate factors and reduced intervention coverage in parts of the country contributed to both the reduction and rebound in malaria parasite prevalence. Unusual rainfall patterns, perhaps related to moderate El Niño conditions, may have contributed to this variation. Zambia has demonstrated considerable success in scaling up vector control. This analysis highlights the importance of accounting for climate variability when using cross-sectional data for evaluation of malaria control efforts

Eruption Style, Emplacement Dynamics and Geometry of Peralkaline Ignimbrites: Insights From the Lajes-Angra Ignimbrite Formation, Terceira Island, Azores

Ignimbrites are relatively uncommon on ocean island volcanoes and yet they constitute a significant portion of the stratigraphy of Terceira Island (Azores). The Lajes-Angra Ignimbrite Formation (ca. 25 cal ka BP) contains the youngest ignimbrites on Terceira and records two ignimbrite-forming eruptions of Pico Alto volcano that occurred closely spaced in time. Here, we present the first detailed lithofacies analysis and architecture of the Angra and Lajes ignimbrites, complemented by petrographic, mineral chemical, whole rock and groundmass glass geochemical data. The two ignimbrites have the same comenditic trachyte composition, but show considerable variability in trace element and groundmass glass compositions, revealing complex petrogenetic processes in the Pico Alto magma reservoir prior to eruption. The Angra Ignimbrite has a high-aspect ratio and is massive throughout its thickness. It was formed by a small-volume but sustained pyroclastic density current (PDC) fed by a short-lived, low pyroclastic fountain. Overall, the PDC had high particle concentration, granular fluid-based flow conditions and was mostly channelled into a valley on the south part of Terceira. By contrast, the Lajes Ignimbrite has a low-aspect ratio and shows vertical and lateral lithofacies variations. It was formed by a sustained quasi-steady PDC generated from vigorous and prolonged pyroclastic fountaining. The ignimbrite architecture reveals that depositional conditions of the parent PDC evolved as the eruption waxed. The dilute front of the current rapidly changed to a high particle concentration, granular fluid-based PDC that extended to the north and south coasts, with limited capacity to surmount topographic highs. Contrary to what is commonly assumed, the low-aspect ratio of the Lajes Ignimbrite is interpreted to result from deposition of a relatively low velocity PDC over a generally flat topography. This work highlights that the geometry (aspect ratio) of ignimbrites does not necessarily reflect the kinetic energy of PDCs and thus should not be used as a proxy for PDC emplacement dynamics. Although the probability of an ignimbrite-forming eruption on Terceira is relatively low, such a scenario should not be underestimated, as a future event would have devastating consequences for the island’s 55,000 inhabitants

Exposure of RC building structures to the marine environment of the Valencia coast

[EN] As the marine atmosphere is very harmful to reinforced concrete (RC) structures, buildings situated close to the sea are at a high risk of suffering damage. Such is the case for many of the buildings near the coast in Valencia (Spain). Most of these buildings were built between 1968 and 2007, and nowadays their RC structures are seriously damaged. This paper describes the condition of 1816 buildings that were inspected in 14 towns along the Valencia coast. From these inspections, there have been identified the main factors which are the most significant in the damage of these RC structures by the aggressive marine conditions. These factors include environmental characteristics, urban parameters, and the construction system of the buildings.Moreno, JD.; Pellicer, TM.; Adam, JM.; Bonilla Salvador, MM. (2018). Exposure of RC building structures to the marine environment of the Valencia coast. Journal of Building Engineering. 15:109-121. https://doi.org/10.1016/j.jobe.2017.11.016S1091211

Templated encapsulation of platinum-based catalysts promotes high-temperature stability to 1,100 °C

Stable catalysts are essential to address energy and environmental challenges, especially for applications in harsh environments (for example, high temperature, oxidizing atmosphere and steam). In such conditions, supported metal catalysts deactivate due to sintering-a process where initially small nanoparticles grow into larger ones with reduced active surface area-but strategies to stabilize them can lead to decreased performance. Here we report stable catalysts prepared through the encapsulation of platinum nanoparticles inside an alumina framework, which was formed by depositing an alumina precursor within a separately prepared porous organic framework impregnated with platinum nanoparticles. These catalysts do not sinter at 800 °C in the presence of oxygen and steam, conditions in which conventional catalysts sinter to a large extent, while showing similar reaction rates. Extending this approach to Pd-Pt bimetallic catalysts led to the small particle size being maintained at temperatures as high as 1,100 °C in air and 10% steam. This strategy can be broadly applied to other metal and metal oxides for applications where sintering is a major cause of material deactivation