FRINK Linked Data Fragments server

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

• W2995858600 abstract "Model based testing is a well-established approach to verify implementations modeled by I/O labeled transition systems (IOLTSs). One of the challenges stemming from model based testing is the conformance checking and the generation of test suites, specially when completeness is a required property. In order to check whether an implementation under test is in compliance with its respective specification one resorts to some form of conformance relation that guarantees the expected behavior of the implementations, given the behavior of the specification. The ioco conformance relation is an example of such a relation, specially suited for asynchronous models. In this work we study a more general conformance relation, show how to generate finite and complete test suites, and discuss the complexity of the test generation mechanism under this more general conformance relation. We also show that ioco conformance is a special case of this new conformance relation, and we investigate the complexity of classical ioco-complete test suites. Further, we relate our contributions to more recent works, accommodating the restrictions of their classes of fault models within our more general approach as special cases, and expose the complexity of generating any complete test suite that must satisfy their restrictions." @default.
• W2995858600 created "2019-12-26" @default.
• W2995858600 creator A5048997915 @default.
• W2995858600 creator A5076819061 @default.
• W2995858600 date "2019-02-07" @default.
• W2995858600 modified "2023-09-23" @default.
• W2995858600 title "A conformance relation and complete test suites for I/O systems" @default.
• W2995858600 cites W1484700963 @default.
• W2995858600 cites W1504797356 @default.
• W2995858600 cites W1509343160 @default.
• W2995858600 cites W1535681052 @default.
• W2995858600 cites W1847824087 @default.
• W2995858600 cites W1970437561 @default.
• W2995858600 cites W1974673257 @default.
• W2995858600 cites W1979345446 @default.
• W2995858600 cites W1991978415 @default.
• W2995858600 cites W1994643580 @default.
• W2995858600 cites W2000983334 @default.
• W2995858600 cites W2002089154 @default.
• W2995858600 cites W2033651659 @default.
• W2995858600 cites W2054801208 @default.
• W2995858600 cites W2056102643 @default.
• W2995858600 cites W2108394166 @default.
• W2995858600 cites W2113780769 @default.
• W2995858600 cites W2116514916 @default.
• W2995858600 cites W2117276265 @default.
• W2995858600 cites W2119488343 @default.
• W2995858600 cites W2121954581 @default.
• W2995858600 cites W2123023940 @default.
• W2995858600 cites W2126818664 @default.
• W2995858600 cites W2129931199 @default.
• W2995858600 cites W2132622501 @default.
• W2995858600 cites W2133069919 @default.
• W2995858600 cites W2140047593 @default.
• W2995858600 cites W2158348156 @default.
• W2995858600 cites W2159096483 @default.
• W2995858600 cites W2159121388 @default.
• W2995858600 cites W2339842460 @default.
• W2995858600 cites W2760222170 @default.
• W2995858600 cites W2964221430 @default.
• W2995858600 hasPublicationYear "2019" @default.
• W2995858600 type Work @default.
• W2995858600 sameAs 2995858600 @default.
• W2995858600 citedByCount "1" @default.
• W2995858600 countsByYear W29958586002021 @default.
• W2995858600 crossrefType "posted-content" @default.
• W2995858600 hasAuthorship W2995858600A5048997915 @default.
• W2995858600 hasAuthorship W2995858600A5076819061 @default.
• W2995858600 hasConcept C111919701 @default.
• W2995858600 hasConcept C119857082 @default.
• W2995858600 hasConcept C124101348 @default.
• W2995858600 hasConcept C127413603 @default.
• W2995858600 hasConcept C128942645 @default.
• W2995858600 hasConcept C134306372 @default.
• W2995858600 hasConcept C151552104 @default.
• W2995858600 hasConcept C151730666 @default.
• W2995858600 hasConcept C152877465 @default.
• W2995858600 hasConcept C17231256 @default.
• W2995858600 hasConcept C174998907 @default.
• W2995858600 hasConcept C188087704 @default.
• W2995858600 hasConcept C199360897 @default.
• W2995858600 hasConcept C207505557 @default.
• W2995858600 hasConcept C21547014 @default.
• W2995858600 hasConcept C25343380 @default.
• W2995858600 hasConcept C26713055 @default.
• W2995858600 hasConcept C2775948798 @default.
• W2995858600 hasConcept C2777267654 @default.
• W2995858600 hasConcept C33923547 @default.
• W2995858600 hasConcept C41008148 @default.
• W2995858600 hasConcept C76844732 @default.
• W2995858600 hasConcept C85345410 @default.
• W2995858600 hasConcept C86803240 @default.
• W2995858600 hasConceptScore W2995858600C111919701 @default.
• W2995858600 hasConceptScore W2995858600C119857082 @default.
• W2995858600 hasConceptScore W2995858600C124101348 @default.
• W2995858600 hasConceptScore W2995858600C127413603 @default.
• W2995858600 hasConceptScore W2995858600C128942645 @default.
• W2995858600 hasConceptScore W2995858600C134306372 @default.
• W2995858600 hasConceptScore W2995858600C151552104 @default.
• W2995858600 hasConceptScore W2995858600C151730666 @default.
• W2995858600 hasConceptScore W2995858600C152877465 @default.
• W2995858600 hasConceptScore W2995858600C17231256 @default.
• W2995858600 hasConceptScore W2995858600C174998907 @default.
• W2995858600 hasConceptScore W2995858600C188087704 @default.
• W2995858600 hasConceptScore W2995858600C199360897 @default.
• W2995858600 hasConceptScore W2995858600C207505557 @default.
• W2995858600 hasConceptScore W2995858600C21547014 @default.
• W2995858600 hasConceptScore W2995858600C25343380 @default.
• W2995858600 hasConceptScore W2995858600C26713055 @default.
• W2995858600 hasConceptScore W2995858600C2775948798 @default.
• W2995858600 hasConceptScore W2995858600C2777267654 @default.
• W2995858600 hasConceptScore W2995858600C33923547 @default.
• W2995858600 hasConceptScore W2995858600C41008148 @default.
• W2995858600 hasConceptScore W2995858600C76844732 @default.
• W2995858600 hasConceptScore W2995858600C85345410 @default.
• W2995858600 hasConceptScore W2995858600C86803240 @default.
• W2995858600 hasLocation W29958586001 @default.
• W2995858600 hasOpenAccess W2995858600 @default.
• W2995858600 hasPrimaryLocation W29958586001 @default.
• W2995858600 hasRelatedWork W147875353 @default.

• next