Multi-solver Support in Symbolic Execution release_bdlvv4rj75hm3cloqaefhqmc4q

by Hristina Palikareva, Cristian Cadar

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2013   p53-68

Archived Files and Locations

application/pdf  342.8 kB
file_jqc6x4nbhbevndqllr22vpxi2e
link.springer.com (publisher)
web.archive.org (webarchive)
application/pdf  91.0 kB
file_mb3etnv3ire65axqamijow3mwu
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
ceur-ws.org (web)
application/pdf  404.7 kB
file_oq6b4req2neffateoppqontlca
smt2014.it.uu.se (web)
web.archive.org (webarchive)
application/pdf  390.0 kB
file_eiqjg7l24bap5mqo4wmq6zwrhe
web.archive.org (webarchive)
srg.doc.ic.ac.uk (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2013
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d197705b-f481-4815-8cd1-d4ce6fa3d4de
API URL: JSON