Searching for "Amorphous program slicing." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Amorphous Program Slicing
- …Amorphous Program Slicing Mark Harman Brunel University, Uxbridge, Middlesex, UB8 3PH, UK. David…
- Cited by 91 (45 self) – Add To MetaCart
-
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation
- …. Amorphous slices [4, 14] are constructed using any program transformation which simplies the program…
- Cited by 10 (8 self) – Add To MetaCart
-
Analysis of Dynamic Memory Access using Amorphous Slicing
- … amorphous program slicing to create a Dynamic Memory Model (DMM). The slices are constructed from a…
- Cited by 12 (9 self) – Add To MetaCart
-
The Formal Transformation Approach to Source Code Analysis and Manipulation
- … and describe some applications to program slicing. We introduce some generalisations of traditional slicing…
- Cited by 6 (3 self) – Add To MetaCart
-
Program Slicing via FermaT Transformations
- … "amorphous program slicing" for a combination of slicing and transformation, but they do not allow…
- Cited by 16 (2 self) – Add To MetaCart
-
Program Slicing: Methods and Applications
- … powerful simplification rules. Harman and Danicic [39] introduced amorphous program slicing. Like a…
- Cited by 33 (0 self) – Add To MetaCart
-
Slicing the SCAM Mug: A Case Study in Semantic Slicing
- … an amorphous slice is defined in terms of executable programs (WSL allows nonexecutable statements including…
- Cited by 2 (0 self) – Add To MetaCart
-
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT
- … that S ′ ⊑ S? Harman and Danicic [3,5] coined the term “amorphous program slicing” for a combination of slicing…
- Add To MetaCart
-
A survey of empirical results on program slicing
- … graph as an intermediate representation [3]. 2.3 Amorphous Slicing The definition of program slicing…
- Cited by 25 (15 self) – Add To MetaCart
-
Intelligent User Interfaces : Survey and Research Directions
- … solution which aims to assist the user (rather than replace the user) would be amorphous program slicing…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
