Time-aware test-case prioritization using integer linear programming | Synapse