The FaultCheck tool with ScalaCheck tests and a use case where ScalaCheck is used. - View it on GitHub