Primary tabs

Most recent publications

M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgren and K. Intxausti

Specifying Uncertainty in Use Case Models

Journal of Systems and Software (2018).
Journal Article
2018
View
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

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