Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. - Ningyu He; Zhehao Zhao; Jikai Wang; Yubin Hu 003; Shengjian Guo; Haoyu Wang 001; Guangtai Liang; Ding Li 001; Xiangqun Chen; Yao Guo 001 (ISSTA, 2023)