AuthorsT. Yue and M. Zhang
TitleZen-RUCM and Restricted Test Case Specification and Generation (RTCM)
AfilliationSoftware Engineering
Project(s)Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 
StatusPublished
Publication TypeTalks, invited
Year of Publication2017
Location of TalkHuawei 2012 Lab at Beijing, China
Type of TalkInvited Talk
Citation Key25732