Publications in Scientific Journals:

B. Kulahcioglu Ozkan, R. Majumdar, F. Niksic, M. Tabaei Befrouei, G. Weissenbacher:
"Randomized testing of distributed systems with probabilistic guarantees";
Proceedings of the ACM on Programming Languages, 2 (2018), OOPSLA.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung

Created from the Publication Database of the Vienna University of Technology.