"Symbooglix: A Symbolic Execution Engine for Boogie Programs."

Daniel Liew, Cristian Cadar, Alastair F. Donaldson (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics