Shaukat Ali

T. Yue, W. Mauerer, S. Ali and D. Taibi

Challenges and Opportunities in Quantum Software Architecture

Software Architecture: Research Roadmaps from the Community

H. Sartaj

HITA: An Architecture for System-level Testing of Healthcare IoT Applications

17th European Conference on Software Architecture (ECSA)

H. Sartaj

Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned

31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)

Q. Xu, S. Ali and T. Yue

Knowledge Distillation-Empowered Digital Twin for Anomaly Detection

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

E. Isaku, H. Sartaj, C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. Nygård

Cost Reduction on Testing Evolving Cancer Registry System

2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)

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

QuCAT: A Combinatorial Testing Tool for Quantum Software

the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)

M. Zhang, S. Ali and T. Yue

Uncertainty-wise Model Evolution with Genetic Programming

23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023)

T. Yue, S. Ali and P. Arcaini

Towards Quantum Software Requirements Engineering

3rd International Workshop on Quantum Software Engineering and Technology

S. Ali and T. Yue

On the Need of Quantum-oriented Paradigm to the Quantum Programming

2nd International Workshop on Quantum Programming for Software Engineering

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

C. Lu, T. Yue, M. Zhang and S. Ali

DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data

ACM Transactions on Software Engineering and Methodology

Q. Xu, T. Yue, S. Ali and M. Arratibel

Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems

Transaction of Software Engineering

M. Zhang, J. Wu, S. Ali and T. Yue

Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation

IEEE Transactions on Software Engineering

S. Ali and T. Yue

Quantum Software Testing: A Brief Introduction

2023 International Conference on Software Engineering

S. Ali

Uncertainty Unveiled: Identifying and Classifying Industrial Cyber-Physical Systems' Uncertainties for Testing

Shonan Seminar on DevOps for Cyber-physical Systems

S. Ali

Uncertainty-wise Model Evolution with Genetic Programming

Uncertainty-wise Model Evolution with Genetic Programming

S. Ali

Towards Quantum Software Requirements Engineering

3rd International Workshop on Quantum Software Engineering and Technology

S. Ali

Reflections on Quantum Software Testing

Annual meeting of the IFIP Working Group on Foundations of Quantum Computation (WG 1.11 / 2.17).

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

Challenges of Testing an Evolving Cancer Registration Support System in Practice

45th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2023)

C. Lu, T. Yue and S. Ali

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

2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)

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

31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)

C. Lu, Q. Xu, T. Yue, S. Ali, T. Schwitalla and J. Nygård

EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System

the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)

J. Wu, P. Arcaini, T. Yue, S. Ali and H. Zhang

On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023)

GECCO '23 Companion: Proceedings of the Companion Conference on Genetic and Evolutionary Computation

A. M. Bruaset, S. Ali, A. Brodtkorb, G. Bøe, S. Denysov, H. Eide and S. Selstø

QCNorway: Contributions Towards a Norwegian Quantum Computing Strategy

S. Ali

Present to Future: Forging the Future of Quantum Software Testing

Luxembourg

S. Ali and S. Selstø

Quantum Computing - Introduction to the special theme

S. Ali, T. Yue and R. Abreu

When Software Engineering Meets Quantum Computing

Communications of ACM

T. Yue, P. Arcaini and S. Ali

Quantum Software Testing: Challenges, Early Achievements, and Opportunities

the European Research Consortium for Informatics and Mathematics News

F. O. Catak, T. Yue and S. Ali

Uncertainty-Aware Prediction Validator in Deep Learning Models for Cyber-Physical System Data

ACM Transactions on Software Engineering and Methodology (TOSEM)

J. Wu, P. Arcaini, T. Yue, S. Ali and H. Zhang

On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering

The Empirical Software Engineering Journal (EMSE)

C. Lu, Y. Shi, H. Zhang, M. Zhang, T. Wang, T. Yue and S. Ali

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions

IEEE Transactions on Software Engineering

L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel

Uncertainty-aware Robustness Assessment of Industrial Elevator Systems

ACM Transactions on Software Engineering and Methodology

C. Laaber, T. Yue and S. Ali

Multi-Objective Search-Based Software Microbenchmark Prioritization

arXiv

S. Ali

Uncertainty in Deep Learning

Simula Research Laboratory, Norway

S. Ali

Quantum Software Engineering

Simula Research Laboratory, Norway

S. Ali

Digital Twin for Elevators Use Case

ETSI Event, Berlin, Germany

S. Ali

Automating Test Oracle Generation in DevOps for Industrial Elevators

19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2022)

S. Ali

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

S. Ali

Time for new Simula!

Towards a Norwegian Quantum Computing Strategy, Simula Research Laboratory, Norway

S. Ali

Learning Digital Twin Models

Model-Driven Engineering of Digital Twins Seminar at Dagstuhl, Germany

S. Ali

Building Complex Software Systems in Classical and Quantum Computing Domains

Connecting Education and Research Communities for an Innovative Resource Aware Society, Meeting Denmark

A. Arrieta, M. Otaegi, L. Han, G. Sagardui, S. Ali and M. Arratibel

Automating Test Oracle Generation in DevOps for Industrial Elevators

29th IEEE International Conference on Software Analysis, Evolution and Reengineering

N. Oldfield, T. Yue and S. Ali

Investigating Quantum Cause-Effect Graphs

2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE)

Q. Xu, S. Ali, T. Yue and M. Arratibel

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

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

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

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Q. Chen, T. Wang, C. Lu, T. Yue and S. Ali

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

4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'22)

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

QuSBT: Search-Based Testing of Quantum Programs

