FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
Jeffrey F. Lukman
Huan Ke
1
Cesar A. Stuardo
2
Riza O. Suminto
3
Daniar Heri Kurniawan
4
Dikaimin Simon
5
Satria Priambada
6
Chen Tian
7
Feng Ye
8
Tanakorn Leesatapornwongsa
9
Aarti Gupta
10
Shan Lu
11
Haryadi S. Gunawi
12