Efficient Strategies for Automated Unit Testing of Time-Dependent Code