Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
OSDI, 2014.
@inproceedings{OSDI-2014-LeesatapornwongsaHJLG,
author = "Tanakorn Leesatapornwongsa and Mingzhe Hao and Pallavi Joshi and Jeffrey F. Lukman and Haryadi S. Gunawi",
booktitle = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
ee = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/leesatapornwongsa",
pages = "399--414",
publisher = "{USENIX Association}",
title = "{SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems}",
year = 2014,
}