Using model checker and replay facility to debug complex distributed system.

Xuezheng Liu, Aimin Pan, Wei Lin, Zheng Zhang

Browse the full SOSP paper archive.