Primary tabs

Most recent publications

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

Quito: a Coverage-Guided Test Generator for Quantum Programs

In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2021.
Proceedings, refereed
2021
View
X. Wang, P. Arcaini, T. Yue and S. Ali

Application of Combinatorial Testing to Quantum Programs

In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 2021.
Proceedings, refereed
2021
View
X. Wang, P. Arcaini, T. Yue and S. Ali

Generating Failing Test Suites for Quantum Programs with Search

In Symposium on Search Base Software Engineering 2021, 2021.
Proceedings, refereed
2021
View
S. Ali, P. Arcaini, X. Wang and T. Yue

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

In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
Proceedings, refereed
2021
View

About

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

News

17 August 2023

A new project funded by Horizon Europe

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 33 results:
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
S. Ali, P. Arcaini, X. Wang and T. Yue

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

In 2021 14th IEEE 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