SECFUZZ: Fuzz-testing security protocols.

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin

Browse the full ICSE paper archive.