Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias 
Titel:
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution 
Seitenangaben Beitrag:
780--785 
Stichworte:
tool, testing 
Kongress- / Buchtitel:
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering 
Jahr:
2016 
Print-ISBN:
978-1-4503-3845-5