Randomized Testing of Distributed Systems with Probabilistic Guarantees (bibtex)
by Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
Reference:
Randomized Testing of Distributed Systems with Probabilistic GuaranteesBurcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg WeissenbacherPACMPL, volume 2, number OOPSLA, 2018.Note: OOPSLA Distinguished paper award
Bibtex Entry:
@article{OzkanMNTW18,
  author    = {Burcu Kulahcioglu Ozkan and Rupak Majumdar and Filip Niksic
               and Mitra Tabaei Befrouei and Georg Weissenbacher},
  title     = {Randomized Testing of Distributed Systems with Probabilistic Guarantees},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{OOPSLA}},
  year      = {2018},
  url       = {http://forsyte.at/wp-content/uploads/oopsla18main-p225-p-682d101-38832-final.pdf},
	note      = {OOPSLA Distinguished paper award}
}
Powered by bibtexbrowser