Primary tabs

Most recent publications

H. Lu, T. Yue and S. Ali

Pattern-based Interactive Configuration Derivation for Cyber-Physical System Product Lines

ACM Transactions on Cyber-Physical Systems (2020).
Journal Article
2020
View
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems

In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Proceedings, refereed
2020
View
S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue

Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation

ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Journal Article
2020
View
B. Combemale and S. Ali

The 15th European Conference on Modelling Foundations and Applications (ECMFA)

2nd ed. Vol. 18. The Journal of Object Technology, 2019.
Edited books
2019
View

News

29 May 2019
People

Four projects receive funding from IKT pluss

Projects

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

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

Co-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems

Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs

Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems

Department of Engineering Complex Software Systems

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 249 results:
2020

Journal articles

S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue

Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation

ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Status: Accepted
H. Lu, T. Yue and S. Ali

Pattern-based Interactive Configuration Derivation for Cyber-Physical System Product Lines

ACM Transactions on Cyber-Physical Systems (2020).
Status: Accepted

Proceedings, refereed

A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems

In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Status: Accepted
2019

Journal articles

T. Ma, S. Ali, T. Yue and M. Elaasar

Testing Self-Healing Cyber-Physical Systems under Uncertainty: A Fragility-Oriented Approach

Software Quality Journal 27, no. 2 (2019): 615-649.
Status: Published
D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Search-Based Test Case Implantation for Testing Untested Configurations

Information and Software Technology 111 (2019): 22-36.
Status: Published
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

Employing Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

Journal of Systems and Software 153 (2019): 86-104.
Status: Published
S. A. Safdar, T. Yue, S. Ali and H. Lu

Using multi-objective search and machine learning to infer rules constraining product configurations

Automated Software Engineering (2019): 1-62.
Status: Published
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software 153 (2019).
Status: Published

Edited books

S. Ali, T. Yue and R. Abreu

Second International Workshop on Verification and Validation of Internet of Things

IEEE, 2019.
Status: Published
B. Combemale and S. Ali

The 15th European Conference on Modelling Foundations and Applications (ECMFA)

2nd ed. Vol. 18. The Journal of Object Technology, 2019.
Status: Published