Back to Results
First PageMeta Content
Software engineering / Automated theorem proving / Concolic testing / Symbolic execution / KeY / X86 / Parallel computing / Function / Type system / Mathematics / Computing / Data types


Unleashing Mayhem on Binary Code
Add to Reading List

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

Open Document

File Size: 843,12 KB

Share Result on Facebook
UPDATE