TLV: Abstraction through testing, learning, and validation

由 SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
出版 2015

TzuYu: Learning stateful typestates

由 XIAO, Hao, SUN, Jun, LIU, Yang, LIN, Shang-Wei, SUN, Chengnian
出版 2013

sCompile: Critical path identification and analysis for smart contracts

由 CHANG, Jialiang, GAO, Bo, XIAO, Hao, SUN, Jun, CAI, Yan, YANG, Zijiang
出版 2019

Detection and classification of malicious JavaScript via attack behavior modelling

由 XUE, Yinxing, WANG, Junjie, LIU, Yang, XIAO, Hao, SUN, Jun, CHANDRAMOHAN, Mahinthan
出版 2015

FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

由 LIN, Shang-Wei, SUN, Jun, XIAO, Hao, LIU, Yang, SANA, David, HANSEN, Henri
出版 2017

Improving quality of use case documents through learning and user interaction

由 LIU, Shuang, SUN, Jun, XIAO, Hao, WADHWA, Bimlesh, DONG, Jin Song, WANG, Xinyu
出版 2016