A Test Case Generation Scheduling Model Based on Running Event Interval Characteristics | IEEE Journals & Magazine | IEEE Xplore