WiDS checker: Combating bugs in distributed systems. (2007)

by X Liu, W Lin, A Pan, Z Zhang
Venue:In NSDI,