External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Randomized testing of distributed systems with probabilistic guarantees

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher. Randomized testing of distributed systems with probabilistic guarantees. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]

Authors

Burcu Kulahcioglu Ozkan

This author has not been identified. Look up 'Burcu Kulahcioglu Ozkan' in Google

Rupak Majumdar

This author has not been identified. Look up 'Rupak Majumdar' in Google

Filip Niksic

This author has not been identified. Look up 'Filip Niksic' in Google

Mitra Tabaei Befrouei

This author has not been identified. Look up 'Mitra Tabaei Befrouei' in Google

Georg Weissenbacher

This author has not been identified. Look up 'Georg Weissenbacher' in Google
runs on