Matches in SemOpenAlex for { <https://semopenalex.org/work/W2755821473> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2755821473 abstract "When analyzing programs using static program analysis, we need to determine the reachability of each possible execution path of the programs. Many static analysis tools collect constraints of each path and use SMT solvers to determine the satisfiability of these constraints. The accumulated computing time can be long if we use SMT solvers too many times. In this paper, we propose a constraint-pattern based method for reachability determination to address the limitation of current approaches. We define some constraint-patterns. For each pattern, a carefully designed constraints solving algorithm is presented. Our method contains two steps. Firstly, we collect some information about the constraints in the program to be analyzed. Then we choose the most suitable algorithm for reachability determination based on the information. Secondly, we apply the algorithm in analysis process to speed up satisfiability checking of path constraints. We implement our method based on CPAchecker, a famous software verification tool. The experimental results on some well-known benchmarks show that, with a moderate accuracy, our method is more efficient in comparison with some state-of-the-art SMT solvers." @default.
- W2755821473 created "2017-09-25" @default.
- W2755821473 creator A5010494711 @default.
- W2755821473 creator A5045282367 @default.
- W2755821473 creator A5068911982 @default.
- W2755821473 creator A5071579968 @default.
- W2755821473 creator A5082437433 @default.
- W2755821473 creator A5086254073 @default.
- W2755821473 creator A5088526794 @default.
- W2755821473 date "2017-07-01" @default.
- W2755821473 modified "2023-09-26" @default.
- W2755821473 title "A Constraint-Pattern Based Method for Reachability Determination" @default.
- W2755821473 cites W1480909796 @default.
- W2755821473 cites W1494768888 @default.
- W2755821473 cites W1546625432 @default.
- W2755821473 cites W1579437898 @default.
- W2755821473 cites W1591856965 @default.
- W2755821473 cites W1843794072 @default.
- W2755821473 cites W1983142587 @default.
- W2755821473 cites W2106892818 @default.
- W2755821473 cites W2152055469 @default.
- W2755821473 cites W2158297335 @default.
- W2755821473 cites W2158995961 @default.
- W2755821473 cites W221832247 @default.
- W2755821473 cites W327452528 @default.
- W2755821473 doi "https://doi.org/10.1109/compsac.2017.12" @default.
- W2755821473 hasPublicationYear "2017" @default.
- W2755821473 type Work @default.
- W2755821473 sameAs 2755821473 @default.
- W2755821473 citedByCount "1" @default.
- W2755821473 countsByYear W27558214732019 @default.
- W2755821473 crossrefType "proceedings-article" @default.
- W2755821473 hasAuthorship W2755821473A5010494711 @default.
- W2755821473 hasAuthorship W2755821473A5045282367 @default.
- W2755821473 hasAuthorship W2755821473A5068911982 @default.
- W2755821473 hasAuthorship W2755821473A5071579968 @default.
- W2755821473 hasAuthorship W2755821473A5082437433 @default.
- W2755821473 hasAuthorship W2755821473A5086254073 @default.
- W2755821473 hasAuthorship W2755821473A5088526794 @default.
- W2755821473 hasConcept C110251889 @default.
- W2755821473 hasConcept C111498074 @default.
- W2755821473 hasConcept C11413529 @default.
- W2755821473 hasConcept C136643341 @default.
- W2755821473 hasConcept C168773769 @default.
- W2755821473 hasConcept C199360897 @default.
- W2755821473 hasConcept C2524010 @default.
- W2755821473 hasConcept C2776036281 @default.
- W2755821473 hasConcept C2777735758 @default.
- W2755821473 hasConcept C2777904410 @default.
- W2755821473 hasConcept C33923547 @default.
- W2755821473 hasConcept C41008148 @default.
- W2755821473 hasConcept C48103436 @default.
- W2755821473 hasConcept C80444323 @default.
- W2755821473 hasConcept C97686452 @default.
- W2755821473 hasConcept C98045186 @default.
- W2755821473 hasConceptScore W2755821473C110251889 @default.
- W2755821473 hasConceptScore W2755821473C111498074 @default.
- W2755821473 hasConceptScore W2755821473C11413529 @default.
- W2755821473 hasConceptScore W2755821473C136643341 @default.
- W2755821473 hasConceptScore W2755821473C168773769 @default.
- W2755821473 hasConceptScore W2755821473C199360897 @default.
- W2755821473 hasConceptScore W2755821473C2524010 @default.
- W2755821473 hasConceptScore W2755821473C2776036281 @default.
- W2755821473 hasConceptScore W2755821473C2777735758 @default.
- W2755821473 hasConceptScore W2755821473C2777904410 @default.
- W2755821473 hasConceptScore W2755821473C33923547 @default.
- W2755821473 hasConceptScore W2755821473C41008148 @default.
- W2755821473 hasConceptScore W2755821473C48103436 @default.
- W2755821473 hasConceptScore W2755821473C80444323 @default.
- W2755821473 hasConceptScore W2755821473C97686452 @default.
- W2755821473 hasConceptScore W2755821473C98045186 @default.
- W2755821473 hasLocation W27558214731 @default.
- W2755821473 hasOpenAccess W2755821473 @default.
- W2755821473 hasPrimaryLocation W27558214731 @default.
- W2755821473 hasRelatedWork W1572167572 @default.
- W2755821473 hasRelatedWork W1579785802 @default.
- W2755821473 hasRelatedWork W2004071059 @default.
- W2755821473 hasRelatedWork W2017876432 @default.
- W2755821473 hasRelatedWork W2060476709 @default.
- W2755821473 hasRelatedWork W2063862830 @default.
- W2755821473 hasRelatedWork W2094190665 @default.
- W2755821473 hasRelatedWork W2105361678 @default.
- W2755821473 hasRelatedWork W2115391273 @default.
- W2755821473 hasRelatedWork W2148514989 @default.
- W2755821473 hasRelatedWork W2293865981 @default.
- W2755821473 hasRelatedWork W2495349330 @default.
- W2755821473 hasRelatedWork W2732756182 @default.
- W2755821473 hasRelatedWork W2776115455 @default.
- W2755821473 hasRelatedWork W3085909575 @default.
- W2755821473 hasRelatedWork W3092463438 @default.
- W2755821473 hasRelatedWork W3121210793 @default.
- W2755821473 hasRelatedWork W3176123899 @default.
- W2755821473 hasRelatedWork W337851502 @default.
- W2755821473 hasRelatedWork W2149645486 @default.
- W2755821473 isParatext "false" @default.
- W2755821473 isRetracted "false" @default.
- W2755821473 magId "2755821473" @default.
- W2755821473 workType "article" @default.