Primary tabs

Most recent publications

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
S. Ali, T. Yue and R. Abreu

First International Workshop on Verification and Validation of Internet of Things

IEEE, 2018.
Edited books
2018
View

News

21 December 2020

Two Simula projects funded by the Research Council of Norway

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 20 results:
2018

Journal articles

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) . IEEE, 2018.
Status: Published
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
M. Weninger, P. Grünbacher, H. Zhang, T. Yue and S. Ali

Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment

In The 25th Asia-Pacific Software Engineering Conference (APSEC 2018) . IEEE, 2018.
Status: Published

Talks, keynote

S. Ali

Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms

In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018. SCITEPRESS Digital Library, 2018.
Status: Published