Primary tabs

Most recent publications

S. Ali, T. Yue and M. Zhang

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing

ADA User Journal 37, no. 4 (2016).
Journal Article
2016
View
P. H. Nguyen, S. Ali and T. Yue

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

Information and Software Technology 83 (2016): 116-135.
Journal Article
2016
View
H. Lu, T. Yue, S. Ali and L. Zhang

Model-based Incremental Conformance Checking to Enable Interactive Product Configuration

Information and Software Technology 72 (2016): 68-89.
Journal Article
2016
View
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 (2016).
Journal Article
2016
View

News

29 May 2019
People

Four projects receive funding from IKT pluss

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 8 results:
2016

Journal articles

S. Ali, T. Yue and M. Zhang

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing

ADA User Journal 37, no. 4 (2016).
Status: Published
Y. Li, T. Yue, S. Ali and L. Zhang

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

Empirical Software Engineering 22, no. 1 (2016): 175-234.
Status: Published
H. Lu, T. Yue, S. Ali and L. Zhang

Model-based Incremental Conformance Checking to Enable Interactive Product Configuration

Information and Software Technology 72 (2016): 68-89.
Status: Published
P. H. Nguyen, S. Ali and T. Yue

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

Information and Software Technology 83 (2016): 116-135.
Status: Published
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 21, no. 4 (2016): 1586-1622.
Status: Published
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 (2016).
Status: Published
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
2010

Journal articles

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 36 (2010): 742-762.
Status: Published