Title of dissertation: SIMPLE AND EFFECTIVE STATIC ANALYSIS TO FIND BUGS David H. Hovemeyer, Doctor of Philosophy, 2005 Dissertation directed by: Professor William W. Pugh Department of Computer Science Much research in recent years has focused on using static analysis to find bugs in software. Many new approaches employing sophisticated program analysis techniques—inter-procedural, context-sen...

A significant percentage of software bugs reported during test cycles falls in a category of Invalid bug reports also known as rejected bugs. This research presents the actual percentage of bugs rejection based on data collected from bug tracking system. This paper provides a list of reasons behind bug rejection, their relation with severity level and possible threats that can affect software t...

We investigate the performance of the HemeLB lattice-Boltzmann simulator for cerebrovascular blood flow, aimed at providing timely and clinically relevant assistance to neurosurgeons. HemeLB is optimised for sparse geometries, supports interactive use, and scales well to 32,768 cores for problems with ∼81 million lattice sites. We obtain a maximum performance of 29.5 billion site updates per se...

The real point here is that the Acid3 test isn't a broad-spectrum standards-support test. It's a showpiece, and something of a Potemkin village at that. Which is a shame, because what's really needed right now is exhaustive test suites for specifications— XHTML, CSS, DOM, SVG.[2] Acid3 is the third of three benchmark tests that have been devised to challenge browsers to comply with Internet sta...

Not all bugs in software would be experienced and reported by end users right away: Some bugs manifest themselves quickly and may be reported by users a few days after they get into the code base; others manifest many months or even years later, and may only be experienced and reported by a small number of users. We refer to the period of time between the time when a bug is introduced into code...

Human sleeping quarters (domiciles) and chicken coops are key source habitats of Triatoma infestans-the principal vector of the infection that causes Chagas disease-in rural communities in northern Argentina. Here we investigated the links among individual bug bloodmeal contents (BMC, mg), female fecundity, body length (L, mm), host blood sources and habitats. We tested whether L, habitat and h...

Accurate identification and explication of program bugs requires an understanding of the programmer's intentions. This paper describes a system called PROUST which performs intention-based diagnosis of errors in novice PASCAL programs. The technique used involves generating possible goal decompositions for the program, matching them against the program, and then proposing bugs and misconception...

Software bugs are a major cause of system downtime. To improve the quality of software, we have to find costeffective ways to locate and fix software bugs. Automatic tracing of real software executions in which software bugs are triggered would be most helpful. This would, for example, help us to focus on patching bugs that are triggered in practice and would speed up locating software bugs. So...

Bed bugs are ectoparasites of humans and require a blood meal for their growth and reproduction. Since humans consume Ibuprofen as pain medication and drink coffee (caffeine), bed bugs are likely to acquire these drugs through blood feeding. In this study, we determined the biological effects of Ibuprofen and caffeine on bed bug feeding, fecundity and egg hatch. Five concentrations of Ibuprofen...