TY  - RPRT
TI  - A Test Generation Framework for Distributed Fault-Tolerant Algorithms
AU  - Goodloe, Alwyn
AU  - Bushnell, David
AU  - Miner, Paul
AU  - Pasareanu, Corina S.
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090025485
ID  - 20090025485
ER  -