Showing results 2 to 4 of 4
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 |
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