On Symbolic Execution of Decompiled Programs | IEEE Conference Publication | IEEE Xplore