Seyed-Hasan Mirian-Hosseinabadi
Seyed-Hasan Mirian-Hosseinabadi
Associate Professor of Computer Science, Sharif University of Technology
Verified email at - Homepage
Cited by
Cited by
Integrating software development security activities with agile methodologies
H Keramati, SH Mirian-Hosseinabadi
2008 IEEE/ACS International Conference on Computer Systems and Applications …, 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
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
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
Constructive Z
SH Mirian-Hosseinabadi, R Turner
Journal of Logic and Computation 8 (1), 49-70, 1998
Automating feature model refactoring: A model transformation approach
M Tanhaei, J Habibi, SH Mirian-Hosseinabadi
Information and Software Technology 80, 138-157, 2016
Event-driven web application testing based on model-based mutation testing
E Habibi, SH Mirian-Hosseinabadi
Information and Software Technology 67, 159-179, 2015
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
Injecting security as aspectable NFR into Software Architecture
H Bagheri, SH Mirian-Hosseinabadi
14th Asia-Pacific Software Engineering Conference (APSEC'07), 310-317, 2007
Nondeterminism in constructive Z
H Haghighi, SH Mirian-Hosseinabadi
Fundamenta Informaticae 88 (1-2), 109-134, 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
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
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
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
Mbtdd: Model based test driven development
A Sadeghi, SH Mirian-Hosseinabadi
International Journal of Software Engineering and Knowledge Engineering 22 …, 2012
Testing Aspect-Oriented Programs with UML Activity Diagrams
S Madadpour, SHM Hosseinabadi, V Abdelzad
International Journal of Computer Applications 33 (8), 2011
Making nondeterminism explicit in Z
SH Mirian-HosseinAbadi, MR Mousavi
Proceedings of the Iranian Computer Society Annual Conference (CSICC 02 …, 2002
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
Workflow change patterns: Opportunities for extension and reuse
Z Aghakasiri, SH Mirian-Hosseinabadi
Software Engineering Research, Management and Applications 2009, 265-275, 2009
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
The system can't perform the operation now. Try again later.
Articles 1–20