On symbolic execution of decompiled programs
Lukáš Korenčik, Petr Ročkai, Henrich Lauko, Jiří Barnat[doi] [Google Scholar] [DBLP] [Citeseer]
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)
Volume
Pages 265-272
Dec 2020
Note(s): symbolic execution
Volume
Pages 265-272
Dec 2020
Note(s): symbolic execution