Boosting concolic testing via interpolation

  title={Boosting concolic testing via interpolation},
  author={Joxan Jaffar and Vijayaraghavan Murali and Jorge A. Navas},
  booktitle={ESEC/SIGSOFT FSE},
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. We propose a new and complementary method based on… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 30 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…