FRINK Linked Data Fragments server

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

• W2795052548 abstract "Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known path explosion problem and constraint solving limitations." @default.
• W2795052548 created "2018-04-06" @default.
• W2795052548 creator A5006626837 @default.
• W2795052548 creator A5053355200 @default.
• W2795052548 creator A5082349206 @default.
• W2795052548 creator A5088941571 @default.
• W2795052548 date "2018-05-27" @default.
• W2795052548 modified "2023-09-26" @default.
• W2795052548 title "Chopped symbolic execution" @default.
• W2795052548 cites W1514171102 @default.
• W2795052548 cites W1546381996 @default.
• W2795052548 cites W1979693894 @default.
• W2795052548 cites W1990880047 @default.
• W2795052548 cites W2002479196 @default.
• W2795052548 cites W2007121005 @default.
• W2795052548 cites W2009489720 @default.
• W2795052548 cites W2016027000 @default.
• W2795052548 cites W2020703884 @default.
• W2795052548 cites W2032720115 @default.
• W2795052548 cites W2046699259 @default.
• W2795052548 cites W2066353350 @default.
• W2795052548 cites W2097444001 @default.
• W2795052548 cites W2107147876 @default.
• W2795052548 cites W2107558499 @default.
• W2795052548 cites W2113864883 @default.
• W2795052548 cites W2114345296 @default.
• W2795052548 cites W2120015217 @default.
• W2795052548 cites W2132897303 @default.
• W2795052548 cites W2136601052 @default.
• W2795052548 cites W2137351629 @default.
• W2795052548 cites W2140323279 @default.
• W2795052548 cites W2153185479 @default.
• W2795052548 cites W2161286953 @default.
• W2795052548 cites W2163499368 @default.
• W2795052548 cites W2297774820 @default.
• W2795052548 cites W2623182815 @default.
• W2795052548 cites W2913256667 @default.
• W2795052548 cites W338608548 @default.
• W2795052548 cites W4206770190 @default.
• W2795052548 cites W4237492309 @default.
• W2795052548 cites W4246385123 @default.
• W2795052548 cites W51507023 @default.
• W2795052548 doi "https://doi.org/10.1145/3180155.3180251" @default.
• W2795052548 hasPublicationYear "2018" @default.
• W2795052548 type Work @default.
• W2795052548 sameAs 2795052548 @default.
• W2795052548 citedByCount "57" @default.
• W2795052548 countsByYear W27950525482018 @default.
• W2795052548 countsByYear W27950525482019 @default.
• W2795052548 countsByYear W27950525482020 @default.
• W2795052548 countsByYear W27950525482021 @default.
• W2795052548 countsByYear W27950525482022 @default.
• W2795052548 countsByYear W27950525482023 @default.
• W2795052548 crossrefType "proceedings-article" @default.
• W2795052548 hasAuthorship W2795052548A5006626837 @default.
• W2795052548 hasAuthorship W2795052548A5053355200 @default.
• W2795052548 hasAuthorship W2795052548A5082349206 @default.
• W2795052548 hasAuthorship W2795052548A5088941571 @default.
• W2795052548 hasBestOaLocation W27950525482 @default.
• W2795052548 hasConcept C110251889 @default.
• W2795052548 hasConcept C11171543 @default.
• W2795052548 hasConcept C11219265 @default.
• W2795052548 hasConcept C127413603 @default.
• W2795052548 hasConcept C15744967 @default.
• W2795052548 hasConcept C173608175 @default.
• W2795052548 hasConcept C177264268 @default.
• W2795052548 hasConcept C199360897 @default.
• W2795052548 hasConcept C23123167 @default.
• W2795052548 hasConcept C2776036281 @default.
• W2795052548 hasConcept C2776095079 @default.
• W2795052548 hasConcept C2776760102 @default.
• W2795052548 hasConcept C2777735758 @default.
• W2795052548 hasConcept C2777904410 @default.
• W2795052548 hasConcept C2779639559 @default.
• W2795052548 hasConcept C2988963302 @default.
• W2795052548 hasConcept C41008148 @default.
• W2795052548 hasConcept C65620979 @default.
• W2795052548 hasConcept C78519656 @default.
• W2795052548 hasConcept C80444323 @default.
• W2795052548 hasConcept C98183937 @default.
• W2795052548 hasConceptScore W2795052548C110251889 @default.
• W2795052548 hasConceptScore W2795052548C11171543 @default.
• W2795052548 hasConceptScore W2795052548C11219265 @default.
• W2795052548 hasConceptScore W2795052548C127413603 @default.
• W2795052548 hasConceptScore W2795052548C15744967 @default.
• W2795052548 hasConceptScore W2795052548C173608175 @default.
• W2795052548 hasConceptScore W2795052548C177264268 @default.
• W2795052548 hasConceptScore W2795052548C199360897 @default.
• W2795052548 hasConceptScore W2795052548C23123167 @default.
• W2795052548 hasConceptScore W2795052548C2776036281 @default.
• W2795052548 hasConceptScore W2795052548C2776095079 @default.
• W2795052548 hasConceptScore W2795052548C2776760102 @default.
• W2795052548 hasConceptScore W2795052548C2777735758 @default.
• W2795052548 hasConceptScore W2795052548C2777904410 @default.
• W2795052548 hasConceptScore W2795052548C2779639559 @default.
• W2795052548 hasConceptScore W2795052548C2988963302 @default.
• W2795052548 hasConceptScore W2795052548C41008148 @default.
• W2795052548 hasConceptScore W2795052548C65620979 @default.
• W2795052548 hasConceptScore W2795052548C78519656 @default.
• W2795052548 hasConceptScore W2795052548C80444323 @default.

• next