Matches in SemOpenAlex for { <https://semopenalex.org/work/W2578520473> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2578520473 endingPage "18" @default.
- W2578520473 startingPage "17" @default.
- W2578520473 abstract "Software verification is an established method to ensure software safety. Nevertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory, or the technique is not mature enough to verify the property. Often then discarding the partial verification, the validation process proceeds with techniques like testing.To enable standard testing to profit from previous, partial verification, we use a summary of the verification effort to simplify the program for subsequent testing. Our techniques use this summary to construct a residual program which only contains program paths with unproven assertions. Afterwards, the residual program can be used with standard testing tools.Our first experiments show that testing profits from the partial verification.The test effort is reduced and combined verification and testing is faster than a complete verification." @default.
- W2578520473 created "2017-01-26" @default.
- W2578520473 creator A5038672802 @default.
- W2578520473 creator A5046915601 @default.
- W2578520473 creator A5062004374 @default.
- W2578520473 date "2016-01-01" @default.
- W2578520473 modified "2023-10-01" @default.
- W2578520473 title "Just test what you cannot verify" @default.
- W2578520473 hasPublicationYear "2016" @default.
- W2578520473 type Work @default.
- W2578520473 sameAs 2578520473 @default.
- W2578520473 citedByCount "0" @default.
- W2578520473 crossrefType "journal-article" @default.
- W2578520473 hasAuthorship W2578520473A5038672802 @default.
- W2578520473 hasAuthorship W2578520473A5046915601 @default.
- W2578520473 hasAuthorship W2578520473A5062004374 @default.
- W2578520473 hasConcept C111498074 @default.
- W2578520473 hasConcept C127413603 @default.
- W2578520473 hasConcept C142284323 @default.
- W2578520473 hasConcept C149091818 @default.
- W2578520473 hasConcept C162443782 @default.
- W2578520473 hasConcept C169168650 @default.
- W2578520473 hasConcept C182122060 @default.
- W2578520473 hasConcept C186846655 @default.
- W2578520473 hasConcept C187250869 @default.
- W2578520473 hasConcept C199360897 @default.
- W2578520473 hasConcept C200601418 @default.
- W2578520473 hasConcept C202973057 @default.
- W2578520473 hasConcept C2777904410 @default.
- W2578520473 hasConcept C33054407 @default.
- W2578520473 hasConcept C3406870 @default.
- W2578520473 hasConcept C41008148 @default.
- W2578520473 hasConcept C52928878 @default.
- W2578520473 hasConcept C62460635 @default.
- W2578520473 hasConcept C86469151 @default.
- W2578520473 hasConceptScore W2578520473C111498074 @default.
- W2578520473 hasConceptScore W2578520473C127413603 @default.
- W2578520473 hasConceptScore W2578520473C142284323 @default.
- W2578520473 hasConceptScore W2578520473C149091818 @default.
- W2578520473 hasConceptScore W2578520473C162443782 @default.
- W2578520473 hasConceptScore W2578520473C169168650 @default.
- W2578520473 hasConceptScore W2578520473C182122060 @default.
- W2578520473 hasConceptScore W2578520473C186846655 @default.
- W2578520473 hasConceptScore W2578520473C187250869 @default.
- W2578520473 hasConceptScore W2578520473C199360897 @default.
- W2578520473 hasConceptScore W2578520473C200601418 @default.
- W2578520473 hasConceptScore W2578520473C202973057 @default.
- W2578520473 hasConceptScore W2578520473C2777904410 @default.
- W2578520473 hasConceptScore W2578520473C33054407 @default.
- W2578520473 hasConceptScore W2578520473C3406870 @default.
- W2578520473 hasConceptScore W2578520473C41008148 @default.
- W2578520473 hasConceptScore W2578520473C52928878 @default.
- W2578520473 hasConceptScore W2578520473C62460635 @default.
- W2578520473 hasConceptScore W2578520473C86469151 @default.
- W2578520473 hasLocation W25785204731 @default.
- W2578520473 hasOpenAccess W2578520473 @default.
- W2578520473 hasPrimaryLocation W25785204731 @default.
- W2578520473 hasRelatedWork W14459120 @default.
- W2578520473 hasRelatedWork W1485076918 @default.
- W2578520473 hasRelatedWork W1514137089 @default.
- W2578520473 hasRelatedWork W1599224407 @default.
- W2578520473 hasRelatedWork W195804625 @default.
- W2578520473 hasRelatedWork W1971351024 @default.
- W2578520473 hasRelatedWork W2037831800 @default.
- W2578520473 hasRelatedWork W2100609564 @default.
- W2578520473 hasRelatedWork W2118746944 @default.
- W2578520473 hasRelatedWork W2129485204 @default.
- W2578520473 hasRelatedWork W2153827645 @default.
- W2578520473 hasRelatedWork W217021593 @default.
- W2578520473 hasRelatedWork W2182428114 @default.
- W2578520473 hasRelatedWork W2238547896 @default.
- W2578520473 hasRelatedWork W2342171709 @default.
- W2578520473 hasRelatedWork W2552220181 @default.
- W2578520473 hasRelatedWork W2564924167 @default.
- W2578520473 hasRelatedWork W280055773 @default.
- W2578520473 hasRelatedWork W3025080016 @default.
- W2578520473 hasRelatedWork W1855049569 @default.
- W2578520473 isParatext "false" @default.
- W2578520473 isRetracted "false" @default.
- W2578520473 magId "2578520473" @default.
- W2578520473 workType "article" @default.