Zen-RUCM and Restricted Test Case Specification and Generation (RTCM)AuthorsT. Yue and M. ZhangStatusPublishedPublication typeTalks InvitedYear of publication2017JournalHuawei 2012 Lab at Beijing, ChinaPublisher-Citation key14851Google Scholar BibTex