Matches in SemOpenAlex for { <https://semopenalex.org/work/W3027679286> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3027679286 endingPage "53" @default.
- W3027679286 startingPage "1" @default.
- W3027679286 abstract "This article addresses refinement and testing based on CSP models, when we distinguish input and output events. In a testing experiment, the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard models and refinement relations of CSP, however, do not differentiate inputs and outputs and are not, therefore, entirely suitable for testing. Here, we consider an alphabet of events partitioned into inputs and outputs, and we present a novel refusal-testing model for CSP with a notion of input-output refusal-traces refinement. We compare that with the ioco relation often used in testing, and we find that it is more widely applicable and stronger. This means that mistakes found using traditional ioco testing do indicate mistakes in the development. Finally, we provide a CSP testing theory that takes into account inputs and outputs. With our theory, it becomes feasible to develop techniques and tools for automatic generation of realistic and sound tests from CSP models. Our work reconciles the normally disparate areas of refinement and (formal) testing by identifying how ioco testing can be used to inform refinement-based results and vice-versa." @default.
- W3027679286 created "2020-05-29" @default.
- W3027679286 creator A5009644797 @default.
- W3027679286 creator A5042011151 @default.
- W3027679286 creator A5073408099 @default.
- W3027679286 date "2020-05-18" @default.
- W3027679286 modified "2023-09-28" @default.
- W3027679286 title "Inputs and Outputs in CSP" @default.
- W3027679286 cites W1515594569 @default.
- W3027679286 cites W1532022952 @default.
- W3027679286 cites W1595690412 @default.
- W3027679286 cites W203066007 @default.
- W3027679286 cites W2032270529 @default.
- W3027679286 cites W2033840466 @default.
- W3027679286 cites W2077325003 @default.
- W3027679286 cites W2081720016 @default.
- W3027679286 cites W2101659955 @default.
- W3027679286 cites W2116352900 @default.
- W3027679286 cites W2132622501 @default.
- W3027679286 cites W2141137698 @default.
- W3027679286 cites W2141730280 @default.
- W3027679286 cites W21608322 @default.
- W3027679286 cites W2515829486 @default.
- W3027679286 cites W2883210571 @default.
- W3027679286 cites W2913048148 @default.
- W3027679286 doi "https://doi.org/10.1145/3379508" @default.
- W3027679286 hasPublicationYear "2020" @default.
- W3027679286 type Work @default.
- W3027679286 sameAs 3027679286 @default.
- W3027679286 citedByCount "6" @default.
- W3027679286 countsByYear W30276792862021 @default.
- W3027679286 countsByYear W30276792862023 @default.
- W3027679286 crossrefType "journal-article" @default.
- W3027679286 hasAuthorship W3027679286A5009644797 @default.
- W3027679286 hasAuthorship W3027679286A5042011151 @default.
- W3027679286 hasAuthorship W3027679286A5073408099 @default.
- W3027679286 hasBestOaLocation W30276792862 @default.
- W3027679286 hasConcept C105795698 @default.
- W3027679286 hasConcept C112876837 @default.
- W3027679286 hasConcept C11413529 @default.
- W3027679286 hasConcept C124101348 @default.
- W3027679286 hasConcept C138885662 @default.
- W3027679286 hasConcept C158324730 @default.
- W3027679286 hasConcept C171606756 @default.
- W3027679286 hasConcept C186846655 @default.
- W3027679286 hasConcept C199360897 @default.
- W3027679286 hasConcept C25343380 @default.
- W3027679286 hasConcept C2777904410 @default.
- W3027679286 hasConcept C33923547 @default.
- W3027679286 hasConcept C41008148 @default.
- W3027679286 hasConcept C41895202 @default.
- W3027679286 hasConcept C529173508 @default.
- W3027679286 hasConcept C74143277 @default.
- W3027679286 hasConcept C80444323 @default.
- W3027679286 hasConceptScore W3027679286C105795698 @default.
- W3027679286 hasConceptScore W3027679286C112876837 @default.
- W3027679286 hasConceptScore W3027679286C11413529 @default.
- W3027679286 hasConceptScore W3027679286C124101348 @default.
- W3027679286 hasConceptScore W3027679286C138885662 @default.
- W3027679286 hasConceptScore W3027679286C158324730 @default.
- W3027679286 hasConceptScore W3027679286C171606756 @default.
- W3027679286 hasConceptScore W3027679286C186846655 @default.
- W3027679286 hasConceptScore W3027679286C199360897 @default.
- W3027679286 hasConceptScore W3027679286C25343380 @default.
- W3027679286 hasConceptScore W3027679286C2777904410 @default.
- W3027679286 hasConceptScore W3027679286C33923547 @default.
- W3027679286 hasConceptScore W3027679286C41008148 @default.
- W3027679286 hasConceptScore W3027679286C41895202 @default.
- W3027679286 hasConceptScore W3027679286C529173508 @default.
- W3027679286 hasConceptScore W3027679286C74143277 @default.
- W3027679286 hasConceptScore W3027679286C80444323 @default.
- W3027679286 hasFunder F4320320005 @default.
- W3027679286 hasFunder F4320322025 @default.
- W3027679286 hasFunder F4320334627 @default.
- W3027679286 hasIssue "3" @default.
- W3027679286 hasLocation W30276792861 @default.
- W3027679286 hasLocation W30276792862 @default.
- W3027679286 hasOpenAccess W3027679286 @default.
- W3027679286 hasPrimaryLocation W30276792861 @default.
- W3027679286 hasRelatedWork W1527862632 @default.
- W3027679286 hasRelatedWork W2109507516 @default.
- W3027679286 hasRelatedWork W2112962394 @default.
- W3027679286 hasRelatedWork W2118300983 @default.
- W3027679286 hasRelatedWork W2166247150 @default.
- W3027679286 hasRelatedWork W2740990710 @default.
- W3027679286 hasRelatedWork W3027679286 @default.
- W3027679286 hasRelatedWork W3137189469 @default.
- W3027679286 hasRelatedWork W4235530921 @default.
- W3027679286 hasRelatedWork W4243252198 @default.
- W3027679286 hasVolume "21" @default.
- W3027679286 isParatext "false" @default.
- W3027679286 isRetracted "false" @default.
- W3027679286 magId "3027679286" @default.
- W3027679286 workType "article" @default.