Primary tabs

Most recent publications

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).
Journal Article
2018
View
S. Ali

Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms

In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018. SCITEPRESS Digital Library, 2018.
Talk, keynote
2018
View
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.
Proceedings, refereed
2018
View
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.
Proceedings, refereed
2018
View

News

05 June 2018

Yan Li defended her PhD

On Tuesday June 5th, 2018, Yan Li successfully defended her PhD thesis Research on "Requirements Support for Enabling Automated Reuse and Configuration for Product Line". The defense took...
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

Students under supervision

Find publication

Status

Departments

Publication type

Year published

Export 209 results:
2017

Journal articles

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
S. Wang, S. Ali, T. Yue and M. Liaaen

Integrating Weight Assignment Strategies with NSGA-II for Supporting User Preference Multi-Objective Optimization

IEEE Transactions on Evolutionary Computation (TEVC) (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) 87 (2017): 140-159.
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. IEEE, 2017.
Status: Published
A. Iglesias, H. Lu, C. Arellano, T. Yue and S. Ali

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