Recent Publications

Below is the list of my recent publications.

International Journals

1. T. Yue, S. Ali, and M. Elaasar. A Framework for Measuring Quality of Models: Experiences from a Series of Controlled Experiments, Submitted to to Springer Software and Systems Modeling (SoSyM), 2012

2. S. Ali, L. Briand, and H. Hemmati. Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems, Accepted for publication in the Journal of Software and Systems Modeling, Springer, 2011.
3. S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques , Submitted to ACM Transactions on Software Engineering and Methodology (TOSEM), 2011.
4. S. Ali, T. Yue, and L. Briand. Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?, Submitted to Elsevier Information and Software Technology (IST), 2011.
5. 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(6):742-762 , 2010
6. S. Ali, L. C. Briand, M. Jaffar-u. Rehman, H. Asghar, M. Z. Z. Iqbal, and A. Nadeem. A state-based approach to integration testing based on UML models, Information and Software Technology 49(11-12):1087-1106 , 2007.
7. N. Walkinshaw, K. Bogdanov, S. Ali, and M. Holcombe. Automated discovery of state transitions and their functions in source code, Software Testing, Verification & Reliability 18(2):99-121, 2007.

International Conferences

1. G. Mussbacher, W. Abed, O. Alam, S. Ali, A. Beugnard, V. Bonnet, R. Bræk, A. Capozucca, B H.C. Cheng, U. Fatima, R. France, G. Georg, N. Guelfi, P. Istoan, J. Jézéquel, J. Kienzle, J. Klein, J. Lézoray, S. Malakuti, A. Moreira, A. Phung-Khac, L. Troup, Comparing Six Modeling Approaches, Models Workshop Reader, 2012
2. I. Hajira, S. Andleeb, S. Ali, Z.I. Malik, Categorizing and Assessing Empirical Investigations in Aspect-Oriented Modeling: A Systematic Review, Submitted to a conference, 2012
3. T. Yue, S. Ali. A Practical and Scalable Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications, Submitted to a conference, 2012

4. S. Ali, T. Yue, Z. Malik, Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing, Accepted for a Publication in International Conference on Aspect-Oriented Software Development (AOSD 2012), 2012
5. S. Ali, L. Briand, A. Arcuri, and S. Walawege. An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms, In: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011), ACM/IEEE, 2011.
6. S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. A Search-based OCL Constraint Solver for Model-based Test Data Generation, In: Proceedings of the 11th International Conference On Quality Software (QSIC 2011), pp. 41-50, IEEE, 2011.
7. T. Yue, S. Ali, and L. Briand. Automated Transition from Use Cases to UML State Machines to Support State-based Testing, In: Accepted for publication in Seventh European Conference on Modelling Foundations and Applications (ECMFA) 2011, 2011.
8. H. Hemmati, L. Briand, A. Arcuri, and S. Ali. An Enhanced Test Case Selection Approach for Model-Based Testing: An Industrial Case Study, In: 18th ACM SIGSOFT international symposium on Foundations of Software Engineering (FSE), ed. by Gruia-Catalin Roman and André van der Hoek, ACM (ISBN: 978-1-60558-791-2), 2010
9. S. Ali. AutoAbstract: Problem Statement and Hypothetical Solutions, In: Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006, ed. by Mark Harman, IEEE Computer Society (ISBN: 0-7695-2672-1), 2006.

Technical Reports

1. S. Ali, T. Yue, and L. Briand. Empirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort , Simula Research Laboratory, Technical Report (2011-06), 2011.
2. S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques, Simula Research Laboratory, Technical Report(2010-16 ), 2011.
3. S. Ali, T. Yue, L. Briand, and Z. Malik. Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?, Simula Research Laboratory, Technical Report(2010-11), 2011.
4. T. Yue, S. Ali, and L. Briand. Automated Transition from Use Cases to UML State Machines to Support State-based Testing, Simula Research Laboratory, Technical Report(2011-05), 2011.
5. S. Ali, L. Briand, and H. Hemmati. Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems, Simula Research Laboratory, Technical Report(2010-03), 2010.
6. 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, Simula Research Laboratory, Technical Report(2010-01), 2010.
7. S. Ali, K. Bogdanov, and N. Walkinshaw. A comparative study of methods for dynamic reverse-engineering of state models, Deptartment of Computer Science, The University of Sheffield, Technical Report(CS-07-16), 2007.
8. S. Ali, L. Briand, H. Asghar, M. Z. Iqbal, and A. Nadeem. A State-based Approach to Integration Testing based on UML Models, 2Software Quality Engineering Laboratory, Department of Systems and Computer Engineering, Carleton University, Canada, Technical Report(SCE-05-02), 2005.