Concurrency related bugs are hard to detect and even harder to reproduce due to their time dependent nature. One big factor in non-determinism of multi-threaded applications is process scheduler of an operating system. In this work, we presented results of our study to understand the behavior of some of the selected concurrency bugs under different OS schedulers. The generalization of this stud...

Privacy in social computing systems has become a major concern. End-users of such systems find it increasingly hard to understand complex privacy settings. As software evolves over time, this might introduce bugs that breach users’ privacy. Further, there might be system-wide policy changes that could change users’ settings to be more or less private than before. We present a novel technique th...

Randomly mutating well-formed program inputs or simply fuzzing, is a highly effective and widely used strategy to find bugs in software. Other than showing fuzzers find bugs, there has been little systematic effort in understanding the science of how to fuzz properly. In this paper, we focus on how to mathematically formulate and reason about one critical aspect in fuzzing: how best to pick see...

In software development, fixing bugs is an important task that is time consuming and cost-sensitive. While many approaches have been proposed to automatically detect and patch software code, the strategies are limited to a set of identified bugs that were thoroughly studied to define their properties. They thus manage to cover a niche of faults such as infinite loops. We build on the assumption...

Lady beetles (Coleoptera: Coccinellidae) are important polyphagous predators in maize, Zea mays L., fields. Transgenic Cry3Bb1 maize hybrids express a coleopteran-specific insecticidal protein derived from Bacillus thuringiensis (Berliner) subsp. kumamotoensis that is targeted at corn rootworm larvae. This study evaluated impacts of Cry3Bb1 protein-expressing maize, tefluthrin-treated maize, an...

Data on the seasonal patterns of fruit growth and dark respiration of two peach (Prunus persica (L.) Batsch) cultivars were combined with temperature data to calculate the carbohydrate requirements of an "average" peach fruit from bloom to harvest. The two peach cultivars used were June Lady (an early maturing (mid-June) cultivar) and O'Henry (a late maturing (early-August) cultivar). At harves...