FRINK Linked Data Fragments server

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

• W2161738606 abstract "Symbolic execution of a language is traditionally achieved by replacing the language’s interpreter with an entirely new interpreter. This may be an unnecessary burden, and it is tempting instead to try to use as much of the existing interpret infrastructure as possible, both for handling aspects of the computation that are not symbolic, and for propagating symbolic ones. This approach was used to implement Rubicon, a bounded verification system for Ruby on Rails web applications, in less than 1000 lines of Ruby code. Rubicon uses symbolic execution to derive verification conditions from Rails applications and an off-theshelf solver to check them. Despite its small size, Rubicon has been used to find previously unknown bugs in open-source Rails applications. The key idea is to encode symbolic values and operations in a library written in the target language itself, overriding only a small part of the standard interpreter. We formalize this approach, showing that replacing a few key operators with symbolic versions in a standard interpreter gives the same effect as replacing the entire interpreter with a symbolic one." @default.
• W2161738606 created "2016-06-24" @default.
• W2161738606 creator A5061707651 @default.
• W2161738606 creator A5066550051 @default.
• W2161738606 date "2014-04-22" @default.
• W2161738606 modified "2023-09-27" @default.
• W2161738606 title "Symbolic Execution for (Almost) Free Hijacking an Existing Implementation to Perform Symbolic Execution" @default.
• W2161738606 cites W1503480575 @default.
• W2161738606 cites W1516505746 @default.
• W2161738606 cites W1518998610 @default.
• W2161738606 cites W1519503479 @default.
• W2161738606 cites W1530811563 @default.
• W2161738606 cites W1545566155 @default.
• W2161738606 cites W1557561422 @default.
• W2161738606 cites W1571376639 @default.
• W2161738606 cites W157156687 @default.
• W2161738606 cites W1579638562 @default.
• W2161738606 cites W1589795769 @default.
• W2161738606 cites W1710734607 @default.
• W2161738606 cites W1720848645 @default.
• W2161738606 cites W1895387792 @default.
• W2161738606 cites W1972999341 @default.
• W2161738606 cites W2009489720 @default.
• W2161738606 cites W2014473133 @default.
• W2161738606 cites W2034958218 @default.
• W2161738606 cites W2094568767 @default.
• W2161738606 cites W2101512909 @default.
• W2161738606 cites W2109276114 @default.
• W2161738606 cites W2115261880 @default.
• W2161738606 cites W2119717320 @default.
• W2161738606 cites W2124756729 @default.
• W2161738606 cites W2128325590 @default.
• W2161738606 cites W2137968211 @default.
• W2161738606 cites W2142072999 @default.
• W2161738606 cites W2150138014 @default.
• W2161738606 cites W2163868917 @default.
• W2161738606 cites W2294395356 @default.
• W2161738606 cites W587941652 @default.
• W2161738606 cites W58852127 @default.
• W2161738606 cites W2508892420 @default.
• W2161738606 hasPublicationYear "2014" @default.
• W2161738606 type Work @default.
• W2161738606 sameAs 2161738606 @default.
• W2161738606 citedByCount "0" @default.
• W2161738606 crossrefType "journal-article" @default.
• W2161738606 hasAuthorship W2161738606A5061707651 @default.
• W2161738606 hasAuthorship W2161738606A5066550051 @default.
• W2161738606 hasConcept C110251889 @default.
• W2161738606 hasConcept C11171543 @default.
• W2161738606 hasConcept C11219265 @default.
• W2161738606 hasConcept C122783720 @default.
• W2161738606 hasConcept C145428669 @default.
• W2161738606 hasConcept C15744967 @default.
• W2161738606 hasConcept C164155591 @default.
• W2161738606 hasConcept C177264268 @default.
• W2161738606 hasConcept C199360897 @default.
• W2161738606 hasConcept C23123167 @default.
• W2161738606 hasConcept C26517878 @default.
• W2161738606 hasConcept C2776095079 @default.
• W2161738606 hasConcept C2776760102 @default.
• W2161738606 hasConcept C2777904410 @default.
• W2161738606 hasConcept C2779639559 @default.
• W2161738606 hasConcept C38652104 @default.
• W2161738606 hasConcept C41008148 @default.
• W2161738606 hasConcept C80444323 @default.
• W2161738606 hasConceptScore W2161738606C110251889 @default.
• W2161738606 hasConceptScore W2161738606C11171543 @default.
• W2161738606 hasConceptScore W2161738606C11219265 @default.
• W2161738606 hasConceptScore W2161738606C122783720 @default.
• W2161738606 hasConceptScore W2161738606C145428669 @default.
• W2161738606 hasConceptScore W2161738606C15744967 @default.
• W2161738606 hasConceptScore W2161738606C164155591 @default.
• W2161738606 hasConceptScore W2161738606C177264268 @default.
• W2161738606 hasConceptScore W2161738606C199360897 @default.
• W2161738606 hasConceptScore W2161738606C23123167 @default.
• W2161738606 hasConceptScore W2161738606C26517878 @default.
• W2161738606 hasConceptScore W2161738606C2776095079 @default.
• W2161738606 hasConceptScore W2161738606C2776760102 @default.
• W2161738606 hasConceptScore W2161738606C2777904410 @default.
• W2161738606 hasConceptScore W2161738606C2779639559 @default.
• W2161738606 hasConceptScore W2161738606C38652104 @default.
• W2161738606 hasConceptScore W2161738606C41008148 @default.
• W2161738606 hasConceptScore W2161738606C80444323 @default.
• W2161738606 hasLocation W21617386061 @default.
• W2161738606 hasOpenAccess W2161738606 @default.
• W2161738606 hasPrimaryLocation W21617386061 @default.
• W2161738606 hasRelatedWork W1574233750 @default.
• W2161738606 hasRelatedWork W1585183969 @default.
• W2161738606 hasRelatedWork W1923571771 @default.
• W2161738606 hasRelatedWork W1983695415 @default.
• W2161738606 hasRelatedWork W2012567572 @default.
• W2161738606 hasRelatedWork W2029108800 @default.
• W2161738606 hasRelatedWork W2035529004 @default.
• W2161738606 hasRelatedWork W2112448454 @default.
• W2161738606 hasRelatedWork W2130318821 @default.
• W2161738606 hasRelatedWork W2132338508 @default.
• W2161738606 hasRelatedWork W2135396778 @default.
• W2161738606 hasRelatedWork W2149310310 @default.
• W2161738606 hasRelatedWork W2518117168 @default.
• W2161738606 hasRelatedWork W2522278925 @default.

• next