@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 }