9 citations · 26 across the 11 of their papers we have counts for
1 paper · 1 filter
Andrea Borgarelli, Constantin Enea, Rupak Majumdar +1
Bugs in popular distributed protocol implementations have been the source of many downtimes in popular internet services. We describe a randomized testing approach for distributed…