A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

Reviewed Paper In Proceedings

Author(s):Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, and Mana Taghdiri
In:10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:8855
Year:2014
Pages:284-299
DOI:10.1007/978-3-319-13338-6_21

BibTeX

@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}
}