Back to Results
First PageMeta Content
Theoretical computer science / Computing / Software engineering / Automated theorem proving / Concolic testing / Formal methods / Symbolic execution / Parallel computing / Satisfiability modulo theories / KeY / Symbolic / X86


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