Boosting concolic testing via interpolation - Jaffar, J. (2014)
10.1145/2491411.2491425