Publications
Found 12 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
2012
PhD Theses
S. Ali. Scalable Model-based Robustness Testing: Novel Methodologies and Industrial Application, PhD thesis, University of Oslo, 2012.
Refereed Proceedings
S. Ali and T. Yue. Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing, In: International Conference on Aspect-Oriented Software Development (AOSD 2012), ACM, 2012.
T. Yue and S. Ali. Bridging the Gap between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies, In: 8th European Conference on Modelling Foundations and Applications (ECMFA), 2012.
Technical Reports
S. Ali,
T. Yue,
and
L. Briand.
A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study,
Simula Research Laboratory, Technical Report(2012-07),
2012.
M. Z. Iqbal,
S. Ali,
T. Yue,
and
L. Briand.
Experiences of Applying UML/MARTE on Three Industrial Projects,
Simula Research Laboratory, Technical Report (2012-08),
2012.
T. Yue
and
S. Ali.
A Use Case Modeling Approach for Large-scale, Industrial, Network-based, Distributed, Real-Time Embedded Systems,
Simula Research Laboratory, Technical Report(2011-07, Version 2),
2012.
T. Yue
and
S. Ali.
A Practical and Scalable Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications,
Simula Research Laboratory, Technical Report(2012-04),
2012.
2011
Articles in International Journals
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.
Refereed Proceedings
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), ed. by Jon Whittle, Tony Clark, Thomas Kühne, pp. 108-122, ACM/IEEE, Springer-Verlag Berlin, Heidelberg, 2011.
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), ed. by , pp. 41-50, IEEE Computer Society,
2011.
T. Yue,
S. Ali,
and
L. Briand.
Automated Transition from Use Cases to UML State Machines to Support State-based Testing,
In: In Seventh European Conference on Modelling Foundations and Applications (ECMFA) 2011, ed. by Robert B. France, Jochen M. Kuester, Behzad Borbar and Richard F. Paige, pp. 115-131, Springer-Verlag Berlin, Heidelberg,
2011.
Technical Reports
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.
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.
S. Ali,
T. Yue,
and
L. Briand.
Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?,
Simula Research Laboratory, Technical Report(2010-11),
2011.
S. Ali,
T. Yue,
and
Z. Malik.
On Understandability of Aspect State Machines for Robustness Testing: A Controlled Experiment,
Simula Research Laboratory, Technical Report (2011-02),
2011.
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.
2010
Articles in International Journals
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.
Refereed Proceedings
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,
2010.
Technical Reports
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.
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.
T. Yue,
S. Ali,
and
M. Elaasar.
A FRAMEWORK FOR MEASURING QUALITY OF MODELS: EXPERIENCES FROM A SERIES OF CONTROLLED EXPERIMENTS,
Simula Research Laboratory, Technical Report(2010-17 (v2)),
2010.
2008
Technical Reports
S. Ali,
L. C. Briand,
H. Hemmati,
and
R. K. Panesar-Walawege.
A Systematic Review of the Application and Empirical Investigation of Search-based Test-Case Generation,
Simula Research Laboratory,
2008.
2007
Articles in International Journals
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.
N. Walkinshaw, K. Bogdanov, S. Ali, and M. Holcombe. Automated discovery of state transitions and their functions in source code, Accepted for publication in Software Testing, Verification & Reliability 18(2):99-121, 2007.
Technical Reports
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.
2006
Refereed Proceedings
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, 2006.
2005
Technical Reports
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.
