A Modbus/TCP Fuzzer for testing internetworked industrial systems
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations