NEO-Fuzz: Naval Embedded Onboard Fuzz-testing System

Following on our participation in the DARPA Cyber Grand Challenge, the NEO-Fuzz project included significant further effort on automated cyber-security reasoning to secure software systems.