FRINK Linked Data Fragments server

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

• W1851031623 abstract "This paper deals with the generation of conformance test sequences from specifications in Estelle. Our approach is to make the well-founded test generation methods based on finite state machines (FSM) applicable to specifications in Estelle. An algorithm is presented for transformation of Estelle modules into a form free of provided-clauses. The transformed modules allow to apply test generation methods based on the FSM model. Using this approach, it is possible to cope with test sequence generation for control and data flow and with test data selection. The transformation is feasible if the variables that occur in provided-clauses have finite, countable domains. For realistic protocol specifications, this condition is fulfilled most of the time. Multi-module specifications are decomposed into a set of partial specifications related to separate services before combining the modules into one composite module. The approach partially has been implemented as prototype tools." @default.
• W1851031623 created "2016-06-24" @default.
• W1851031623 creator A5015261693 @default.
• W1851031623 creator A5035329562 @default.
• W1851031623 date "2002-11-19" @default.
• W1851031623 modified "2023-09-23" @default.
• W1851031623 title "Test case generation based on formal specifications in Estelle" @default.
• W1851031623 cites W1481565438 @default.
• W1851031623 cites W1581562873 @default.
• W1851031623 cites W1592315919 @default.
• W1851031623 cites W1604115257 @default.
• W1851031623 cites W1965028135 @default.
• W1851031623 cites W2011762419 @default.
• W1851031623 cites W2043158263 @default.
• W1851031623 cites W2100580381 @default.
• W1851031623 cites W2103095043 @default.
• W1851031623 cites W2109801341 @default.
• W1851031623 cites W2118194296 @default.
• W1851031623 cites W2129214591 @default.
• W1851031623 cites W2140047593 @default.
• W1851031623 cites W2166906534 @default.
• W1851031623 cites W1600554309 @default.
• W1851031623 doi "https://doi.org/10.1109/wfcs.1995.482693" @default.
• W1851031623 hasPublicationYear "2002" @default.
• W1851031623 type Work @default.
• W1851031623 sameAs 1851031623 @default.
• W1851031623 citedByCount "4" @default.
• W1851031623 crossrefType "proceedings-article" @default.
• W1851031623 hasAuthorship W1851031623A5015261693 @default.
• W1851031623 hasAuthorship W1851031623A5035329562 @default.
• W1851031623 hasConcept C104317684 @default.
• W1851031623 hasConcept C111919701 @default.
• W1851031623 hasConcept C116253237 @default.
• W1851031623 hasConcept C119857082 @default.
• W1851031623 hasConcept C128942645 @default.
• W1851031623 hasConcept C151730666 @default.
• W1851031623 hasConcept C152877465 @default.
• W1851031623 hasConcept C167822520 @default.
• W1851031623 hasConcept C177264268 @default.
• W1851031623 hasConcept C181062253 @default.
• W1851031623 hasConcept C185592680 @default.
• W1851031623 hasConcept C188087704 @default.
• W1851031623 hasConcept C199360897 @default.
• W1851031623 hasConcept C204241405 @default.
• W1851031623 hasConcept C2777267654 @default.
• W1851031623 hasConcept C2778112365 @default.
• W1851031623 hasConcept C41008148 @default.
• W1851031623 hasConcept C48103436 @default.
• W1851031623 hasConcept C54355233 @default.
• W1851031623 hasConcept C55493867 @default.
• W1851031623 hasConcept C76844732 @default.
• W1851031623 hasConcept C80444323 @default.
• W1851031623 hasConcept C86803240 @default.
• W1851031623 hasConceptScore W1851031623C104317684 @default.
• W1851031623 hasConceptScore W1851031623C111919701 @default.
• W1851031623 hasConceptScore W1851031623C116253237 @default.
• W1851031623 hasConceptScore W1851031623C119857082 @default.
• W1851031623 hasConceptScore W1851031623C128942645 @default.
• W1851031623 hasConceptScore W1851031623C151730666 @default.
• W1851031623 hasConceptScore W1851031623C152877465 @default.
• W1851031623 hasConceptScore W1851031623C167822520 @default.
• W1851031623 hasConceptScore W1851031623C177264268 @default.
• W1851031623 hasConceptScore W1851031623C181062253 @default.
• W1851031623 hasConceptScore W1851031623C185592680 @default.
• W1851031623 hasConceptScore W1851031623C188087704 @default.
• W1851031623 hasConceptScore W1851031623C199360897 @default.
• W1851031623 hasConceptScore W1851031623C204241405 @default.
• W1851031623 hasConceptScore W1851031623C2777267654 @default.
• W1851031623 hasConceptScore W1851031623C2778112365 @default.
• W1851031623 hasConceptScore W1851031623C41008148 @default.
• W1851031623 hasConceptScore W1851031623C48103436 @default.
• W1851031623 hasConceptScore W1851031623C54355233 @default.
• W1851031623 hasConceptScore W1851031623C55493867 @default.
• W1851031623 hasConceptScore W1851031623C76844732 @default.
• W1851031623 hasConceptScore W1851031623C80444323 @default.
• W1851031623 hasConceptScore W1851031623C86803240 @default.
• W1851031623 hasLocation W18510316231 @default.
• W1851031623 hasOpenAccess W1851031623 @default.
• W1851031623 hasPrimaryLocation W18510316231 @default.
• W1851031623 hasRelatedWork W147875353 @default.
• W1851031623 hasRelatedWork W1535648515 @default.
• W1851031623 hasRelatedWork W1544501706 @default.
• W1851031623 hasRelatedWork W1591645440 @default.
• W1851031623 hasRelatedWork W1647609750 @default.
• W1851031623 hasRelatedWork W1964231982 @default.
• W1851031623 hasRelatedWork W2055647675 @default.
• W1851031623 hasRelatedWork W2079538004 @default.
• W1851031623 hasRelatedWork W2088327537 @default.
• W1851031623 hasRelatedWork W2091763147 @default.
• W1851031623 hasRelatedWork W2109315538 @default.
• W1851031623 hasRelatedWork W2285621613 @default.
• W1851031623 hasRelatedWork W2368581371 @default.
• W1851031623 hasRelatedWork W2916184944 @default.
• W1851031623 hasRelatedWork W3033397011 @default.
• W1851031623 hasRelatedWork W3080197406 @default.
• W1851031623 hasRelatedWork W31474718 @default.
• W1851031623 hasRelatedWork W58028790 @default.
• W1851031623 hasRelatedWork W1499988657 @default.
• W1851031623 hasRelatedWork W2878314805 @default.
• W1851031623 isParatext "false" @default.

• next