Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313547540> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4313547540 abstract "Programs that deal with heap-allocated inputs are difficult to analyze with symbolic execution (SE). Lazy Initialization (LI) is an approach to SE that deals with heap-allocated inputs by starting SE over a fully symbolic heap, and initializing the inputs’ fields on demand, as the program under analysis accesses them. However, when the program’s assumed precondition has structural constraints over the inputs, operationally captured via repOK routines, LI may produce spurious symbolic structures, making SE traverse infeasible paths and undermining SE’s performance. repOK can only decide the feasibility of fully concrete structures, and thus previous work relied on manually crafted specifications designed to decide the (in)validity of partially symbolic inputs, to avoid producing spurious symbolic structures. However, these additional specifications require significant further effort from the developers." @default.
- W4313547540 created "2023-01-06" @default.
- W4313547540 creator A5012178629 @default.
- W4313547540 creator A5016401353 @default.
- W4313547540 creator A5035707440 @default.
- W4313547540 creator A5051928160 @default.
- W4313547540 date "2022-10-10" @default.
- W4313547540 modified "2023-10-11" @default.
- W4313547540 title "LISSA: Lazy Initialization with Specialized Solver Aid" @default.
- W4313547540 cites W1480909796 @default.
- W4313547540 cites W1971137495 @default.
- W4313547540 cites W2012997183 @default.
- W4313547540 cites W2021230879 @default.
- W4313547540 cites W2023392692 @default.
- W4313547540 cites W2099978979 @default.
- W4313547540 cites W2101512909 @default.
- W4313547540 cites W2147002252 @default.
- W4313547540 cites W2171683519 @default.
- W4313547540 cites W2548465910 @default.
- W4313547540 cites W2735077751 @default.
- W4313547540 cites W2905722102 @default.
- W4313547540 cites W3160978791 @default.
- W4313547540 cites W4237492309 @default.
- W4313547540 cites W4285718772 @default.
- W4313547540 doi "https://doi.org/10.1145/3551349.3556965" @default.
- W4313547540 hasPublicationYear "2022" @default.
- W4313547540 type Work @default.
- W4313547540 citedByCount "0" @default.
- W4313547540 crossrefType "proceedings-article" @default.
- W4313547540 hasAuthorship W4313547540A5012178629 @default.
- W4313547540 hasAuthorship W4313547540A5016401353 @default.
- W4313547540 hasAuthorship W4313547540A5035707440 @default.
- W4313547540 hasAuthorship W4313547540A5051928160 @default.
- W4313547540 hasBestOaLocation W43135475401 @default.
- W4313547540 hasConcept C11413529 @default.
- W4313547540 hasConcept C114466953 @default.
- W4313547540 hasConcept C119857082 @default.
- W4313547540 hasConcept C13280743 @default.
- W4313547540 hasConcept C134757568 @default.
- W4313547540 hasConcept C176809094 @default.
- W4313547540 hasConcept C192465680 @default.
- W4313547540 hasConcept C199360897 @default.
- W4313547540 hasConcept C205649164 @default.
- W4313547540 hasConcept C2777904410 @default.
- W4313547540 hasConcept C2778770139 @default.
- W4313547540 hasConcept C2779639559 @default.
- W4313547540 hasConcept C41008148 @default.
- W4313547540 hasConcept C65620979 @default.
- W4313547540 hasConcept C80444323 @default.
- W4313547540 hasConcept C97256817 @default.
- W4313547540 hasConcept C98183937 @default.
- W4313547540 hasConceptScore W4313547540C11413529 @default.
- W4313547540 hasConceptScore W4313547540C114466953 @default.
- W4313547540 hasConceptScore W4313547540C119857082 @default.
- W4313547540 hasConceptScore W4313547540C13280743 @default.
- W4313547540 hasConceptScore W4313547540C134757568 @default.
- W4313547540 hasConceptScore W4313547540C176809094 @default.
- W4313547540 hasConceptScore W4313547540C192465680 @default.
- W4313547540 hasConceptScore W4313547540C199360897 @default.
- W4313547540 hasConceptScore W4313547540C205649164 @default.
- W4313547540 hasConceptScore W4313547540C2777904410 @default.
- W4313547540 hasConceptScore W4313547540C2778770139 @default.
- W4313547540 hasConceptScore W4313547540C2779639559 @default.
- W4313547540 hasConceptScore W4313547540C41008148 @default.
- W4313547540 hasConceptScore W4313547540C65620979 @default.
- W4313547540 hasConceptScore W4313547540C80444323 @default.
- W4313547540 hasConceptScore W4313547540C97256817 @default.
- W4313547540 hasConceptScore W4313547540C98183937 @default.
- W4313547540 hasLocation W43135475401 @default.
- W4313547540 hasOpenAccess W4313547540 @default.
- W4313547540 hasPrimaryLocation W43135475401 @default.
- W4313547540 hasRelatedWork W1485738864 @default.
- W4313547540 hasRelatedWork W2036037832 @default.
- W4313547540 hasRelatedWork W2137908418 @default.
- W4313547540 hasRelatedWork W2142782287 @default.
- W4313547540 hasRelatedWork W2144517099 @default.
- W4313547540 hasRelatedWork W2548465910 @default.
- W4313547540 hasRelatedWork W2751940653 @default.
- W4313547540 hasRelatedWork W2772294324 @default.
- W4313547540 hasRelatedWork W2899100898 @default.
- W4313547540 hasRelatedWork W4244118184 @default.
- W4313547540 isParatext "false" @default.
- W4313547540 isRetracted "false" @default.
- W4313547540 workType "article" @default.