Primary tabs

Most recent publications

H. Zhang, T. Yue, S. Ali, J. Wu and C. Liu

A Restricted Natural Language based Use Case Modeling Methodology for Real-time Systems

In 9th Workshop on Modelling in Software Engineering (MiSE'2017). IEEE, 2017.
Proceedings, refereed
2017
View
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.
Proceedings, refereed
2017
View
S. Wang, T. Schwitalla, T. Yue, S. Ali and J. F. Nygård

RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System

In The International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2017.
Proceedings, refereed
2017
View
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.
Proceedings, refereed
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

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

Find publication

Status

Departments

Publication type

Year published

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