Symbolic Gas Vulnerability Detection and Attack Synthesis. - Min Hao Peng; Fang Yu 001; Jie-Hong Roland Jiang (PACIS, 2020)