Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110970068> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2110970068 abstract "The paper presents a method for deriving a complete test suite for a timed deterministic FSM with time-outs when only the upper bound on the number of states and the largest finite time-out at a state of an implementation under test are known. We also show that a test suite derived for a corresponding classical FSM is much longer than this obtained directly from a FSM with time-outs. The application to a case study, the Loan Approval Service, illustrates how our approach can be applied for deriving tests for compositions of timed FSMs." @default.
- W2110970068 created "2016-06-24" @default.
- W2110970068 creator A5003043815 @default.
- W2110970068 creator A5059681065 @default.
- W2110970068 creator A5072274443 @default.
- W2110970068 creator A5082528508 @default.
- W2110970068 date "2011-07-01" @default.
- W2110970068 modified "2023-09-27" @default.
- W2110970068 title "FSM-Based Test Derivation Strategies for Systems with Time-Outs" @default.
- W2110970068 cites W1506006344 @default.
- W2110970068 cites W1535648515 @default.
- W2110970068 cites W1584511540 @default.
- W2110970068 cites W1608876340 @default.
- W2110970068 cites W1990687584 @default.
- W2110970068 cites W2008813808 @default.
- W2110970068 cites W2011762419 @default.
- W2110970068 cites W2036055936 @default.
- W2110970068 cites W2039659675 @default.
- W2110970068 cites W2055530557 @default.
- W2110970068 cites W2101508170 @default.
- W2110970068 cites W2120916408 @default.
- W2110970068 cites W2140667972 @default.
- W2110970068 cites W2157820788 @default.
- W2110970068 cites W2163595873 @default.
- W2110970068 cites W2170366940 @default.
- W2110970068 doi "https://doi.org/10.1109/qsic.2011.30" @default.
- W2110970068 hasPublicationYear "2011" @default.
- W2110970068 type Work @default.
- W2110970068 sameAs 2110970068 @default.
- W2110970068 citedByCount "22" @default.
- W2110970068 countsByYear W21109700682012 @default.
- W2110970068 countsByYear W21109700682013 @default.
- W2110970068 countsByYear W21109700682014 @default.
- W2110970068 countsByYear W21109700682015 @default.
- W2110970068 countsByYear W21109700682016 @default.
- W2110970068 countsByYear W21109700682018 @default.
- W2110970068 countsByYear W21109700682019 @default.
- W2110970068 countsByYear W21109700682020 @default.
- W2110970068 countsByYear W21109700682021 @default.
- W2110970068 crossrefType "proceedings-article" @default.
- W2110970068 hasAuthorship W2110970068A5003043815 @default.
- W2110970068 hasAuthorship W2110970068A5059681065 @default.
- W2110970068 hasAuthorship W2110970068A5072274443 @default.
- W2110970068 hasAuthorship W2110970068A5082528508 @default.
- W2110970068 hasConcept C11413529 @default.
- W2110970068 hasConcept C119857082 @default.
- W2110970068 hasConcept C128942645 @default.
- W2110970068 hasConcept C134306372 @default.
- W2110970068 hasConcept C151552104 @default.
- W2110970068 hasConcept C151730666 @default.
- W2110970068 hasConcept C152877465 @default.
- W2110970068 hasConcept C165825675 @default.
- W2110970068 hasConcept C166957645 @default.
- W2110970068 hasConcept C167822520 @default.
- W2110970068 hasConcept C2777267654 @default.
- W2110970068 hasConcept C33923547 @default.
- W2110970068 hasConcept C41008148 @default.
- W2110970068 hasConcept C48103436 @default.
- W2110970068 hasConcept C77553402 @default.
- W2110970068 hasConcept C79581498 @default.
- W2110970068 hasConcept C80444323 @default.
- W2110970068 hasConcept C86803240 @default.
- W2110970068 hasConcept C95457728 @default.
- W2110970068 hasConceptScore W2110970068C11413529 @default.
- W2110970068 hasConceptScore W2110970068C119857082 @default.
- W2110970068 hasConceptScore W2110970068C128942645 @default.
- W2110970068 hasConceptScore W2110970068C134306372 @default.
- W2110970068 hasConceptScore W2110970068C151552104 @default.
- W2110970068 hasConceptScore W2110970068C151730666 @default.
- W2110970068 hasConceptScore W2110970068C152877465 @default.
- W2110970068 hasConceptScore W2110970068C165825675 @default.
- W2110970068 hasConceptScore W2110970068C166957645 @default.
- W2110970068 hasConceptScore W2110970068C167822520 @default.
- W2110970068 hasConceptScore W2110970068C2777267654 @default.
- W2110970068 hasConceptScore W2110970068C33923547 @default.
- W2110970068 hasConceptScore W2110970068C41008148 @default.
- W2110970068 hasConceptScore W2110970068C48103436 @default.
- W2110970068 hasConceptScore W2110970068C77553402 @default.
- W2110970068 hasConceptScore W2110970068C79581498 @default.
- W2110970068 hasConceptScore W2110970068C80444323 @default.
- W2110970068 hasConceptScore W2110970068C86803240 @default.
- W2110970068 hasConceptScore W2110970068C95457728 @default.
- W2110970068 hasLocation W21109700681 @default.
- W2110970068 hasLocation W21109700682 @default.
- W2110970068 hasOpenAccess W2110970068 @default.
- W2110970068 hasPrimaryLocation W21109700681 @default.
- W2110970068 hasRelatedWork W1558542055 @default.
- W2110970068 hasRelatedWork W1966621372 @default.
- W2110970068 hasRelatedWork W1968947825 @default.
- W2110970068 hasRelatedWork W2004500501 @default.
- W2110970068 hasRelatedWork W2107309132 @default.
- W2110970068 hasRelatedWork W2168625647 @default.
- W2110970068 hasRelatedWork W2356948891 @default.
- W2110970068 hasRelatedWork W2378154521 @default.
- W2110970068 hasRelatedWork W2878316859 @default.
- W2110970068 hasRelatedWork W47036948 @default.
- W2110970068 isParatext "false" @default.
- W2110970068 isRetracted "false" @default.
- W2110970068 magId "2110970068" @default.
- W2110970068 workType "article" @default.