Primary tabs

Selected publications

M. Zhang, S. Ali, T. Yue and R. Norgren

Uncertainty-Wise Evolution of Test Ready Models

Information and Software Technology (IST) 87 (2017): 140-159.
Journal Article
2017
View
H. Lu, S. Wang, T. Yue, S. Ali and J. Nygård

Automated Refactoring of OCL Constraints with Search

IEEE Transactions on Software Engineering (TSE) (2017).
Journal Article
2017
View
T. Yue, L. Briand and Y. Labiche

aToucan: an Automated Framework to Derive UML Analysis Models From Use Case Models

ACM Transactions on Software Engineering and Methodology 24, no. 3 (2015): 1-52.
Journal Article
2015
View
H. Zhang, S. Wang, T. Yue, S. Ali and C. Liu

Search and similarity based selection of use case scenarios: An empirical study

Empirical Software Engineering (2017): 1-78.
Journal Article
2017
View

News

29 May 2019
People

Four projects receive funding from IKT pluss

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

Department of Engineering Complex Software Systems

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

Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs

Students under supervision

Available Master's topics

Positions held

University of Oslo

Find publication

Status

Departments

Publication type

Year published

Export 216 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 27, no. 2 (2019): 615-649.
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
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
S. A. Safdar, T. Yue, S. Ali and H. Lu

Using multi-objective search and machine learning to infer rules constraining product configurations

Automated Software Engineering (ASE) Journal (2019).
Status: Published
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software 153 (2019).
Status: Published

Edited books

S. Ali, T. Yue and R. Abreu

Second International Workshop on Verification and Validation of Internet of Things

IEEE, 2019.
Status: Published

Talks, contributed

Y. Li, T. Yue, S. Ali and L. Zhang

Enabling automated requirements reuse and configuration

In 23rd International Systems and Software Product Line Conference. ACM, 2019.
Status: Published
D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Search-based test case implantation for testing untested configurations

In 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). San Diego (CA), USA: ACM, 2019.
Status: Published
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems

In 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). San Diego (CA), USA: ACM, 2019.
Status: Published
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