2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

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

Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search

GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference

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)

GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference

K. Kousias

WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo

Simula KA23, Oslo, Norway

S. Ali

Assuring the Quality of Quantum Programs with Automated Testing

University of Lisbon, Portugal

S. Ali

AI-enabled Digital Twins for Cyber-Physical Systems

EDT Community: Engineering Digital Twins – Seminar Series

S. Ali

Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems

ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS)

S. Ali

Digital Twins for Cyber-Physical Systems: From AI to Quantum Computing

COEMS Forsterk Seminar

S. Ali and X. Wang

Quantum Software Testing Tutorial

NordIQuEst-ENCCS online HPC-QC workshop

S. Ali

Dependable and Noise-Aware Quantum Software Engineering

CREST Center, The University of Adelaide, Australia

S. Ali

Quantum Software Engineering: What, Why, and Where are we now?

Quantum Leap and Mathematics, Soria Moria, Oslo, Norway

L. Han, T. Yue, S. Ali and A. Arrieta

Classifying Uncertainties in an Industrial Elevator with the Cynefin Framework

L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel

Uncertainty-aware Robustness Assessment of Industrial Elevator Systems

Q. Xu, S. Ali and T. Yue

Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems

2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)

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

R. Abreu, S. Ali and T. Yue

First International Workshop on Quantum Software Engineering (Q-SE 2020)

ACM SIGSOFT Software Engineering Notes

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

T. Ma, S. Ali and T. Yue

Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study

Empirical Software Engineering

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

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

43rd International Conference on Software Engineering

Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

IEEE International Conference on Software Testing, Verification and Validation (ICST)

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)

The Genetic and Evolutionary Computation Conference

S. Ali

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty

The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021)

S. Ali

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

IEEE International Conference on Software Testing, Verification and Validation (ICST)

S. Ali

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

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

T. Yue, P. Arcaini and S. Ali

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

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)

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

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

IEEE International Conference on Software Testing, Verification and Validation (ICST)

K. Yin, P. Arcaini, T. Yue and S. Ali

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

The Genetic and Evolutionary Computation Conference

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

2021 IEEE Intelligent Vehicles Symposium (IV)

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

ICSA Software Architecture in Practice (SAIP)

F. O. Catak, T. Yue and S. Ali

Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving

2021 IEEE International Conference on Artificial Intelligence Testing (AITest)

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

Generating Failing Test Suites for Quantum Programs with Search

13th Symposium on Search-Based Software Engineering

C. Lu, H. Zhang, T. Yue and S. Ali

Search-based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems

13th Symposium on Search-Based Software Engineering

Y. Shi, C. Lu, M. Zhang, H. Zhang, T. Yue and S. Ali

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)

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

Muskit: A Mutation Analysis Tool for Quantum Software Testing

The 36th IEEE/ACM International Conference on Automated Software Engineering

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

Quito: a Coverage-Guided Test Generator for Quantum Programs

The 36th IEEE/ACM International Conference on Automated Software Engineering

J. Galarraga, A. Arrieta, S. Ali, G. Sagardui and M. Arratibel

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty

The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021)

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

Application of Combinatorial Testing to Quantum Programs

IEEE International Conference on Software Security and Reliability

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

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

2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)

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

Generating Failing Test Suites for Quantum Programs with Search

Symposium on Search Base Software Engineering 2021

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

Application of Combinatorial Testing to Quantum Programs

2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)

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

Quito: a Coverage-Guided Test Generator for Quantum Programs

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

S. Ali

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

An RE'21 Workshop on Environment-Driven Requirements Engineering

S. Ali

Automated, Systematic, and Optimized Testing of Quantum Programs

Gemini Center

S. Ali

Black Box Testing of Quantum Programs

QC Talks, University of Porto, Portugal

S. Ali, T. Yue and R. Abreu

The Role of Quantum Software Engineering in the Second Quantum Revolution

Communications of the ACM Europe Region Special Section Virtual Workshop

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

Muskit: A Mutation Analysis Tool for Quantum Software Testing

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

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)

H. Lu, T. Yue and S. Ali

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

ACM Transactions on Cyber-Physical Systems

H. Zhang, M. Zhang, T. Yue, S. Ali and L. Yan

Uncertainty-wise Requirements Prioritization with Search

ACM Transactions on Software Engineering and Methodology

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

S. Ali and T. Yue

Specifying Uncertainty in Use Case Models

International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020)

S. Ali and T. Yue

Handling Uncertainties in Cyber-Physical Systems during TheirOperations with Digital Twins

5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)

T. Ma, S. Ali and T. Yue

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)

T. Yue and S. Ali

Empowering Model-based Engineering with the CynefinFramework for Systematic Uncertainty Thinking

1st Uncertainty in Modeling Workshop 2020, Co-located with the ACM/IEEE 213rd International Conference on Model Driven Engineering Languages and Systems

A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems

IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020

A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems

The Genetic and Evolutionary Computation Conference (GECCO)

S. Ali, P. Arcaini and T. Yue

Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering?

12th Symposium on Search-Based Software Engineering

S. Ali and T. Yue

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

1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS)

S. Ali

Testing Quantum Programs

Oslo Metropolitan University, Oslo, Norway

S. Ali and T. Yue

Handling Uncertainties in Cyber-Physical Systems during TheirOperations with Digital Twins

S. Ali, T. Yue and R. Abreu

Second International Workshop on Verification and Validation of Internet of Things

V. Garousi and S. Ali

Evaluation and Assessment in Software Engineering 2019

B. Combemale and S. Ali

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

