272 search results - page 26 / 55 » Program slicing |
INFSOF
1998
13 years 9 months ago
1998
TOSEM
2002
13 years 9 months ago
2002
IWPC
2002
IEEE
14 years 2 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
STVR
2002
13 years 9 months ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...