A rule-based software test data generator | IEEE Journals & Magazine | IEEE Xplore