T. Ma, S. Ali, T. Yue and M. Elaasar

Testing Self-Healing Cyber-Physical Systems under Uncertainty: A Fragility-Oriented Approach

Software Quality Journal

M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software

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

Search-Based Test Case Implantation for Testing Untested Configurations

Information and Software Technology

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

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

M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems

34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego (CA), USA

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

Search-based test case implantation for testing untested configurations

34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego (CA), USA

Y. Li, T. Yue, S. Ali and L. Zhang

Enabling automated requirements reuse and configuration

23rd International Systems and Software Product Line Conference, Paris, France

N. Lee, P. Arcaini, S. Ali and F. Ishikawa

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

The Genetic and Evolutionary Computation Conference (GECCO)

J. S. Molléri, I. Nurdiani, F. Fotrousi and K. Petersen

Experiences of studying Attention through EEG in the Context of Review Tasks

EASE '19: Proceedings of the Evaluation and Assessment on Software Engineering

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

Proceedings of the 13th European Conference on Software Architecture

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

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems

S. Ali

Practical Cyber-Physical Systems Testing with Artificial Intelligence Techniques

Artificial Intelligence Lab, Oslo Metropolitan University, Norway

S. Ali

Uncertainty in Requirements

Nanjing University of Aeronautics and Astronautics, Nanjing, China

S. Ali

Digital Twins for Cyber-Physical Systems, and Quantum Software Engineering: Research Agenda

National Institute of Informatics, Tokyo, Japan

S. Ali, T. Yue and R. Abreu

First International Workshop on Verification and Validation of Internet of Things

M. Papadakis, S. Ali and G. Perrouin

Editorial to the Theme Issue on Model-based Testing

M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgren and K. Intxausti

Specifying Uncertainty in Use Case Models

Journal of Systems and Software

T. Ma, S. Ali and T. Yue

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

Software and Systems Modeling

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

CBGA-ES+: A Cluster-Based Genetic Algorithm with Non-Dominated Elitist Selection for Supporting Multi-Objective Test Optimization

IEEE Transactions on Software Engineering

S. Ali

Testing Cyber-Physical Systems with Machine Learning and Search Algorithms

National Institute of Informatics, Tokyo, Japan

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

REMAP: Using Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

IEEE Conference on Software Testing, Validation and Verification (ICST), Västerås, Sweden

S. Ali and T. Yue

Search-based Test Optimization for Software Systems

GECCO 2018, Kyoto, Japan

S. Ali

Presentation on Symposium on Search-Based Software Engineering (SSBSE 2019)

Symposium on Search-Based Software Engineering (SSBSE 2018), Montpellier, France

S. Ali

Search-based Test Optimization: A Very Short Introduction

ERATO MMSD Summer Camp, National Institute of Informatics, Japan

M. Weninger, P. Grünbacher, H. Zhang, T. Yue and S. Ali

Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment

The 25th Asia-Pacific Software Engineering Conference (APSEC 2018)

A. Iglesias, T. Yue, C. Arellano, S. Ali and G. Sagardui

Model- Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System

The 25th Asia-Pacific Software Engineering Conference (APSEC 2018)

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

REMAP: Using Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

11th IEEE Conference on Software Testing, Validation and Verification (ICST)

R. Ji, Z. Li, S. Chen, M. Pan, T. Zhang, T. Yue, S. Ali and X. Li

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-based Testing

11th IEEE Conference on Software Testing, Validation and Verification

S. Ali

Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms

International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018

S. Ali

Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms

DNV-GL, Trondheim, Norway

S. Ali

Practical Cyber-Physical Systems Testing: Results and Future Directions

The 7th Workshop of Advanced Software Engineering, Gold Coast, Australia

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

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

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

Automated Test Case Implantation to Test Untested Configurations: A Cost-Effective Search-Based Approach

S. A. Safdar, T. Yue, S. Ali and H. Lu

Employing Multi-Objective Search and Machine Learning to Mine Cross Product Line Rules: A Technical Report

S. Ali, H. Lu, S. Wang, T. Yue and M. Zhang

Uncertainty-wise Testing of Cyber-Physical Systems

Advances in Computers

X. Qiu, S. Ali, T. Yue and L. Zhang

Reliability-Redundancy-Location Allocation with Maximum Reliability and Minimum Cost Using Search Technique

Information and Software Techonology

H. Zhang, S. Wang, T. Yue, S. Ali and C. Liu

Search and similarity based selection of use case scenarios: An empirical study

Empirical Software Engineering

M. Zhang, S. Ali, T. Yue and R. Norgren

Uncertainty-Wise Evolution of Test Ready Models

Information and Software Technology (IST)

M. Zhang, S. Ali, T. Yue, R. Norgren and O. Okariz

Uncertainty-Wise Cyber-Physical System Test Modeling

Software & Systems Modeling

H. Muhammad, T. Yue, S. Wang, S. Ali and J. Nygård

IOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints

Science of Computer Programming (SCP)

H. Lu, S. Wang, T. Yue, S. Ali and J. Nygård

Automated Refactoring of OCL Constraints with Search

IEEE Transactions on Software Engineering (TSE)

Y. Li, T. Yue, S. Ali and L. Zhang

Enabling Automated Requirements Reuse and Configuration

Software and Systems Modeling

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

Integrating Weight Assignment Strategies with NSGA-II for Supporting User Preference Multi-Objective Optimization

IEEE Transactions on Evolutionary Computation (TEVC)

S. Ali

Uncertainty Modeling Framework Version 2

S. Ali

Uncertainty Testing Framework V.2

S. Ali

