Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297337161> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4297337161 abstract "The paper continues to study the use of state identification sequences for simplifying passive testing of discrete event systems. The knowledge of the current state of an implementation under test (IUT) which behavior is described by a Finite State Machine (FSM), can be utilized for effective monitoring only some critical properties or only some properties at critical states. The state identification can be performed by observing so-called homing IUT traces, i.e. input/output sequences which take the IUT to a known state independently of the initial state. In this work, we discuss homing trace derivation for FSMs which can be nondeterministic and partial. We also prolong the results obtained for classical Finite State Machines for those with timeouts, since nowadays, time aspects became very important for software and hardware systems." @default.
- W4297337161 created "2022-09-28" @default.
- W4297337161 creator A5080111554 @default.
- W4297337161 creator A5082528508 @default.
- W4297337161 date "2022-09-04" @default.
- W4297337161 modified "2023-09-27" @default.
- W4297337161 title "Using Homing Traces for Simplifying Passive Testing of Discrete Event Systems" @default.
- W4297337161 cites W1550462819 @default.
- W4297337161 cites W1593785926 @default.
- W4297337161 cites W1970083749 @default.
- W4297337161 cites W1990687584 @default.
- W4297337161 cites W2026774266 @default.
- W4297337161 cites W2083876371 @default.
- W4297337161 cites W2101508170 @default.
- W4297337161 cites W2127183720 @default.
- W4297337161 cites W2170576633 @default.
- W4297337161 cites W2754920556 @default.
- W4297337161 cites W4244473411 @default.
- W4297337161 doi "https://doi.org/10.1109/rusautocon54946.2022.9896240" @default.
- W4297337161 hasPublicationYear "2022" @default.
- W4297337161 type Work @default.
- W4297337161 citedByCount "0" @default.
- W4297337161 crossrefType "proceedings-article" @default.
- W4297337161 hasAuthorship W4297337161A5080111554 @default.
- W4297337161 hasAuthorship W4297337161A5082528508 @default.
- W4297337161 hasConcept C111919701 @default.
- W4297337161 hasConcept C112505250 @default.
- W4297337161 hasConcept C113775141 @default.
- W4297337161 hasConcept C121332964 @default.
- W4297337161 hasConcept C138885662 @default.
- W4297337161 hasConcept C151872237 @default.
- W4297337161 hasConcept C167822520 @default.
- W4297337161 hasConcept C176181172 @default.
- W4297337161 hasConcept C188087704 @default.
- W4297337161 hasConcept C18903297 @default.
- W4297337161 hasConcept C199360897 @default.
- W4297337161 hasConcept C2777904410 @default.
- W4297337161 hasConcept C2779662365 @default.
- W4297337161 hasConcept C32866371 @default.
- W4297337161 hasConcept C41008148 @default.
- W4297337161 hasConcept C41895202 @default.
- W4297337161 hasConcept C48103436 @default.
- W4297337161 hasConcept C62520636 @default.
- W4297337161 hasConcept C75291252 @default.
- W4297337161 hasConcept C76844732 @default.
- W4297337161 hasConcept C80444323 @default.
- W4297337161 hasConcept C86803240 @default.
- W4297337161 hasConcept C96314035 @default.
- W4297337161 hasConceptScore W4297337161C111919701 @default.
- W4297337161 hasConceptScore W4297337161C112505250 @default.
- W4297337161 hasConceptScore W4297337161C113775141 @default.
- W4297337161 hasConceptScore W4297337161C121332964 @default.
- W4297337161 hasConceptScore W4297337161C138885662 @default.
- W4297337161 hasConceptScore W4297337161C151872237 @default.
- W4297337161 hasConceptScore W4297337161C167822520 @default.
- W4297337161 hasConceptScore W4297337161C176181172 @default.
- W4297337161 hasConceptScore W4297337161C188087704 @default.
- W4297337161 hasConceptScore W4297337161C18903297 @default.
- W4297337161 hasConceptScore W4297337161C199360897 @default.
- W4297337161 hasConceptScore W4297337161C2777904410 @default.
- W4297337161 hasConceptScore W4297337161C2779662365 @default.
- W4297337161 hasConceptScore W4297337161C32866371 @default.
- W4297337161 hasConceptScore W4297337161C41008148 @default.
- W4297337161 hasConceptScore W4297337161C41895202 @default.
- W4297337161 hasConceptScore W4297337161C48103436 @default.
- W4297337161 hasConceptScore W4297337161C62520636 @default.
- W4297337161 hasConceptScore W4297337161C75291252 @default.
- W4297337161 hasConceptScore W4297337161C76844732 @default.
- W4297337161 hasConceptScore W4297337161C80444323 @default.
- W4297337161 hasConceptScore W4297337161C86803240 @default.
- W4297337161 hasConceptScore W4297337161C96314035 @default.
- W4297337161 hasLocation W42973371611 @default.
- W4297337161 hasOpenAccess W4297337161 @default.
- W4297337161 hasPrimaryLocation W42973371611 @default.
- W4297337161 hasRelatedWork W1129492361 @default.
- W4297337161 hasRelatedWork W2080649556 @default.
- W4297337161 hasRelatedWork W2135436316 @default.
- W4297337161 hasRelatedWork W2149191071 @default.
- W4297337161 hasRelatedWork W2319610481 @default.
- W4297337161 hasRelatedWork W2326882055 @default.
- W4297337161 hasRelatedWork W2982578632 @default.
- W4297337161 hasRelatedWork W3087756144 @default.
- W4297337161 hasRelatedWork W4235250204 @default.
- W4297337161 hasRelatedWork W4297337161 @default.
- W4297337161 isParatext "false" @default.
- W4297337161 isRetracted "false" @default.
- W4297337161 workType "article" @default.