Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294434616> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2294434616 abstract "Most techniques to detect program errors, such as testing, code reviews, and static program analysis, do not fully verify all possible executions of a program. They leave executions unverified when they do not check certain properties, fail to verify properties, or check properties under certain unsound assumptions such as the absence of arithmetic overflow." @default.
- W2294434616 created "2016-06-24" @default.
- W2294434616 creator A5064181052 @default.
- W2294434616 creator A5073853337 @default.
- W2294434616 creator A5087604407 @default.
- W2294434616 date "2016-05-14" @default.
- W2294434616 modified "2023-10-16" @default.
- W2294434616 title "Guiding dynamic symbolic execution toward unverified program executions" @default.
- W2294434616 cites W1167406420 @default.
- W2294434616 cites W127773936 @default.
- W2294434616 cites W1970005004 @default.
- W2294434616 cites W1979693894 @default.
- W2294434616 cites W1993836075 @default.
- W2294434616 cites W1998838326 @default.
- W2294434616 cites W2009489720 @default.
- W2294434616 cites W2024442685 @default.
- W2294434616 cites W2043100293 @default.
- W2294434616 cites W2045109907 @default.
- W2294434616 cites W2066210260 @default.
- W2294434616 cites W2110908283 @default.
- W2294434616 cites W2117058582 @default.
- W2294434616 cites W2134875273 @default.
- W2294434616 cites W2135584970 @default.
- W2294434616 cites W2140021378 @default.
- W2294434616 cites W2140341752 @default.
- W2294434616 cites W2146641295 @default.
- W2294434616 cites W2151959678 @default.
- W2294434616 cites W2159899121 @default.
- W2294434616 cites W2164419371 @default.
- W2294434616 cites W2169309022 @default.
- W2294434616 cites W2172260321 @default.
- W2294434616 cites W2335911175 @default.
- W2294434616 cites W4237492309 @default.
- W2294434616 cites W4242057943 @default.
- W2294434616 cites W4246385123 @default.
- W2294434616 cites W4253958760 @default.
- W2294434616 doi "https://doi.org/10.1145/2884781.2884843" @default.
- W2294434616 hasPublicationYear "2016" @default.
- W2294434616 type Work @default.
- W2294434616 sameAs 2294434616 @default.
- W2294434616 citedByCount "63" @default.
- W2294434616 countsByYear W22944346162015 @default.
- W2294434616 countsByYear W22944346162016 @default.
- W2294434616 countsByYear W22944346162017 @default.
- W2294434616 countsByYear W22944346162018 @default.
- W2294434616 countsByYear W22944346162019 @default.
- W2294434616 countsByYear W22944346162020 @default.
- W2294434616 countsByYear W22944346162021 @default.
- W2294434616 countsByYear W22944346162022 @default.
- W2294434616 countsByYear W22944346162023 @default.
- W2294434616 crossrefType "proceedings-article" @default.
- W2294434616 hasAuthorship W2294434616A5064181052 @default.
- W2294434616 hasAuthorship W2294434616A5073853337 @default.
- W2294434616 hasAuthorship W2294434616A5087604407 @default.
- W2294434616 hasBestOaLocation W22944346162 @default.
- W2294434616 hasConcept C140006998 @default.
- W2294434616 hasConcept C173608175 @default.
- W2294434616 hasConcept C177264268 @default.
- W2294434616 hasConcept C199360897 @default.
- W2294434616 hasConcept C2776760102 @default.
- W2294434616 hasConcept C2777904410 @default.
- W2294434616 hasConcept C2779639559 @default.
- W2294434616 hasConcept C41008148 @default.
- W2294434616 hasConcept C97686452 @default.
- W2294434616 hasConcept C98183937 @default.
- W2294434616 hasConceptScore W2294434616C140006998 @default.
- W2294434616 hasConceptScore W2294434616C173608175 @default.
- W2294434616 hasConceptScore W2294434616C177264268 @default.
- W2294434616 hasConceptScore W2294434616C199360897 @default.
- W2294434616 hasConceptScore W2294434616C2776760102 @default.
- W2294434616 hasConceptScore W2294434616C2777904410 @default.
- W2294434616 hasConceptScore W2294434616C2779639559 @default.
- W2294434616 hasConceptScore W2294434616C41008148 @default.
- W2294434616 hasConceptScore W2294434616C97686452 @default.
- W2294434616 hasConceptScore W2294434616C98183937 @default.
- W2294434616 hasLocation W22944346161 @default.
- W2294434616 hasLocation W22944346162 @default.
- W2294434616 hasLocation W22944346163 @default.
- W2294434616 hasOpenAccess W2294434616 @default.
- W2294434616 hasPrimaryLocation W22944346161 @default.
- W2294434616 hasRelatedWork W1566618018 @default.
- W2294434616 hasRelatedWork W1970932400 @default.
- W2294434616 hasRelatedWork W1994915990 @default.
- W2294434616 hasRelatedWork W2104654077 @default.
- W2294434616 hasRelatedWork W2295023886 @default.
- W2294434616 hasRelatedWork W2751940653 @default.
- W2294434616 hasRelatedWork W2895825088 @default.
- W2294434616 hasRelatedWork W2914996832 @default.
- W2294434616 hasRelatedWork W3111646971 @default.
- W2294434616 hasRelatedWork W4245197793 @default.
- W2294434616 isParatext "false" @default.
- W2294434616 isRetracted "false" @default.
- W2294434616 magId "2294434616" @default.
- W2294434616 workType "article" @default.