etheno (pypi): Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.
Keywords: differential-testing|ethereum|ganache|solidity|symbolic-execution|truffle