Boosting concolic testing via interpolation
Compositional dynamic test generation