software testing : a research travelogue ( 2000 - 2014 ) .
Are automated debugging techniques actually helping programmers?