The growing phenomenon of Malaysian musical theatre productions with a Buddhist theme

by Loo, Fung Ying, Loo, Fung Chiat, Tee, Xiao Hao
Published 2014

TLV: Abstraction through testing, learning, and validation

by SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
Published 2015

TzuYu: Learning stateful typestates

by XIAO, Hao, SUN, Jun, LIU, Yang, LIN, Shang-Wei, SUN, Chengnian
Published 2013

sCompile: Critical path identification and analysis for smart contracts

by CHANG, Jialiang, GAO, Bo, XIAO, Hao, SUN, Jun, CAI, Yan, YANG, Zijiang
Published 2019

Detection and classification of malicious JavaScript via attack behavior modelling

by XUE, Yinxing, WANG, Junjie, LIU, Yang, XIAO, Hao, SUN, Jun, CHANDRAMOHAN, Mahinthan
Published 2015

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

by LIN, Shang-Wei, SUN, Jun, XIAO, Hao, LIU, Yang, SANA, David, HANSEN, Henri
Published 2017

Improving quality of use case documents through learning and user interaction

by LIU, Shuang, SUN, Jun, XIAO, Hao, WADHWA, Bimlesh, DONG, Jin Song, WANG, Xinyu
Published 2016