Uncertainty Testing Framework V.3

P. H. Nguyen, S. Ali and T. Yue

SUnCPS: A Taxonomy of Security-related Uncertainty in Cyber-Physical Systems

M. Zhang, S. Ali, T. Yue and P. H. Nguyen

Uncertainty-wise and Model-based Testing of Industrial Cyber-Physical Systems

T. Yue and S. Ali

Uncertainty modeling (UM) – Progress Summary

OMG Technical Meeting at Brussels, Belgium

S. Ali

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

Proceedings of the IEEE/ACM 10th International Workshop on Search-Based Software Testing under the 2017 IEEE/ACM 39th International Conference on Software Engineering, Buenos Aires, Argentina

S. Ali

Introduction to U-Test: Uncertain CPS behaviour and reliability

Exploitation Event ULMA Handling Systems, Spain

S. Ali

Empowering Testing Activities with Modeling

The International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Porto, Portugal

S. Ali, Y. Li, T. Yue and M. Zhang

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

10th International Workshop on Search-based Software Testing

S. A. Safdar, H. Lu, T. Yue and S. Ali

Mining Cross Product Line Rules with Multi-Objective Search and Machine Learning

Genetic and Evolutionary Computation Conference (GECCO)

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

CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-objective Test Optimization

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

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

Empowering Testing Activities with Modeling: Achievements and Insights from Nine Years of Collaboration with Cisco

The International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

Y. Li, T. Yue, S. Ali and L. Zhang

A Multi-objective and Cost-Aware Optimization of Requirements Assignment

EEE Congress on Evolutionary Computation 2017 (CEC)

A. Iglesias, H. Lu, C. Arellano, T. Yue and S. Ali

Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis

The 21st International Systems and Software Product Line Conference

T. Ma, S. Ali, T. Yue and M. Elaasar

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

The 29th International Conference on Testing Software and Systems

S. Wang, T. Schwitalla, T. Yue, S. Ali and J. Nygård

RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System

The International Conference on Software Maintenance and Evolution (ICSME)

Y. Li, M. Zhang, T. Yue, S. Ali and L. Zhang

Search-based Uncertainty-wise Requirements Prioritization

The 22nd International Conference on Engineering of Complex Computer Systems

H. Zhang, T. Yue, S. Ali, J. Wu and C. Liu

A Restricted Natural Language based Use Case Modeling Methodology for Real-time Systems

9th Workshop on Modelling in Software Engineering (MiSE'2017)

S. Ali

Uncertainty-Wise Testing

Advances in Model-Based Testing (A-MOST), Tokyo, Japan

S. Ali

Advancing Testing Methods with the Explicit Consideration of Environmental Uncertainty

MBSE Seminar on Uncertainty, Nanjing University, China

S. Ali

Testing Cyber-Physical Systems under Uncertainty

CPS Concertation Event, Brussels, Belgium

T. Yue and S. Ali

Reusable Use Case and Test Case Specification Modeling

The 16th International Conference on Software Reuse, Salvador, Brazil

S. Ali

Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach

National Institute of Informatics, Tokyo, Japan

S. Ali, T. Yue and M. Zhang

Uncertainty-wise Testing of Cyber-Physical Systems

2017 IEEE International Symposium on Systems Engineering, Vienna, Austria

S. Ali, H. Muhammad, H. Lu, J. Nygård, S. Wang and T. Yue

A Pilot Experiment to Assess Interactive OCL Specification in a Real Setting

S. Ali, Y. Li, T. Yue and M. Zhang

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

M. Zhang, Y. Li, S. Ali and T. Yue

Uncertainty-Wise and Time-Aware Test Case Prioritization for Cyber-Physical Systems

T. Ma, S. Ali, T. Yue and M. Elaasar

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

M. Zhang, S. Ali, T. Yue and M. Hedman

Uncertainty-based Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach

Y. Li, M. Zhang, T. Yue, S. Ali and L. Zhang

Search-based Uncertainty-wise Requirements Prioritization

S. Wang, S. Ali, A. Gotlieb and M. Liaaen

A Systematic Test Case Selection Methodology for Product Lines: Results and Insights From an Industrial Case Study

Empirical Software Engineering

Y. Li, T. Yue, S. Ali and L. Zhang

Zen-ReqOptimizer: A Search-based Approach for Requirements Assignment Optimization

Empirical Software Engineering

J. Wu, S. Ali, T. Yue, J. Tian and C. Liu

Assessing the Quality of Industrial Avionics Software: An Extensive Empirical Evaluation

Empirical Software Engineering

H. Lu, T. Yue, S. Ali and L. Zhang

Model-based Incremental Conformance Checking to Enable Interactive Product Configuration

Information and Software Technology

P. H. Nguyen, S. Ali and T. Yue

Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study

Information and Software Technology

S. Ali, T. Yue and M. Zhang

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing

ADA User Journal

S. Ali

Uncertainty Taxonomy for Cyber-Physical Systems

S. Ali

Report on Dissemination and Communication plan

S. Ali

Report on Selection of Standardization Bodies

T. Yue, S. Ali and B. Selic

Uncertainty Modeling (Request For Information)

S. Ali

Report on Dissemination and Communication Activities (Year 2)

S. Ali

Uncertainty Modeling Framework Version 1

S. Ali

Uncertainty Modeling Framework V.2

S. Ali

Uncertainty Testing Framework V.1

S. Ali, T. Yue and M. Zhang

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing

DE-CPS Workshop, Pisa, Italy

T. Yue and S. Ali

Uncertainty modeling (UM) - RFI

OMG ADTF Technical Meeting, Orlando, USA

S. Ali

Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms

IEEE World Congress on Computational Intelligence

S. Ali

Model-Driven Testing of Cyber-Physical Systems with the Explicit Consideration of Uncertainty

MPM4CPS WG meetings in Malaga, Spain, 24-25 November 2016

H. Lu, T. Yue, S. Ali and L. Zhang

Nonconformity Resolving Recommendations for Product Line Configuration

IEEE International Conference on Software Testing, Verification and Validation (ICST)

S. Wang, S. Ali, T. Yue, Ø. Bakkeli and M. Liaaen

Enhancing Test Case Prioritization in an Industrial Setting with Resource Awareness and Multi-Objective Search

The 38th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track

T. Yue, S. Ali, H. Lu and K. Nie

Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System

International Conference on Model-Driven Engineering and Software Development

T. Yue, H. Zhang, S. Ali and C. Liu

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications

International Conference on Software Reuse (ICSR)

S. Ali, T. Yue, X. Qiu and H. Lu

Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms

IEEE World Congress on Computational Intelligence

S. Wang, H. Lu, T. Yue, S. Ali and J. Nygård

MBF4CR: A Model-Based Framework for Supporting An Automated Cancer Registry System

12th European Conference on Modelling Foundations and Applications (ECMFA 2016)

M. Zhang, B. Selic, S. Ali, T. Yue, O. Okariz and R. Norgren

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

European Conference on Modelling Foundations and Applications(ECMFA)

S. Wang, S. Ali, T. Yue, Y. Li and M. Liaaen

A Practical Guide to Select Quality Indicators for Assessing Pareto-Based Search Algorithms in Search-Based Software Engineering

the 38th International Conference on Software Engineering (ICSE)

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

STIPI: Using Search to Prioritize Test Cases based on Multi-Objectives Derived from Industrial Practice

The 28th International Conference on Testing Software and Systems (ICTSS)

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

Search-Based Cost-Effective Test Case Selection within a Time Budget: An Empirical Study

Genetic and Evolutionary Computation Conference (GECCO)

S. A. Safdar, T. Yue, S. Ali and H. Lu

Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering

System Analysis and Modelling (SAM) Conference

H. Zhang, T. Yue, S. Ali and C. Liu

Towards Mutation Analysis for Use Cases

ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS)

