loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sukriti Bhattacharya and Agostino Cortesi

Affiliation: Ca’ Foscari University of Venice, Italy

ISBN: 978-989-8425-77-5

Keyword(s): Abstract Interpretation, Program slicing, Semantics, Static analysis.

Related Ontology Subjects/Areas/Topics: Algorithms and Data Structures ; Programming Languages ; Software Engineering ; Software Engineering Methods and Techniques ; Software Testing and Maintenance

Abstract: A slice is usually computed by analyzing how the effects of a computation are propagated through the code, i.e., by inferring dependencies. The aim of this paper is to further refine the traditional slicing technique by combining it with a static analysis in Abstract Interpretation based framework. This results into a deeper insight on the strong relation between slicing and property based dependency.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.85.245.126

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Bhattacharya, S. and Cortesi, A. (2011). PROPERTY DRIVEN PROGRAM SLICING REFINEMENT.In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 149-155. DOI: 10.5220/0003490101490155

@conference{icsoft11,
author={Sukriti Bhattacharya. and Agostino Cortesi.},
title={PROPERTY DRIVEN PROGRAM SLICING REFINEMENT},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={149-155},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003490101490155},
isbn={978-989-8425-77-5},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - PROPERTY DRIVEN PROGRAM SLICING REFINEMENT
SN - 978-989-8425-77-5
AU - Bhattacharya, S.
AU - Cortesi, A.
PY - 2011
SP - 149
EP - 155
DO - 10.5220/0003490101490155

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.