Learn More
Spectrum-based fault localization is a statistical technique that aims at helping software developers to find faults quickly by analyzing abstractions of program traces to create a ranking of most probable faulty components (e.g., program statements). Although spectrum-based fault localization has been shown to be effective, its diagnostic accuracy is(More)
A considerable body of work on model-based software debugging (MBSD) has been published in the past decade. We summarise the underlying ideas and present the different approaches as abstractions of the concrete semantics of the programming language. We compare the model-based framework with other well-known Automated Debugging approaches and present open(More)
Finding and fixing faults in programs is usually an expensive and tedious task. Consequently the development of intelligent debugging tools that aid the programmer in this task is a topic of major industrial interest. This work describes two representations for applying model-based diagnosis to Java programs, a technique that permits locating (and partly(More)
With recent research showing that consistency based diagnosis can be used to model programs written in imperative programming languages for debugging purposes, it has been possible to develop debugging environments that provide interactive support to the developer, homing in on individual faults within a few interactions. In addition to complexity results,(More)
We have used two different experimental approaches to demonstrate topological separation of parental genomes in preimplantation mouse embryos: mouse eggs fertilized with 5-bromodeoxyuridine (BrdU)-labeled sperm followed by detection of BrdU in early diploid embryos, and differential heterochromatin staining in mouse interspecific hybrid embryos. Separation(More)