Matches in SemOpenAlex for { <https://semopenalex.org/work/W1962021926> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1962021926 abstract "We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a finite state machine (FSM) model of the protocol and uses a mix of forward and backward search techniques to generate the tests. The output tests include a set of topologies, protocol events and network failures, that lead to violation of protocol correctness and behavioral requirements. We target protocol robustness in specific, and do not attempt to verify other properties in this paper. We apply our method to a multicast routing protocol; PIM-DM, and investigate its behavior in the presence of selective packet loss on LANs and router crashes. Our study unveils several robustness violations in PIM-DM, for which we suggest fixes with the aid of the presented algorithm." @default.
- W1962021926 created "2016-06-24" @default.
- W1962021926 creator A5001206014 @default.
- W1962021926 creator A5048781653 @default.
- W1962021926 creator A5051587086 @default.
- W1962021926 date "1998-01-01" @default.
- W1962021926 modified "2023-09-22" @default.
- W1962021926 title "Fault-Oriented Test Generation for Multicast Routing Protocol Design" @default.
- W1962021926 cites W1962021926 @default.
- W1962021926 cites W2141487810 @default.
- W1962021926 cites W4295888582 @default.
- W1962021926 doi "https://doi.org/10.1007/978-0-387-35394-4_6" @default.
- W1962021926 hasPublicationYear "1998" @default.
- W1962021926 type Work @default.
- W1962021926 sameAs 1962021926 @default.
- W1962021926 citedByCount "19" @default.
- W1962021926 countsByYear W19620219262013 @default.
- W1962021926 countsByYear W19620219262015 @default.
- W1962021926 crossrefType "book-chapter" @default.
- W1962021926 hasAuthorship W1962021926A5001206014 @default.
- W1962021926 hasAuthorship W1962021926A5048781653 @default.
- W1962021926 hasAuthorship W1962021926A5051587086 @default.
- W1962021926 hasBestOaLocation W19620219261 @default.
- W1962021926 hasConcept C104317684 @default.
- W1962021926 hasConcept C104954878 @default.
- W1962021926 hasConcept C11413529 @default.
- W1962021926 hasConcept C120314980 @default.
- W1962021926 hasConcept C158379750 @default.
- W1962021926 hasConcept C185592680 @default.
- W1962021926 hasConcept C189884158 @default.
- W1962021926 hasConcept C192059732 @default.
- W1962021926 hasConcept C2775896111 @default.
- W1962021926 hasConcept C31258907 @default.
- W1962021926 hasConcept C32295351 @default.
- W1962021926 hasConcept C41008148 @default.
- W1962021926 hasConcept C42272142 @default.
- W1962021926 hasConcept C44892269 @default.
- W1962021926 hasConcept C47318570 @default.
- W1962021926 hasConcept C55439883 @default.
- W1962021926 hasConcept C55493867 @default.
- W1962021926 hasConcept C63479239 @default.
- W1962021926 hasConcept C87044965 @default.
- W1962021926 hasConceptScore W1962021926C104317684 @default.
- W1962021926 hasConceptScore W1962021926C104954878 @default.
- W1962021926 hasConceptScore W1962021926C11413529 @default.
- W1962021926 hasConceptScore W1962021926C120314980 @default.
- W1962021926 hasConceptScore W1962021926C158379750 @default.
- W1962021926 hasConceptScore W1962021926C185592680 @default.
- W1962021926 hasConceptScore W1962021926C189884158 @default.
- W1962021926 hasConceptScore W1962021926C192059732 @default.
- W1962021926 hasConceptScore W1962021926C2775896111 @default.
- W1962021926 hasConceptScore W1962021926C31258907 @default.
- W1962021926 hasConceptScore W1962021926C32295351 @default.
- W1962021926 hasConceptScore W1962021926C41008148 @default.
- W1962021926 hasConceptScore W1962021926C42272142 @default.
- W1962021926 hasConceptScore W1962021926C44892269 @default.
- W1962021926 hasConceptScore W1962021926C47318570 @default.
- W1962021926 hasConceptScore W1962021926C55439883 @default.
- W1962021926 hasConceptScore W1962021926C55493867 @default.
- W1962021926 hasConceptScore W1962021926C63479239 @default.
- W1962021926 hasConceptScore W1962021926C87044965 @default.
- W1962021926 hasLocation W19620219261 @default.
- W1962021926 hasOpenAccess W1962021926 @default.
- W1962021926 hasPrimaryLocation W19620219261 @default.
- W1962021926 hasRelatedWork W1511753984 @default.
- W1962021926 hasRelatedWork W1544819167 @default.
- W1962021926 hasRelatedWork W1964925050 @default.
- W1962021926 hasRelatedWork W2031849950 @default.
- W1962021926 hasRelatedWork W2034717157 @default.
- W1962021926 hasRelatedWork W2071071977 @default.
- W1962021926 hasRelatedWork W2096900538 @default.
- W1962021926 hasRelatedWork W2111067048 @default.
- W1962021926 hasRelatedWork W2120768450 @default.
- W1962021926 hasRelatedWork W2131553890 @default.
- W1962021926 hasRelatedWork W2131615553 @default.
- W1962021926 hasRelatedWork W2139479820 @default.
- W1962021926 hasRelatedWork W2142569417 @default.
- W1962021926 hasRelatedWork W2152005938 @default.
- W1962021926 hasRelatedWork W2165351021 @default.
- W1962021926 hasRelatedWork W2348548857 @default.
- W1962021926 hasRelatedWork W2391200808 @default.
- W1962021926 hasRelatedWork W2734939546 @default.
- W1962021926 hasRelatedWork W2811199408 @default.
- W1962021926 hasRelatedWork W1494182064 @default.
- W1962021926 isParatext "false" @default.
- W1962021926 isRetracted "false" @default.
- W1962021926 magId "1962021926" @default.
- W1962021926 workType "book-chapter" @default.