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

Texto Completo

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

Registos relacionados