WiDS Checker: Combating Bugs in Distributed Systems

Title{WiDS} Checker: Combating Bugs in Distributed Systems
Publication TypeConference Paper
Year of Publication2007
AuthorsLiu X, Lin W, Pan A, Zhang Z
Conference Name4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07)
Date Published04/2007
PublisherUSENIX Association
Conference LocationCambridge, MA
URLhttps://www.usenix.org/conference/nsdi-07/wids-checker-combating-bugs-distributed-systems