Alshraideh, Mohammad, "Use of program and data-specific heuristics for automatic software test data generation", , 2007