Primary tabs

Most recent publications

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
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.
Proceedings, refereed
2018
View
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) ., 2018.
Proceedings, refereed
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 220 results:
2018

Journal articles

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 (2018).
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)., 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) ., 2018.
Status: Accepted

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

Technical reports

D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

Employing Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

Simula Research Laboratory, 2018.
Status: Published
D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Automated Test Case Implantation to Test Untested Configurations: A Cost-Effective Search-Based Approach

Simula, 2018.
Status: Published