Model Checking Guided Testing for Distributed Systems.

Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang

Browse the full EuroSys paper archive.