Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.

Guoqiang Shu, David Lee

Browse the full ICDCS paper archive.