corinus/SymExeAndTest

book chapter on symbolic execution and testing