User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias 
Title:
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution 
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