Assertion-based slicing and slice graphs - Barros, José Bernardo (2012)