Boosting concolic testing via interpolation

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas

Abstract

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.

BibTeX

@inproceedings{Jaffar-al:FSE13,
  author    = {Joxan Jaffar and
               Vijayaraghavan Murali and
               Jorge A. Navas},
  title     = {Boosting concolic testing via interpolation},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {48--58},
  publisher = {{ACM}},
  year      = {2013},
}

Boosting concolic testing via interpolation

Abstract

Related papers