Finding Code That Explodes Under Symbolic Evaluation [pdf]unsat.cs.washington.edu6 pointslainon8 years ago