Primary tabs

Most recent publications

N. Oldfield, T. Yue and S. Ali

Investigating Cause-Effect Graphs

In Q-SE 2022 (WS). Q-SE 2022, 2022.
Proceedings, refereed
2022
View
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 (2022).
Journal Article
2022
View
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 onSoftware Analysis, Evolution and Reengineering. IEEE, 2022.
Proceedings, refereed
2022
View
X. Wang, P. Arcaini, T. Yue and S. Ali

QuSBT: Search-Based Testing of Quantum Programs

In 44th International Conference on Software Engineering (ICSE 2022). IEEE/ACM, 2022.
Proceedings, refereed
2022
View

About

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

News

23 June 2022

June 29 guest lecture: "openCAESAR: A Next Generation Platform for Systems Engineering"

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 301 results:
2022

Technical reports

Q. Xu, S. Ali and T. Yue

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

Simula Research Laboratory, 2022.
Status: Published
2021

Journal articles

R. Abreu, S. Ali, T. Yue, M. Felderer and I. Exman:

Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop Report

ACM SIGSOFT Software Engineering Notes 46, no. 4 (2021): 23-25.
Status: Published
R. Abreu, S. Ali and T. Yue

First International Workshop on Quantum Software Engineering (Q-SE 2020)

ACM SIGSOFT Software Engineering Notes 46, no. 2 (2021): 30-32.
Status: Published
T. Ma, S. Ali and T. Yue

Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study

Empirical Software Engineering 26, no. 3 (2021): 52.
Status: Published
S. A. Safdar, T. Yue and S. Ali

Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-Objective Search

ACM Transactions on Software Engineering and Methodology 30, no. 4 (2021): 1-36.
Status: Published

Proceedings, refereed

S. Ali, P. Arcaini, X. Wang and T. Yue

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

In IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
Status: Published
P. Arcaini, A. Calň, F. Ishikawa, T. Laurent, X. Zhang, S. Ali, F. Hauer and A. Ventresque

Parameter-Based Testing and Debugging of Autonomous Driving Systems

In 2021 IEEE Intelligent Vehicles Symposium (IV). IEEE, 2021.
Status: Published
F. O. Catak, T. Yue and S. Ali

Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving

In 2021 IEEE International Conference on Artificial Intelligence Testing (AITest). Oxford, England: IEEE, 2021.
Status: Published
J. Galarraga, A. Arrieta, S. Ali, G. Sagardui and M. Arratibel

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty

In The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021). IEEE, 2021.
Status: Published
A. Gartziandia, A. Arrieta, S. Ali, T. Yue, A. Agirre, G. Sagardui and M. Arratibel

Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems

In ICSA Software Architecture in Practice (SAIP) . IEEE, 2021.
Status: Published