quickcheck + black box fault injection - View it on GitHub