Author:
Trac Quang Thinh,Ogawa Mizuhito
Publisher
Springer International Publishing
Reference14 articles.
1. Lecture Notes in Computer Science;S Anand,2007
2. Anthony, R.: Methods for binary symbolic execution. Ph.D Dissertation, Stanford University, December 2014
3. Bonfante, G., Fernandez, J., Marion, J.Y., Rouxel, B., Sabatier, F., Thierry, A.: CoDisasm: medium scale concatic disassembly of self-modifying binaries with overlapping instructions. In: ACM SIGSAC, pp. 745–756 (2015)
4. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI (2009)
5. Cha, S.K., Avgerinos, T., Rebert, A., Brumley, D.: Unleashing Mayhem on binary code. In: IEEE S&P, pp. 380–394 (2012)