@misc{indiciae6b270f36a424,
  title = {A Test Generation Framework for Distributed Fault-Tolerant Algorithms},
  author = {Goodloe, Alwyn and Bushnell, David and Miner, Paul and Pasareanu, Corina S.},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20090025485},
  note = {Source identifier: 20090025485}
}