Temporal White-Box Testing Using Evolutionary Algorithms | IEEE Conference Publication | IEEE Xplore