Nighthawk: a two-level genetic-random unit test data generator