Incorporating Design Knowledge Into Genetic Algorithm-Based White-Box Software Test Case Generators