Thesis Defense Software Engineering Hypothesis Based Debuggers