Primary tabs

Most recent publications

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
S. Ali

Advancing Testing Methods with the Explicit Consideration of Environmental Uncertainty

In MBSE Seminar on Uncertainty, Nanjing University, China., 2017.
Talk, keynote
2017
View

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 205 results:
2017

Journal articles

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

Proceedings, refereed

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
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
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
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. LNCS, 2017.
Status: Published
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-objective Test Optimization

In 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). IEEE, 2017.
Status: Published
S. A. Safdar, H. Lu, T. Yue and S. Ali

Mining Cross Product Line Rules with Multi-Objective Search and Machine Learning

In Genetic and Evolutionary Computation Conference (GECCO) . ACM, 2017.
Status: Published
S. Wang, T. Schwitalla, T. Yue, S. Ali and J. 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.
Status: Published