Boosting concolic testing via interpolation
Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas · 2013
Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major limitations is path-explosion that limits the generation of high coverage inputs. Since its inception several ideas have been proposed to attack this problem from various angles: defining search heuristics that increase coverage, caching of function summaries, pruning of paths using static/dynamic information etc.