Fu Song, Tayssir Touili
PoMMaDe: pushdown model-checking for malware detection
ESEC-FSE, 2013.
@inproceedings{ESEC-FSE-2013-SongT,
author = "Fu Song and Tayssir Touili",
booktitle = "{Proceedings of the Joint Meeting of the 14th European Software Engineering Conference and the 21th Symposium on the Foundations of Software Engineering}",
doi = "10.1145/2491411.2494599",
editor = "Bertrand Meyer and Luciano Baresi and Mira Mezini",
isbn = "978-1-4503-2237-9",
pages = "607--610",
publisher = "{ACM}",
title = "{PoMMaDe: pushdown model-checking for malware detection}",
year = 2013,
}