Abreu R, Zoeteweij P, Van Gemund AJC.? 2009.??A Model-Based Software Reasoning Approach to Software Debugging. Opportunities and Challenges for Next-Generation Applied Intelligence. :233?239.