Seguir
Seyed-Hasan Mirian-Hosseinabadi
Seyed-Hasan Mirian-Hosseinabadi
Associate Professor of Computer Science, Sharif University of Technology
Dirección de correo verificada de sharif.edu - Página principal
Título
Citado por
Citado por
Año
Integrating software development security activities with agile methodologies
H Keramati, SH Mirian-Hosseinabadi
2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008
1032008
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
562020
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
192022
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
192021
Constructive Z
SH Mirian-Hosseinabadi, R Turner
Journal of Logic and Computation 8 (1), 49-70, 1998
171998
Automating feature model refactoring: A model transformation approach
M Tanhaei, J Habibi, SH Mirian-Hosseinabadi
Information and Software Technology 80, 138-157, 2016
162016
Event-driven web application testing based on model-based mutation testing
E Habibi, SH Mirian-Hosseinabadi
Information and Software Technology 67, 159-179, 2015
162015
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
152016
Injecting security as aspectable NFR into Software Architecture
H Bagheri, SH Mirian-Hosseinabadi
14th Asia-Pacific Software Engineering Conference (APSEC'07), 310-317, 2007
112007
Nondeterminism in constructive Z
H Haghighi, SH Mirian-Hosseinabadi
Fundamenta Informaticae 88 (1-2), 109-134, 2008
102008
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
92013
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
92010
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
92007
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
82015
Mbtdd: Model based test driven development
A Sadeghi, SH Mirian-Hosseinabadi
International Journal of Software Engineering and Knowledge Engineering 22 …, 2012
82012
Testing Aspect-Oriented Programs with UML Activity Diagrams
S Madadpour, SHM Hosseinabadi, V Abdelzad
International Journal of Computer Applications 33 (8), 2011
82011
Making nondeterminism explicit in Z
SH Mirian-HosseinAbadi, MR Mousavi
Proceedings of the Iranian Computer Society Annual Conference (CSICC 02 …, 2002
82002
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
72011
Workflow change patterns: Opportunities for extension and reuse
Z Aghakasiri, SH Mirian-Hosseinabadi
Software Engineering Research, Management and Applications 2009, 265-275, 2009
72009
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
62019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20