%0 Conference Paper %1 conf/eurosys/LukmanKSSKSPTYL19 %A Lukman, Jeffrey F. %A Ke, Huan %A Stuardo, Cesar A. %A Suminto, Riza O. %A Kurniawan, Daniar Heri %A Simon, Dikaimin %A Priambada, Satria %A Tian, Chen %A Ye, Feng %A Leesatapornwongsa, Tanakorn %A Gupta, Aarti %A Lu, Shan %A Gunawi, Haryadi S. %B EuroSys %D 2019 %E Candea, George %E van Renesse, Robbert %E Fetzer, Christof %I ACM %K dblp %P 20:1-20:16 %T FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. %U http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#LukmanKSSKSPTYL19 %@ 978-1-4503-6281-8

@inproceedings{conf/eurosys/LukmanKSSKSPTYL19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lukman, Jeffrey F. and Ke, Huan and Stuardo, Cesar A. and Suminto, Riza O. and Kurniawan, Daniar Heri and Simon, Dikaimin and Priambada, Satria and Tian, Chen and Ye, Feng and Leesatapornwongsa, Tanakorn and Gupta, Aarti and Lu, Shan and Gunawi, Haryadi S.}, biburl = {https://www.bibsonomy.org/bibtex/22f7c602a019ba5e1f53259fc145f44f5/dblp}, booktitle = {EuroSys}, crossref = {conf/eurosys/2019}, editor = {Candea, George and van Renesse, Robbert and Fetzer, Christof}, ee = {https://doi.org/10.1145/3302424.3303986}, interhash = {87bde9f35c85a88a0f95e8ce585a8d18}, intrahash = {2f7c602a019ba5e1f53259fc145f44f5}, isbn = {978-1-4503-6281-8}, keywords = {dblp}, pages = {20:1-20:16}, publisher = {ACM}, timestamp = {2024-04-10T04:06:07.000+0200}, title = {FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#LukmanKSSKSPTYL19}, year = 2019 }