João Antunes Nuno Ferreira Neves Paulo Veríssimo Detection and Prediction of Resource-Exhaustion Vulnerabilities. 87-96 2008 ISSRE http://dx.doi.org/10.1109/ISSRE.2008.47 conf/issre/2008 db/conf/issre/issre2008.html#AntunesNV08