Showing results 1 to 2 of 2
Automatic Exploit Generation Avgerinos, Thanassis; Cha, Sang Kil; Rebert, Alexandre; Schwartz, Edward J.; Woo, Maverick; Brumley, David, COMMUNICATIONS OF THE ACM, v.57, no.2, pp.74 - 84, 2014-02 |
Enhancing Symbolic Execution with Veritesting Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David, COMMUNICATIONS OF THE ACM, v.59, no.6, pp.93 - 100, 2016-06 |
Discover