Primary tabs

Most recent publications

S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa and N. Lee

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

In 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019). ACM, 2019.
Proceedings, refereed
2019
View
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

CBGA-ES+: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization

IEEE Transactions on Software Engineering (2018).
Journal Article
2018
View
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
M. Papadakis, S. Ali and G. Perrouin

Editorial to the Theme Issue on Model-based Testing

Software & Systems Modeling: Springer, 2018.
Edited books
2018
View

News

27 June 2018

Man Zhang defended her PhD

On Tuesday June 26th, Man Zhang successfully defended her PhD thesis "Uncertainty-wise Cyber-Physical Systems Testing". The defense took place at 13.15 at Klasserommet, Simula...
Read more

Projects

MBE-CR

MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System

U-Test logo

U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies

MPM4CPS

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Zen Configurator

Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 

MBT4CPS

MBT4CPS: Model-Based Testing For Cyber-Physical Systems

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 224 results:
2019

Proceedings, refereed

S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa and N. Lee

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

In 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019). ACM, 2019.
Status: Published
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
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

CBGA-ES+: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization

IEEE Transactions on Software Engineering (2018).
Status: Published
M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgren and K. Intxausti

Specifying Uncertainty in Use Case Models

Journal of Systems and Software 144 (2018): 573-603.
Status: Published

Edited books

S. Ali, T. Yue and R. Abreu

First International Workshop on Verification and Validation of Internet of Things

IEEE, 2018.
Status: Published
M. Papadakis, S. Ali and G. Perrouin

Editorial to the Theme Issue on Model-based Testing

Software & Systems Modeling: Springer, 2018.
Status: Published

Proceedings, refereed

A. Iglesias, T. Yue, C. Arellano, S. Ali and G. Sagardui

Model- Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System

In The 25th Asia-Pacific Software Engineering Conference (APSEC 2018) ., 2018.
Status: Accepted
R. Ji, Z. Li, S. Chen, M. Pan, T. Zhang, T. Yue, S. Ali and X. Li

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-based Testing

In 11th IEEE Conference on Software Testing, Validation and Verification. IEEE, 2018.
Status: Published
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

REMAP: Using Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

In 11th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE, 2018.
Status: Published