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

05 June 2018

Yan Li defended her PhD

On Tuesday June 5th, 2018, Yan Li successfully defended her PhD thesis Research on "Requirements Support for Enabling Automated Reuse and Configuration for Product Line". The defense took...
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:
2018

Proceedings, refereed

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 Research Laboratory, 2018.
Status: Published
S. A. Safdar, T. Yue, S. Ali and H. Lu

Employing Multi-Objective Search and Machine Learning to Mine Cross Product Line Rules – A Technical Report

Oslo, Norway: Simula Research Laboratory, 2018.
Status: Published

Talks, invited

S. Ali

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

In DNV-GL, Trondheim, Norway., 2018.
Status: Published
S. Ali

Practical Cyber-Physical Systems Testing: Results and Future Directions

In The 7th Workshop of Advanced Software Engineering, Gold Coast, Australia., 2018.
Status: Published

Talks, contributed

S. Ali

Testing Cyber-Physical Systems with Machine Learning and Search Algorithms

In National Institute of Informatics, Tokyo, Japan., 2018.
Status: Published
S. Ali

Search-based Test Optimization: A Very Short Introduction

In ERATO MMSD Summer Camp, National Institute of Informatics, Japan., 2018.
Status: Published
S. Ali and T. Yue

Search-based Test Optimization for Software Systems

In GECCO 2018, Kyoto, Japan., 2018.
Status: Published