Scribble
Scribble is a build tool managed by ConsenSys that allows access to properties of Solidity contracts for testing purposes. Developers can utilize Scribble to convert smart contracts into a specification language that allows code access to symbolic execution and fuzzing, among various other tests. Scribble can be utilized alongside other testing tools like MythX.
