Showing results 3 to 6 of 6
Enhancing Symbolic Execution with Veritesting Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David, International Conference on Software Engineering, IEEE Computer Society and ACM SIGSOFT, 2014-06-06 |
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 |
Optimizing Seed Selection for Fuzzing Rebert, Alexandre; Cha, Sang Kil; Avgerinos, Thanassis; Foote, Jonathan; Warren, David; Grieco, Gustavo; Brumley, David, USENIX Security Symposium, USENIX Association, 2014-08-22 |
Unleashing Mayhem on Binary Code Cha, Sang Kil; Avgerinos, Thanassis; Rebert, Alexandre; Brumley, David, IEEE Symposium on Security and Privacy, IEEE, 2012-05-02 |
Discover