Primary tabs

Most recent publications

T. Ma, S. Ali and T. Yue

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

Software and Systems Modeling (2018): 1-31.
Journal Article
2018
View
T. Ma, S. Ali, T. Yue and M. Elaasar

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

Software Quality Journal (2018).
Journal Article
2018
View
T. Ma, S. Ali, T. Yue and M. Elaasar

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

In The 29th International Conference on Testing Software and Systems. LNCS, 2017.
Proceedings, refereed
2017
View

Projects

MBT4CPS

MBT4CPS: Model-Based Testing For Cyber-Physical Systems

Find publication

Status

Departments

Publication type

Year published

Export 6 results:
2018

Journal articles

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

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

Software Quality Journal (2018).
Status: Accepted
T. Ma, S. Ali and T. Yue

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

Software and Systems Modeling (2018): 1-31.
Status: Published
2017

Proceedings, refereed

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

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

In The 29th International Conference on Testing Software and Systems. LNCS, 2017.
Status: Published

Technical reports

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

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

Simula Research Laboratory, 2017.
Status: Published
2016

Technical reports

T. Ma, S. Ali and T. Yue

Conceptually Understanding Uncertainty in Self-Healing Cyber-Physical Systems

Simula Research Laboratory, 2016.
Status: Published
T. Ma, S. Ali and T. Yue

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

Simula Research Laboratory, 2016.
Status: Published