H. Muhammad, T. Yue, S. Ali and S. Wang

iOCL: A Interactive Tool for Specifying, Validating and Evaluating OCL Constraints

Tool Demonstrations Track, ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS)

S. Wang, H. Lu, T. Yue, S. Ali and J. Nygård

A Model-Based Approach with Tool Support to Facilitate the Cancer Registration Process in Cancer Registry of Norway

European Telemedicine Conference (ETC)

S. Ali and T. Yue

Modeling Uncertainty in Complex Software Systems to Support Testing

Systems Engineering Domain Special Interest Group (SE DSIG), OMG Technical Meeting, Orlando, USA

S. Ali

Uncertainty modeling (UM) - RFI Presentation and voting for RFI issuance

ADTF at OMG. OMG Technical Meeting, Chicago, September

S. Ali

Testing Cyber-Physical Systems in Uncertainty

IEEE 10th International Conference on Open Source Systems & Technologies (ICOSST), Lahore, Pakistan and 14th International Conference on Frontiers of Information Technology (FIT) Islamabad Pakistan

P. H. Nguyen, S. Ali and T. Yue

Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study

M. Zhang, S. Ali, T. Yue and P. H. Nguyen

Uncertainty Modeling Framework for the Integration Level V.1

H. Zhang, T. Yue, S. Ali and C. Liu

Towards Mutation Analysis for Use Cases

T. Yue, S. Ali, M. Zhang and D. Pradhan

Standardization Bodies and Standards Relevant for Uncertainty Modelling

T. Ma, S. Ali and T. Yue

Conceptually Understanding Uncertainty in Self-Healing Cyber-Physical Systems

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

STIPI: Using Search to Prioritize Test Cases based on Multi-Objectives Derived from Industrial Practice

M. Zhang, S. Ali, T. Yue, R. Norgren and O. Okariz

An Integrated Modeling Framework to Facilitate Model-Based Testing of Cyber-Physical Systems under Uncertainty

M. Zhang, S. Ali, T. Yue and R. Norgren

Interactively Evolving Test Ready Models with Uncertainty Developed for Testing Cyber-Physical Systems

T. Ma, S. Ali and T. Yue

Modeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated Testing

M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgren and K. Intxausti

Specifying Uncertainty in Use Case Models in Industrial Settings

S. Wang, S. Ali and A. Gotlieb

Cost-Effective Test Suite Minimization in Product Lines Using Search Techniques

Journal of Systems and Software

S. Wang, S. Ali, A. Gotlieb and M. Liaaen

Automated Product Line Test Case Selection: Industrial Case Study and Controlled Experiment

Journal of Software and Systems Modeling

S. Ali, M. Z. Iqbal, M. Khalid and A. Arcuri

Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach

The Empirical Software Engineering Journal (EMSE)

S. Ali and T. Yue

Testing Cyber-Physical Systems under Realistic and Unknown Uncertainty by Combining Model and Search-Based Approaches

DE-CPS 2015, Madrid, Spain

T. Yue, S. Ali and B. Selic

An Uncertainty Taxonomy

OMG ADTF Technical Meeting, La Jolla, USA

T. Yue and S. Ali

Zen-RUCM

MODELS 2015, Ottawa, Canada

S. Ali

Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems

Testing in Practice track of International Conference on Software Testing (ICST)

S. Ali

Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context

