A curated list of awesome symbolic execution resources including essenti...
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and ...