Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration. - Siyi Gu; Xiaoqiang Liu; Hui Guo; Bochun Cao; Baiyan Li; Lizhi Cai; Hu Yun (TASE, 2024)