Assertion-based slicing and slice graphs

© 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to s...

Full description

Bibliographic Details
Main Author: Barros, José Bernardo (author)
Other Authors: Cruz, Daniela da (author), Henriques, Pedro Rangel (author), Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2010
Subjects:
Slicing
Program verification
Preconditions
Postconditions
Verification conditions
Labeled control-flow graph
Control flow graphs
Program analysis
Program slicing
Online Access:http://hdl.handle.net/1822/12731
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/12731
Description
Summary:© 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Similar Items