Zen-RUCM and Restricted Test Case Specification and Generation (RTCM)

Zen-RUCM and Restricted Test Case Specification and Generation (RTCM)

Authors
T. Yue and M. Zhang