First Page | Document Content | |
---|---|---|
Date: 2014-05-29 15:38:01Software engineering Automated theorem proving Concolic testing Symbolic execution KeY X86 Parallel computing Function Type system Mathematics Computing Data types | Unleashing Mayhem on Binary CodeAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source WebsiteFile Size: 843,12 KBShare Document on Facebook |