Primary tabs

Most recent publications

C. Lu, T. Yue and S. Ali

DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing

In 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR). Melbourne, Australia: IEEE, 2023.
Proceedings, refereed
2023
View
C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. F. Nygård

Challenges of Testing an Evolving Cancer Registration Support System in Practice

In 45th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2023). IEEE, 2023.
Proceedings, refereed
2023
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

08 June 2023
Cover picture for the white paper: Contributions towards a Norwegian Quantum Computing Strategy

Researchers call for Norwegian quantum computing strategy

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 332 results:
2022

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
Q. Chen, T. Wang, C. Lu, T. Yue and S. Ali

Enhancing the realism of autonomous driving simulation with real-time co-simulation

In 4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'22) . IEEE/ACM, 2022.
Status: Published
L. Han, T. Yue, S. Ali, A. Arrieta and M. Arratibel

Are Elevator Software Robust Against Uncertainties? Results and Experiences from an Industrial Case Study

In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
Status: Published
N. Oldfield, T. Yue and S. Ali

Investigating Quantum Cause-Effect Graphs

In 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 2022.
Status: Published
X. Wang, P. Arcaini, T. Yue and S. Ali

QuSBT: Search-Based Testing of Quantum Programs

In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2022.
Status: Published
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.
Status: Published
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.
Status: Published
Q. Xu, S. Ali, T. Yue and M. Arratibel

Uncertainty-Aware Transfer Learning to Evolve Digital Twins for Industrial Elevators

In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
Status: Published
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2022.
Status: Published