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

29 May 2019
People

Four projects receive funding from IKT pluss

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:
2019

Journal articles

D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Search-Based Test Case Implantation for Testing Untested Configurations

Information and Software Technology 111 (2019): 22-36.
Status: Published
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

Employing Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

Journal of Systems and Software 153 (2019): 86-104.
Status: Published
S. A. Safdar, T. Yue, S. Ali and H. Lu

Using multi-objective search and machine learning to infer rules constraining product configurations

Automated Software Engineering (2019): 1-62.
Status: Published
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software 153 (2019).
Status: Published

Edited books

S. Ali, T. Yue and R. Abreu

Second International Workshop on Verification and Validation of Internet of Things

IEEE, 2019.
Status: Published
B. Combemale and S. Ali

The 15th European Conference on Modelling Foundations and Applications (ECMFA)

2nd ed. Vol. 18. The Journal of Object Technology, 2019.
Status: Published
V. Garousi and S. Ali

Evaluation and Assessment in Software Engineering 2019

ACM, 2019.
Status: Published

Proceedings, refereed

S. Ali, F. Damiani, S. Dustdar, M. Sanseverino, M. Viroli and D. Weyns

Big data from the cloud to the edge: the aggregate computing solution

In Proceedings of the 13th European Conference on Software Architecture. Vol. 2. New York, NY, USA: ACM, 2019.
Status: Published
S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa and N. Lee

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems. New York, NY, USA: ACM, 2019.
Status: Published
N. Lee, P. Arcaini, S. Ali and F. Ishikawa

Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach

In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
Status: Published