SECFUZZ: Fuzz-testing security protocols
Automated Whitebox Fuzz Testing