Recording Venue: JAOO 2007
Guest(s): Andreas Zeller
Host(s): Markus
In this episode we’re talking to Andreas Zeller about debugging. We started the discussion with an explanation of what debugging and how it works in principle. We then briefly discussed the relationship between debugging and testing. Next was the importance of the scientific method for debugging. We then looked as debugging as a search problem, leading to a discussion about delta debugging, the main topic of this discussion. We concluded the discussion by looking at the practical usability of delta debugging and the relationship to other means of automatically finding problems in software.
Great interview and a fascinating topic. I’d be interested to see what the logic programming guys could do with this concept, give that reasoning about declarative programs is generally easier than for imperative programs.