Enhancing symbolic execution with veritesting

Document Details

Document Type
Pub Defense Publication
Publication Date
May 23, 2016
Source ID
10.1145/2927924

Entities

People

  • Alexandre Rebert
  • David Brumley
  • Sang Kil Cha
  • Thanassis Avgerinos

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • National Science Foundation