Primary tabs

Most recent publications

C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. F. Nygård

Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway

In 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023). ACM, 2023.
Proceedings, refereed
2023
View
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
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

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

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

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

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 336 results:
2021

Proceedings, refereed

Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
Status: Published
K. Yin, P. Arcaini, T. Yue and S. Ali

Analyzing the Impact of Product Configuration Variations on Advanced Driver Assistance Systems with Search

In The Genetic and Evolutionary Computation Conference. ACM, 2021.
Status: Published
T. Yue, P. Arcaini and S. Ali

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Vol. 12479. LNCS, Springer, Cham, 2021.
Status: Published

Talks, keynote

S. Ali

Application of Artificial Intelligence Techniques for Requirements Optimization, Learning, and Evolution for Cyber-Physical Systems

In An RE'21 Workshop on Environment-Driven Requirements Engineering, 2021.
Status: Published

Technical reports

E. Mendiluze, S. Ali, P. Arcaini and T. Yue

Muskit: A Mutation Analysis Tool for Quantum Software Testing

Technical Report, Simula Research Laboratory, 2021.
Status: Published

Talks, invited

S. Ali, T. Yue and R. Abreu

The Role of Quantum Software Engineering in the Second Quantum Revolution

In Communications of the ACM Europe Region Special Section Virtual Workshop, 2021.
Status: Published
S. Ali

Automated, Systematic, and Optimized Testing of Quantum Programs

In Gemini Center, 2021.
Status: Published
S. Ali

Black Box Testing of Quantum Programs

In QC Talks, University of Porto, Portugal, 2021.
Status: Published

Talks, contributed

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

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

In 43rd International Conference on Software Engineering. IEEE, 2021.
Status: Published
S. Ali

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