"BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis."

Robin David et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics