RaPiD: A toolkit for reliability analysis of non-deterministic systems

by GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
Published 2014

Optimizing selection of competing features via feedback-directed evolutionary algorithms

by TAN, Tian Huat, XUE, Yinxing, CHEN, Manman, SUN, Jun, LIU, Yang, DONG, Jin Song Dong
Published 2015

Verifying linearizability via optimized refinement checking

by LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun, ZHANG, Shao Jie, DONG, Jin Song Dong
Published 2013