Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134787295> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2134787295 abstract "This paper studies model-based input-output conformance testing in the presence of queues. Normally, it is assumed that a test case communicates synchronously with an implementation under test. This causes some challenges in practice, since testing is often conducted asynchronously. In an asynchronous environment messages between a tester and the implementation are queued. This may lead to incorrect verdicts. In this paper we show how one can guarantee correct verdicts in the asynchronous case for a large set of implementations. If choices between inputs and outputs are restricted to internal choices with respect to an implementation one can use the observation of quiescence as a handshake between a test case and the implementation. Such a handshake allows us to test for input-output conformance in the context of queues. In addition, the input-enabledness assumption on implementations is relaxed. Besides a formal discussion of this approach, we show the practical relevance by applying our approach to a conference protocol." @default.
- W2134787295 created "2016-06-24" @default.
- W2134787295 creator A5011388533 @default.
- W2134787295 creator A5043589437 @default.
- W2134787295 date "2009-01-01" @default.
- W2134787295 modified "2023-09-26" @default.
- W2134787295 title "Asynchronous Input-Output Conformance Testing" @default.
- W2134787295 cites W1485818462 @default.
- W2134787295 cites W1504797356 @default.
- W2134787295 cites W1522465028 @default.
- W2134787295 cites W1561114501 @default.
- W2134787295 cites W1583702921 @default.
- W2134787295 cites W1973784481 @default.
- W2134787295 cites W1981352659 @default.
- W2134787295 cites W2057802743 @default.
- W2134787295 cites W2126818664 @default.
- W2134787295 cites W2913048148 @default.
- W2134787295 doi "https://doi.org/10.1109/compsac.2009.194" @default.
- W2134787295 hasPublicationYear "2009" @default.
- W2134787295 type Work @default.
- W2134787295 sameAs 2134787295 @default.
- W2134787295 citedByCount "21" @default.
- W2134787295 countsByYear W21347872952012 @default.
- W2134787295 countsByYear W21347872952013 @default.
- W2134787295 countsByYear W21347872952014 @default.
- W2134787295 countsByYear W21347872952015 @default.
- W2134787295 countsByYear W21347872952016 @default.
- W2134787295 countsByYear W21347872952017 @default.
- W2134787295 countsByYear W21347872952018 @default.
- W2134787295 countsByYear W21347872952022 @default.
- W2134787295 countsByYear W21347872952023 @default.
- W2134787295 crossrefType "proceedings-article" @default.
- W2134787295 hasAuthorship W2134787295A5011388533 @default.
- W2134787295 hasAuthorship W2134787295A5043589437 @default.
- W2134787295 hasConcept C111919701 @default.
- W2134787295 hasConcept C120314980 @default.
- W2134787295 hasConcept C142724271 @default.
- W2134787295 hasConcept C151319957 @default.
- W2134787295 hasConcept C151730666 @default.
- W2134787295 hasConcept C160403385 @default.
- W2134787295 hasConcept C177264268 @default.
- W2134787295 hasConcept C188087704 @default.
- W2134787295 hasConcept C199360897 @default.
- W2134787295 hasConcept C204787440 @default.
- W2134787295 hasConcept C26713055 @default.
- W2134787295 hasConcept C2778000800 @default.
- W2134787295 hasConcept C2779343474 @default.
- W2134787295 hasConcept C2780385302 @default.
- W2134787295 hasConcept C31258907 @default.
- W2134787295 hasConcept C41008148 @default.
- W2134787295 hasConcept C71924100 @default.
- W2134787295 hasConcept C76844732 @default.
- W2134787295 hasConcept C86803240 @default.
- W2134787295 hasConceptScore W2134787295C111919701 @default.
- W2134787295 hasConceptScore W2134787295C120314980 @default.
- W2134787295 hasConceptScore W2134787295C142724271 @default.
- W2134787295 hasConceptScore W2134787295C151319957 @default.
- W2134787295 hasConceptScore W2134787295C151730666 @default.
- W2134787295 hasConceptScore W2134787295C160403385 @default.
- W2134787295 hasConceptScore W2134787295C177264268 @default.
- W2134787295 hasConceptScore W2134787295C188087704 @default.
- W2134787295 hasConceptScore W2134787295C199360897 @default.
- W2134787295 hasConceptScore W2134787295C204787440 @default.
- W2134787295 hasConceptScore W2134787295C26713055 @default.
- W2134787295 hasConceptScore W2134787295C2778000800 @default.
- W2134787295 hasConceptScore W2134787295C2779343474 @default.
- W2134787295 hasConceptScore W2134787295C2780385302 @default.
- W2134787295 hasConceptScore W2134787295C31258907 @default.
- W2134787295 hasConceptScore W2134787295C41008148 @default.
- W2134787295 hasConceptScore W2134787295C71924100 @default.
- W2134787295 hasConceptScore W2134787295C76844732 @default.
- W2134787295 hasConceptScore W2134787295C86803240 @default.
- W2134787295 hasLocation W21347872951 @default.
- W2134787295 hasOpenAccess W2134787295 @default.
- W2134787295 hasPrimaryLocation W21347872951 @default.
- W2134787295 hasRelatedWork W1561560534 @default.
- W2134787295 hasRelatedWork W1596157658 @default.
- W2134787295 hasRelatedWork W196405095 @default.
- W2134787295 hasRelatedWork W2083338789 @default.
- W2134787295 hasRelatedWork W2099002002 @default.
- W2134787295 hasRelatedWork W2134787295 @default.
- W2134787295 hasRelatedWork W2313989154 @default.
- W2134787295 hasRelatedWork W2364921833 @default.
- W2134787295 hasRelatedWork W2368365997 @default.
- W2134787295 hasRelatedWork W2502406848 @default.
- W2134787295 isParatext "false" @default.
- W2134787295 isRetracted "false" @default.
- W2134787295 magId "2134787295" @default.
- W2134787295 workType "article" @default.