SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems.

Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi

Browse the full OSDI paper archive.