5 search results - page 1 / 1 » Search-Based Amorphous Slicing |
WCRE
2005
IEEE
13 years 11 months ago
2005
IEEE
IWPC
2000
IEEE
13 years 9 months ago
2000
IEEE
INFSOF
2008
13 years 4 months ago
2008
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formul...
IFIP
2004
Springer
13 years 10 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...
ICPR
2006
IEEE
14 years 6 months ago
2006
IEEE
This paper presents a novel technique to fill in missing background and moving foreground of a video captured by a static or moving camera. Different from previous efforts which a...