Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000983334> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2000983334 endingPage "172" @default.
- W2000983334 startingPage "149" @default.
- W2000983334 abstract "We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test." @default.
- W2000983334 created "2016-06-24" @default.
- W2000983334 creator A5042194099 @default.
- W2000983334 creator A5043010819 @default.
- W2000983334 creator A5078969375 @default.
- W2000983334 creator A5079537045 @default.
- W2000983334 date "2013-01-25" @default.
- W2000983334 modified "2023-09-27" @default.
- W2000983334 title "Synchrony and asynchrony in conformance testing" @default.
- W2000983334 cites W1504797356 @default.
- W2000983334 cites W1583702921 @default.
- W2000983334 cites W1591004135 @default.
- W2000983334 cites W1992944943 @default.
- W2000983334 cites W2013254626 @default.
- W2000983334 cites W2104071812 @default.
- W2000983334 cites W2112647229 @default.
- W2000983334 cites W2126818664 @default.
- W2000983334 cites W2134787295 @default.
- W2000983334 cites W2149542769 @default.
- W2000983334 doi "https://doi.org/10.1007/s10270-012-0302-8" @default.
- W2000983334 hasPublicationYear "2013" @default.
- W2000983334 type Work @default.
- W2000983334 sameAs 2000983334 @default.
- W2000983334 citedByCount "7" @default.
- W2000983334 countsByYear W20009833342013 @default.
- W2000983334 countsByYear W20009833342014 @default.
- W2000983334 countsByYear W20009833342015 @default.
- W2000983334 countsByYear W20009833342018 @default.
- W2000983334 countsByYear W20009833342019 @default.
- W2000983334 crossrefType "journal-article" @default.
- W2000983334 hasAuthorship W2000983334A5042194099 @default.
- W2000983334 hasAuthorship W2000983334A5043010819 @default.
- W2000983334 hasAuthorship W2000983334A5078969375 @default.
- W2000983334 hasAuthorship W2000983334A5079537045 @default.
- W2000983334 hasBestOaLocation W20009833342 @default.
- W2000983334 hasConcept C111919701 @default.
- W2000983334 hasConcept C144133560 @default.
- W2000983334 hasConcept C151319957 @default.
- W2000983334 hasConcept C162853370 @default.
- W2000983334 hasConcept C174998907 @default.
- W2000983334 hasConcept C188087704 @default.
- W2000983334 hasConcept C199360897 @default.
- W2000983334 hasConcept C207505557 @default.
- W2000983334 hasConcept C26713055 @default.
- W2000983334 hasConcept C2775948798 @default.
- W2000983334 hasConcept C2779019669 @default.
- W2000983334 hasConcept C31258907 @default.
- W2000983334 hasConcept C41008148 @default.
- W2000983334 hasConcept C76844732 @default.
- W2000983334 hasConcept C85345410 @default.
- W2000983334 hasConceptScore W2000983334C111919701 @default.
- W2000983334 hasConceptScore W2000983334C144133560 @default.
- W2000983334 hasConceptScore W2000983334C151319957 @default.
- W2000983334 hasConceptScore W2000983334C162853370 @default.
- W2000983334 hasConceptScore W2000983334C174998907 @default.
- W2000983334 hasConceptScore W2000983334C188087704 @default.
- W2000983334 hasConceptScore W2000983334C199360897 @default.
- W2000983334 hasConceptScore W2000983334C207505557 @default.
- W2000983334 hasConceptScore W2000983334C26713055 @default.
- W2000983334 hasConceptScore W2000983334C2775948798 @default.
- W2000983334 hasConceptScore W2000983334C2779019669 @default.
- W2000983334 hasConceptScore W2000983334C31258907 @default.
- W2000983334 hasConceptScore W2000983334C41008148 @default.
- W2000983334 hasConceptScore W2000983334C76844732 @default.
- W2000983334 hasConceptScore W2000983334C85345410 @default.
- W2000983334 hasIssue "1" @default.
- W2000983334 hasLocation W20009833341 @default.
- W2000983334 hasLocation W20009833342 @default.
- W2000983334 hasLocation W20009833343 @default.
- W2000983334 hasLocation W20009833344 @default.
- W2000983334 hasOpenAccess W2000983334 @default.
- W2000983334 hasPrimaryLocation W20009833341 @default.
- W2000983334 hasRelatedWork W1974037427 @default.
- W2000983334 hasRelatedWork W2000983334 @default.
- W2000983334 hasRelatedWork W2032550773 @default.
- W2000983334 hasRelatedWork W2534721765 @default.
- W2000983334 hasRelatedWork W2912328550 @default.
- W2000983334 hasRelatedWork W2995528153 @default.
- W2000983334 hasRelatedWork W4249778480 @default.
- W2000983334 hasRelatedWork W78453802 @default.
- W2000983334 hasRelatedWork W2484235349 @default.
- W2000983334 hasRelatedWork W2583546332 @default.
- W2000983334 hasVolume "14" @default.
- W2000983334 isParatext "false" @default.
- W2000983334 isRetracted "false" @default.
- W2000983334 magId "2000983334" @default.
- W2000983334 workType "article" @default.