Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014353453> ?p ?o ?g. }
- W2014353453 abstract "Dynamic slicing has long been considered as a useful tool for debugging programs as it effectively identifies a reduced fault candidate set which captures the faulty code in the program. Traditionally, a backward dynamic slice is computed starting from an incorrect value observed by the programmer during a failed program run. This incorrect value is either an incorrect output value or an incorrect address whose dereferencing causes the program to crash. Recently we proposed two additional types of dynamic slices, a forward dynamic slice of a minimal failure inducing input difference and a bidirectional dynamic slice of a critical predicate. We have built a dynamic slicing tool that computes dynamic slices by instrumenting program binaries and executing them to build dynamic dependence graphs. In this paper, through experiments, we demonstrate that supporting three different types of dynamic slices has the following advantages. First, we observe that for each type of dynamic slice there are distinct situations in which it is not applicable. Therefore, we should support multiple types of slices to handle a wide range of situations. Second, supporting multiple types of dynamic slices enables us to compute a multiple points dynamic slice which is the intersection of different type of available slices. Our experiments show that multiple points dynamic slices are significantly smaller than any of the three kinds of individual dynamic slices. Copyright © 2006 John Wiley & Sons, Ltd." @default.
- W2014353453 created "2016-06-24" @default.
- W2014353453 creator A5027961969 @default.
- W2014353453 creator A5038911170 @default.
- W2014353453 creator A5067083421 @default.
- W2014353453 date "2007-07-25" @default.
- W2014353453 modified "2023-09-27" @default.
- W2014353453 cites W120536699 @default.
- W2014353453 cites W142009655 @default.
- W2014353453 cites W1480443256 @default.
- W2014353453 cites W1488095203 @default.
- W2014353453 cites W1492493930 @default.
- W2014353453 cites W1498361478 @default.
- W2014353453 cites W1501192697 @default.
- W2014353453 cites W1504909771 @default.
- W2014353453 cites W1515796738 @default.
- W2014353453 cites W152931748 @default.
- W2014353453 cites W1534516911 @default.
- W2014353453 cites W1535300117 @default.
- W2014353453 cites W1535654799 @default.
- W2014353453 cites W1538172772 @default.
- W2014353453 cites W1547639280 @default.
- W2014353453 cites W1551569369 @default.
- W2014353453 cites W1552173716 @default.
- W2014353453 cites W1557557006 @default.
- W2014353453 cites W1566312660 @default.
- W2014353453 cites W1574060188 @default.
- W2014353453 cites W1581138707 @default.
- W2014353453 cites W1592740644 @default.
- W2014353453 cites W1649645444 @default.
- W2014353453 cites W1668768604 @default.
- W2014353453 cites W168089997 @default.
- W2014353453 cites W1800478330 @default.
- W2014353453 cites W1843474218 @default.
- W2014353453 cites W1964105465 @default.
- W2014353453 cites W1967246009 @default.
- W2014353453 cites W1967573895 @default.
- W2014353453 cites W1967866549 @default.
- W2014353453 cites W1968847337 @default.
- W2014353453 cites W1968983388 @default.
- W2014353453 cites W1969313861 @default.
- W2014353453 cites W1969947998 @default.
- W2014353453 cites W1973523330 @default.
- W2014353453 cites W1976415590 @default.
- W2014353453 cites W1984248430 @default.
- W2014353453 cites W1984846967 @default.
- W2014353453 cites W1985276284 @default.
- W2014353453 cites W1989623274 @default.
- W2014353453 cites W1999250663 @default.
- W2014353453 cites W2000099929 @default.
- W2014353453 cites W2003295303 @default.
- W2014353453 cites W2003398205 @default.
- W2014353453 cites W2005102720 @default.
- W2014353453 cites W2007131411 @default.
- W2014353453 cites W2012523719 @default.
- W2014353453 cites W2014375476 @default.
- W2014353453 cites W2020455573 @default.
- W2014353453 cites W2021265848 @default.
- W2014353453 cites W2022190259 @default.
- W2014353453 cites W2027259333 @default.
- W2014353453 cites W2036196659 @default.
- W2014353453 cites W2038687965 @default.
- W2014353453 cites W2045471590 @default.
- W2014353453 cites W2046942758 @default.
- W2014353453 cites W2051494485 @default.
- W2014353453 cites W2053713419 @default.
- W2014353453 cites W2060903226 @default.
- W2014353453 cites W2062865842 @default.
- W2014353453 cites W2072162217 @default.
- W2014353453 cites W2077318760 @default.
- W2014353453 cites W2086121147 @default.
- W2014353453 cites W2088322083 @default.
- W2014353453 cites W2088454979 @default.
- W2014353453 cites W2094539937 @default.
- W2014353453 cites W2096522207 @default.
- W2014353453 cites W2097964082 @default.
- W2014353453 cites W2098293552 @default.
- W2014353453 cites W2098758962 @default.
- W2014353453 cites W2099213660 @default.
- W2014353453 cites W2099424261 @default.
- W2014353453 cites W2101099159 @default.
- W2014353453 cites W2105539612 @default.
- W2014353453 cites W2110066339 @default.
- W2014353453 cites W2110432562 @default.
- W2014353453 cites W2114422934 @default.
- W2014353453 cites W2119414841 @default.
- W2014353453 cites W2120451551 @default.
- W2014353453 cites W2121081915 @default.
- W2014353453 cites W2123659430 @default.
- W2014353453 cites W2123703543 @default.
- W2014353453 cites W2123896602 @default.
- W2014353453 cites W2124796303 @default.
- W2014353453 cites W2125614177 @default.
- W2014353453 cites W2126539456 @default.
- W2014353453 cites W2128546670 @default.
- W2014353453 cites W2128875838 @default.
- W2014353453 cites W2134691366 @default.
- W2014353453 cites W2137008041 @default.
- W2014353453 cites W2139643778 @default.
- W2014353453 cites W2139713456 @default.