Scribble is a specification language for smart contracts where you write properties as annotations in your code. These annotations can be translated into checks which raise log events at run-time whenever a specified property is violated. Fuzzing as a service can detect these log events and tell you exactly which property is violated.