FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970005004> ?p ?o ?g. }

• W1970005004 abstract "We present MergePoint, a new binary-only symbolic execution system for large-scale and fully unassisted testing of commodity off-the-shelf (COTS) software. MergePoint introduces veritesting, a new technique that employs static symbolic execution to amplify the effect of dynamic symbolic execution. Veritesting allows MergePoint to find twice as many bugs, explore orders of magnitude more paths, and achieve higher code coverage than previous dynamic symbolic execution systems. MergePoint is currently running daily on a 100 node cluster analyzing 33,248 Linux binaries; has generated more than 15 billion SMT queries, 200 million test cases, 2,347,420 crashes, and found 11,687 bugs in 4,379 distinct applications." @default.
• W1970005004 created "2016-06-24" @default.
• W1970005004 creator A5016565332 @default.
• W1970005004 creator A5031854438 @default.
• W1970005004 creator A5037888372 @default.
• W1970005004 creator A5049839987 @default.
• W1970005004 date "2014-05-31" @default.
• W1970005004 modified "2023-10-17" @default.
• W1970005004 title "Enhancing symbolic execution with veritesting" @default.
• W1970005004 cites W1480909796 @default.
• W1970005004 cites W1544225867 @default.
• W1970005004 cites W1585877844 @default.
• W1970005004 cites W1966982815 @default.
• W1970005004 cites W1977902681 @default.
• W1970005004 cites W1979693894 @default.
• W1970005004 cites W1992431017 @default.
• W1970005004 cites W2000414759 @default.
• W1970005004 cites W2002479196 @default.
• W1970005004 cites W2009489720 @default.
• W1970005004 cites W2042033151 @default.
• W1970005004 cites W2082172430 @default.
• W1970005004 cites W2094382938 @default.
• W1970005004 cites W2095551048 @default.
• W1970005004 cites W2101430044 @default.
• W1970005004 cites W2101512909 @default.
• W1970005004 cites W2107147876 @default.
• W1970005004 cites W2113864883 @default.
• W1970005004 cites W2121757479 @default.
• W1970005004 cites W2132897303 @default.
• W1970005004 cites W2137530017 @default.
• W1970005004 cites W2138788987 @default.
• W1970005004 cites W2140311411 @default.
• W1970005004 cites W2140809377 @default.
• W1970005004 cites W2151585646 @default.
• W1970005004 cites W2153185479 @default.
• W1970005004 cites W2154897437 @default.
• W1970005004 cites W2158798798 @default.
• W1970005004 cites W2164419371 @default.
• W1970005004 cites W2164836255 @default.
• W1970005004 cites W4237492309 @default.
• W1970005004 cites W4239813889 @default.
• W1970005004 cites W4246385123 @default.
• W1970005004 doi "https://doi.org/10.1145/2568225.2568293" @default.
• W1970005004 hasPublicationYear "2014" @default.
• W1970005004 type Work @default.
• W1970005004 sameAs 1970005004 @default.
• W1970005004 citedByCount "161" @default.
• W1970005004 countsByYear W19700050042014 @default.
• W1970005004 countsByYear W19700050042015 @default.
• W1970005004 countsByYear W19700050042016 @default.
• W1970005004 countsByYear W19700050042017 @default.
• W1970005004 countsByYear W19700050042018 @default.
• W1970005004 countsByYear W19700050042019 @default.
• W1970005004 countsByYear W19700050042020 @default.
• W1970005004 countsByYear W19700050042021 @default.
• W1970005004 countsByYear W19700050042022 @default.
• W1970005004 countsByYear W19700050042023 @default.
• W1970005004 crossrefType "proceedings-article" @default.
• W1970005004 hasAuthorship W1970005004A5016565332 @default.
• W1970005004 hasAuthorship W1970005004A5031854438 @default.
• W1970005004 hasAuthorship W1970005004A5037888372 @default.
• W1970005004 hasAuthorship W1970005004A5049839987 @default.
• W1970005004 hasConcept C1009929 @default.
• W1970005004 hasConcept C111919701 @default.
• W1970005004 hasConcept C11219265 @default.
• W1970005004 hasConcept C127413603 @default.
• W1970005004 hasConcept C149635348 @default.
• W1970005004 hasConcept C173608175 @default.
• W1970005004 hasConcept C177264268 @default.
• W1970005004 hasConcept C199360897 @default.
• W1970005004 hasConcept C2776760102 @default.
• W1970005004 hasConcept C2777904410 @default.
• W1970005004 hasConcept C2779639559 @default.
• W1970005004 hasConcept C41008148 @default.
• W1970005004 hasConcept C53942775 @default.
• W1970005004 hasConcept C62611344 @default.
• W1970005004 hasConcept C66938386 @default.
• W1970005004 hasConceptScore W1970005004C1009929 @default.
• W1970005004 hasConceptScore W1970005004C111919701 @default.
• W1970005004 hasConceptScore W1970005004C11219265 @default.
• W1970005004 hasConceptScore W1970005004C127413603 @default.
• W1970005004 hasConceptScore W1970005004C149635348 @default.
• W1970005004 hasConceptScore W1970005004C173608175 @default.
• W1970005004 hasConceptScore W1970005004C177264268 @default.
• W1970005004 hasConceptScore W1970005004C199360897 @default.
• W1970005004 hasConceptScore W1970005004C2776760102 @default.
• W1970005004 hasConceptScore W1970005004C2777904410 @default.
• W1970005004 hasConceptScore W1970005004C2779639559 @default.
• W1970005004 hasConceptScore W1970005004C41008148 @default.
• W1970005004 hasConceptScore W1970005004C53942775 @default.
• W1970005004 hasConceptScore W1970005004C62611344 @default.
• W1970005004 hasConceptScore W1970005004C66938386 @default.
• W1970005004 hasLocation W19700050041 @default.
• W1970005004 hasOpenAccess W1970005004 @default.
• W1970005004 hasPrimaryLocation W19700050041 @default.
• W1970005004 hasRelatedWork W19720440 @default.
• W1970005004 hasRelatedWork W2092231696 @default.
• W1970005004 hasRelatedWork W2136978836 @default.
• W1970005004 hasRelatedWork W2151585646 @default.
• W1970005004 hasRelatedWork W2346650554 @default.

• next