.


    Home    

FlyMC

The code is available soon.

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}
}