Cyber Grand Challenge: Using Autonomous Bots to Hunt Software Bugs