![](/img/cover-not-exists.png)
Randomized testing of distributed systems with probabilistic guarantees
Ozkan, Burcu Kulahcioglu, Majumdar, Rupak, Niksic, Filip, Befrouei, Mitra Tabaei, Weissenbacher, GeorgVolume:
2
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3276530
Date:
October, 2018
File:
PDF, 442 KB
english, 2018