Matches in SemOpenAlex for { <https://semopenalex.org/work/W2471111208> ?p ?o ?g. }
- W2471111208 endingPage "271" @default.
- W2471111208 startingPage "252" @default.
- W2471111208 abstract "Symbolic execution is a powerful technique for systematically exploring the paths of a program and generating the corresponding test inputs. However, its practical usage is often limited by the <i>path explosion</i> problem, that is, the number of explored paths usually grows exponentially with the increase of program size. In this paper, we argue that for the purpose of fault detection it is not necessary to systematically explore the paths, and propose a new symbolic execution approach to mitigate the path explosion problem by predicting and eliminating the redundant paths based on symbolic value. Our approach can achieve the equivalent fault detection capability as traditional symbolic execution without exhaustive path exploration. In addition, we develop a practical implementation called Dependence Guided Symbolic Execution (DGSE) to soundly approximate our approach. Through exploiting program dependence, DGSE can predict and eliminate the redundant paths at a reasonable computational cost. Our empirical study shows that the redundant paths are abundant and widespread in a program. Compared with traditional symbolic execution, DGSE only explores 6.96 to 96.57 percent of the paths and achieves a speedup of 1.02 <inline-formula> <tex-math notation=LaTeX>$times$</tex-math></inline-formula> to 49.56 <inline-formula><tex-math notation=LaTeX>$times$</tex-math></inline-formula> . We have released our tool and the benchmarks used to evaluate DGSE <inline-formula><tex-math notation=LaTeX>$^ast$</tex-math></inline-formula> ." @default.
- W2471111208 created "2016-07-22" @default.
- W2471111208 creator A5032213389 @default.
- W2471111208 creator A5042007878 @default.
- W2471111208 creator A5063089557 @default.
- W2471111208 creator A5063870450 @default.
- W2471111208 creator A5075845093 @default.
- W2471111208 creator A5087186760 @default.
- W2471111208 date "2017-03-01" @default.
- W2471111208 modified "2023-10-16" @default.
- W2471111208 title "Dependence Guided Symbolic Execution" @default.
- W2471111208 cites W1497028280 @default.
- W2471111208 cites W1526710119 @default.
- W2471111208 cites W1561959476 @default.
- W2471111208 cites W1589776562 @default.
- W2471111208 cites W1900305658 @default.
- W2471111208 cites W1963739845 @default.
- W2471111208 cites W2002758617 @default.
- W2471111208 cites W2006860739 @default.
- W2471111208 cites W2008812751 @default.
- W2471111208 cites W2009489720 @default.
- W2471111208 cites W2009956228 @default.
- W2471111208 cites W2013711971 @default.
- W2471111208 cites W2017035494 @default.
- W2471111208 cites W2020689607 @default.
- W2471111208 cites W2035603501 @default.
- W2471111208 cites W2047694629 @default.
- W2471111208 cites W2050886219 @default.
- W2471111208 cites W2052844069 @default.
- W2471111208 cites W2055770200 @default.
- W2471111208 cites W2059987590 @default.
- W2471111208 cites W2061227290 @default.
- W2471111208 cites W2061686717 @default.
- W2471111208 cites W2065236359 @default.
- W2471111208 cites W2067871120 @default.
- W2471111208 cites W2071067812 @default.
- W2471111208 cites W2072000086 @default.
- W2471111208 cites W2076807040 @default.
- W2471111208 cites W2080573945 @default.
- W2471111208 cites W2082172430 @default.
- W2471111208 cites W2083318332 @default.
- W2471111208 cites W2096449544 @default.
- W2471111208 cites W2097041275 @default.
- W2471111208 cites W2097444001 @default.
- W2471111208 cites W2099855131 @default.
- W2471111208 cites W2101512909 @default.
- W2471111208 cites W2105993618 @default.
- W2471111208 cites W2110908283 @default.
- W2471111208 cites W2115273016 @default.
- W2471111208 cites W2116382946 @default.
- W2471111208 cites W2125152082 @default.
- W2471111208 cites W2136601052 @default.
- W2471111208 cites W2140687990 @default.
- W2471111208 cites W2144423682 @default.
- W2471111208 cites W2151959678 @default.
- W2471111208 cites W2162653489 @default.
- W2471111208 cites W2165751179 @default.
- W2471111208 cites W2168625647 @default.
- W2471111208 cites W2169063148 @default.
- W2471111208 cites W2171469152 @default.
- W2471111208 cites W4234735799 @default.
- W2471111208 cites W4235555510 @default.
- W2471111208 cites W4236200536 @default.
- W2471111208 cites W4245509418 @default.
- W2471111208 cites W4246117430 @default.
- W2471111208 cites W4246385123 @default.
- W2471111208 cites W4248280766 @default.
- W2471111208 cites W4249100736 @default.
- W2471111208 doi "https://doi.org/10.1109/tse.2016.2584063" @default.
- W2471111208 hasPublicationYear "2017" @default.
- W2471111208 type Work @default.
- W2471111208 sameAs 2471111208 @default.
- W2471111208 citedByCount "32" @default.
- W2471111208 countsByYear W24711112082016 @default.
- W2471111208 countsByYear W24711112082017 @default.
- W2471111208 countsByYear W24711112082018 @default.
- W2471111208 countsByYear W24711112082019 @default.
- W2471111208 countsByYear W24711112082020 @default.
- W2471111208 countsByYear W24711112082021 @default.
- W2471111208 countsByYear W24711112082022 @default.
- W2471111208 countsByYear W24711112082023 @default.
- W2471111208 crossrefType "journal-article" @default.
- W2471111208 hasAuthorship W2471111208A5032213389 @default.
- W2471111208 hasAuthorship W2471111208A5042007878 @default.
- W2471111208 hasAuthorship W2471111208A5063089557 @default.
- W2471111208 hasAuthorship W2471111208A5063870450 @default.
- W2471111208 hasAuthorship W2471111208A5075845093 @default.
- W2471111208 hasAuthorship W2471111208A5087186760 @default.
- W2471111208 hasBestOaLocation W24711112081 @default.
- W2471111208 hasConcept C110812573 @default.
- W2471111208 hasConcept C11171543 @default.
- W2471111208 hasConcept C11219265 @default.
- W2471111208 hasConcept C134306372 @default.
- W2471111208 hasConcept C15744967 @default.
- W2471111208 hasConcept C173608175 @default.
- W2471111208 hasConcept C199360897 @default.
- W2471111208 hasConcept C2776095079 @default.
- W2471111208 hasConcept C2777735758 @default.