User: Guest  Login
Title:

MACKE: compositional analysis of low-level vulnerabilities with symbolic execution

Document type:
Konferenzbeitrag
Author(s):
Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias
Pages contribution:
780--785
Keywords:
tool, testing
Book / Congress title:
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
Year:
2016
Print-ISBN:
978-1-4503-3845-5
Fulltext / DOI:
doi:http://dx.doi.org/10.1145/2970276.2970281
 BibTeX