"Targeting Infeasibility Questions on Obfuscated Codes."

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