FlyMC
To access the FlyMC code, please fill in
this form.
Paper and Citation
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
[EuroSys '19]
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto,
Daniar H. Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian,
Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu,
Haryadi S. Gunawi
If our tool is useful for your research, we would appreciate
if you cite
our FlyMC paper above.
Here is the bib entry:
@InProceedings{Lukman+19-Flymc,
Author = {Jeffrey F. Lukman and Huan Ke and Cesar A. Stuardo and
Riza O. Suminto and Daniar H. Kurniawan and Dikaimin Simon and
Satria Priambada and Chen Tian and Feng Ye and Tanakorn Leesatapornwongsa and
Aarti Gupta and Shan Lu and Haryadi S. Gunawi},
Title = "{FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems}",
Booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019},
Address = {Dresden, Germany},
Month = {March},
Year = {2019}
}
|