Evaluation of string constraint solvers in the context of symbolic execution

Abstract

Symbolic execution tools query constraint solvers for tasks such as determining the feasibility of program paths. Therefore, the effectiveness of such tools depends on their constraint solvers.

BibTeX

@inproceedings{Kausler-Sherman:ASE14,
  author    = {Scott Kausler and
               Elena Sherman},
  title     = {Evaluation of string constraint solvers in the context of symbolic execution},
  booktitle = {ASE},
  pages     = {259--270},
  publisher = {{ACM}},
  year      = {2014},
}

Evaluation of string constraint solvers in the context of symbolic execution

Abstract

Related papers