FRINK Linked Data Fragments server

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

• W2119745467 abstract "In this paper, an automatic protocol test case generator that generates both test sequence and test data is presented. The underlying model is an extended finite state machine (EFSM) and Estelle is used as the formal description language. First, test sequences are generated using a combined control and data flow testing method. A set of path conditions associated with each test sequence is obtained using symbolic execution techniques. By solving the path conditions as a group of constraints, test data are then automatically generated. A prototype system implementing the above procedures has been built. The system has been used to generate test cases for real protocols such as TP0, FDDI and LAPB, and has been integrated in the UBC protocol testing environment. >" @default.
• W2119745467 created "2016-06-24" @default.
• W2119745467 creator A5063632464 @default.
• W2119745467 creator A5086514597 @default.
• W2119745467 date "2002-12-17" @default.
• W2119745467 modified "2023-09-23" @default.
• W2119745467 title "Automatic protocol test suite derivation" @default.
• W2119745467 cites W1481565438 @default.
• W2119745467 cites W1606188171 @default.
• W2119745467 cites W180319547 @default.
• W2119745467 cites W1985551847 @default.
• W2119745467 cites W1999038767 @default.
• W2119745467 cites W2040832338 @default.
• W2119745467 cites W2082368532 @default.
• W2119745467 cites W2087555024 @default.
• W2119745467 cites W2120552859 @default.
• W2119745467 cites W2156230757 @default.
• W2119745467 cites W2166906534 @default.
• W2119745467 doi "https://doi.org/10.1109/infcom.1994.337659" @default.
• W2119745467 hasPublicationYear "2002" @default.
• W2119745467 type Work @default.
• W2119745467 sameAs 2119745467 @default.
• W2119745467 citedByCount "7" @default.
• W2119745467 crossrefType "proceedings-article" @default.
• W2119745467 hasAuthorship W2119745467A5063632464 @default.
• W2119745467 hasAuthorship W2119745467A5086514597 @default.
• W2119745467 hasBestOaLocation W21197454672 @default.
• W2119745467 hasConcept C111919701 @default.
• W2119745467 hasConcept C11219265 @default.
• W2119745467 hasConcept C119857082 @default.
• W2119745467 hasConcept C121332964 @default.
• W2119745467 hasConcept C128942645 @default.
• W2119745467 hasConcept C142724271 @default.
• W2119745467 hasConcept C151552104 @default.
• W2119745467 hasConcept C151730666 @default.
• W2119745467 hasConcept C152877465 @default.
• W2119745467 hasConcept C163258240 @default.
• W2119745467 hasConcept C165825675 @default.
• W2119745467 hasConcept C167822520 @default.
• W2119745467 hasConcept C16910744 @default.
• W2119745467 hasConcept C177264268 @default.
• W2119745467 hasConcept C181062253 @default.
• W2119745467 hasConcept C188087704 @default.
• W2119745467 hasConcept C199360897 @default.
• W2119745467 hasConcept C204787440 @default.
• W2119745467 hasConcept C2777267654 @default.
• W2119745467 hasConcept C2777735758 @default.
• W2119745467 hasConcept C2777904410 @default.
• W2119745467 hasConcept C2778112365 @default.
• W2119745467 hasConcept C2779639559 @default.
• W2119745467 hasConcept C2780385302 @default.
• W2119745467 hasConcept C2780992000 @default.
• W2119745467 hasConcept C41008148 @default.
• W2119745467 hasConcept C48103436 @default.
• W2119745467 hasConcept C54355233 @default.
• W2119745467 hasConcept C62520636 @default.
• W2119745467 hasConcept C71924100 @default.
• W2119745467 hasConcept C76844732 @default.
• W2119745467 hasConcept C80444323 @default.
• W2119745467 hasConcept C86803240 @default.
• W2119745467 hasConceptScore W2119745467C111919701 @default.
• W2119745467 hasConceptScore W2119745467C11219265 @default.
• W2119745467 hasConceptScore W2119745467C119857082 @default.
• W2119745467 hasConceptScore W2119745467C121332964 @default.
• W2119745467 hasConceptScore W2119745467C128942645 @default.
• W2119745467 hasConceptScore W2119745467C142724271 @default.
• W2119745467 hasConceptScore W2119745467C151552104 @default.
• W2119745467 hasConceptScore W2119745467C151730666 @default.
• W2119745467 hasConceptScore W2119745467C152877465 @default.
• W2119745467 hasConceptScore W2119745467C163258240 @default.
• W2119745467 hasConceptScore W2119745467C165825675 @default.
• W2119745467 hasConceptScore W2119745467C167822520 @default.
• W2119745467 hasConceptScore W2119745467C16910744 @default.
• W2119745467 hasConceptScore W2119745467C177264268 @default.
• W2119745467 hasConceptScore W2119745467C181062253 @default.
• W2119745467 hasConceptScore W2119745467C188087704 @default.
• W2119745467 hasConceptScore W2119745467C199360897 @default.
• W2119745467 hasConceptScore W2119745467C204787440 @default.
• W2119745467 hasConceptScore W2119745467C2777267654 @default.
• W2119745467 hasConceptScore W2119745467C2777735758 @default.
• W2119745467 hasConceptScore W2119745467C2777904410 @default.
• W2119745467 hasConceptScore W2119745467C2778112365 @default.
• W2119745467 hasConceptScore W2119745467C2779639559 @default.
• W2119745467 hasConceptScore W2119745467C2780385302 @default.
• W2119745467 hasConceptScore W2119745467C2780992000 @default.
• W2119745467 hasConceptScore W2119745467C41008148 @default.
• W2119745467 hasConceptScore W2119745467C48103436 @default.
• W2119745467 hasConceptScore W2119745467C54355233 @default.
• W2119745467 hasConceptScore W2119745467C62520636 @default.
• W2119745467 hasConceptScore W2119745467C71924100 @default.
• W2119745467 hasConceptScore W2119745467C76844732 @default.
• W2119745467 hasConceptScore W2119745467C80444323 @default.
• W2119745467 hasConceptScore W2119745467C86803240 @default.
• W2119745467 hasLocation W21197454671 @default.
• W2119745467 hasLocation W21197454672 @default.
• W2119745467 hasOpenAccess W2119745467 @default.
• W2119745467 hasPrimaryLocation W21197454671 @default.
• W2119745467 hasRelatedWork W145688313 @default.
• W2119745467 hasRelatedWork W147875353 @default.
• W2119745467 hasRelatedWork W1481565438 @default.

• next