You might be interested in Rehearsal:

https://people.cs.umass.edu/~arjun/main/papers/2016-rehearsa...