Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

Analysis of N-nitrosames in water using micellar electrokinetic chromatography (MEKC) and development of online and offline methods of extraction and enrichment of neutral polar analytes

Evaluation of the quality of the environment is essential for human wellness as pollutants in trace amounts can cause serious health problem. Nitrosamines are a group of compounds that are considered potential carcinogens and can be found in drinking water (as disinfection byproducts), foods, beverages and cosmetics. To monitor the level of these compounds to minimize daily intakes, fast and reliable analytical techniques are required. As these compounds are relatively highly polar, extraction and enrichment from environmental samples (aqueous) are challenging. Also, the trend of analytical techniques toward the reduction of sample size and minimization of organic solvent use demands new methods of analysis. In light of fulfilling these requirements, a new method of online preconcentration tailored to an electrokinetic chromatography is introduced. In this method, electroosmotic flow (EOF) was suppressed to increase the interaction time between analyte and micellar phase, therefore the only force to mobilize the neutral analytes is the interaction of analyte with moving micelles. In absence of EOF, polarity of applied potential was switched (negative or positive) to force (anionic or cationic) micelles to move toward the detector. To avoid the excessive band broadening due to longer analysis time caused by slow moving micelles, auxiliary pressure was introduced to boost the micelle movement toward the detector using an in house designed and built apparatus. Applying the external auxiliary pressure significantly reduced the analysis times without compromising separation efficiency. Parameters, such as type of surfactants, composition of background electrolyte (BGE), type of capillary, matrix effect, organic modifiers, etc., were evaluated in optimization of the method. The enrichment factors for targeted analytes were impressive, particularly; cationic surfactants were shown to be suitable for analysis of nitrosamines due to their ability to act as hydrogen bond donors. Ammonium perfluorooctanoate (APFO) also showed remarkable results in term of peak shapes and number of theoretical plates. It was shown that the separation results were best when a high conductivity sample was paired with a BGE of lower conductivity. Using higher surfactant concentrations (up to 200 mM SDS) than usual (50 mM SDS) for micellar electrokinetic chromatography (MEKC) improved the sweeping. A new method for micro-extraction and enrichment of highly polar neutral analytes (N-Nitrosamines in particular) based on three-phase drop micro-extraction was introduced and its performance studied. In this method, a new device using some easy-to-find components was fabricated and its operation and application demonstrated. Compared to conventional extraction methods (liquid-liquid extraction), consumption of organic solvents and operation times were significantly lower.

Determination of the Side-Reaction Coefficient of Desferrioxamine B in Trace-Metal-Free Seawater

Partial funding for open access provided by the UMD Libraries' Open Access Publishing Fund.

Chromium supplementation in patients with type 2 diabetes and high risk of type 2 diabetes: a meta-analysis of randomized controlled trials

Introduction: Chromium is an essential trace mineral for carbohydrate and lipid metabolism, which is currently prescribed to control diabetes mellitus. Results of previous systematic reviews and meta-analyses of chromium supplementation and metabolic profiles in diabetes have been inconsistent. Aim: The objective of this meta-analysis was to assess the effects on metabolic profiles and safety of chromium supplementation in type 2 diabetes mellitus and cholesterol. Methods: Literature searches in PubMed, Scopus and Web of Science were made by use of related terms-keywords and randomized clinical trials during the period of 2000-2014. Results: Thirteen trials fulfilled the inclusion criteria and were included in this systematic review. Total doses of Cr supplementation and brewer's yeast ranged from 42 to 1,000 µg/day, and duration of supplementation ranged from 30 to 120 days. The analysis indicated that there was a significant effect of chromium supplementation in diabetics on fasting plasma glucose with a weighted average effect size of -29.26 mg/dL, p = 0.01, CI 95% = -52.4 to -6.09; and on total cholesterol with a weighted average effect size of -6.7 mg/dL, p = 0.01, CI 95% = -11.88 to -1.53. Conclusions: The available evidence suggests favourable effects of chromium supplementation on glycaemic control in patients with diabetes. Chromium supplementation may additionally improve total cholesterol levels.

