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

10 September 2021

SimulaMet is part of the green platform project “Low-emission value chain for offshore aquaculture”

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

Talks, contributed

S. Ali

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

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

In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Published
S. Ali, P. Arcaini and T. Yue

Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering? (Hot Off the Press)

In The Genetic and Evolutionary Computation Conference, 2021.
Status: Published
Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2021.
Status: Published
2020

Journal articles

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

Quality indicators in search-based software engineering: an empirical evaluation

ACM Transactions on Software Engineering and Methodology 29 (2020).
Status: Published
S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue

Quality Indicators in Search-based Software Engineering

ACM Transactions on Software Engineering and Methodology 29, no. 2 (2020): 1-29.
Status: Published
H. Lu, T. Yue and S. Ali

Pattern-based Interactive Configuration Derivation for Cyber-Physical System Product Lines

ACM Transactions on Cyber-Physical Systems 4, no. 4 (2020): 24.
Status: Published
S. A. Safdar, H. Lu, T. Yue, S. Ali and K. Nie

A framework for automated multi‑stage and multi‑step product confguration of cyber‑physical systems

Software and Systems Modeling (SoSym) 19, no. 4 (2020): 1-55.
Status: Published
H. Zhang, M. Zhang, T. Yue, S. Ali and L. Yan

Uncertainty-wise Requirements Prioritization with Search

ACM Transactions on Software Engineering and Methodology 30, no. 1 (2020): 1-54.
Status: Published

Proceedings, refereed

S. Ali and T. Yue

Modeling Quantum Programs: Challenges, Initial Results, and Research Directions

In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Status: Published