XSat: A Fast Floating-Point Satisfiability Solver
search - based software test data generation : a survey .