Assertion-based slicing and slice graphs. - José Bernardo Barros; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (Formal Aspects Comput., 2012)