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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Barros, José Bernardo (author)
Outros Autores: Cruz, Daniela da (author), Henriques, Pedro Rangel (author), Pinto, Jorge Sousa (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2010
Assuntos:
Slicing
Program verification
Preconditions
Postconditions
Verification conditions
Labeled control-flow graph
Control flow graphs
Program analysis
Program slicing
Texto completo:http://hdl.handle.net/1822/12731
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/12731
Descrição
Resumo:© 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.

Registros relacionados