Proving memory safety of the ANI windows image parser using compositional exhaustive testing

Thumbnail
Metadata only
Author
Christakis, Maria
Godefroid, Patrice
Date
2015
Type
    Conference Paper
Publication status
published
External links
Book title
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
Journal / series
Lecture Notes in Computer Science
Volume
8931
Pages / Article No.
373 - 392
Publisher
Springer
Event
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Mumbai, India, January 12-14, 2015
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
Citations
Cited 6 times in Web of Science
Cited 8 times in Scopus
ETH Bibliography
yes
Altmetrics