Primary tabs

Most recent publications

Q. Xu, S. Ali and T. Yue

Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems

ACM Transactions on Software Engineering and Methodology (2023).
Journal Article
2023
View
C. Laaber, T. Yue and S. Ali

Multi-Objective Search-Based Software Microbenchmark Prioritization

arXiv (2022).
Journal Article
2022
View
X. Wang, P. Arcaini, T. Yue and S. Ali

Generating Failing Test Suites for Quantum Programs with Search (hot off the press track at GECCO 2022)

In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Proceedings, refereed
2022
View
X. Wang, T. Yu, P. Arcaini, T. Yue and S. Ali

Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search

In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Proceedings, refereed
2022
View

About

Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664

News

14 November 2022

2022 Ten years most influential regular paper award

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

CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society

Digital Twin-Enabled Operation Time Analyses

Gemini Center on Quantum Computing

Nordic-Estonian Quantum Computing e-Infrastructure Quest

Co-tester: Collective-Adaptive Testing of Coevolving Autonomous Cyber-Physical Systems of Systems under Uncertainty

Quantum Software Engineering Project

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

AIT4CR: AI-Powered Testing Infrastructure for Cancer Registry System

WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo

Department of Engineering Complex Software Systems

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 330 results:
2023

Journal articles

Q. Xu, S. Ali and T. Yue

Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems

ACM Transactions on Software Engineering and Methodology (2023).
Status: Accepted
2022

Journal articles

S. Ali, T. Yue and R. Abreu

When Software Engineering Meets Quantum Computing

Communications of ACM 65, no. 4 (2022): 84-88.
Status: Published
F. O. Catak, T. Yue and S. Ali

Uncertainty-Aware Prediction Validator in Deep Learning Models for Cyber-Physical System Data

ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (2022): 1-31.
Status: Published
L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel

Uncertainty-aware Robustness Assessment of Industrial Elevator Systems

ACM Transactions on Software Engineering and Methodology (2022).
Status: Published
C. Laaber, T. Yue and S. Ali

Multi-Objective Search-Based Software Microbenchmark Prioritization

arXiv (2022).
Status: Submitted
C. Lu, Y. Shi, H. Zhang, M. Zhang, T. Wang, T. Yue and S. Ali

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions

IEEE Transactions on Software Engineering 49, no. 1 (2022): 384-402.
Status: Published
J. Wu, P. Arcaini, T. Yue, S. Ali and H. Zhang

On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering

The Empirical Software Engineering Journal (EMSE) 27, no. 6 (2022): 144.
Status: Published
T. Yue, P. Arcaini and S. Ali

Quantum Software Testing: Challenges, Early Achievements, and Opportunities

the European Research Consortium for Informatics and Mathematics News (2022).
Status: Published

Edited books

S. Ali and S. Selstø

Quantum Computing - Introduction to the special theme

Vol. 128. ERCIM, 2022.
Status: Published

Proceedings, refereed

A. Arrieta, M. Otaegi, L. Han, G. Sagardui, S. Ali and M. Arratibel

Automating Test Oracle Generation in DevOps for Industrial Elevators

In 29th IEEE International Conference on Software Analysis, Evolution and Reengineering. IEEE, 2022.
Status: Published