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
Type of TalkInvited Talk
Citation Key25732