FRINK Linked Data Fragments server

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

• W2017209518 endingPage "5" @default.
• W2017209518 startingPage "1" @default.
• W2017209518 abstract "Symbolic execution is a program analysis technique that is used for many purposes, one of which is test case generation. For loop-free programs, this generates a test set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the Java Pathfinder model-checker and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop un- winding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test case generation, branch coverage will likely be lost when paths are naively pruned. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable." @default.
• W2017209518 created "2016-06-24" @default.
• W2017209518 creator A5012946175 @default.
• W2017209518 creator A5016373630 @default.
• W2017209518 creator A5044286809 @default.
• W2017209518 creator A5047763549 @default.
• W2017209518 date "2015-02-06" @default.
• W2017209518 modified "2023-10-18" @default.
• W2017209518 title "Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops" @default.
• W2017209518 cites W1988684051 @default.
• W2017209518 cites W2027422213 @default.
• W2017209518 cites W2032153666 @default.
• W2017209518 cites W2035603501 @default.
• W2017209518 cites W2040060046 @default.
• W2017209518 cites W2047694629 @default.
• W2017209518 cites W2074888021 @default.
• W2017209518 cites W2097444001 @default.
• W2017209518 cites W2126293135 @default.
• W2017209518 cites W2165015106 @default.
• W2017209518 cites W95169743 @default.
• W2017209518 doi "https://doi.org/10.1145/2693208.2693243" @default.
• W2017209518 hasPublicationYear "2015" @default.
• W2017209518 type Work @default.
• W2017209518 sameAs 2017209518 @default.
• W2017209518 citedByCount "3" @default.
• W2017209518 countsByYear W20172095182016 @default.
• W2017209518 countsByYear W20172095182017 @default.
• W2017209518 countsByYear W20172095182019 @default.
• W2017209518 crossrefType "journal-article" @default.
• W2017209518 hasAuthorship W2017209518A5012946175 @default.
• W2017209518 hasAuthorship W2017209518A5016373630 @default.
• W2017209518 hasAuthorship W2017209518A5044286809 @default.
• W2017209518 hasAuthorship W2017209518A5047763549 @default.
• W2017209518 hasBestOaLocation W20172095182 @default.
• W2017209518 hasConcept C110251889 @default.
• W2017209518 hasConcept C11219265 @default.
• W2017209518 hasConcept C11413529 @default.
• W2017209518 hasConcept C114614502 @default.
• W2017209518 hasConcept C119857082 @default.
• W2017209518 hasConcept C128942645 @default.
• W2017209518 hasConcept C134306372 @default.
• W2017209518 hasConcept C151552104 @default.
• W2017209518 hasConcept C151730666 @default.
• W2017209518 hasConcept C152877465 @default.
• W2017209518 hasConcept C161191863 @default.
• W2017209518 hasConcept C177264268 @default.
• W2017209518 hasConcept C184670325 @default.
• W2017209518 hasConcept C199360897 @default.
• W2017209518 hasConcept C23123167 @default.
• W2017209518 hasConcept C2777904410 @default.
• W2017209518 hasConcept C2778940482 @default.
• W2017209518 hasConcept C2779343474 @default.
• W2017209518 hasConcept C2779639559 @default.
• W2017209518 hasConcept C33923547 @default.
• W2017209518 hasConcept C34388435 @default.
• W2017209518 hasConcept C41008148 @default.
• W2017209518 hasConcept C548217200 @default.
• W2017209518 hasConcept C80444323 @default.
• W2017209518 hasConcept C86803240 @default.
• W2017209518 hasConceptScore W2017209518C110251889 @default.
• W2017209518 hasConceptScore W2017209518C11219265 @default.
• W2017209518 hasConceptScore W2017209518C11413529 @default.
• W2017209518 hasConceptScore W2017209518C114614502 @default.
• W2017209518 hasConceptScore W2017209518C119857082 @default.
• W2017209518 hasConceptScore W2017209518C128942645 @default.
• W2017209518 hasConceptScore W2017209518C134306372 @default.
• W2017209518 hasConceptScore W2017209518C151552104 @default.
• W2017209518 hasConceptScore W2017209518C151730666 @default.
• W2017209518 hasConceptScore W2017209518C152877465 @default.
• W2017209518 hasConceptScore W2017209518C161191863 @default.
• W2017209518 hasConceptScore W2017209518C177264268 @default.
• W2017209518 hasConceptScore W2017209518C184670325 @default.
• W2017209518 hasConceptScore W2017209518C199360897 @default.
• W2017209518 hasConceptScore W2017209518C23123167 @default.
• W2017209518 hasConceptScore W2017209518C2777904410 @default.
• W2017209518 hasConceptScore W2017209518C2778940482 @default.
• W2017209518 hasConceptScore W2017209518C2779343474 @default.
• W2017209518 hasConceptScore W2017209518C2779639559 @default.
• W2017209518 hasConceptScore W2017209518C33923547 @default.
• W2017209518 hasConceptScore W2017209518C34388435 @default.
• W2017209518 hasConceptScore W2017209518C41008148 @default.
• W2017209518 hasConceptScore W2017209518C548217200 @default.
• W2017209518 hasConceptScore W2017209518C80444323 @default.
• W2017209518 hasConceptScore W2017209518C86803240 @default.
• W2017209518 hasIssue "1" @default.
• W2017209518 hasLocation W20172095181 @default.
• W2017209518 hasLocation W20172095182 @default.
• W2017209518 hasLocation W20172095183 @default.
• W2017209518 hasOpenAccess W2017209518 @default.
• W2017209518 hasPrimaryLocation W20172095181 @default.
• W2017209518 hasRelatedWork W1535443236 @default.
• W2017209518 hasRelatedWork W1573918680 @default.
• W2017209518 hasRelatedWork W163562308 @default.
• W2017209518 hasRelatedWork W184413546 @default.
• W2017209518 hasRelatedWork W2017209518 @default.
• W2017209518 hasRelatedWork W2021230879 @default.
• W2017209518 hasRelatedWork W2047694629 @default.
• W2017209518 hasRelatedWork W2141498181 @default.

• next