Testudo: Heavyweight security analysis via statistical sampling.

Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie

Browse the full MICRO paper archive.