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

Huihui Zhang defended his PhD
07 June 2017

Huihui Zhang defended his PhD

On Saturday, 3 June, 2017, Huihui Zhang successfully defended his PhD thesis Research on Aspect-oriented Real-time Requirements Modeling and Supporting Techniques for Requirements Inspection. The...
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 194 results:
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

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

Talks, invited

T. Yue

Model-based Testing

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

Talks, contributed

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 IEEE Conference on Software Testing, Validation and Verification (ICST)., 2018.
Status: Published
2017

Journal articles

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

Enabling Automated Requirements Reuse and Configuration

Software and Systems Modeling (2017).
Status: Published
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).
Status: Published
H. Muhammad, T. Yue, S. Wang, S. Ali and J. Nygård

IOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints

Science of Computer Programming (SCP) 149 (2017): 3-8.
Status: Published
X. Qiu, S. Ali, T. Yue and L. Zhang

Reliability-Redundancy-Location Allocation with Maximum Reliability and Minimum Cost Using Search Technique

Information and Software Techonology 82 (2017): 36-54.
Status: Published