dBug: Systematic Evaluation of Distributed Systems

Abstract: 
BibTeX
@inproceedings {267119,
author = {Jiri Simsa and Randy Bryant and Garth Gibson},
title = {{dBug}: Systematic Evaluation of Distributed Systems},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/dbug-systematic-evaluation-distributed-systems},
publisher = {USENIX Association},
month = oct
}