Chopped symbolic execution

David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar

Abstract

Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known path explosion problem and constraint solving limitations.

BibTeX

@inproceedings{Trabish-al:ICSE18,
  author    = {David Trabish and
               Andrea Mattavelli and
               Noam Rinetzky and
               Cristian Cadar},
  title     = {Chopped symbolic execution},
  booktitle = {ICSE},
  pages     = {350--360},
  publisher = {{ACM}},
  year      = {2018},
}

Chopped symbolic execution

Abstract

Related papers