The bed bug, Cimex lectularius L., like other bed bug species, is difficult to visually locate because it is cryptic. Detector dogs are useful for locating bed bugs because they use olfaction rather than vision. Dogs were trained to detect the bed bug (as few as one adult male or female) and viable bed bug eggs (five, collected 5-6 d after feeding) by using a modified food and verbal reward sys...

Bed bugs, Cimex lectularius L., are a major pest in the urban environment. Their presence often results in physical, psychological, and financial distress of homeowners and apartment dwellers. Although many insecticide bioassays have been performed on this pest, little attention has been paid to bed bug feeding status, which is closely linked to metabolism, molting, and mass. Therefore, we eval...

Feature-sensitive verification pursues effective analysis of the exponentially many variants of a program family. However, researchers lack examples of concrete bugs induced by variability, occurring in real large-scale systems. Such a collection of bugs is a requirement for goal-oriented research, serving to evaluate tool implementations of feature-sensitive analyses by testing them on real bu...

Bed bugs Cimex lectularius L. were exposed to conidia (spores) of the entomopathogenic fungus Metarhizium anisopliae by feeding, aerosol spray, or contact with a treated surface. Feeding experiments demonstrated that bed bugs were innately susceptible to this fungus. However, only at 98% humidity were mortality rates high, regardless of whether bed bugs were sprayed with a fungal solution or co...

Environmental bugs are bugs caused by limitations of precision or capacity in the environment of a piece of software. These bugs may be difficult to activate and even more difficult to find. This paper reports on an extension to traditional mutation testing that enables testing specifically for environmental bugs involving integer arithmetic. This method is both simple and effective, and provid...

Multicore platforms have been widely adopted in recent years and have resulted in increased development of concurrent software. However, concurrent software is still difficult to test and debug for at least three reasons. (1) concurrency bugs involve complex interactions among multiple threads; (2) concurrent software have a large interleaving space and (3) concurrency bugs are hard to reproduc...