A System to Verify Network Behavior of Known Cryptographic Clients.
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs