Visualizing massively pruned execution traces to facilitate trace exploration. - Johannes Bohnet; Martin Koeleman; Jürgen Döllner (VISSOFT, 2009)