International Symposium on Software Testing and Analysis (ISSTA)

S. Ali

Cyber-Physical System Product Line Engineering: Comprehensive Domain Analysis and Experience Report

The 19th International Software Product Line Conference (SPLC)

T. Yue, S. Ali and B. Selic

Cyber-Physical System Product Line Engineering: Comprehensive Domain Analysis and Experience Report

The 19th International Software Product Line Conference (SPLC). Nashville, USA, July 20-24

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

UPMOA: An Improved Search Algorithm to Support User- Preference Multi-Objective Optimization

The 26th IEEE International Symposium on Software Reliability Engineering (ISSRE). Gaithersburg, USA, November 2-5.

H. Zhang, T. Yue, S. Ali and C. Liu

Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios

9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

T. Yue, S. Ali and M. Zhang

Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context

International Symposium on Software Testing and Analysis (ISSTA), Maryland, USA, July 14-17

S. Ali and T. Yue

U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems

Abstract for the Testing in Practice track of International Conference on Software Testing (ICST)

S. Ali

Systematic Model and Search-Based Testing of Cyber-Physical Systems

User Conference on Advanced Automated Testing (UCAAT)

S. Ali and T. Yue

Modelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * Properties

Ericsson, Sweden

T. Yue and S. Ali

Uncertainty in Complex CPS

NASA Jet Propulsion Laboratory (JPL), Pasadena, USA

S. Ali

Model-based engineering (MBE) Of Cyber-Physical Systems

Aker Solutions, Oslo

T. Yue and S. Ali

Research Projects on Modeling Cyber-Physical Systems

OMG Systems Engineering Domain Special Interest Group Meeting, Berlin, Germany

S. Ali

Model-based testing of product lines in an industrial context

University of Waterloo Seminar

M. Zhang, B. Selic, S. Ali, T. Yue, O. Okariz and R. Norgren

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

T. Yue, H. Zhang, S. Ali and C. Liu

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications

H. Zhang, T. Yue, S. Ali and J. Wu

Modelling and Validating Real-Time Properties at the Requirements Level

H. Lu, T. Yue, S. Ali and L. Zhang

Zen-CI: Combining Automated Configuration Inference and Incremental Conformance Checking to Support Interactive Configuration of Product Lines

T. Yue, S. Ali and S. Wang

An Evolutionary and Automated Virtual Team Making Approach for Crowdsourcing Platforms

Cloud-based Software Crowdsourcing"

T. Yue and S. Ali

Empirically Evaluating OCL and Java for Specifying Constraints on UML Models

Software and Systems Modeling

J. Wu, T. Yue, S. Ali and H. Zhang

A Modeling Methodology to Facilitate Safety-Oriented Architecture Design of Industrial Avionics Software

Software: Practice and Experience

M. Z. Iqbal, S. Ali, T. Yue and L. C. Briand

Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines

Software and Systems Modeling

S. Ali

Improved Heuristics for Solving OCL Constraints Using Search Algorithms

ACM Genetic and Evolutionary Computation Conference (GECCO)

S. Ali

Evaluating Normalization Functions With Search Algorithms for Solving OCL Constraints

26th IFIP International Conference on Testing Software and Systems, ICTSS

S. Ali

Evaluating Normalization Functions With Search Algorithms for Solving OCL Constraints

26th IFIP International Conference on Testing Software and Systems, ICTSS

S. Ali

Insights on the Use of OCL in Diverse Industrial Applications

8th System Analysis and Modelling Conference (SAM)

S. Ali

Mimicking Natural Phenomena to Solve Complex Industrial Problems

Seminar at Beihang University

T. Yue and S. Ali

A MOF-Based Framework for Defining Metrics to Measure the Quality of Models

10th European Conference on Modelling Foundations and Applications (ECMFA)

S. Ali and H. Hemmati

Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results

IEEE International Conference on Software Testing, Verification, and Validation (ICST)

S. Ali, M. Z. Iqbal and A. Arcuri

Improved Heuristics for Solving OCL Constraints Using Search Algorithms

ACM Genetic and Evolutionary Computation Conference (GECCO)

T. Yue and S. Ali

Applying Search Algorithms for Optimizing Stakeholders Familiarity and Balancing Workload in Requirements Assignment

ACM Genetic and Evolutionary Computation Conference (GECCO)

S. Wang, D. Buchmann, S. Ali, A. Gotlieb, D. Pradhan and M. Liaaen

Multi-Objective Test Prioritization in Software Product Line Testing: an Industrial Case Study

Software Product Line Conference (SPLC14), Florence, Italy

S. Ali and T. Yue

Evaluating Normalization Functions With Search Algorithms for Solving OCL Constraints

26th IFIP International Conference on Testing Software and Systems, ICTSS 2014

S. Ali, T. Yue, M. Z. Iqbal and R. K. Panesar-Walawege

Insights on the Use of OCL in Diverse Industrial Applications