Dispersive liquid–liquid microextraction for metals enrichment: A useful strategy for improving sensitivity of laser-induced breakdown spectroscopy in liquid samples analysis

A rapid and efficient Dispersive Liquid–Liquid Microextraction (DLLME) followed by Laser-Induced Breakdown Spectroscopy detection (LIBS) was evaluated for simultaneous determination of Cr, Cu, Mn, Ni and Zn in water samples. Metals in the samples were extracted with tetrachloromethane as pyrrolidinedithiocarbamate (APDC) complexes, using vortex agitation to achieve dispersion of the extractant solvent. Several DLLME experimental factors affecting extraction efficiency were optimized with a multivariate approach. Under optimum DLLME conditions, DLLME-LIBS method was found to be of about 4.0–5.5 times more sensitive than LIBS, achieving limits of detection of about 3.7–5.6 times lower. To assess accuracy of the proposed DLLME-LIBS procedure, a certified reference material of estuarine water was analyzed.

Geochemical analysis at ODP Site 207-1259 from the Demerara Rise in the western equatorial Atlantic

Organic carbon-rich shales deposited during the Coniacian-Santonian Oceanic Anoxic Event 3 were drilled during ODP Leg 207 at Demerara Rise. We present integrated high-resolution geochemical records of core intervals from ODP Sites 1259 and 1261 both from nannofossil biozone CC14. Our results reveal systematic variations in marine and detrital sediment contribution, depositional processes, and bottom water redox conditions during black shale formation at two locations on Demerara Rise in different paleo-water depths. A combination of redox proxies (Fe/S, P/Al, C/P, redox-sensitive/sulfide-forming trace metals Mn, Cd, Mo, Ni, V, Zn) and other analytical approaches (bulk sediment composition, P speciation, electron microscopy, X-ray diffraction) evidence anoxic to sulfidic bottom water and sediment conditions throughout the deposition of black shale. These extreme redox conditions persisted and were periodically punctuated by short-termed periods with less reducing bottom waters irrespective of paleo-water depth. Sediment supply at both sites was generally dominated by marine material (carbonate, organic matter, opal) although relationships of detrital proxies as well as glauconitic horizons support some influence of turbidites, winnowing bottom currents and/or variable detritus sources, along with less reducing bottom water at the proposed shallower location (ODP Site 1259). At Site 1261, located at greater paleo-depth, redox fluctuations were more regular, and steady hemipelagic sedimentation sustained the development of mostly undisturbed lamination in the sedimentary record. Strong similarities of the studied deposits exist with the stratigraphic older Cenomanian-Turonian OAE2 black shale sections at Demerara Rise, suggesting that the primary mechanisms controlling continental supply and ocean redox state were time-invariant and kept the western equatorial Atlantic margin widely anoxic over millions of years.

Raman microscopy of formamide-intercalated kaolinites treated by controlled-rate thermal analysis technology

Raman spectroscopy of formamide-intercalated kaolinites treated using controlled-rate thermal analysis technology (CRTA), allowing the separation of adsorbed formamide from intercalated formamide in formamide-intercalated kaolinites, is reported. The Raman spectra of the CRTA-treated formamide-intercalated kaolinites are significantly different from those of the intercalated kaolinites, which display a combination of both intercalated and adsorbed formamide. An intense band is observed at 3629 cm-1, attributed to the inner surface hydroxyls hydrogen bonded to the formamide. Broad bands are observed at 3600 and 3639 cm-1, assigned to the inner surface hydroxyls, which are hydrogen bonded to the adsorbed water molecules. The hydroxyl-stretching band of the inner hydroxyl is observed at 3621 cm-1 in the Raman spectra of the CRTA-treated formamide-intercalated kaolinites. The results of thermal analysis show that the amount of intercalated formamide between the kaolinite layers is independent of the presence of water. Significant differences are observed in the CO stretching region between the adsorbed and intercalated formamide.