| 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 |
By thinking constantly about it…
