Back to Results
First PageMeta Content
Mathematics / Formal methods / Edsger W. Dijkstra / Predicate transformer semantics / Errors and residuals / Function / Science and technology


Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U
Add to Reading List

Document Date: 2014-05-29 15:38:01

Open Document

File Size: 162,98 KB

Share Result on Facebook
UPDATE