Publications
Found 6 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
Technical Reports
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.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software ,
Simula Research Laboratory, Technical Report (2012-01),
2012.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Combining Search-based and Adaptive Random Testing for Black-box System Testing of Real-time Embedded Systems,
Simula Research Laboratory, Technical Report (2012-12),
2012.
2011
Articles in International Journals
A. Arcuri, M. Z. Iqbal, and L. Briand. Random Testing: Theoretical Results and Practical Implications., Accepted for publication in IEEE Transactions on Software Engineering, 2011.
Refereed Proceedings
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.
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.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Automated System Testing of Real-Time Embedded Systems Based on Environment Models,
Simula Research Laboratory, Technical Report (2011-19),
2011.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Code Generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software,
Simula Research Laboratory, Technical Report (2011-04), Version 2,
2011.
2010
Refereed Proceedings
A. Arcuri,
M. Z. Iqbal,
and
L. Briand.
Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing,
In: 22nd IFIP International Conference on Testing Software and Systems (ICTSS) - formerly TestCom/FATES, ed. by A. Petrenko and A. Simão and J.C. Maldonado, vol. 6435, Springer. Lecture Notes in Computer Science,
2010.
A. Arcuri, M. Z. Iqbal, and L. Briand. Formal Analysis of the Effectiveness and Predictability of Random Testing, In: ACM International Conference on Software Testing and Analysis (ISSTA), ed. by Paolo Tonella, Alessandro Orso, ACM, 2010.
Qurat-u. Farooq,
M. Z. Iqbal,
Z. Malik,
and
M. Riebisch.
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support,
In: 17th IEEE International Conference on Engineering of Computer-Based Systems (ECBS), ed. by Roy Sterritt, Brandon Eames, and Jonathan Sprinkle, pp. 41-49, IEEE Computer Society,
2010.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies ,
In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), ed. by Petriu, Dorina and Rouquette, Nicolas and Haugen, Øystei, vol. 6394, pp. 286-300, Springer Berlin / Heidelberg,
2010.
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.
