272 search results - page 16 / 55 » Program slicing |
POPL
1995
ACM
14 years 1 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
IWPSE
2003
IEEE
14 years 3 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
TCS
2010
13 years 8 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
INFSOF
1998
13 years 9 months ago
1998
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
TAPSOFT
1995
Springer
14 years 1 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...