Login
- Titel:
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias
- 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
- Volltext / DOI:
- doi:http://dx.doi.org/10.1145/2970276.2970281
BibTeX