Pushdown Model Checking for Malware Detection.

Fu Song, Tayssir Touili

Browse the full TACAS paper archive.