Primary tabs

Most recent publications

T. Yue and S. Ali

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

In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systesm, 2013.
Proceedings, non-refereed
2013
View
T. Yue and S. Ali

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

In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013.
Proceedings, non-refereed
2013
View
T. Yue and S. Ali

An Extensible Use Case Modeling Approach for Cyber-Physical Systems

In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013.
Proceedings, non-refereed
2013
View
J. Wu, T. Yue and S. Ali

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

In The 13th International Conference on Quality Software (QSIC 2013), 2013.
Proceedings, non-refereed
2013
View

About

Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664

News

17 August 2023

A new project funded by Horizon Europe

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 23 results:
2013

Journal articles

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 39 (2013).
Status: Published

Proceedings, refereed

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

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

In International Conference on Software Testing, Verification and Validation (ICST). Luembourg: IEEE, 2013.
Status: Published
S. Ali and T. Yue

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

In Annual International Computer Software & Applications Conference (COMPSAC). IEEE, 2013.
Status: Published
K. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan

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

In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems. .: ACM/IEEE, 2013.
Status: Published
K. Nie, T. Yue and S. Ali

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

In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Poster. ACM/IEEE, 2013.
Status: Published
S. Wang, S. Ali and A. Gotlieb

Automated Product Line Methodologies to Support Model-Based Testing

In The ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), online publication at CEUR. .: IEEE, 2013.
Status: Published
S. Wang, S. Ali and A. Gotlieb

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

In ACM Genetic and Evolutionary Computation Conference (GECCO). New York, NY, USA: ACM, 2013.
Status: Published
S. Wang, S. Ali, T. Yue and M. Liaaen

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

In The 13th International Conference on Quality Software (QSIC 2013). Najing: IEEE, 2013.
Status: Published
S. Wang and S. Ali

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

In Comparing Modeling Approaches Workshop (MODELS 2013). .: ACM/IEEE, 2013.
Status: Published
S. Wang, A. Gotlieb, S. Ali and M. Liaaen

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

In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Best Paper Award. .: ACM/IEEE, 2013.
Status: Published