Tao Ma

T. Ma, S. Ali and T. Yue

Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study

Empirical Software Engineering

T. Ma

Executable Model Based Testing for Self-Healing Cyber-Physical Systems Under Uncertainty

University of Oslo

T. Ma, S. Ali and T. Yue

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)

T. Ma, S. Ali, T. Yue and M. Elaasar

Testing Self-Healing Cyber-Physical Systems under Uncertainty: A Fragility-Oriented Approach

Software Quality Journal

T. Ma, S. Ali and T. Yue

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

Software and Systems Modeling

T. Ma, S. Ali, T. Yue and M. Elaasar

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

The 29th International Conference on Testing Software and Systems

T. Ma, S. Ali, T. Yue and M. Elaasar

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

T. Ma, S. Ali and T. Yue

Conceptually Understanding Uncertainty in Self-Healing Cyber-Physical Systems

T. Ma, S. Ali and T. Yue

Modeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated Testing