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