Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990438862> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2990438862 endingPage "119" @default.
- W2990438862 startingPage "101" @default.
- W2990438862 abstract "There are publications that consider the use of program slicing in software verification, but we are aware of no publication that thoroughly evaluates the impact of program slicing on the verification process. This paper aims to fill in this gap by providing a comparison of the effect of program slicing on the performance of the reachability analysis in several state-of-the-art software verification tools, namely CPAchecker, DIVINE, KLEE, SeaHorn, and SMACK. The effect of slicing is evaluated on the number of solved benchmarks and running times of the tools. Experiments show that the effect of program slicing is mostly positive and can significantly improve the performance of some tools." @default.
- W2990438862 created "2019-12-05" @default.
- W2990438862 creator A5011143555 @default.
- W2990438862 creator A5057885659 @default.
- W2990438862 date "2019-01-01" @default.
- W2990438862 modified "2023-09-23" @default.
- W2990438862 title "Evaluation of Program Slicing in Software Verification" @default.
- W2990438862 cites W1479736339 @default.
- W2990438862 cites W1507006488 @default.
- W2990438862 cites W1533964197 @default.
- W2990438862 cites W1546606300 @default.
- W2990438862 cites W181397639 @default.
- W2990438862 cites W1964060567 @default.
- W2990438862 cites W1982765126 @default.
- W2990438862 cites W2004066339 @default.
- W2990438862 cites W2007121005 @default.
- W2990438862 cites W2046699259 @default.
- W2990438862 cites W2048022108 @default.
- W2990438862 cites W2076933173 @default.
- W2990438862 cites W2081659623 @default.
- W2990438862 cites W2087958491 @default.
- W2990438862 cites W2092483417 @default.
- W2990438862 cites W2140943194 @default.
- W2990438862 cites W2144344516 @default.
- W2990438862 cites W2153265459 @default.
- W2990438862 cites W2161253570 @default.
- W2990438862 cites W2293624369 @default.
- W2990438862 cites W2397875151 @default.
- W2990438862 cites W2640365788 @default.
- W2990438862 cites W2765527199 @default.
- W2990438862 cites W2795052548 @default.
- W2990438862 cites W2797196027 @default.
- W2990438862 cites W2927858908 @default.
- W2990438862 cites W2929832674 @default.
- W2990438862 cites W95169743 @default.
- W2990438862 cites W967948971 @default.
- W2990438862 doi "https://doi.org/10.1007/978-3-030-34968-4_6" @default.
- W2990438862 hasPublicationYear "2019" @default.
- W2990438862 type Work @default.
- W2990438862 sameAs 2990438862 @default.
- W2990438862 citedByCount "7" @default.
- W2990438862 countsByYear W29904388622020 @default.
- W2990438862 countsByYear W29904388622021 @default.
- W2990438862 countsByYear W29904388622022 @default.
- W2990438862 countsByYear W29904388622023 @default.
- W2990438862 crossrefType "book-chapter" @default.
- W2990438862 hasAuthorship W2990438862A5011143555 @default.
- W2990438862 hasAuthorship W2990438862A5057885659 @default.
- W2990438862 hasConcept C115903868 @default.
- W2990438862 hasConcept C121684516 @default.
- W2990438862 hasConcept C136643341 @default.
- W2990438862 hasConcept C149091818 @default.
- W2990438862 hasConcept C186846655 @default.
- W2990438862 hasConcept C199360897 @default.
- W2990438862 hasConcept C2776190703 @default.
- W2990438862 hasConcept C2777904410 @default.
- W2990438862 hasConcept C33054407 @default.
- W2990438862 hasConcept C41008148 @default.
- W2990438862 hasConcept C80444323 @default.
- W2990438862 hasConcept C91071405 @default.
- W2990438862 hasConcept C98183937 @default.
- W2990438862 hasConceptScore W2990438862C115903868 @default.
- W2990438862 hasConceptScore W2990438862C121684516 @default.
- W2990438862 hasConceptScore W2990438862C136643341 @default.
- W2990438862 hasConceptScore W2990438862C149091818 @default.
- W2990438862 hasConceptScore W2990438862C186846655 @default.
- W2990438862 hasConceptScore W2990438862C199360897 @default.
- W2990438862 hasConceptScore W2990438862C2776190703 @default.
- W2990438862 hasConceptScore W2990438862C2777904410 @default.
- W2990438862 hasConceptScore W2990438862C33054407 @default.
- W2990438862 hasConceptScore W2990438862C41008148 @default.
- W2990438862 hasConceptScore W2990438862C80444323 @default.
- W2990438862 hasConceptScore W2990438862C91071405 @default.
- W2990438862 hasConceptScore W2990438862C98183937 @default.
- W2990438862 hasLocation W29904388621 @default.
- W2990438862 hasOpenAccess W2990438862 @default.
- W2990438862 hasPrimaryLocation W29904388621 @default.
- W2990438862 hasRelatedWork W2022929508 @default.
- W2990438862 hasRelatedWork W2099080307 @default.
- W2990438862 hasRelatedWork W2099665351 @default.
- W2990438862 hasRelatedWork W2160648913 @default.
- W2990438862 hasRelatedWork W2168210015 @default.
- W2990438862 hasRelatedWork W2360358003 @default.
- W2990438862 hasRelatedWork W2367330446 @default.
- W2990438862 hasRelatedWork W2378293536 @default.
- W2990438862 hasRelatedWork W2579870316 @default.
- W2990438862 hasRelatedWork W2990438862 @default.
- W2990438862 isParatext "false" @default.
- W2990438862 isRetracted "false" @default.
- W2990438862 magId "2990438862" @default.
- W2990438862 workType "book-chapter" @default.