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