Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Tianhai Liu, Mateus Araújo, Marcelo d'Amorim und Mana Taghdiri
In:10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:8855
Jahr:2014
Seiten: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)},
  place     = {Haifa, Israel},
  date      = {November 18-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}
}