@inproceedings{schwartz:2010,
  author    = {Edward J. Schwartz and
               Thanassis Avgerinos and
               David Brumley},
  title     = {All You Ever Wanted to Know about Dynamic Taint Analysis
               and Forward Symbolic Execution (but Might Have Been Afraid
               to Ask)},
  booktitle = {{IEEE} Symposium on Security and Privacy},
  month     = may,
  year      = {2010},
  pages     = {317-331}
}