FRINK Linked Data Fragments server

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

• W2156864741 abstract "Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under test. Errors in the specification at least hamper the prompt delivery of the software, so it is worth while to invest in the quality of the specification. Worse, errors in the specification that are also present in the system under test cannot be detected by model-based testing. In this paper we show how very desirable properties of specifications can be checked by systematic automated testing of the specifications themselves. We show how useful properties of specifications can be found by generalization of incorrect transitions encountered in simulation of the model." @default.
• W2156864741 created "2016-06-24" @default.
• W2156864741 creator A5049917627 @default.
• W2156864741 creator A5053247184 @default.
• W2156864741 creator A5081280625 @default.
• W2156864741 date "2008-01-01" @default.
• W2156864741 modified "2023-09-27" @default.
• W2156864741 title "Testing and Validating the Quality of Specifications" @default.
• W2156864741 cites W1539432158 @default.
• W2156864741 cites W1608087281 @default.
• W2156864741 cites W1895387792 @default.
• W2156864741 cites W1943502734 @default.
• W2156864741 cites W1962072139 @default.
• W2156864741 cites W2027048725 @default.
• W2156864741 cites W2031111226 @default.
• W2156864741 cites W2091763147 @default.
• W2156864741 cites W2096536569 @default.
• W2156864741 cites W2115128073 @default.
• W2156864741 cites W2117893191 @default.
• W2156864741 cites W2119717320 @default.
• W2156864741 cites W2146865445 @default.
• W2156864741 cites W2400015025 @default.
• W2156864741 cites W2506598342 @default.
• W2156864741 cites W2508159688 @default.
• W2156864741 cites W811029122 @default.
• W2156864741 cites W2571190780 @default.
• W2156864741 doi "https://doi.org/10.1109/icstw.2008.43" @default.
• W2156864741 hasPublicationYear "2008" @default.
• W2156864741 type Work @default.
• W2156864741 sameAs 2156864741 @default.
• W2156864741 citedByCount "2" @default.
• W2156864741 countsByYear W21568647412020 @default.
• W2156864741 crossrefType "proceedings-article" @default.
• W2156864741 hasAuthorship W2156864741A5049917627 @default.
• W2156864741 hasAuthorship W2156864741A5053247184 @default.
• W2156864741 hasAuthorship W2156864741A5081280625 @default.
• W2156864741 hasBestOaLocation W21568647412 @default.
• W2156864741 hasConcept C108913964 @default.
• W2156864741 hasConcept C111472728 @default.
• W2156864741 hasConcept C111919701 @default.
• W2156864741 hasConcept C116253237 @default.
• W2156864741 hasConcept C117222624 @default.
• W2156864741 hasConcept C117447612 @default.
• W2156864741 hasConcept C119857082 @default.
• W2156864741 hasConcept C127413603 @default.
• W2156864741 hasConcept C128942645 @default.
• W2156864741 hasConcept C134306372 @default.
• W2156864741 hasConcept C138885662 @default.
• W2156864741 hasConcept C149091818 @default.
• W2156864741 hasConcept C152877465 @default.
• W2156864741 hasConcept C165825675 @default.
• W2156864741 hasConcept C169168650 @default.
• W2156864741 hasConcept C177148314 @default.
• W2156864741 hasConcept C178059732 @default.
• W2156864741 hasConcept C186846655 @default.
• W2156864741 hasConcept C188087704 @default.
• W2156864741 hasConcept C199360897 @default.
• W2156864741 hasConcept C200601418 @default.
• W2156864741 hasConcept C2777904410 @default.
• W2156864741 hasConcept C2779530757 @default.
• W2156864741 hasConcept C33923547 @default.
• W2156864741 hasConcept C41008148 @default.
• W2156864741 hasConcept C529173508 @default.
• W2156864741 hasConcept C7166840 @default.
• W2156864741 hasConcept C76844732 @default.
• W2156864741 hasConcept C86469151 @default.
• W2156864741 hasConceptScore W2156864741C108913964 @default.
• W2156864741 hasConceptScore W2156864741C111472728 @default.
• W2156864741 hasConceptScore W2156864741C111919701 @default.
• W2156864741 hasConceptScore W2156864741C116253237 @default.
• W2156864741 hasConceptScore W2156864741C117222624 @default.
• W2156864741 hasConceptScore W2156864741C117447612 @default.
• W2156864741 hasConceptScore W2156864741C119857082 @default.
• W2156864741 hasConceptScore W2156864741C127413603 @default.
• W2156864741 hasConceptScore W2156864741C128942645 @default.
• W2156864741 hasConceptScore W2156864741C134306372 @default.
• W2156864741 hasConceptScore W2156864741C138885662 @default.
• W2156864741 hasConceptScore W2156864741C149091818 @default.
• W2156864741 hasConceptScore W2156864741C152877465 @default.
• W2156864741 hasConceptScore W2156864741C165825675 @default.
• W2156864741 hasConceptScore W2156864741C169168650 @default.
• W2156864741 hasConceptScore W2156864741C177148314 @default.
• W2156864741 hasConceptScore W2156864741C178059732 @default.
• W2156864741 hasConceptScore W2156864741C186846655 @default.
• W2156864741 hasConceptScore W2156864741C188087704 @default.
• W2156864741 hasConceptScore W2156864741C199360897 @default.
• W2156864741 hasConceptScore W2156864741C200601418 @default.
• W2156864741 hasConceptScore W2156864741C2777904410 @default.
• W2156864741 hasConceptScore W2156864741C2779530757 @default.
• W2156864741 hasConceptScore W2156864741C33923547 @default.
• W2156864741 hasConceptScore W2156864741C41008148 @default.
• W2156864741 hasConceptScore W2156864741C529173508 @default.
• W2156864741 hasConceptScore W2156864741C7166840 @default.
• W2156864741 hasConceptScore W2156864741C76844732 @default.
• W2156864741 hasConceptScore W2156864741C86469151 @default.
• W2156864741 hasLocation W21568647411 @default.
• W2156864741 hasLocation W21568647412 @default.
• W2156864741 hasOpenAccess W2156864741 @default.
• W2156864741 hasPrimaryLocation W21568647411 @default.
• W2156864741 hasRelatedWork W2098804367 @default.

• next