@misc{indiciae15e67a608dd5,
  title = {Systematic Testing of Multicast Routing Protocols: Analysis of Forward and Backward Search Techniques},
  author = {Ahmed Helmy and Deborah Estrin and Sandeep Gupta},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0007005},
  note = {Source identifier: cs/0007005}
}