@misc{14851,
  author = {Tao Yue and Man Zhang},
  title = {Zen-RUCM and Restricted Test Case Specification and Generation (RTCM)},
  year = {2017},
  journal = {Huawei 2012 Lab at Beijing, China},
}