Randomized Testing of Distributed Systems with Probabilistic Guarantees

Ozkan, Burcu K.; Majumdar, Rupak; Niksic, Filip; Befrouei, Mitra Tabaei; Weissenbacher, Georg

doi:10.1145/3276530

Local TagsRelease HistoryDetailsSummary

Randomized Testing of Distributed Systems with Probabilistic Guarantees

Ozkan, B. K., Majumdar, R., Niksic, F., Befrouei, M. T., & Weissenbacher, G. (2018). Randomized Testing of Distributed Systems with Probabilistic Guarantees. Proceedings of the ACM on Programming Languages, 2(OOPSLA): 160, pp. 1-28. doi:10.1145/3276530.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0003-227E-A Version Permalink: https://hdl.handle.net/21.11116/0000-0003-227F-9

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ozkan, Burcu K.¹, Author
Majumdar, Rupak¹, Author
Niksic, Filip¹, Author
Befrouei, Mitra Tabaei², Author
Weissenbacher, Georg², Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1145/3276530
BibTex Citekey: Ozkan_OOPSLA2018

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the ACM on Programming Languages

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: 2 (OOPSLA) Sequence Number: 160 Start / End Page: 1 - 28 Identifier: ISSN: 2475-1421