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

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

Students under supervision

Available Master's topics

Positions held

University of Oslo

Find publication

Status

Departments

Publication type

Year published

Export 204 results:
2018

Journal articles

L. Zhang, J. Tian, J. Jiang, Y. Liu, M. Pu and T. Yue

Empirical Research in Software Engineering - a Literature Survey

Journal of Computer Science and Technology (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: 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

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

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