Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387444906> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4387444906 abstract "Approaches based on state machines are widely used to obtain guaranteed error coverage tests for discrete event systems. Many modern systems have time-dependent components, and thus, state machines are extended with clock variables and various time aspects, i.e. test synthesis methods must be adapted to new timed models. In this article, we consider Finite State Machines (FSM) with timeouts, input and output timed guards and show, how a test suite with guaranteed error coverage can be derived based on this model. The fault model and test derivation methods are based on the abstraction of the timed machine, i.e., on the FSM that describes the relevant aspects of the timed behavior. We consider two strategies for obtaining complete test suites under the assumption that the specification can be non-deterministic." @default.
- W4387444906 created "2023-10-10" @default.
- W4387444906 creator A5080111554 @default.
- W4387444906 creator A5082528508 @default.
- W4387444906 date "2023-09-10" @default.
- W4387444906 modified "2023-10-11" @default.
- W4387444906 title "Test Derivation against Timed Finite State Machines with Output Timed Guards" @default.
- W4387444906 cites W1496915765 @default.
- W4387444906 cites W1990687584 @default.
- W4387444906 cites W2005150099 @default.
- W4387444906 cites W2011762419 @default.
- W4387444906 cites W2023898070 @default.
- W4387444906 cites W2026774266 @default.
- W4387444906 cites W2055298790 @default.
- W4387444906 cites W2055530557 @default.
- W4387444906 cites W2101508170 @default.
- W4387444906 cites W2102418068 @default.
- W4387444906 cites W2119296494 @default.
- W4387444906 cites W2120916408 @default.
- W4387444906 cites W2163595873 @default.
- W4387444906 cites W2165761158 @default.
- W4387444906 cites W2170006923 @default.
- W4387444906 cites W2281922300 @default.
- W4387444906 cites W2497118556 @default.
- W4387444906 cites W2528313862 @default.
- W4387444906 cites W2985590313 @default.
- W4387444906 cites W3138334597 @default.
- W4387444906 doi "https://doi.org/10.1109/rusautocon58002.2023.10272959" @default.
- W4387444906 hasPublicationYear "2023" @default.
- W4387444906 type Work @default.
- W4387444906 citedByCount "0" @default.
- W4387444906 crossrefType "proceedings-article" @default.
- W4387444906 hasAuthorship W4387444906A5080111554 @default.
- W4387444906 hasAuthorship W4387444906A5082528508 @default.
- W4387444906 hasConcept C108913964 @default.
- W4387444906 hasConcept C110251889 @default.
- W4387444906 hasConcept C111472728 @default.
- W4387444906 hasConcept C112505250 @default.
- W4387444906 hasConcept C11413529 @default.
- W4387444906 hasConcept C119857082 @default.
- W4387444906 hasConcept C121332964 @default.
- W4387444906 hasConcept C124304363 @default.
- W4387444906 hasConcept C128942645 @default.
- W4387444906 hasConcept C138885662 @default.
- W4387444906 hasConcept C151552104 @default.
- W4387444906 hasConcept C152877465 @default.
- W4387444906 hasConcept C165825675 @default.
- W4387444906 hasConcept C167822520 @default.
- W4387444906 hasConcept C199360897 @default.
- W4387444906 hasConcept C2779662365 @default.
- W4387444906 hasConcept C30788636 @default.
- W4387444906 hasConcept C41008148 @default.
- W4387444906 hasConcept C48103436 @default.
- W4387444906 hasConcept C62520636 @default.
- W4387444906 hasConcept C80444323 @default.
- W4387444906 hasConceptScore W4387444906C108913964 @default.
- W4387444906 hasConceptScore W4387444906C110251889 @default.
- W4387444906 hasConceptScore W4387444906C111472728 @default.
- W4387444906 hasConceptScore W4387444906C112505250 @default.
- W4387444906 hasConceptScore W4387444906C11413529 @default.
- W4387444906 hasConceptScore W4387444906C119857082 @default.
- W4387444906 hasConceptScore W4387444906C121332964 @default.
- W4387444906 hasConceptScore W4387444906C124304363 @default.
- W4387444906 hasConceptScore W4387444906C128942645 @default.
- W4387444906 hasConceptScore W4387444906C138885662 @default.
- W4387444906 hasConceptScore W4387444906C151552104 @default.
- W4387444906 hasConceptScore W4387444906C152877465 @default.
- W4387444906 hasConceptScore W4387444906C165825675 @default.
- W4387444906 hasConceptScore W4387444906C167822520 @default.
- W4387444906 hasConceptScore W4387444906C199360897 @default.
- W4387444906 hasConceptScore W4387444906C2779662365 @default.
- W4387444906 hasConceptScore W4387444906C30788636 @default.
- W4387444906 hasConceptScore W4387444906C41008148 @default.
- W4387444906 hasConceptScore W4387444906C48103436 @default.
- W4387444906 hasConceptScore W4387444906C62520636 @default.
- W4387444906 hasConceptScore W4387444906C80444323 @default.
- W4387444906 hasLocation W43874449061 @default.
- W4387444906 hasOpenAccess W4387444906 @default.
- W4387444906 hasPrimaryLocation W43874449061 @default.
- W4387444906 hasRelatedWork W1510251747 @default.
- W4387444906 hasRelatedWork W1598160211 @default.
- W4387444906 hasRelatedWork W1978406750 @default.
- W4387444906 hasRelatedWork W2018145554 @default.
- W4387444906 hasRelatedWork W2061183036 @default.
- W4387444906 hasRelatedWork W2061819729 @default.
- W4387444906 hasRelatedWork W2204156854 @default.
- W4387444906 hasRelatedWork W2243231242 @default.
- W4387444906 hasRelatedWork W52853052 @default.
- W4387444906 hasRelatedWork W62415093 @default.
- W4387444906 isParatext "false" @default.
- W4387444906 isRetracted "false" @default.
- W4387444906 workType "article" @default.