Matches in SemOpenAlex for { <https://semopenalex.org/work/W2768373486> ?p ?o ?g. }
- W2768373486 abstract "Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the form of relational properties - these are properties about two runs of two programs on related inputs, or about two executions of a single program on related inputs. Relational properties are useful to formalize notions in security and privacy, and to reason about program optimizations. We design a relational symbolic execution engine, named RelSym which supports interactive refutation, as well as proving of relational properties for programs written in a language with arrays and for-like loops." @default.
- W2768373486 created "2017-12-04" @default.
- W2768373486 creator A5021948795 @default.
- W2768373486 creator A5045248140 @default.
- W2768373486 creator A5046383149 @default.
- W2768373486 date "2017-11-22" @default.
- W2768373486 modified "2023-09-23" @default.
- W2768373486 title "Relational Symbolic Execution" @default.
- W2768373486 cites W115316089 @default.
- W2768373486 cites W121994753 @default.
- W2768373486 cites W1480909796 @default.
- W2768373486 cites W1483403737 @default.
- W2768373486 cites W1550912436 @default.
- W2768373486 cites W1579441434 @default.
- W2768373486 cites W1586448612 @default.
- W2768373486 cites W1720848645 @default.
- W2768373486 cites W1977764760 @default.
- W2768373486 cites W2019411264 @default.
- W2768373486 cites W2061056245 @default.
- W2768373486 cites W2074888021 @default.
- W2768373486 cites W2075033069 @default.
- W2768373486 cites W2080914957 @default.
- W2768373486 cites W2095840868 @default.
- W2768373486 cites W2097061283 @default.
- W2768373486 cites W2101512909 @default.
- W2768373486 cites W2131275552 @default.
- W2768373486 cites W2131916295 @default.
- W2768373486 cites W2139799388 @default.
- W2768373486 cites W2146373156 @default.
- W2768373486 cites W2149996206 @default.
- W2768373486 cites W2150174204 @default.
- W2768373486 cites W2153684747 @default.
- W2768373486 cites W2159192310 @default.
- W2768373486 cites W2162846161 @default.
- W2768373486 cites W2170528665 @default.
- W2768373486 cites W2299804622 @default.
- W2768373486 cites W2418260908 @default.
- W2768373486 cites W2504209588 @default.
- W2768373486 cites W2565334366 @default.
- W2768373486 cites W2577092840 @default.
- W2768373486 cites W2582743722 @default.
- W2768373486 cites W2626217303 @default.
- W2768373486 cites W2758676311 @default.
- W2768373486 cites W2766853874 @default.
- W2768373486 cites W2884840976 @default.
- W2768373486 cites W2898734375 @default.
- W2768373486 cites W2898893133 @default.
- W2768373486 cites W2914544883 @default.
- W2768373486 cites W2995573473 @default.
- W2768373486 cites W3145555275 @default.
- W2768373486 cites W379834542 @default.
- W2768373486 cites W57185801 @default.
- W2768373486 cites W72518666 @default.
- W2768373486 cites W92627029 @default.
- W2768373486 hasPublicationYear "2017" @default.
- W2768373486 type Work @default.
- W2768373486 sameAs 2768373486 @default.
- W2768373486 citedByCount "1" @default.
- W2768373486 countsByYear W27683734862020 @default.
- W2768373486 crossrefType "posted-content" @default.
- W2768373486 hasAuthorship W2768373486A5021948795 @default.
- W2768373486 hasAuthorship W2768373486A5045248140 @default.
- W2768373486 hasAuthorship W2768373486A5046383149 @default.
- W2768373486 hasConcept C11171543 @default.
- W2768373486 hasConcept C11219265 @default.
- W2768373486 hasConcept C15744967 @default.
- W2768373486 hasConcept C199360897 @default.
- W2768373486 hasConcept C2776095079 @default.
- W2768373486 hasConcept C2777904410 @default.
- W2768373486 hasConcept C2779639559 @default.
- W2768373486 hasConcept C40207289 @default.
- W2768373486 hasConcept C41008148 @default.
- W2768373486 hasConcept C5655090 @default.
- W2768373486 hasConcept C77088390 @default.
- W2768373486 hasConcept C80444323 @default.
- W2768373486 hasConcept C99436015 @default.
- W2768373486 hasConceptScore W2768373486C11171543 @default.
- W2768373486 hasConceptScore W2768373486C11219265 @default.
- W2768373486 hasConceptScore W2768373486C15744967 @default.
- W2768373486 hasConceptScore W2768373486C199360897 @default.
- W2768373486 hasConceptScore W2768373486C2776095079 @default.
- W2768373486 hasConceptScore W2768373486C2777904410 @default.
- W2768373486 hasConceptScore W2768373486C2779639559 @default.
- W2768373486 hasConceptScore W2768373486C40207289 @default.
- W2768373486 hasConceptScore W2768373486C41008148 @default.
- W2768373486 hasConceptScore W2768373486C5655090 @default.
- W2768373486 hasConceptScore W2768373486C77088390 @default.
- W2768373486 hasConceptScore W2768373486C80444323 @default.
- W2768373486 hasConceptScore W2768373486C99436015 @default.
- W2768373486 hasOpenAccess W2768373486 @default.
- W2768373486 hasRelatedWork W181692710 @default.
- W2768373486 hasRelatedWork W1975736938 @default.
- W2768373486 hasRelatedWork W2041161709 @default.
- W2768373486 hasRelatedWork W2112719748 @default.
- W2768373486 hasRelatedWork W211357902 @default.
- W2768373486 hasRelatedWork W2120849108 @default.
- W2768373486 hasRelatedWork W2168787502 @default.
- W2768373486 hasRelatedWork W2288522156 @default.
- W2768373486 hasRelatedWork W2469952566 @default.
- W2768373486 hasRelatedWork W2472875840 @default.