Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2018/05/03/state-machine-testing-with-echidna/
State Machine Testing with Echidna