Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285124955> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4285124955 endingPage "61" @default.
- W4285124955 startingPage "55" @default.
- W4285124955 abstract "The paper is devoted to model based testing against non-deterministic specifications. Such test derivation strategies are well developed, for example against non-deterministic Finite State Machines, however the length of the corresponding test suite can be exponential w.r.t. the number of specification states. We therefore discuss how a test suite can be minimized or reduced when certain level of guarantee concerning its fault coverage is still preserved. The main idea behind the approach is to augment the specification by assigning probabilities for the non-deterministic transitions and later on evaluate the probability of each test sequence to detect the relevant faulty implementation. Given a probability P which is user-defined, we propose an approach for minimizing a given exhaustive test suite TS such that, it stays exhaustive with the probability no less than P." @default.
- W4285124955 created "2022-07-14" @default.
- W4285124955 creator A5040238727 @default.
- W4285124955 creator A5082528508 @default.
- W4285124955 creator A5085791065 @default.
- W4285124955 date "2022-01-01" @default.
- W4285124955 modified "2023-10-01" @default.
- W4285124955 title "Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization" @default.
- W4285124955 cites W2045458972 @default.
- W4285124955 cites W2055298790 @default.
- W4285124955 cites W2122092249 @default.
- W4285124955 cites W2166352318 @default.
- W4285124955 cites W2535165249 @default.
- W4285124955 cites W2770489137 @default.
- W4285124955 cites W2953148227 @default.
- W4285124955 cites W2977816479 @default.
- W4285124955 cites W4231342921 @default.
- W4285124955 cites W95235497 @default.
- W4285124955 doi "https://doi.org/10.1007/978-3-031-04673-5_4" @default.
- W4285124955 hasPublicationYear "2022" @default.
- W4285124955 type Work @default.
- W4285124955 citedByCount "3" @default.
- W4285124955 countsByYear W42851249552022 @default.
- W4285124955 countsByYear W42851249552023 @default.
- W4285124955 crossrefType "book-chapter" @default.
- W4285124955 hasAuthorship W4285124955A5040238727 @default.
- W4285124955 hasAuthorship W4285124955A5082528508 @default.
- W4285124955 hasAuthorship W4285124955A5085791065 @default.
- W4285124955 hasConcept C11413529 @default.
- W4285124955 hasConcept C119599485 @default.
- W4285124955 hasConcept C119857082 @default.
- W4285124955 hasConcept C126953365 @default.
- W4285124955 hasConcept C127413603 @default.
- W4285124955 hasConcept C128942645 @default.
- W4285124955 hasConcept C134146338 @default.
- W4285124955 hasConcept C147764199 @default.
- W4285124955 hasConcept C151552104 @default.
- W4285124955 hasConcept C152877465 @default.
- W4285124955 hasConcept C154945302 @default.
- W4285124955 hasConcept C165825675 @default.
- W4285124955 hasConcept C166957645 @default.
- W4285124955 hasConcept C167822520 @default.
- W4285124955 hasConcept C199360897 @default.
- W4285124955 hasConcept C2778112365 @default.
- W4285124955 hasConcept C41008148 @default.
- W4285124955 hasConcept C49937458 @default.
- W4285124955 hasConcept C54355233 @default.
- W4285124955 hasConcept C79581498 @default.
- W4285124955 hasConcept C80444323 @default.
- W4285124955 hasConcept C86803240 @default.
- W4285124955 hasConcept C95457728 @default.
- W4285124955 hasConceptScore W4285124955C11413529 @default.
- W4285124955 hasConceptScore W4285124955C119599485 @default.
- W4285124955 hasConceptScore W4285124955C119857082 @default.
- W4285124955 hasConceptScore W4285124955C126953365 @default.
- W4285124955 hasConceptScore W4285124955C127413603 @default.
- W4285124955 hasConceptScore W4285124955C128942645 @default.
- W4285124955 hasConceptScore W4285124955C134146338 @default.
- W4285124955 hasConceptScore W4285124955C147764199 @default.
- W4285124955 hasConceptScore W4285124955C151552104 @default.
- W4285124955 hasConceptScore W4285124955C152877465 @default.
- W4285124955 hasConceptScore W4285124955C154945302 @default.
- W4285124955 hasConceptScore W4285124955C165825675 @default.
- W4285124955 hasConceptScore W4285124955C166957645 @default.
- W4285124955 hasConceptScore W4285124955C167822520 @default.
- W4285124955 hasConceptScore W4285124955C199360897 @default.
- W4285124955 hasConceptScore W4285124955C2778112365 @default.
- W4285124955 hasConceptScore W4285124955C41008148 @default.
- W4285124955 hasConceptScore W4285124955C49937458 @default.
- W4285124955 hasConceptScore W4285124955C54355233 @default.
- W4285124955 hasConceptScore W4285124955C79581498 @default.
- W4285124955 hasConceptScore W4285124955C80444323 @default.
- W4285124955 hasConceptScore W4285124955C86803240 @default.
- W4285124955 hasConceptScore W4285124955C95457728 @default.
- W4285124955 hasLocation W42851249551 @default.
- W4285124955 hasOpenAccess W4285124955 @default.
- W4285124955 hasPrimaryLocation W42851249551 @default.
- W4285124955 hasRelatedWork W1502756081 @default.
- W4285124955 hasRelatedWork W1760199343 @default.
- W4285124955 hasRelatedWork W2086038725 @default.
- W4285124955 hasRelatedWork W2125734885 @default.
- W4285124955 hasRelatedWork W2166616527 @default.
- W4285124955 hasRelatedWork W2168625647 @default.
- W4285124955 hasRelatedWork W2170366940 @default.
- W4285124955 hasRelatedWork W2376042585 @default.
- W4285124955 hasRelatedWork W47036948 @default.
- W4285124955 hasRelatedWork W2112195482 @default.
- W4285124955 isParatext "false" @default.
- W4285124955 isRetracted "false" @default.
- W4285124955 workType "book-chapter" @default.