SymCrash: selective recording for reproducing crashes
Symbolic execution and program testing