An Input Space Modeling Method for Software Testing Considering Timing | IEEE Conference Publication | IEEE Xplore