| Integrating software development security activities with agile methodologies H Keramati, SH Mirian-Hosseinabadi 2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008 | 107 | 2008 |
| Incorporating fault-proneness estimations into coverage-based test case prioritization methods M Mahdieh, SH Mirian-Hosseinabadi, K Etemadi, A Nosrati, S Jalali Information and Software Technology 121, 106269, 2020 | 56 | 2020 |
| Statement frequency coverage: a code coverage criterion for assessing test suite effectiveness A Aghamohammadi, SH Mirian-Hosseinabadi, S Jalali Information and Software Technology 129, 106426, 2021 | 27 | 2021 |
| Test case prioritization using test case diversification and fault-proneness estimations M Mahdieh, SH Mirian-Hosseinabadi, M Mahdieh Automated Software Engineering 29 (2), 50, 2022 | 22 | 2022 |
| Event-driven web application testing based on model-based mutation testing E Habibi, SH Mirian-Hosseinabadi Information and Software Technology 67, 159-179, 2015 | 18 | 2015 |
| Automating feature model refactoring: A model transformation approach M Tanhaei, J Habibi, SH Mirian-Hosseinabadi Information and Software Technology 80, 138-157, 2016 | 17 | 2016 |
| Constructive Z SH Mirian-Hosseinabadi, R Turner Journal of Logic and Computation 8 (1), 49-70, 1998 | 17 | 1998 |
| A feature model based framework for refactoring software product line architecture M Tanhaei, J Habibi, SH Mirian-Hosseinabadi Journal of Computer Science and Technology 31, 951-986, 2016 | 16 | 2016 |
| Program state coverage: A test coverage metric based on executed program states KE Someoliayi, S Jalali, M Mahdieh, SH Mirian-Hosseinabadi 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 12 | 2019 |
| Injecting security as aspectable NFR into Software Architecture H Bagheri, SH Mirian-Hosseinabadi 14th Asia-Pacific Software Engineering Conference (APSEC'07), 310-317, 2007 | 11 | 2007 |
| Delta‐based regression testing: a formal framework towards model‐driven regression testing M Nooraei Abadeh, SH Mirian‐Hosseinabadi Journal of Software: Evolution and Process 27 (12), 913-952, 2015 | 10 | 2015 |
| Nondeterminism in constructive Z H Haghighi, SH Mirian-Hosseinabadi Fundamenta Informaticae 88 (1-2), 109-134, 2008 | 10 | 2008 |
| Translation of Z specifications to executable code: Application to the database domain S Khalafinejad, SH Mirian-Hosseinabadi Information and Software Technology 55 (6), 1017-1044, 2013 | 9 | 2013 |
| AZ approach to formalization and validation of ORM models A Jahangard Rafsanjani, SH Mirian-Hosseinabadi International Conference on Digital Enterprise and Information Systems, 513-526, 2011 | 9 | 2011 |
| Emphasizing experiences in teaching software engineering courses SH Mirian-Hosseinabadi, Z Aghakasiri, A Sadeghi, P Delfani, ... 2010 2nd International Conference on Education Technology and Computer 2, V2 …, 2010 | 9 | 2010 |
| An aspect enhanced method of nfr modeling in software architecture H Bagheri, SH Mirian-Hosseinabadi, HC Esfahani 10th International Conference on Information Technology (ICIT 2007), 240-242, 2007 | 9 | 2007 |
| Mbtdd: Model based test driven development A Sadeghi, SH Mirian-Hosseinabadi International Journal of Software Engineering and Knowledge Engineering 22 …, 2012 | 8 | 2012 |
| Testing Aspect-Oriented Programs with UML Activity Diagrams S Madadpour, SHM Hosseinabadi, V Abdelzad International Journal of Computer Applications 33 (8), 2011 | 8 | 2011 |
| Workflow change patterns: Opportunities for extension and reuse Z Aghakasiri, SH Mirian-Hosseinabadi Software Engineering Research, Management and Applications 2009, 265-275, 2009 | 8 | 2009 |
| Making nondeterminism explicit in Z SH Mirian-HosseinAbadi, MR Mousavi Proceedings of the Iranian Computer Society Annual Conference (CSICC 02 …, 2002 | 8 | 2002 |
Mostafa MahdiehSharif University of TechnologyVerified email at ce.sharif.edu
