@inproceedings {202595,
	author = {Xuezheng Liu and Wei Lin and Aimin Pan and Zheng Zhang},
	title = {{WiDS} Checker: Combating Bugs in Distributed Systems },
	booktitle = {4th USENIX Symposium on Networked Systems Design \& Implementation (NSDI 07)},
	year = {2007},
	address = {Cambridge, MA},
	url = {https://www.usenix.org/conference/nsdi-07/wids-checker-combating-bugs-distributed-systems},
	publisher = {USENIX Association},
	month = apr
}
