SAMC
The code is available at
https://github.com/ucare-uchicago/SAMC
.
Paper and Citation
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
[OSDI '14]
Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems
[ISSTA '15]
Tanakorn Leesatapornwongsa, Haryadi S. Gunawi
If our tool is useful for your research, we would appreciate
if you cite
our SAMC paper above.
Here is the bib entry:
@InProceedings{Leesatapornwongsa+14-Samc,
Author = {Tanakorn Leesatapornwongsa and Mingzhe Hao and Pallavi Joshi
and Jeffrey F. Lukman and Haryadi S. Gunawi},
Title = "{SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems}",
Booktitle = {Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation (OSDI)},
Address = {Broomfield, CO},
Month = {October},
Year = {2014}
}
|