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

Internet

http://hdl.handle.net/1822/12731

Similar Items