Primary tabs

Most recent publications

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

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

Journal of Systems and Software 153 (2019): 86-104.
Journal Article
2019
View
N. Lee, P. Arcaini, S. Ali and F. Ishikawa

Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach

In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
Proceedings, refereed
2019
View
D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Search-Based Test Case Implantation for Testing Untested Configurations

Information and Software Technology 111 (2019): 22-36.
Journal Article
2019
View
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software (2019).
Journal Article
2019
View

News

26 March 2019

Dipesh Pradhan successfully defended his PhD

On Tuesday, April 2nd, Dipesh Pradhan successfully defended his Ph.D. thesis "Evolutionary Computation Based Test Optimization of Large-Scale Systems". The defense took place at the...
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

Cc-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 228 results:
2019

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 (2019).
Status: Published
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

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

Journal of Systems and Software 153 (2019): 86-104.
Status: Published
D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Search-Based Test Case Implantation for Testing Untested Configurations

Information and Software Technology 111 (2019): 22-36.
Status: Published
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software (2019).
Status: Accepted

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
N. Lee, P. Arcaini, S. Ali and F. Ishikawa

Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach

In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
Status: Accepted
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