Export 27 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:2006 and 2 is biblio_year:1986 and 3 is biblio_type:PhD Thesis and 4 is biblio_year:2012 and 5 is field_research_area:6 and 6 is biblio_year:2009 and Author is Muhammad Zohaib Iqbal [Reset Search]
Filters: 1 is biblio_year:2006 and 2 is biblio_year:1986 and 3 is biblio_type:PhD Thesis and 4 is biblio_year:2012 and 5 is field_research_area:6 and 6 is biblio_year:2009 and Author is Muhammad Zohaib Iqbal [Reset Search]
Empirical Evaluation of UML Modeling Tools–A Controlled Experiment In European Conference on Modelling Foundations and Applications, Edited by M. Z. Iqbal. Vol. 11. L’Aquila, Italy: Springer, 2015.
empirical_evaluation_of_uml_modeling_tools-a_controlled_experiment.pdf (793.11 KB)
empirical_evaluation_of_uml_modeling_tools-a_controlled_experiment.pdf (793.11 KB) "Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach." The Empirical Software Engineering Journal (EMSE) (2015): 1-44.
"Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines." Software and Systems Modeling (2014): 1-19.
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines In 30th International Conference on Software Maintenance and Evolution (ICSME), Edited by H. Müller. IEEE Computer Society, 2014.
Improved Heuristics for Solving OCL Constraints Using Search Algorithms In ACM Genetic and Evolutionary Computation Conference (GECCO). .: ACM, 2014.
Insights on the Use of OCL in Diverse Industrial Applications In 8th System Analysis and Modelling Conference (SAM'14), Edited by D. Amyot, P. F. i. Casas and G. Mussbacher. Switzerland: Springer, 2014.
"Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software." Software and Systems Modeling (2013).
"Generating Test Data From OCL Constraints With Search Techniques." IEEE Transactions on Software Engineering 39 (2013).
Combining Search-Based and Adaptive Random Testing for Black-Box System Testing of Real-Time Embedded Systems. Simula Research Laboratory, 2012. Simula.simula.1298.pdf (1.55 MB)
Simula.simula.1298.pdf (1.55 MB) Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems In Symposium on Search Based Software Engineering (SSBSE), Edited by G. Fraser, A. Susi and J. T. de Souza. Berlin Heidelberg: Springer, 2012. Simula.simula.1474.pdf (1.57 MB)
Simula.simula.1474.pdf (1.57 MB) Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software In International Symposium on Software Testing and Analysis (ISSTA), ACM. New York, NY, USA: ACM, 2012. Simula.simula.1274.pdf (564.03 KB)
Simula.simula.1274.pdf (564.03 KB) Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software. Simula Research Laboratory, 2012. Simula.simula.1144.pdf (370.67 KB)
Simula.simula.1144.pdf (370.67 KB) Empirically Evaluating Improved Heuristics for Test Data Generation From OCL Constraints Using Search Algorithms. Simula Research Laboratory, 2012. Simula.simula.1546.pdf (801.34 KB)
Simula.simula.1546.pdf (801.34 KB) Environment Model-Based System Testing of Real-Time Embedded Systems In University of Oslo. University of Oslo, 2012.
Experiences of Applying UML/MARTE on Three Industrial Projects In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), Edited by R. B. France, J. Kazmeier, R. Breu and C. Atkinson. Vol. 7590. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Experiences of Applying UML/MARTE on Three Industrial Projects. Simula Research Laboratory, 2012.
Generating Test Data From OCL Constraints With Search Techniques. Simula Research Laboratory, 2012. Simula.simula.14.pdf (1.81 MB)
Simula.simula.14.pdf (1.81 MB) Myths, Facts, and Misconceptions of OCL: Experiences from Diverse Industrial Applications. Simula Research Laboratory, 2012.
Automated System Testing of Real-Time Embedded Systems Based on Environment Models. Simula Research Laboratory, 2011. Simula.simula.840.pdf (285.91 KB)
Simula.simula.840.pdf (285.91 KB) Code Generation From UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software. Simula Research Laboratory, 2011. Simula.simula.368.pdf (1.88 MB)
Simula.simula.368.pdf (1.88 MB) "Random Testing: Theoretical Results and Practical Implications." IEEE Transactions on Software Engineering 38 (2011): 258-277.
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation In Proceedings of the 11th International Conference On Quality Software (QSIC 2011). IEEE Computer Society, 2011.
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, Edited by A. Petrenko, A. Simão and J. Maldonado. Vol. 6435. Lecture Notes in Computer Science 6435. Springer, 2010. Simula.approve.16.pdf (272.84 KB)
Simula.approve.16.pdf (272.84 KB) 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), Edited by D. Petriu, N. Rouquette and Ø. Haugen. Vol. 6394. Springer Berlin / Heidelberg, 2010. Simula.approve.28.pdf (279.88 KB)
Simula.approve.28.pdf (279.88 KB) Formal Analysis of the Effectiveness and Predictability of Random Testing In ACM International Conference on Software Testing and Analysis (ISSTA), Edited by A. O. P. Tonella. ACM, 2010.