Ahmed Helmy, Deborah Estrin  Home/Search
Context
Related
| usc.edu/pub/csinfo/techr...97657.ps.Z usc.edu/vint/papers/stress.ps usc.edu/ahelmy/str...stresspaper.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fr/ftp/usc.edu (more) From: berkeley.edu/ns/nsresearch (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Multiparty protocols support an important class of applications ranging from multi-media teleconferencing to network games. Designing wide-area multiparty protocols is becoming more complex with the growth of the Internet and the introduction of new service models. Unexpected combinations of events can drive protocols into undesirable states and may lead to errors. Anticipating all such cases is often impossible and at best may require extensive simulation and testing. In large systems, the... (Update)
Similar documents (at the sentence level): More
58.2%: Systematic Testing of Multicast Protocol Robustness - Helmy (1997) (Correct)
30.6%: Simulation-based `STRESS' Testing Case Study: A Multicast.. - Helmy, Estrin (1998) (Correct)
5.8%: Fault-oriented Test Generation for Multicast Routing - Helmy, Estrin, Gupta (1998) (Correct)
Active bibliography (related documents): More All
0.4: Performance Evaluation of Multipoint Protocols Using.. - Helmy, Gupta.. (2000) (Correct)
0.4: Systematic Performance Evaluation of Multipoint Protocols - Helmy, Gupta, Estrin.. (2000) (Correct)
0.3: The STRESS Method for Boundary-point Performance Analysis - Of End-To-End Multicast (Correct)
Similar documents based on text: More All
0.4: Systematic Testing of Protocol Robustness: Case Studies .. - Begum, Sharma, Gupta.. (2000) (Correct)
0.1: Resume - Sharma (Correct)
0.1: Zoned Analog Personal Teleconferencing (ZAPT) - Touch (Correct)
BibTeX entry: (Update)
@misc{ helmy-stress,
author = "Ahmed Helmy and Deborah Estrin",
title = "`STRESS' Testing Applied to a Multicast Routing Protocol",
url = "citeseer.ist.psu.edu/helmy97stress.html" }
Citations (may not include all citations):1023 RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner et al. - 1996
861 Tcl and the Tk Toolkit - Ousterhout - 1994
833 A Reliable Multicast Framework for Light-weight Sessions and.. - Floyd, Jacobson et al. - 1996 ACM DBLP
689 Systematic Software Development using VDM - Jones - 1990 ACM
470 Design and Validation of Computer Protocols (context) - Holzmann - 1991 ACM
334 A Computational Logic Handbook (context) - Boyer, Moore - 1988 ACM
310 A note on two problems in connection with graphs (context) - Dijkstra - 1959
281 Distance Vector Multicast Routing Protocol (context) - Waitzman, Deering et al. - 1988
270 Formal verification for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995 DBLP
268 vic: A Flexible Framework for Packet Video - McCanne, Jacobson - 1995
227 Formal Methods: State of the Art and Future Directions - Clarke, Wing - 1996 DBLP
203 Multicast Extension to OSPF - Moy - 1992
169 Protocol Independent Multicast - Sparse Mode (context) - Estrin, Farinacci et al. - 1996
169 Protocol Independent Multicast - Sparse Mode (context) - Estrin, Farinacci et al. - 1997
168 Core Based Trees (context) - Ballardie, Francis et al. - 1993
154 a Specification Language and its Formal Semantics (context) - Spivey - 1988
94 Using partial orders to improve automatic verification metho.. (context) - Godefroid - 1990 ACM DBLP
49 Protocol Verification using Reachability Analysis: the state.. (context) - Lin, Chu et al. - 1987
49 Protocol Verification using Reachability Analysis (context) - Lin, Chu et al. - 1987
42 A Distributed Whiteboard for Network Conferencing - McCanne - 1992
38 Extending Tcl for Dynamic Object-Oriented Programming - Wetherall, Lindblad - 1995
34 Protocol Independent Multicast - Dense Mode (context) - Estrin, Farinacci et al. - 1996
31 A Dynamic Bootstrap Mechanism for Rendezvous-based Multicast.. - Estrin, Handley et al. - 1997 DBLP
25 NS: Network Simulator (context) - McCanne, Floyd - 1995
22 Using partial-order semantics to avoid the state explosion p.. (context) - Probst - 1990 ACM DBLP
22 Protocol Validation by Random State Exploration (context) - West - 1986
19 vat - LBNL Audio Conferencing Tool (context) - Jacobson, McCanne - 1993
18 Probabilistic verification of communication protocols (context) - Maxemchuck, Sabnani - 1987 ACM DBLP
18 Testing ICs: Getting to the Core of the Problem (context) - Murray, Hayes - 1996 DBLP
12 The sdr Session Directory: An Mbone Conference Scheduling an.. (context) - Handley - 1996
12 A recovery approach to the design of stabilizing communicati.. (context) - Saleh, Ahmed et al. - 1995
12 Performance Assertion Checking - Perl - 1992
12 Formal Verification of Communication Protocols - Smith - 1996 ACM DBLP
7 VIII-th Workshop on Protocol Specification (context) - Pageot, Jard et al. - 1988
6 Special issue on Conformance Testing (context) - Rayner, testing et al. - 1987
5 NTE - The UCL Network Text Editor (context) - Handley - 1996
5 Technical Report 97-654 of the Computer Science Department (context) - Helmy, on et al.
4 Protocol Independent Multicast-Sparse Mode (context) - Helmy - 1997
4 Hierarchical PIM-SM Architecture for Inter-Domain Multicast .. - Deering, Fenner et al. - 1995
4 Built-In Self-Test: Assuring System Integrity (context) - Konemann, Bennetts et al. - 1996 DBLP
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/usc.edu.html): More
A Fast Asynchronous Algorithm for Linear Feature.. - Chung, Prasanna, Wang (1995) (Correct)
Weak Tau Approximations for Distributed Parameter Systems in.. - Banks, Wade (1991) (Correct)
Combining Assembly Planning with Redesign: An Approach for.. - Lee, Kim, Bekey (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC