Matches in SemOpenAlex for { <https://semopenalex.org/work/W2967996334> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2967996334 abstract "Symbolic execution is an effective technique for exploring paths in a program and reasoning about all possible values on those paths. However, the technique still struggles with code that uses complex heap data structures, in which a pointer is allowed to refer to more than one memory object. In such cases, symbolic execution typically forks execution into multiple states, one for each object to which the pointer could refer." @default.
- W2967996334 created "2019-08-22" @default.
- W2967996334 creator A5029380246 @default.
- W2967996334 creator A5053355200 @default.
- W2967996334 date "2019-08-12" @default.
- W2967996334 modified "2023-09-28" @default.
- W2967996334 title "A segmented memory model for symbolic execution" @default.
- W2967996334 cites W2009489720 @default.
- W2967996334 cites W2011367000 @default.
- W2967996334 cites W2017785995 @default.
- W2967996334 cites W2046699259 @default.
- W2967996334 cites W2113864883 @default.
- W2967996334 cites W2114780348 @default.
- W2967996334 cites W2117058582 @default.
- W2967996334 cites W2132897303 @default.
- W2967996334 cites W2144123593 @default.
- W2967996334 cites W2145911832 @default.
- W2967996334 cites W2164649341 @default.
- W2967996334 cites W2297774820 @default.
- W2967996334 cites W2465649794 @default.
- W2967996334 cites W2514974017 @default.
- W2967996334 cites W2735077751 @default.
- W2967996334 cites W2949558051 @default.
- W2967996334 cites W4236944756 @default.
- W2967996334 cites W4237492309 @default.
- W2967996334 doi "https://doi.org/10.1145/3338906.3338936" @default.
- W2967996334 hasPublicationYear "2019" @default.
- W2967996334 type Work @default.
- W2967996334 sameAs 2967996334 @default.
- W2967996334 citedByCount "13" @default.
- W2967996334 countsByYear W29679963342019 @default.
- W2967996334 countsByYear W29679963342020 @default.
- W2967996334 countsByYear W29679963342021 @default.
- W2967996334 countsByYear W29679963342022 @default.
- W2967996334 crossrefType "proceedings-article" @default.
- W2967996334 hasAuthorship W2967996334A5029380246 @default.
- W2967996334 hasAuthorship W2967996334A5053355200 @default.
- W2967996334 hasBestOaLocation W29679963342 @default.
- W2967996334 hasConcept C12186640 @default.
- W2967996334 hasConcept C133875982 @default.
- W2967996334 hasConcept C134757568 @default.
- W2967996334 hasConcept C150202949 @default.
- W2967996334 hasConcept C154945302 @default.
- W2967996334 hasConcept C173608175 @default.
- W2967996334 hasConcept C173856430 @default.
- W2967996334 hasConcept C199360897 @default.
- W2967996334 hasConcept C2777904410 @default.
- W2967996334 hasConcept C2779639559 @default.
- W2967996334 hasConcept C41008148 @default.
- W2967996334 hasConcept C7263679 @default.
- W2967996334 hasConcept C80444323 @default.
- W2967996334 hasConcept C97686452 @default.
- W2967996334 hasConceptScore W2967996334C12186640 @default.
- W2967996334 hasConceptScore W2967996334C133875982 @default.
- W2967996334 hasConceptScore W2967996334C134757568 @default.
- W2967996334 hasConceptScore W2967996334C150202949 @default.
- W2967996334 hasConceptScore W2967996334C154945302 @default.
- W2967996334 hasConceptScore W2967996334C173608175 @default.
- W2967996334 hasConceptScore W2967996334C173856430 @default.
- W2967996334 hasConceptScore W2967996334C199360897 @default.
- W2967996334 hasConceptScore W2967996334C2777904410 @default.
- W2967996334 hasConceptScore W2967996334C2779639559 @default.
- W2967996334 hasConceptScore W2967996334C41008148 @default.
- W2967996334 hasConceptScore W2967996334C7263679 @default.
- W2967996334 hasConceptScore W2967996334C80444323 @default.
- W2967996334 hasConceptScore W2967996334C97686452 @default.
- W2967996334 hasLocation W29679963341 @default.
- W2967996334 hasLocation W29679963342 @default.
- W2967996334 hasOpenAccess W2967996334 @default.
- W2967996334 hasPrimaryLocation W29679963341 @default.
- W2967996334 hasRelatedWork W1486287063 @default.
- W2967996334 hasRelatedWork W1517558204 @default.
- W2967996334 hasRelatedWork W2011836220 @default.
- W2967996334 hasRelatedWork W2097031842 @default.
- W2967996334 hasRelatedWork W2146329212 @default.
- W2967996334 hasRelatedWork W2951452824 @default.
- W2967996334 hasRelatedWork W2967996334 @default.
- W2967996334 hasRelatedWork W3141288313 @default.
- W2967996334 hasRelatedWork W4244118184 @default.
- W2967996334 hasRelatedWork W4297911822 @default.
- W2967996334 isParatext "false" @default.
- W2967996334 isRetracted "false" @default.
- W2967996334 magId "2967996334" @default.
- W2967996334 workType "article" @default.