Al Moubayed, N., & Windisch, A. (2009, April). Temporal White-Box Testing Using Evolutionary Algorithms. Presented at 2009 International Conference on Software Testing, Verification, and Validation Workshops, Denver, CO