Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2014/12/04/close-encounters-with-symbolic-execution-part-2/
Close Encounters with Symbolic Execution (Part 2)