FRINK Linked Data Fragments server

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

• W2055530557 endingPage "115" @default.
• W2055530557 startingPage "98" @default.
• W2055530557 abstract "In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be non-deterministic. We extend the state counting method of deriving tests, adapting it to the presence of temporal requirements represented by means of random variables. The notion of conformance is introduced using an implementation relation considering temporal aspects and the limitations imposed by a black-box framework. We propose a new group of implementation relations and an algorithm for generating a test suite that determines the conformance of a deterministic SUT with respect to a non-deterministic specification. We show how previous work on testing from stochastic systems can be encoded into the framework presented in this paper as an instantiation of our parameterized implementation relation. In this setting, we use a notion of conformance up to a given confidence level." @default.
• W2055530557 created "2016-06-24" @default.
• W2055530557 creator A5009644797 @default.
• W2055530557 creator A5024107021 @default.
• W2055530557 creator A5076119369 @default.
• W2055530557 date "2009-01-01" @default.
• W2055530557 modified "2023-10-11" @default.
• W2055530557 title "Testing from a stochastic timed system with a fault model" @default.
• W2055530557 cites W1516540804 @default.
• W2055530557 cites W1979248560 @default.
• W2055530557 cites W1990687584 @default.
• W2055530557 cites W1998390096 @default.
• W2055530557 cites W2001026449 @default.
• W2055530557 cites W2004929506 @default.
• W2055530557 cites W2011762419 @default.
• W2055530557 cites W2012948837 @default.
• W2055530557 cites W2024026870 @default.
• W2055530557 cites W2028079360 @default.
• W2055530557 cites W2034188142 @default.
• W2055530557 cites W2038373047 @default.
• W2055530557 cites W2067899880 @default.
• W2055530557 cites W2102418068 @default.
• W2055530557 cites W2109142454 @default.
• W2055530557 cites W2109354640 @default.
• W2055530557 cites W2112944455 @default.
• W2055530557 cites W2117306206 @default.
• W2055530557 cites W2121954581 @default.
• W2055530557 cites W2126362024 @default.
• W2055530557 cites W2126860147 @default.
• W2055530557 cites W2135657750 @default.
• W2055530557 cites W2143578569 @default.
• W2055530557 cites W2147573597 @default.
• W2055530557 cites W2157820788 @default.
• W2055530557 cites W2163369706 @default.
• W2055530557 cites W2163595873 @default.
• W2055530557 cites W2500179281 @default.
• W2055530557 doi "https://doi.org/10.1016/j.jlap.2008.06.001" @default.
• W2055530557 hasPublicationYear "2009" @default.
• W2055530557 type Work @default.
• W2055530557 sameAs 2055530557 @default.
• W2055530557 citedByCount "33" @default.
• W2055530557 countsByYear W20555305572012 @default.
• W2055530557 countsByYear W20555305572013 @default.
• W2055530557 countsByYear W20555305572014 @default.
• W2055530557 countsByYear W20555305572015 @default.
• W2055530557 countsByYear W20555305572016 @default.
• W2055530557 countsByYear W20555305572017 @default.
• W2055530557 countsByYear W20555305572018 @default.
• W2055530557 countsByYear W20555305572019 @default.
• W2055530557 countsByYear W20555305572021 @default.
• W2055530557 crossrefType "journal-article" @default.
• W2055530557 hasAuthorship W2055530557A5009644797 @default.
• W2055530557 hasAuthorship W2055530557A5024107021 @default.
• W2055530557 hasAuthorship W2055530557A5076119369 @default.
• W2055530557 hasBestOaLocation W20555305571 @default.
• W2055530557 hasConcept C106159264 @default.
• W2055530557 hasConcept C108913964 @default.
• W2055530557 hasConcept C111919701 @default.
• W2055530557 hasConcept C11413529 @default.
• W2055530557 hasConcept C119857082 @default.
• W2055530557 hasConcept C124101348 @default.
• W2055530557 hasConcept C128942645 @default.
• W2055530557 hasConcept C151552104 @default.
• W2055530557 hasConcept C152877465 @default.
• W2055530557 hasConcept C154945302 @default.
• W2055530557 hasConcept C165464430 @default.
• W2055530557 hasConcept C165825675 @default.
• W2055530557 hasConcept C167822520 @default.
• W2055530557 hasConcept C188087704 @default.
• W2055530557 hasConcept C25343380 @default.
• W2055530557 hasConcept C41008148 @default.
• W2055530557 hasConcept C48103436 @default.
• W2055530557 hasConcept C76844732 @default.
• W2055530557 hasConcept C80444323 @default.
• W2055530557 hasConcept C94966114 @default.
• W2055530557 hasConceptScore W2055530557C106159264 @default.
• W2055530557 hasConceptScore W2055530557C108913964 @default.
• W2055530557 hasConceptScore W2055530557C111919701 @default.
• W2055530557 hasConceptScore W2055530557C11413529 @default.
• W2055530557 hasConceptScore W2055530557C119857082 @default.
• W2055530557 hasConceptScore W2055530557C124101348 @default.
• W2055530557 hasConceptScore W2055530557C128942645 @default.
• W2055530557 hasConceptScore W2055530557C151552104 @default.
• W2055530557 hasConceptScore W2055530557C152877465 @default.
• W2055530557 hasConceptScore W2055530557C154945302 @default.
• W2055530557 hasConceptScore W2055530557C165464430 @default.
• W2055530557 hasConceptScore W2055530557C165825675 @default.
• W2055530557 hasConceptScore W2055530557C167822520 @default.
• W2055530557 hasConceptScore W2055530557C188087704 @default.
• W2055530557 hasConceptScore W2055530557C25343380 @default.
• W2055530557 hasConceptScore W2055530557C41008148 @default.
• W2055530557 hasConceptScore W2055530557C48103436 @default.
• W2055530557 hasConceptScore W2055530557C76844732 @default.
• W2055530557 hasConceptScore W2055530557C80444323 @default.
• W2055530557 hasConceptScore W2055530557C94966114 @default.
• W2055530557 hasIssue "2" @default.
• W2055530557 hasLocation W20555305571 @default.
• W2055530557 hasLocation W20555305572 @default.

• next