1023 search results - page 2 / 205 » A Formal Method for Program Slicing |
TSE
2011
13 years 5 days ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
IWPC
2002
IEEE
13 years 10 months ago
2002
IEEE
When we try to debug or to comprehend a large program, it is important to separate suspicious program portions from the overall source program. Program slicing is a promising tech...
FAC
2008
13 years 5 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
ICSE
1998
IEEE-ACM
13 years 9 months ago
1998
IEEE-ACM
Program slicing, a technique to compute the subset of program statements that can affect the value of a program variable at a specific program point, is widely used in tools to su...
APSEC
2001
IEEE
13 years 9 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...