Comment by john2x

There was a talk from Joe Armstrong about using property testing to test Dropbox.