FRINK Linked Data Fragments server

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

• W1485458514 abstract "This paper tackles some aspects concerning the exploitation of Abstract State Machines (ASMs) for testing purposes. We define for ASM specifications a set of adequacy criteria measuring the coverage achieved by a test suite, and determining whether sufficient testing has been performed. We introduce a method to automatically generate from ASM specifications test sequences which accomplish a desired coverage. This method exploits the counter example generation of the model checker SMV. We use ASMs as test oracles to predict the expected outputs of units under test." @default.
• W1485458514 created "2016-06-24" @default.
• W1485458514 creator A5089822604 @default.
• W1485458514 creator A5008671444 @default.
• W1485458514 date "2001-11-28" @default.
• W1485458514 modified "2023-09-23" @default.
• W1485458514 title "ASM-Based Testing: Coverage Criteria and Automatic Test Sequence" @default.
• W1485458514 cites W1485237120 @default.
• W1485458514 cites W1506339322 @default.
• W1485458514 cites W1534553291 @default.
• W1485458514 cites W1764347589 @default.
• W1485458514 cites W18113354 @default.
• W1485458514 cites W1835501018 @default.
• W1485458514 cites W1896160926 @default.
• W1485458514 cites W1910771831 @default.
• W1485458514 cites W1998333922 @default.
• W1485458514 cites W2004929506 @default.
• W1485458514 cites W2005281904 @default.
• W1485458514 cites W2044030666 @default.
• W1485458514 cites W2055647675 @default.
• W1485458514 cites W2100425664 @default.
• W1485458514 cites W2102785826 @default.
• W1485458514 cites W2111038766 @default.
• W1485458514 cites W2135988257 @default.
• W1485458514 cites W2143889043 @default.
• W1485458514 cites W2146972408 @default.
• W1485458514 cites W2162200351 @default.
• W1485458514 cites W2171441042 @default.
• W1485458514 cites W2177967933 @default.
• W1485458514 cites W2488946417 @default.
• W1485458514 cites W3010856131 @default.
• W1485458514 cites W73111637 @default.
• W1485458514 cites W953200356 @default.
• W1485458514 doi "https://doi.org/10.3217/jucs-007-11-1050" @default.
• W1485458514 hasPublicationYear "2001" @default.
• W1485458514 type Work @default.
• W1485458514 sameAs 1485458514 @default.
• W1485458514 citedByCount "36" @default.
• W1485458514 countsByYear W14854585142012 @default.
• W1485458514 countsByYear W14854585142013 @default.
• W1485458514 countsByYear W14854585142014 @default.
• W1485458514 countsByYear W14854585142015 @default.
• W1485458514 countsByYear W14854585142016 @default.
• W1485458514 countsByYear W14854585142019 @default.
• W1485458514 countsByYear W14854585142021 @default.
• W1485458514 countsByYear W14854585142022 @default.
• W1485458514 crossrefType "journal-article" @default.
• W1485458514 hasAuthorship W1485458514A5008671444 @default.
• W1485458514 hasAuthorship W1485458514A5089822604 @default.
• W1485458514 hasBestOaLocation W14854585141 @default.
• W1485458514 hasConcept C110251889 @default.
• W1485458514 hasConcept C11413529 @default.
• W1485458514 hasConcept C119857082 @default.
• W1485458514 hasConcept C128942645 @default.
• W1485458514 hasConcept C145243422 @default.
• W1485458514 hasConcept C151552104 @default.
• W1485458514 hasConcept C151730666 @default.
• W1485458514 hasConcept C152877465 @default.
• W1485458514 hasConcept C165696696 @default.
• W1485458514 hasConcept C165825675 @default.
• W1485458514 hasConcept C167822520 @default.
• W1485458514 hasConcept C177264268 @default.
• W1485458514 hasConcept C199360897 @default.
• W1485458514 hasConcept C2777267654 @default.
• W1485458514 hasConcept C2777904410 @default.
• W1485458514 hasConcept C2778112365 @default.
• W1485458514 hasConcept C38652104 @default.
• W1485458514 hasConcept C41008148 @default.
• W1485458514 hasConcept C53942775 @default.
• W1485458514 hasConcept C54355233 @default.
• W1485458514 hasConcept C86803240 @default.
• W1485458514 hasConceptScore W1485458514C110251889 @default.
• W1485458514 hasConceptScore W1485458514C11413529 @default.
• W1485458514 hasConceptScore W1485458514C119857082 @default.
• W1485458514 hasConceptScore W1485458514C128942645 @default.
• W1485458514 hasConceptScore W1485458514C145243422 @default.
• W1485458514 hasConceptScore W1485458514C151552104 @default.
• W1485458514 hasConceptScore W1485458514C151730666 @default.
• W1485458514 hasConceptScore W1485458514C152877465 @default.
• W1485458514 hasConceptScore W1485458514C165696696 @default.
• W1485458514 hasConceptScore W1485458514C165825675 @default.
• W1485458514 hasConceptScore W1485458514C167822520 @default.
• W1485458514 hasConceptScore W1485458514C177264268 @default.
• W1485458514 hasConceptScore W1485458514C199360897 @default.
• W1485458514 hasConceptScore W1485458514C2777267654 @default.
• W1485458514 hasConceptScore W1485458514C2777904410 @default.
• W1485458514 hasConceptScore W1485458514C2778112365 @default.
• W1485458514 hasConceptScore W1485458514C38652104 @default.
• W1485458514 hasConceptScore W1485458514C41008148 @default.
• W1485458514 hasConceptScore W1485458514C53942775 @default.
• W1485458514 hasConceptScore W1485458514C54355233 @default.
• W1485458514 hasConceptScore W1485458514C86803240 @default.
• W1485458514 hasLocation W14854585141 @default.
• W1485458514 hasOpenAccess W1485458514 @default.
• W1485458514 hasPrimaryLocation W14854585141 @default.
• W1485458514 hasRelatedWork W1770217717 @default.
• W1485458514 hasRelatedWork W1789239680 @default.
• W1485458514 hasRelatedWork W2348097614 @default.
• W1485458514 hasRelatedWork W2348672721 @default.
• W1485458514 hasRelatedWork W2348925352 @default.

• next