"Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes."

Sébastien Bardin, Robin David, Jean-Yves Marion (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics