A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

@inproceedings{Liu14,
  author    = {Tianhai Liu and
               Mateus Ara{\'{u}}jo and
               Marcelo d'Amorim and
               Mana Taghdiri},
  editor    = {Eran Yahav},
  title     = {A Comparative Study of Incremental Constraint Solving Approaches in
               Symbolic Execution},
  booktitle = {10th International Haifa Verification Conference on Hardware and Software: Verification and Testing ({HVC} 2014)},
  venue     = {Haifa, Israel},
  eventdate = {2014-11-18/2014-11-20},
  series    = {Lecture Notes in Computer Science},
  volume    = {8855},
  pages     = {284--299},
  doi       = {10.1007/978-3-319-13338-6\_21},
  publisher = {Springer},
  year      = {2014}
}