Concolic testing
Symbolic execution and program testing