Assertion-based Slicing and Slice Graphs

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto. Assertion-based Slicing and Slice Graphs. In José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini, editors, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. pages 93-102, IEEE Computer Society, 2010. [doi]

Authors

José Bernardo Barros

This author has not been identified. Look up 'José Bernardo Barros' in Google

Daniela Carneiro da Cruz

This author has not been identified. Look up 'Daniela Carneiro da Cruz' in Google

Pedro Rangel Henriques

This author has not been identified. It may be one of the following persons: Look up 'Pedro Rangel Henriques' in Google

Jorge Sousa Pinto

This author has not been identified. Look up 'Jorge Sousa Pinto' in Google