A safe, efficient algorithm for regression test selection | Synapse