Export Ready — 

Assertion-based slicing and slice graphs

Bibliographic Details
Main Author: Barros, José Bernardo
Publication Date: 2010
Other Authors: Cruz, Daniela da, Henriques, Pedro Rangel, Pinto, Jorge Sousa
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/12731
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.
id RCAP_4e06e917b045d0bbd305fa4a07bf391e
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/12731
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Assertion-based slicing and slice graphsSlicingProgram verificationPreconditionsPostconditionsVerification conditionsLabeled control-flow graphControl flow graphsProgram analysisProgram slicing© 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.This paper revisits the idea of slicing programs based on their axiomatic semantics, rather than using criteria based on control/data dependencies. We show how the forward propagation of preconditions and the backward propagation of post conditions can be combined in a new slicing algorithm that is more precise than the existing specification-based algorithms. The algorithm is based on (i) a precise test for removable statements, and (ii) the construction of a slice graph, a program control flow graph extended with semantic labels. It improves on previous approaches in two aspects: it does not fail to identify removable commands; and it produces the smallest possible slice that can be obtained (in a sense that will be made precise). The paper also reviews in detail, through examples, the ideas behind the use of preconditions and post conditions for slicing programs.Fundação para a Ciência e a Tecnologia (FCT) - RESCUE (PTDC/EIA/65862/2006).IEEEUniversidade do MinhoBarros, José BernardoCruz, Daniela daHenriques, Pedro RangelPinto, Jorge Sousa20102010-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/12731eng978-1-4244-8289-410.1109/SEFM.2010.18http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.18info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T06:33:27Zoai:repositorium.sdum.uminho.pt:1822/12731Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:56:56.755413Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Assertion-based slicing and slice graphs
title Assertion-based slicing and slice graphs
spellingShingle Assertion-based slicing and slice graphs
Barros, José Bernardo
Slicing
Program verification
Preconditions
Postconditions
Verification conditions
Labeled control-flow graph
Control flow graphs
Program analysis
Program slicing
title_short Assertion-based slicing and slice graphs
title_full Assertion-based slicing and slice graphs
title_fullStr Assertion-based slicing and slice graphs
title_full_unstemmed Assertion-based slicing and slice graphs
title_sort Assertion-based slicing and slice graphs
author Barros, José Bernardo
author_facet Barros, José Bernardo
Cruz, Daniela da
Henriques, Pedro Rangel
Pinto, Jorge Sousa
author_role author
author2 Cruz, Daniela da
Henriques, Pedro Rangel
Pinto, Jorge Sousa
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Barros, José Bernardo
Cruz, Daniela da
Henriques, Pedro Rangel
Pinto, Jorge Sousa
dc.subject.por.fl_str_mv Slicing
Program verification
Preconditions
Postconditions
Verification conditions
Labeled control-flow graph
Control flow graphs
Program analysis
Program slicing
topic Slicing
Program verification
Preconditions
Postconditions
Verification conditions
Labeled control-flow graph
Control flow graphs
Program analysis
Program slicing
description © 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.
publishDate 2010
dc.date.none.fl_str_mv 2010
2010-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/12731
url http://hdl.handle.net/1822/12731
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 978-1-4244-8289-4
10.1109/SEFM.2010.18
http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.18
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv IEEE
publisher.none.fl_str_mv IEEE
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595642414366720

Similar Items