Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary. - Anh T. V. Nguyen; Mizuhito Ogawa (SoICT, 2022)