Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Conference object OPEN
Deligiannis, P; McCutchen, M; Thomson, P; Chen, S; Donaldson, AF; Erickson, J; Huang, C; Lal, A; Mudduluru, R; Qadeer, S; Schulte, W;
  • Publisher: USENIX

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such a... View more
Share - Bookmark