FRINK Linked Data Fragments server

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

• W2885626945 abstract "We present a framework for trustworthy symbolic execution of JavaScripts programs, whose aim is to assist developers in the testing of their code: the developer writes symbolic tests for which the framework provides concrete counter-models. We create the framework following a new, general methodology for designing compositional program analyses for dynamic languages. We prove that the underlying symbolic execution is sound and does not generate false positives. We establish additional trust by using the theory to precisely guide the implementation and by thorough testing. We apply our framework to whole-program symbolic testing of real-world JavaScript libraries and compositional debugging of separation logic specifications of JavaScript programs." @default.
• W2885626945 created "2018-08-22" @default.
• W2885626945 creator A5012855077 @default.
• W2885626945 creator A5023580559 @default.
• W2885626945 creator A5047951273 @default.
• W2885626945 creator A5061566620 @default.
• W2885626945 creator A5067580631 @default.
• W2885626945 date "2018-09-03" @default.
• W2885626945 modified "2023-09-24" @default.
• W2885626945 title "Symbolic Execution for JavaScript" @default.
• W2885626945 cites W148369031 @default.
• W2885626945 cites W1552620091 @default.
• W2885626945 cites W1562865234 @default.
• W2885626945 cites W1565541828 @default.
• W2885626945 cites W1966862293 @default.
• W2885626945 cites W2008880956 @default.
• W2885626945 cites W2013885073 @default.
• W2885626945 cites W202191487 @default.
• W2885626945 cites W2029976661 @default.
• W2885626945 cites W2031381791 @default.
• W2885626945 cites W2057156093 @default.
• W2885626945 cites W2067104598 @default.
• W2885626945 cites W2087567537 @default.
• W2885626945 cites W2091335641 @default.
• W2885626945 cites W2094160561 @default.
• W2885626945 cites W2094568767 @default.
• W2885626945 cites W2095850105 @default.
• W2885626945 cites W2117802778 @default.
• W2885626945 cites W2129345992 @default.
• W2885626945 cites W2130162474 @default.
• W2885626945 cites W2136601052 @default.
• W2885626945 cites W2140865947 @default.
• W2885626945 cites W2142194171 @default.
• W2885626945 cites W2155621670 @default.
• W2885626945 cites W2156249516 @default.
• W2885626945 cites W2162120832 @default.
• W2885626945 cites W2163671349 @default.
• W2885626945 cites W2215196193 @default.
• W2885626945 cites W2278624804 @default.
• W2885626945 cites W2535818195 @default.
• W2885626945 cites W2593989684 @default.
• W2885626945 cites W2758513221 @default.
• W2885626945 cites W2780323212 @default.
• W2885626945 cites W2911692446 @default.
• W2885626945 cites W2963723316 @default.
• W2885626945 cites W4242904834 @default.
• W2885626945 cites W4244488020 @default.
• W2885626945 cites W4253606798 @default.
• W2885626945 doi "https://doi.org/10.1145/3236950.3236956" @default.
• W2885626945 hasPublicationYear "2018" @default.
• W2885626945 type Work @default.
• W2885626945 sameAs 2885626945 @default.
• W2885626945 citedByCount "12" @default.
• W2885626945 countsByYear W28856269452018 @default.
• W2885626945 countsByYear W28856269452019 @default.
• W2885626945 countsByYear W28856269452020 @default.
• W2885626945 countsByYear W28856269452021 @default.
• W2885626945 countsByYear W28856269452022 @default.
• W2885626945 countsByYear W28856269452023 @default.
• W2885626945 crossrefType "proceedings-article" @default.
• W2885626945 hasAuthorship W2885626945A5012855077 @default.
• W2885626945 hasAuthorship W2885626945A5023580559 @default.
• W2885626945 hasAuthorship W2885626945A5047951273 @default.
• W2885626945 hasAuthorship W2885626945A5061566620 @default.
• W2885626945 hasAuthorship W2885626945A5067580631 @default.
• W2885626945 hasBestOaLocation W28856269451 @default.
• W2885626945 hasConcept C110251889 @default.
• W2885626945 hasConcept C11219265 @default.
• W2885626945 hasConcept C168065819 @default.
• W2885626945 hasConcept C199360897 @default.
• W2885626945 hasConcept C23123167 @default.
• W2885626945 hasConcept C2777904410 @default.
• W2885626945 hasConcept C2779639559 @default.
• W2885626945 hasConcept C41008148 @default.
• W2885626945 hasConcept C544833334 @default.
• W2885626945 hasConcept C98183937 @default.
• W2885626945 hasConceptScore W2885626945C110251889 @default.
• W2885626945 hasConceptScore W2885626945C11219265 @default.
• W2885626945 hasConceptScore W2885626945C168065819 @default.
• W2885626945 hasConceptScore W2885626945C199360897 @default.
• W2885626945 hasConceptScore W2885626945C23123167 @default.
• W2885626945 hasConceptScore W2885626945C2777904410 @default.
• W2885626945 hasConceptScore W2885626945C2779639559 @default.
• W2885626945 hasConceptScore W2885626945C41008148 @default.
• W2885626945 hasConceptScore W2885626945C544833334 @default.
• W2885626945 hasConceptScore W2885626945C98183937 @default.
• W2885626945 hasLocation W28856269451 @default.
• W2885626945 hasLocation W28856269452 @default.
• W2885626945 hasOpenAccess W2885626945 @default.
• W2885626945 hasPrimaryLocation W28856269451 @default.
• W2885626945 hasRelatedWork W2019299443 @default.
• W2885626945 hasRelatedWork W2047694629 @default.
• W2885626945 hasRelatedWork W2101512909 @default.
• W2885626945 hasRelatedWork W2168645221 @default.
• W2885626945 hasRelatedWork W2885626945 @default.
• W2885626945 hasRelatedWork W2886801036 @default.
• W2885626945 hasRelatedWork W2899983867 @default.
• W2885626945 hasRelatedWork W3033206483 @default.
• W2885626945 hasRelatedWork W3039319427 @default.
• W2885626945 hasRelatedWork W4376123179 @default.

• next