Symbolic Execution as DPLL Modulo Theories

Quoc-Sang Phan. Symbolic Execution as DPLL Modulo Theories. In Rumyana Neykova, Nicholas Ng, editors, 2014 Imperial College Computing Student Workshop, ICCSW 2014, September 25-26, 2014, London, United Kingdom. Volume 43 of OASICS, pages 58-65, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Abstract

Abstract is missing.