"Multi-solver Support in Symbolic Execution."

Hristina Palikareva, Cristian Cadar (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics