| Authors | T. Ma, S. Ali and T. Yue |
| Title | Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems |
| Afilliation | Software Engineering |
| Project(s) | Co-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems |
| Status | Published |
| Publication Type | Talks, contributed |
| Year of Publication | 2020 |
| Location of Talk | IEEE International Conference on Software Testing, Verification and Validation (ICST 2020) |
| Type of Talk | Journal First Presentation |
| Citation Key | 27408 |
