A Test Data Generation Method for C/C++ Projects
Symbolic execution and program testing