C test driver generator for concolic testing with reduced false alarm.