Bibliography
[Suda16] Suda, A. Tackling non-determinism in Hadoop, Fosdem, 2016.
Introduces Earthquake is a programmable fuzzy scheduler for testing real implementations of distributed system (such as ZooKeeper), and covers how it's found problems in Hadoop.
[Lees14] Leesatapornwongsa et al, SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud, Usenix, 2014. systems
Model-Based Testing of Global Properties on Large-Scale Distributed Systems
Information and Software Technology (Impact Factor: 1.05). 07/2014; 56(7). DOI: 10.1016/j.infsof.2014.02.002
[Ulrich99] Test architectures for testing distributed system
https://www.researchgate.net/publication/221047003_Architectures_for_Testing_Distributed_Systems
Ulrich, A.W., Zimmerer, P. and Chrobok-Diening, G., 1999. Test architectures for testing distributed systems. In Proceedings of the 12th International Software Quality Week.
DOI: 10.1007/978-0-387-35567-2_7