2003
DOI: 10.1002/spe.556
|View full text |Cite
|
Sign up to set email alerts
|

CONSIT: a fully automated conditioned program slicer

Abstract: Conditioned slicing is a source code extraction technique. The extraction is performed with respect to a slicing criterion which contains a set of variables and conditions of interest. Conditioned slicing removes the parts of the original program which cannot affect the variables at the point of interest, when the conditions are satisfied. This produces a conditioned slice, which preserves the behaviour of the original with respect to the slicing criterion. Conditioned slicing has applications in source code c… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
8
0

Year Published

2005
2005
2014
2014

Publication Types

Select...
3
2
2

Relationship

0
7

Authors

Journals

citations
Cited by 23 publications
(8 citation statements)
references
References 42 publications
0
8
0
Order By: Relevance
“…A common approach, which is used in this paper and goes back to the introduction of PDGs for program slicing [Ottenstein and Ottenstein 1984], is that no evaluation or simplification is performed, and the elements of the output slice are all elements from the input program. There has been more recent work by Snelting et al [2006], Canfora et al [1994], Fox et al [2004], Danicic et al [2005], and Jaffar et al [2012] that combines slicing-like operations with simplification operations or symbolic execution. Some of that work still uses SDG-like structures.…”
Section: · 47mentioning
confidence: 99%
See 2 more Smart Citations
“…A common approach, which is used in this paper and goes back to the introduction of PDGs for program slicing [Ottenstein and Ottenstein 1984], is that no evaluation or simplification is performed, and the elements of the output slice are all elements from the input program. There has been more recent work by Snelting et al [2006], Canfora et al [1994], Fox et al [2004], Danicic et al [2005], and Jaffar et al [2012] that combines slicing-like operations with simplification operations or symbolic execution. Some of that work still uses SDG-like structures.…”
Section: · 47mentioning
confidence: 99%
“…Conditioned slicing Fox et al 2004;Danicic et al 2005] combines static slicing and program simplification to produce executable program slices. The simplification phase propagates information forward to remove statements that cannot be executed when a given constraint holds on the initial state.…”
Section: · 47mentioning
confidence: 99%
See 1 more Smart Citation
“…Our experiments indicate that conditioned slicing [8,13,20] can detect when a loop must execute at least once. In this case the example slice reduces to a single statement.…”
Section: Figure 2 An Amorphous Slice Using Loopsquashingmentioning
confidence: 80%
“…Program conditioning [8,15,20] is a program simplifying technique which has been used in conditioned slicing. Program conditioning is used to identify and remove paths which become infeasible when the execution conditions are applied.…”
Section: Case Studymentioning
confidence: 99%