Coverage based debugging visualization - Mutti, Danilo (2014)