Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042689773> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3042689773 endingPage "110738" @default.
- W3042689773 startingPage "110738" @default.
- W3042689773 abstract "Abstract We present a formalism to represent cyclic models and study different semantic frameworks that support testing. These models combine sequences of observable actions and the passing of (discrete) time and can be used to specify a number of classes of reactive systems, an example being robotic systems. We use implementation relations in order to formally define a notion of correctness of a system under test (SUT) with respect to a specification. As usual, the aim is to devise an extension of the classical ioco implementation relation but available timed variants of ioco are not suitable for cyclic models. This paper thus defines new implementation relations that encapsulate the discrete nature of time and take into account not only the actions that models can perform but also the ones that they can refuse. In addition to defining these relations, we study a number of their properties and provide alternative characterisations, showing that the relations are appropriate conservative extensions of trace containment. Finally, we give test derivation algorithms and prove that they are sound and also are complete in the limit." @default.
- W3042689773 created "2020-07-23" @default.
- W3042689773 creator A5005819402 @default.
- W3042689773 creator A5009644797 @default.
- W3042689773 creator A5024107021 @default.
- W3042689773 date "2020-12-01" @default.
- W3042689773 modified "2023-10-02" @default.
- W3042689773 title "Implementation relations and testing for cyclic systems with refusals and discrete time" @default.
- W3042689773 cites W1973938051 @default.
- W3042689773 cites W1982774961 @default.
- W3042689773 cites W1990687584 @default.
- W3042689773 cites W2004929506 @default.
- W3042689773 cites W2066672703 @default.
- W3042689773 cites W2075773711 @default.
- W3042689773 cites W2078081802 @default.
- W3042689773 cites W2099529102 @default.
- W3042689773 cites W2101508170 @default.
- W3042689773 cites W2112944455 @default.
- W3042689773 cites W2120916408 @default.
- W3042689773 cites W2124621264 @default.
- W3042689773 cites W2157144873 @default.
- W3042689773 cites W2325039465 @default.
- W3042689773 cites W2603261448 @default.
- W3042689773 cites W2743046373 @default.
- W3042689773 cites W2885528984 @default.
- W3042689773 cites W2908789458 @default.
- W3042689773 cites W2912806430 @default.
- W3042689773 cites W2913048148 @default.
- W3042689773 cites W2921869270 @default.
- W3042689773 cites W4246121240 @default.
- W3042689773 cites W2575311978 @default.
- W3042689773 doi "https://doi.org/10.1016/j.jss.2020.110738" @default.
- W3042689773 hasPublicationYear "2020" @default.
- W3042689773 type Work @default.
- W3042689773 sameAs 3042689773 @default.
- W3042689773 citedByCount "6" @default.
- W3042689773 countsByYear W30426897732020 @default.
- W3042689773 countsByYear W30426897732021 @default.
- W3042689773 countsByYear W30426897732023 @default.
- W3042689773 crossrefType "journal-article" @default.
- W3042689773 hasAuthorship W3042689773A5005819402 @default.
- W3042689773 hasAuthorship W3042689773A5009644797 @default.
- W3042689773 hasAuthorship W3042689773A5024107021 @default.
- W3042689773 hasBestOaLocation W30426897732 @default.
- W3042689773 hasConcept C105795698 @default.
- W3042689773 hasConcept C127413603 @default.
- W3042689773 hasConcept C200601418 @default.
- W3042689773 hasConcept C33923547 @default.
- W3042689773 hasConcept C41008148 @default.
- W3042689773 hasConcept C55689738 @default.
- W3042689773 hasConceptScore W3042689773C105795698 @default.
- W3042689773 hasConceptScore W3042689773C127413603 @default.
- W3042689773 hasConceptScore W3042689773C200601418 @default.
- W3042689773 hasConceptScore W3042689773C33923547 @default.
- W3042689773 hasConceptScore W3042689773C41008148 @default.
- W3042689773 hasConceptScore W3042689773C55689738 @default.
- W3042689773 hasFunder F4320320300 @default.
- W3042689773 hasFunder F4320334627 @default.
- W3042689773 hasLocation W30426897731 @default.
- W3042689773 hasLocation W30426897732 @default.
- W3042689773 hasOpenAccess W3042689773 @default.
- W3042689773 hasPrimaryLocation W30426897731 @default.
- W3042689773 hasRelatedWork W2093578348 @default.
- W3042689773 hasRelatedWork W2096946506 @default.
- W3042689773 hasRelatedWork W2140904272 @default.
- W3042689773 hasRelatedWork W2358668433 @default.
- W3042689773 hasRelatedWork W2376471380 @default.
- W3042689773 hasRelatedWork W2376932109 @default.
- W3042689773 hasRelatedWork W2382290278 @default.
- W3042689773 hasRelatedWork W2390279801 @default.
- W3042689773 hasRelatedWork W2748952813 @default.
- W3042689773 hasRelatedWork W2899084033 @default.
- W3042689773 hasVolume "170" @default.
- W3042689773 isParatext "false" @default.
- W3042689773 isRetracted "false" @default.
- W3042689773 magId "3042689773" @default.
- W3042689773 workType "article" @default.