Boosting concolic testing via interpolation
Automated Whitebox Fuzz Testing