Program debugging is a process of identifying and fixing bugs. Identifying the root causes is the hardest, thus the most expensive, component of debugging. According to a U.S. federal study, software defects costs U.S. economy an estimated $59.5 billion each year and improvements (including testing and debugging) could reduce this cost by a third, or $22.5 billion. Therefore, automated approaches ...