8th System Analysis and Modelling Conference (SAM'14)

M. Zhang, T. Yue, S. Ali, H. Zhang and J. Wu

A Systematic Approach to Automatically Derive Test Cases From Use Cases Specified in Restricted Natural Languages

8th System Analysis and Modelling Conference (SAM'14)

S. Wang, S. Ali and A. Gotlieb

Random-Weighted Search-Based Multi-Objective Optimization Revisited

International Symposium on Search-Based Software Engineering (SSBSE'14), Fortaleza, Brazil

T. Yue and S. Ali

Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges

The 14th International Conference on Quality Software (QSIC)

I. Rubab, S. Ali, L. C. Briand and Y. Le Traon

Model-Based Testing of Obligations

The 14th International Conference on Quality Software (QSIC)

S. Ali and T. Yue

Assessing the Modeling of Aspect State Machines for Testing From the Perspective of Modelers

The 14th International Conference on Quality Software (QSIC)

S. Ali, T. Yue, A. B. Bagnato, E. Brosse, Z. R. Dai, A. Hoffmann, M. Wendland and M. Schacher

How Does the UML Testing Profile Support Risk-Based Testing?

2nd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2014)

M. U. Khan, M. Z. Iqbal and S. Ali

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines

30th International Conference on Software Maintenance and Evolution (ICSME)

H. Lu, T. Yue, S. Ali, K. Nie and L. Zhang

Automated and Incremental Conformance Checking to Support Interactive Product Configuration

The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE)

S. Ali and T. Yue

Mimicking Natural Phenomena to Solve Complex Industrial Problems

JavaZone, Oslo, Norway

S. Ali and T. Yue

Assessing the Modeling of Aspect State Machines for Testing From the Perspective of Modelers

M. Zhang, T. Yue and S. Ali

A Keyword and Restricted Natural Language Based Test Case Specification Language for Automated Testing

J. Wu, T. Yue and S. Ali

Ensuring Safety of Avionics Software at the Architecture Design Level, An Industrial Case Study

The 13th International Conference on Quality Software (QSIC 2013)

T. Yue and S. Ali

An Extensible Use Case Modeling Approach for Cyber-Physical Systems

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

T. Yue and S. Ali

Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

T. Yue and S. Ali

Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines_Submmit

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systesm

S. Ali, M. Z. Iqbal, A. Arcuri and L. C. Briand

Generating Test Data From OCL Constraints With Search Techniques

IEEE Transactions on Software Engineering

S. Ali

A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results From a Series of Controlled Experiments

Annual International Computer Software \& Applications Conference (COMPSAC)

S. Ali

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment

International Conference on Software Testing, Verification and Validation (ICST)

S. Ali

Empirical Software Engineering in Collaboration with BUAA

Seminar at Beihang University

G. Zhang, T. Yue and S. Ali

Modeling Crisis Management System With the Restricted Use Case Modeling Approach

Comparing Modeling Approaches (CMA) Workshop at ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS)

J. Wu, T. Yue and S. Ali

Ensuring Safety of Avionics Software at the Architecture Design Level: an Industrial Case Study

The 13th International Conference on Quality Software (QSIC 2013)

S. Ali, T. Yue and L. C. Briand

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment

International Conference on Software Testing, Verification and Validation (ICST)

S. Wang, S. Ali and A. Gotlieb

Automated Product Line Methodologies to Support Model-Based Testing

The ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), online publication at CEUR

S. Wang, S. Ali and A. Gotlieb

Minimizing Test Suites in Software Product Lines Using Weight-Based Genetic Algorithms

ACM Genetic and Evolutionary Computation Conference (GECCO)

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

Using Feature Model to Support Model-Based Testing of Product Lines: an Industrial Case Study

The 13th International Conference on Quality Software (QSIC 2013)

S. Wang and S. Ali

Modeling BCMS Product Line Using Feature Model, Component Family Model, and UML

Comparing Modeling Approaches Workshop (MODELS 2013)

S. Wang, A. Gotlieb, S. Ali and M. Liaaen

Automated Test Case Selection Using Feature Model: an Industrial Case Study

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Best Paper Award

J. Wu, S. Ali, T. Yue and J. Tian

Assessing the Reliability of an Industrial Avionics Software: Results, Insights and Recommendations

The 24th IEEE International Symposium on Software Reliability Engineering

K. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan

Constraints: the Core of Supporting Automated Product Configuration of Cyber-Physical Systems

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems

S. Ali and T. Yue

A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results From a Series of Controlled Experiments

Annual International Computer Software & Applications Conference (COMPSAC)

K. Nie, T. Yue and S. Ali

Towards a Search-Based Interactive Configuration of Cyber Physical System Product Lines

ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Poster

T. Yue, S. Ali and K. Nie

Towards A Search-based Interactive Configuration of Cyber-Physical System Product Lines

S. Ali, A. Gotlieb and S. Wang

Automated Search-Based Test Suite Minimization in Product Lines: An Empirical Study

T. Yue, S. Hesari, S. Ali and B. Selic

Towards Systematic Requirements Engineering Practices in Product Line Engineering: A Comprehensive Domain Analysis in an Industrial Setting

S. Ali, T. Yue and L. C. Briand

Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?

Software and Systems Modeling

S. Ali, L. C. Briand and H. Hemmati

Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems

Software and Systems Modeling

S. Ali

Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing

Aspect Oriented Software Development Conference, Potsdam Germany

S. Ali

Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing

International Conference on Aspect-Oriented Software Development (AOSD)

S. Ali

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study

ACM/IEEE 15th International Conference on Model Driven Engineering Languages \& Systems (MODELS)

S. Ali

Modeling Crosscutting Behaviors (Robustness) using AspectSM Profile to Support Model-based Testing

Bellairs Workshop on (Aspect-Oriented) Model-Driven Software Development

S. Ali and T. Yue

Studying the Understandability of Aspect State Machines Through the Weaving Activity

The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)

M. Z. Iqbal, S. Ali, T. Yue and L. C. Briand

Experiences of Applying UML/MARTE on Three Industrial Projects

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

S. Ali and T. Yue

Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing

International Conference on Aspect-Oriented Software Development (AOSD 2012)

T. Yue and S. Ali

Bridging the Gap Between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies

8th European Conference on Modelling Foundations and Applications (ECMFA)

S. Ali, T. Yue, L. C. Briand and S. Walawege

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study

ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS)

G. Mussbacher, O. Alam, M. Alhaj and S. Ali

Assessing Composition in Modeling Approaches

Proceedings of the CMA 2012 Workshop

S. Ali

Industry-Driven Testing: Past, Present, and Future Activities at Simula

CIO Forum, Oslo Norway

S. Ali, M. Z. Iqbal and A. Arcuri

Empirically Evaluating Improved Heuristics for Test Data Generation From OCL Constraints Using Search Algorithms

S. Ali, M. Z. Iqbal, A. Arcuri and L. C. Briand

Generating Test Data From OCL Constraints With Search Techniques

I. Hajra, S. Andleeb, S. Ali and Z. Malik

Categorizing and Assessing Empirical Investigations in Aspect-Oriented Modeling: a Systematic Review

M. Z. Iqbal, S. Ali, T. Yue and L. Briand

Experiences of Applying UML/MARTE on Three Industrial Projects

S. Ali, T. Yue, L. Briand and S. Walawege

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study

S. Ali and T. Yue

A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines

S. Wang, A. Gotlieb, S. Ali and M. Liaaen

Automated Selection of Test Cases using Feature Model for Product Lines: An Industrial Case Study

T. Yue, S. Hesari, S. Ali and B. Selic

A Study on Industrial Requirements Engineering Practice of Highly Configurable Systems

S. Wang, S. Ali and T. Yue

Product Line Modeling and Configuration Methodology using Feature Model for Supporting Model-Based Testing

S. Wang, S. Ali and A. Gotlieb

Minimizing Test Suites in Software Product Lines Using Weight-Based Genetic Algorithms

S. Ali, T. Yue, M. Z. Iqbal and R. K. Panesar-Walawege

Myths, Facts, and Misconceptions of OCL: Experiences from Diverse Industrial Applications

S. Wang, A. Gotlieb, S. Ali and M. Liaaen

Automated Test Case Selection using Feature Model: an Industrial Case Study

K. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan

The Core of Supporting Automated Product Configuration of Cyber-Physical Systems

T. Yue and S. Ali

A Practical and Scalable Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications

S. Ali

Scalable Model-Based Robustness Testing: Novel Methodologies and Industrial Application

University of Oslo

S. Ali

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms

ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011)

S. Ali

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation

11th International Conference On Quality Software (QSIC 2011)

S. Ali

An Industrial Application of AOM for Robustness Testing

Bellairs Workshop on Developing End-to-End AOSD Artifacts for REMODD

S. Ali, L. C. Briand, A. Arcuri and S. Walawege

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms

ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011)

T. Yue, S. Ali and L. Briand

Automated Transition From Use Cases to UML State Machines to Support State-Based Testing

In Seventh European Conference on Modelling Foundations and Applications (ECMFA) 2011

G. Mussbacher, W. A. Abed, O. Alam, S. Ali, A. Beugnard and V. Bonnet

Comparing Six Modeling Approaches

Models in Software Engineering

S. Ali, M. Z. Iqbal, A. Arcuri and L. Briand

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation

Proceedings of the 11th International Conference On Quality Software (QSIC 2011)

S. Ali, T. Yue and Z. Malik

On Understandability of Aspect State Machines for Robustness Testing: A Controlled Experiment

S. Ali, T. Yue and Z. Malik

Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing

T. Yue and S. Ali

A Use Case Modeling Approach for Industrial, Network-based, Distributed, Real-Time Embedded Systems

S. Ali and T. Yue

Automated Transition from Use Cases to UML State Machines for State-based Testing

T. Yue and S. Ali

A Use Case Modeling Approach for Large-scale, Industrial, Network-based, Distributed, Real-Time Embedded Systems

S. Ali, T. Yue and L. Briand

Empirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort

S. Ali, T. Yue and L. Briand

Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?

S. Ali, L. Briand, H. Hemmati and R. K. Panesar-Walawege

A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Generation

IEEE Transactions on Software Engineering

H. Hemmati, L. Briand, A. Arcuri and S. Ali

An Enhanced Test Case Selection Approach for Model-Based Testing: an Industrial Case Study

18th ACM SIGSOFT international symposium on Foundations of Software Engineering (FSE)

S. Ali, H. Hemmati, N. E. Holt, E. Arisholm and L. Briand

Model Transformations As a Strategy to Automate Model-Based Testing - a Tool and Industrial Case Studies

T. Yue and S. Ali

A Framework for Measuring Quality of Models: Experiences from a Series of Controlled Experiments

S. Ali, L. Briand and H. Hemmati

Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems

S. Ali

Model-based Testing of Video Conferencing Systems: Automation Solution

D-Mint Project Meeting

S. Ali, L. Briand, H. Hemmati and R. K. Panesar-Walawege

A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Generation

N. Walkinshaw, K. Bogdanov, S. Ali and M. Holcombe

Automated Discovery of State Transitions and Their Functions in Source Code

Software Testing, Verification and Reliability

S. Ali, L. Briand, M. J. Rehman, H. Asghar, M. Z. Iqbal and A. Nadeem

A State-Based Approach to Integration Testing Based on UML Models

Information and Software Technology

S. Ali, K. Bogdanov and N. Walkinshaw

A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models

A. Mejía, J. Flich, J. Duato, S. Reinemo and T. Skeie

Segment-Based Routing: an Efficient Fault-Tolerant Routing Algorithm for Meshes and Tori

20th IEEE International Parallel & Distributed Processing Symposium