Pushdown model checking for malware detection. - Song, Fu; Touili, Tayssir (International Journal on Software Tools for Technology Transfer, 2014)