Primary tabs

Selected publications

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

Zen-ReqOptimizer: A Search-based Approach for Requirements Assignment Optimization

Empirical Software Engineering 22, no. 1 (2016): 175-234.
Journal Article
2016
View
H. Lu, T. Yue, S. Ali, K. Nie and L. Zhang

Automated and Incremental Conformance Checking to Support Interactive Product Configuration

In The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2014.
Proceedings, refereed
2014
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
S. Wang, S. Ali, T. Yue, Ø. Bakkeli and M. Liaaen

Enhancing Test Case Prioritization in an Industrial Setting with Resource Awareness and Multi-Objective Search

In The 38th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track ., 2016.
Proceedings, refereed
2016
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

MBE-CR

MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System

MPM4CPS

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Zen Configurator

Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 

U-Test logo

U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies

MBT4CPS

MBT4CPS: Model-Based Testing For Cyber-Physical Systems

Students under supervision

Positions held

University of Oslo

Find publication

Status

Departments

Publication type

Year published

Export 180 results:
2017

Journal articles

H. Muhammad, T. Yue, S. Wang, S. Ali and J. F. Nygård

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

Science of Computer Programming (SCP) (2017).
Status: Published
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.
Status: Published
M. Zhang, S. Ali, T. Yue and R. Norgren

Uncertainty-Wise Evolution of Test Ready Models

Information and Software Technology (IST) (2017).
Status: Published
M. Zhang, S. Ali, T. Yue, R. Norgren and O. Okariz

Uncertainty-Wise Cyber-Physical System Test Modeling

Software & Systems Modeling (2017).
Status: Published

Proceedings, refereed

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

Empowering Testing Activities with Modeling: Achievements and Insights from Nine Years of Collaboration with Cisco

In The International Conference on Model-Driven Engineering and Software Development (MODELSWARD). SCITEPRESS – Science and Technology Publications, 2017.
Status: Published
S. Ali, Y. Li, T. Yue and M. Zhang

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

In 10th International Workshop on Search-based Software Testing., 2017.
Status: Published
A. Iglesias, H. Lu, C. Arellano, T. Yue, S. Ali and G. Sagardui

Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis

In The 21st International Systems and Software Product Line Conference. ACM, 2017.
Status: Published
Y. Li, T. Yue, S. Ali and L. Zhang

A Multi-objective and Cost-Aware Optimization of Requirements Assignment

In EEE Congress on Evolutionary Computation 2017 (CEC). IEEE, 2017.
Status: Published
Y. Li, M. Zhang, T. Yue, S. Ali and L. Zhang

Search-based Uncertainty-wise Requirements Prioritization

In The 22nd International Conference on Engineering of Complex Computer Systems. IEEE, 2017.
Status: Published
T. Ma, S. Ali, T. Yue and M. Elaasar

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

In The 29th International Conference on Testing Software and Systems., 2017.
Status: Accepted