Property based fuzz testing in the cloud? (As an approximation?)