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

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

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

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

Department of Engineering Complex Software Systems

Students under supervision

Positions held

University of Oslo

Find publication

Status

Departments

Publication type

Year published

Export 200 results:
2019

Talks, contributed

S. Ali and T. Yue

Search-based Test Optimization for Software Systems

In GECCO 2018., 2019.
Status: Published
2018

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

Proceedings, refereed

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
C. Lin, W. Shen, T. Yue and G. Li

Automatically Support Generation and Maintenance of An Assurance Case

In Symposium on Dependable Software Engineering., 2018.
Status: Accepted
C. Lin, W. Shen, T. Yue and G. Li

Automatic Support of the Generation and Maintenance of Assurance Cases

In Symposium on Dependable Software Engineering: Theories, Tools and Applications., 2018.
Status: Accepted
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

Technical reports

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
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

Talks, invited

T. Yue

Model-based Testing

In Norwegian University of Science and Technology., 2018.
Status: Published