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)
http://dx.doi.org/10.1145/3276530
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_275722.pdf
Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Created from the Publication Database of the Vienna University of Technology.