KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1007/978-3-319-13338-6_21

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

Liu, T.; Araujo, M.; D'Amorim, M.; Taghdiri, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-3-319-13337-9
ISSN: 0302-9743
KITopen ID: 1000045880
Erschienen in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference (HVC'14), Haifa, Israel, November 18-20, 2014. Ed.: E. Yahav
Verlag Springer, New York (NY)
Seiten 284-299
Serie Lecture Notes in Computer Science ; 8855
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page