You might be interested in Rehearsal: https://people.cs.umass.edu/~arjun/main/papers/2016-rehearsal.html https://people.cs.umass.edu/~arjun/main/papers/2016-re

You might be interested in Rehearsal: https://people.cs.umass.edu/~arjun/main/papers/2016-rehearsal.html https://people.cs.umass.edu/~arjun/main/papers/2016-rehearsa...