Anh T. V. Nguyen, Mizuhito Ogawa. Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary. In The 11th International Symposium on Information and Communication Technology, SoICT 2022, Hanoi, Vietnam, December 1-3, 2022. pages 352-359, ACM, 2022. [doi]
Abstract is missing.