Scribble is a ConsenSys-managed build tool that provides access to Solidity contracts properties for testing.  Developers can use Scribble to instrument smart contracts into a specification language that exposes code to symbolic execution and fuzzing, among other tests. Scribble can be used in conjunction with other testing tools such as MythX.