AuthorsM. Zhang, S. Ali and T. Yue
TitleUncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems
AfilliationSoftware Engineering
Project(s)U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies, MBT4CPS: Model-Based Testing For Cyber-Physical Systems , Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 
Publication TypeJournal Article
Year of Publication2019
JournalJournal of Systems and Software
Date Published07/2019
Citation Key26487

Contact person