A Test Data Generation Method for C/C++ Projects
Z3: An Efficient SMT Solver