![Theoretical computer science / Automated theorem proving / Concolic testing / Symbolic execution / KeY / Parallel computing / X86 / Type system / Algorithm / Data types / Formal methods / Computing Theoretical computer science / Automated theorem proving / Concolic testing / Symbolic execution / KeY / Parallel computing / X86 / Type system / Algorithm / Data types / Formal methods / Computing](https://www.pdfsearch.io/img/bc9dd871a1efacf7ff965706c3a0f417.jpg) Date: 2012-09-22 22:22:15Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing | | Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.eduAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source Website File Size: 414,91 KBShare Document on Facebook
|