A Modbus/TCP Fuzzer for testing internetworked industrial systems
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs