Authors | M. Zhang, S. Ali and T. Yue |
Title | Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems |
Afilliation | Software 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 |
Status | Published |
Publication Type | Journal Article |
Year of Publication | 2019 |
Journal | Journal of Systems and Software |
Volume | 153 |
Date Published | 07/2019 |
Publisher | Elsevier |
Citation Key | 26487 |