Ahmed Helmy, Deborah Estrin  Home/Search
Context Related
| usc.edu/ahelmy/str...tssubmitted.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: usc.edu/~helmy/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this work, we propose a method for using simulation to analyze the robustness of multiparty (multicastbased) protocols in a systematic fashion. We call our method Systematic Testing of Robustness by Examination of Selected Scenarios (STRESS). STRESS aims to cut the time and effort needed to explore pathological cases of a protocol during its design. This paper has two goals: (1) to describe the method, and (2) to serve as a case study of robustness analysis of multicast routing protocols. We ... (Update)
Context of citations to this paper: More
...STRESS is a methodology developed for the systematic testing and verification of multipoint protocols. The algorithms developed in [1] are able to generate topologies and sequences of events that rigorously test the correctness or performance of the protocol. The STRESS...
...are given as input to the method. In this paper we address performance criteria, correctness has been addressed in previous studies [14, 15]. The algorithm operates on the specified model and synthesizes a set of test scenarios ; protocol events and relations between...
Cited by: More
The STRESS Method for Boundary-Point - Performance Analysis Of (Correct)
Systematic Performance Evaluation of Multipoint Protocols - Helmy, Gupta, Estrin.. (2000) (Correct)
Systematic Performance - Evaluation Of Multipoint (Correct)
Similar documents (at the sentence level):
50.5%: Simulation-based `STRESS' Testing Case Study: A Multicast.. - Helmy, Estrin (1998) (Correct)
48.0%: `STRESS' Testing Applied to a Multicast Routing Protocol - Helmy, Estrin (1997) (Correct)
37.8%: Systematic Testing of Multicast Protocol Robustness - Helmy (1997) (Correct)
Active bibliography (related documents): More All
0.7: Virtual InterNetwork Testbed: Status and Research Agenda - Bajaj, Breslau, Estrin.. (1998) (Correct)
0.2: Flexible Simulation of Distributed Protocols for Mobile Computing - Rocha, Endler (2000) (Correct)
0.2: Worst Case Performance Analysis of Wireless Ad-hoc Routing.. - Yu, Estrin, Gupta (2000) (Correct)
Similar documents based on text: More All
0.5: Fault-oriented Test Generation for Multicast Routing - Helmy, Estrin, Gupta (1998) (Correct)
0.5: `STRESS' Testing using Reduced Reachability Analysis: A.. - Helmy, Estrin, Gupta (Correct)
0.3: Fault-oriented Test Generation for Multicast Routing.. - Helmy, Estrin, Gupta (1998) (Correct)
Related documents from co-citation: More All
13: Protocol verification using reachability analysis: the state space explosion pro.. (context) - Lin, Chu et al. - 1987
12: Formal methods: State of the art and future directions - Clarke, Wing - 1996
11: Faultoriented test generation for multicast routing protocol design - Helmy, Estrin et al. - 1998
BibTeX entry: (Update)
A. Helmy and D. Estrin. Simulation-based STRESS Testing Case Study: A Multicast Routing Protocol. Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '98), July 1998. http://citeseer.ist.psu.edu/helmy98simulationbased.html More
@inproceedings{ helmy98simulationbased,
author = "Ahmed Helmy and Deborah Estrin",
title = "Simulation-based '{STRESS}' Testing Case Study: A Multicast Routing Protocol",
booktitle = "{MASCOTS}",
pages = "36-43",
year = "1998",
url = "citeseer.ist.psu.edu/helmy98simulationbased.html" }
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1990
334 A Computational Logic Handbook (context) - Boyer, Moore - 1988
308 Digital Systems Testing and Testable Design (context) - Abramovici, Breuer et al. - 1990
227 Formal Methods: State of the Art and Future Directions - Clarke, Wing - 1996
169 Protocol Independent Multicast - Sparse Mode (context) - Estrin, Farinacci et al. - 1997
94 Using partial orders to improve automatic verification metho.. (context) - Godefroid - 1990
49 Protocol Verification using Reachability Analysis: state exp.. (context) - Lin, Chu et al. - 1987
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
5 STRESS' Testing Case Study: A Multicast Routing Protocol (context) - Helmy, Estrin - 1998
2 Systematic Testing of Multicast Protocol Robustness - Helmy - 1997
1 Protocol Independent Multicast (context) - Helmy - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ceng.usc.edu/~helmy/): More
A Multicast-based Protocol for IP Mobility Support - Helmy (Correct)
Advances in Network Simulation - Breslau, Estrin (2000) (Correct)
PIM Multicast Border Router (PMBR) specification for.. - Estrin, Helmy, Thaler (1997) (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