Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168213609> ?p ?o ?g. }
- W2168213609 abstract "Protocol interoperability testing is an important technique to ensure the quality of implementations of network communication protocols. In this paper, we present an efficient method to generate interoperability testing for time dependent protocols. We use the formal model, communicating TIOAs (timed input automata) (CTIOAs), to specify the system under test, in which time constraints are specified by linear expressions involving local clock values. In the method, firstly a global state reachability tree of CTIOAs should be generated, in which test sequences can be selected. Then we analyze the executability of the generated test sequences. By converting linear constraints of local clocks to a global clock, the problem reduces to a linear programming problem. We also select a set of appropriate initial clock values to make test sequences executable. An example of a neighbor discovery protocol is used to illustrate our method." @default.
- W2168213609 created "2016-06-24" @default.
- W2168213609 creator A5001949272 @default.
- W2168213609 creator A5016779765 @default.
- W2168213609 creator A5080427402 @default.
- W2168213609 date "2005-04-05" @default.
- W2168213609 modified "2023-09-23" @default.
- W2168213609 title "Towards interoperability test generation of time dependent protocols: a case study" @default.
- W2168213609 cites W1536814610 @default.
- W2168213609 cites W1546012326 @default.
- W2168213609 cites W1566743700 @default.
- W2168213609 cites W1595028429 @default.
- W2168213609 cites W1966329412 @default.
- W2168213609 cites W2040940479 @default.
- W2168213609 cites W2101508170 @default.
- W2168213609 cites W2102418068 @default.
- W2168213609 cites W2126362024 @default.
- W2168213609 cites W2129460416 @default.
- W2168213609 cites W27856953 @default.
- W2168213609 cites W304932112 @default.
- W2168213609 doi "https://doi.org/10.1109/glocom.2004.1378031" @default.
- W2168213609 hasPublicationYear "2005" @default.
- W2168213609 type Work @default.
- W2168213609 sameAs 2168213609 @default.
- W2168213609 citedByCount "5" @default.
- W2168213609 crossrefType "proceedings-article" @default.
- W2168213609 hasAuthorship W2168213609A5001949272 @default.
- W2168213609 hasAuthorship W2168213609A5016779765 @default.
- W2168213609 hasAuthorship W2168213609A5080427402 @default.
- W2168213609 hasConcept C111919701 @default.
- W2168213609 hasConcept C112505250 @default.
- W2168213609 hasConcept C119857082 @default.
- W2168213609 hasConcept C120314980 @default.
- W2168213609 hasConcept C12269588 @default.
- W2168213609 hasConcept C128942645 @default.
- W2168213609 hasConcept C136643341 @default.
- W2168213609 hasConcept C142724271 @default.
- W2168213609 hasConcept C152877465 @default.
- W2168213609 hasConcept C160145156 @default.
- W2168213609 hasConcept C177264268 @default.
- W2168213609 hasConcept C188087704 @default.
- W2168213609 hasConcept C199360897 @default.
- W2168213609 hasConcept C20136886 @default.
- W2168213609 hasConcept C204787440 @default.
- W2168213609 hasConcept C26713055 @default.
- W2168213609 hasConcept C2780385302 @default.
- W2168213609 hasConcept C31258907 @default.
- W2168213609 hasConcept C41008148 @default.
- W2168213609 hasConcept C4777664 @default.
- W2168213609 hasConcept C71924100 @default.
- W2168213609 hasConcept C75606506 @default.
- W2168213609 hasConcept C76844732 @default.
- W2168213609 hasConcept C80444323 @default.
- W2168213609 hasConceptScore W2168213609C111919701 @default.
- W2168213609 hasConceptScore W2168213609C112505250 @default.
- W2168213609 hasConceptScore W2168213609C119857082 @default.
- W2168213609 hasConceptScore W2168213609C120314980 @default.
- W2168213609 hasConceptScore W2168213609C12269588 @default.
- W2168213609 hasConceptScore W2168213609C128942645 @default.
- W2168213609 hasConceptScore W2168213609C136643341 @default.
- W2168213609 hasConceptScore W2168213609C142724271 @default.
- W2168213609 hasConceptScore W2168213609C152877465 @default.
- W2168213609 hasConceptScore W2168213609C160145156 @default.
- W2168213609 hasConceptScore W2168213609C177264268 @default.
- W2168213609 hasConceptScore W2168213609C188087704 @default.
- W2168213609 hasConceptScore W2168213609C199360897 @default.
- W2168213609 hasConceptScore W2168213609C20136886 @default.
- W2168213609 hasConceptScore W2168213609C204787440 @default.
- W2168213609 hasConceptScore W2168213609C26713055 @default.
- W2168213609 hasConceptScore W2168213609C2780385302 @default.
- W2168213609 hasConceptScore W2168213609C31258907 @default.
- W2168213609 hasConceptScore W2168213609C41008148 @default.
- W2168213609 hasConceptScore W2168213609C4777664 @default.
- W2168213609 hasConceptScore W2168213609C71924100 @default.
- W2168213609 hasConceptScore W2168213609C75606506 @default.
- W2168213609 hasConceptScore W2168213609C76844732 @default.
- W2168213609 hasConceptScore W2168213609C80444323 @default.
- W2168213609 hasLocation W21682136091 @default.
- W2168213609 hasOpenAccess W2168213609 @default.
- W2168213609 hasPrimaryLocation W21682136091 @default.
- W2168213609 hasRelatedWork W1487432374 @default.
- W2168213609 hasRelatedWork W1500587673 @default.
- W2168213609 hasRelatedWork W1504675374 @default.
- W2168213609 hasRelatedWork W1588703988 @default.
- W2168213609 hasRelatedWork W1983534499 @default.
- W2168213609 hasRelatedWork W2056355165 @default.
- W2168213609 hasRelatedWork W2082275032 @default.
- W2168213609 hasRelatedWork W2097925624 @default.
- W2168213609 hasRelatedWork W2099708429 @default.
- W2168213609 hasRelatedWork W2101345254 @default.
- W2168213609 hasRelatedWork W2124993513 @default.
- W2168213609 hasRelatedWork W2133699088 @default.
- W2168213609 hasRelatedWork W2148987354 @default.
- W2168213609 hasRelatedWork W2181173419 @default.
- W2168213609 hasRelatedWork W2303862225 @default.
- W2168213609 hasRelatedWork W2317846713 @default.
- W2168213609 hasRelatedWork W2376239359 @default.
- W2168213609 hasRelatedWork W2492825885 @default.
- W2168213609 hasRelatedWork W2734939546 @default.
- W2168213609 hasRelatedWork W318715007 @default.