International Journal Papers
27. Elaheh
Habibi, Seyed-Hassan Mirian-Hosseinabadi, Sharif-TaaWS: a tool to automate unit testing of web services, Automated Software Engineering, ?, ?, Springer,
Vol. 30, No. 1,
pp. 1-30, March
2023.
26. Mehran
Rivadeh, Seyed-Hassan Mirian-Hosseinabadi, Formal translation of YAWL workflow models to the Alloy formal
specifications: a testing application, Software and Systems Modeling, ?, ?,
Springer, Vol. , No. , pp. 1-28, Nov 2022.
25. Mostafa
Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Mohsen Mahdieh, Test case prioritization using test case
diversification and fault-proneness estimations, Automated Software Engineering, ?, ?, Springer,
Vol. 29, No. 2,
pp. 1-43, Aug
2022.
24. Elaheh
Habibi, Seyed-Hassan Mirian-Hosseinabadi, Generating test as a web service (TaaWS) through a method-based attribute
grammar, International Journal on
Software Tools for Technology Transfer, ?, ?,
Springer, Vol. ?, No. ?, pp. ?,
March 2022.
23. Alireza
Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, An ensemble-based predictive mutation testing approach
that considers impact of unreached mutants, Software Testing, Verification and Reliability, Amsterdam, Holand,
Elsevier, Vol. 31,
No. 7, pp. 106426, Nov.
2021.
22. Alireza
Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, Sajad Jalali, Statement frequency coverage: A code coverage
criterion for assessing test suite effectiveness, Information and Software Technology, Amsterdam, Holand,
Elsevier, Vol. 129,
No. , pp. 106426, Jan 2021.
21. Mostafa
Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati,
Sajad Jalali, Incorporating
fault-proneness estimations into coverage-based test case prioritization
methods, Information and Software
Technology, Amsterdam, Holand, Elsevier,
Vol. 121, No. , pp. 106269, May 2020.
20. Mohammad
Tanhaei, Jafar Habibi and
Seyed-Hassan Mirian-Hosseinabadi, Automating
feature Model Refactoring: A Model Transformation Approach, Information and Software Technology, Amsterdam, Holand,
Elsevier, Vol. 80,
No. C, pp. 138-157, Dec.
2016.
19. Mohammad
Tanhaei, Jafar Habibi and
Seyed-Hassan Mirian-Hosseinabadi, A
Feature Model Based Framework for Refactoring Software Product Line
Architecture, Journal of Computer
Science and Technology, New York, USA, Springer,
Vol. 31, No. 5, pp. 951-986, Sept 2016.
18. Maryam
Nooraei Abadeh and Seyed-Hassan Mirian-Hosseinabadi, A Model Driven Regression Testing Pattern for
Enhancing Agile Release Management, International
Journal of Computer Science and Information Security, SEOUL, SOUTH
KOREA, , Vol. 14, No. 3,
pp. , March 2016.
17. Maryam
Nooraei Abadeh and Seyed-Hassan Mirian-Hosseinabadi, Delta-based regression testing: a formal framework
towards model-driven regression testing, Journal of Software: Evolution and Process, CHICHESTER, WEST SUSSEX, UK, John Wiley & Sons, Vol. 27,
No. 12, pp. 913-952, Dec.
2015.
16. Elahe
Habibi and Seyed-Hassan Mirian-Hosseinabadi, Event-Driven Web Application Testing Based on Model-Based Mutation Testing,
Information and Software Technology, Amsterdam, Holand,
Elsevier, Vol. 67,
No. 1, pp. 159-179, Nov
2015.
15. Hossein
Keramati and Seyed-Hassan Mirian-Hosseinabadi, Generating semantically valid test inputs using
constrained input grammars, Information
and Software Technology, Amsterdam,
Holand, Elsevier,
Vol. 57, No. 1, pp. 204-216, Jan 2015.
14. Amir
Jahangard-Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, Lightweight formalization and validation of ORM models,
Journal of Logic and Algebraic methods in
Programming, ?,
?, Elsevier,
Vol. 84, No. 1,
pp. 534-549, 6,March 2015.
13. Amir
Jahangard-Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, A model-driven approach to semi-structured database
design, Frontiers of Computer Science, ?, ?, Springer,
Vol. 9, No. 2,
pp. 237-252, Nov 2012.
12. Shohreh
Ajoudanian and Seyed-Hassan Mirian-Hosseinabadi, On Formalization of Extended Feature Model Using
Promotion Technique in Z, Indian
Journal of Science and technology, ?, ?,
Indian Society for Education and Environment.,
Vol. 8, No. 17,
pp. 42018, Aug 2015.
11. Shohreh
Ajoudanian and Seyed-Hassan Mirian-Hosseinabadi, Automatic promotional specialization, generalization
and analysis of Extended Feature Models with Cardinalities in Alloy,
Journal of Logic and Algebraic methods in
Programming, ?,
?, Elsevier,
Vol. 84, No. 5,
pp. 640-667, Sept 2015.
10. Hossein
Keramati and Seyed-Hassan Mirian-Hosseinabadi, Effectiveness of control flow test coverage criteria
using mutation analysis: An experimental study, Scientific Research and Essays, Nirobi, Nirobi,
Academic Journals, Vol. 7, No. 45, pp. 3848-3859, Nov 2012.
9. Saeed
Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Translation of Z Specifications to Executable Code:
Application to the Database Domain, Information
and Software Technology, Amsterdam,
Holand, Elsevier,
Vol. 55, No. 6, pp. 1017-1044, June 2013.
8. Alireza
Sadeghi and Seyed-Hassan Mirian-Hosseinabadi, MBTDD: Model Based Test Driven Development, International Journal of Software Engineering and
Knowledge Engineering, Singapore, Singapore, World
Scientific Publishing Company, Vol. 22,
No. 8, pp. 1085-1102, Dec.
2012.
7. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Towards a Calculus for Nondeterministic Schemas in Z,
International Journal of Software Engineering
and Knowledge Engineering, Singapore,
Singapore, World Scientific Publishing Company, Vol. 22,
No. 6, pp. 839-865, Sept
2012.
6. Somayeh
Madadpour, Seyed-Hassan Mirian-Hosseinabadi and Vahdat Abdelzad, Testing Aspect-Oriented Programs with UML Activity
Diagrams, International Journal of
Computer Applications, NY, USA, Foundation
of Computer Science, Vol. 33, No. 8, pp. 4-11,
Nov 2011.
5. Marzieh
Esna-Ashari, Hamid Reza Rabiee and Seyed-Hassan Mirian-Hosseinabadi, Reliability of Separation of Duty in ANSI Standard
Role Based Access Control, Scientia
Iranica, Tehran, Iran, Sharif
University of Technology, Vol. 18, No. 6, pp. 1416-1424,
Nov 2011.
4. Seyed
Mohammad Taghi Rouhani Rankohi and Seyed-Hassan Mirian-Hosseinabadi, A New Category of Relations: Combinationally
Constrained Relations, Scientia
Iranica, Tehran, Iran, Sharif
University of Technology, Vol. 16, No. 1, pp. 34-52,
June 2009.
3. Behnaz
Changizi and Seyed-Hassan Mirian-Hosseinabadi, On the Correctness of A Translation Map Between
Specifications In Z And Setl2 Prototype, International Journal of Information & Communication Technology,
Tehran, Iran,
Ministry of ICT- ITRC, Vol. 1, No. 2, pp. 21-27, May 2009.
2. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Nondeterminism in Constructive Z, Fundamenta Informaticae, Amsterdam, The
Netherlands, IOS Press, Vol. 88, No. 1-2, pp. 109-134, Dec. 2008.
1. Mirian-Hosseinabadi,
S.-H. and Turner, R., Constructive Z,
Journal of Logic and Computation, Oxford, UK,
Oxford University Press, Vol. 8, No. 1, pp. 49-70, Feb 1998.
Create Date: 1380/12/27(March 2003)
Update Date: 1401/09/24(December 2022)
International Conference Papers
31. Elahe
Habibi, Seyed-Hassan
Mirian-Hosseinabadi, On-demand Test as
a Web Service Process (OTaaWS Process), 7th International Conference on Web Research , Tehran,
Iran, , pp. , May
2021.
30. Khashayar
Etemadi Someoliayi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan
Mirian-Hosseinabadi, Program State
Coverage: A Test Coverage Metric Based on Executed Program States, 2019 IEEE 26th International Conference on Software
Analysis, Evolution, and Reengineering (SANER) , Hangzhou,
China, IEEE
Press, pp. 584-588, Feb
2019.
29. Maryam
Bagheri, Seyed-Hassan
Mirian-Hosseinabadi, Hoda Mashayekhi, Jafar Habibi, Mining Distributed Frequent Itemsets Using a Gossip
Based Protocol, The 9th IEEE
International Conference on Ubiquitous Intelligence and Computing (UIC 2012) -
Building Smart Worlds in Real and Cyber Spaces - , Fukuoka,
Japan, IEEE
Press, pp. 780 - 785, Sep
2012.
28. Saeed
Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Generation of Database Schemas from Z Specifications,
EIT 2011-International Conference on
Electro/Information Technology ,
Mankato, Minnesota, USA, IEEE Press,
pp. 1-7,
May 2011.
27. Amir
Jahangard Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, A Z Approach to Formalisation and Validation of ORM
Models, The International Conference
on Digital Enterprise and Information Systems , London,
UK, CCIS
Sries of Springer, pp. 513-626, July
2011.
26. Alireza
Sadeghi and Seyed-Hassan Mirian-Hosseinabadi, MBTDD- Model Based Test Driven Development, ICCSM 2010- International Conference on Computer and
Software Modeling ,
Manila, Philippines,
IEEE Press, pp. , Dec
2010.
25. Mohammad
Tanhaei, Shahrouz Moaven, Jafar Habibi and Seyed-Hassan Mirian-Hosseinabadi,
Architectural Driven Approach for Software
Product Line Testing, SERP10 - 9th
International Conference on Software Engineering Research and Practice , Las Vegas, USA,
?, pp. ?,
July 2010.
24. Saeed
Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Derivation of Z Functional Input/output Refinement
Proof Rules, ICEIE2010-The 2010
International Conference on Electronics and Information Engineering , Kyoto,
Japan, IEEE
Press, pp. V1-209-213, Aug
2010.
23. Seyed-Hassan
Mirian-Hosseinabadi, Zahra Aghakasiri, Alireza Sadeghi, Parisa Delfani, Morteza
Ghandehari, Emphasizing Experiences in
Teaching Software Engineering Courses, ICETC 2010-The 2010 International Conference on Education Technology and
Computer
, Shanghai,
China, IEEE
Press, pp. V2-149-153, June
2010.
22. Saeed
Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Rule-based Translation of Specifications to Executable Code, IEEE-ICIME2010-2nd IEEE International Conference on
Information Management and Engineering
, Chengdu,
China, IEEE
Press, pp. 1-4, April
2010.
21. Gholamreza
Safi and Seyed-Hassan Mirian-Hosseinabadi, A New Approach to Self-Adaptive Software Systems based on Constructing a
Group of Autonomic Elements, EASe2010-7th
IEEE International Conference and Workshops on Engineering of Autonomic and
Autonomous Systems
, Oxford,
UK, IEEE
Computer Society, pp. 101-105, March
2010.
20. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, A Refinement Approach for Developing Probabilistic
Programs, CSICC2009- The 14th
International Computer Society of Iran Computer Conference , Tehran,
Iran, Computer
Society of Iran, pp. 140-145, Oct
2009.
19. Razieh
Piri and Seyed-Hassan Mirian-Hosseinabadi, An Approach for Refining JML Specification To Object Oriented Code,
CSICC2009- The 14th International Computer
Society of Iran Computer Conference , Tehran, Iran, Computer
Society of Iran, pp. 1-9, Oct 2009.
18. Zahra
Aghakasiri and Seyed-Hassan Mirian-Hosseinabadi, Workflow Change Patterns: Opportunities for Extension
and Reuse Workflow Change Patterns: Opportunities for Extension
and Reuse
, SERA2009-7th ACIS International Conference on Software
Engineering Research, Management and Applications , Haikou,
Hainan Island, China, Springer- Studies in Computational Intelligence,
Volume 253/2009, 265-275, DOI: 10.1007/978-3-642-05441-9_23, pp. 265-275,
Dec 2009.
17. Amir
Jahangard Refsanjani and Seyed-Hassan Mirian-Hosseinabadi, A Top Down Approach to Semi-structured Database Design,
ICADIWT2009-The Second International Conference
on the Applications of Digital Information and Web Technologies , London,
UK, , pp. 26-31,
Aug 2009.
16. Nima
Roohi, Gwen Salaün and Seyyed Hassan Mirian, Analyzing Chor Specifications by Translation into FSP, FOCLASA09-8th International Workshop on the
Foundations of Coordination Languages and Software Architectures , Rhodes,
Greece, ELSEVIER-Electronic
Notes in Theoretical Computer Science(Volume 255), pp. 159-176,
July 2009.
15. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Towards a Constructive Framework for Developing
Concurrent Programs, LPAR08- 15th
International Conference on Logic for Programming Artificial Intelligence and Reasoning , Doha, Qatar,
, pp. ?, Nov 2008.
14. Hassan
Haghgighi, Seyed-Hassan Mirian-Hosseinabadi and Hamid Reza Anvari, Specifying Randomized Programs Using Constructive Z,
LPAR08- 15th International Conference on Logic
for Programming Artificial Intelligence and Reasoning , Doha,
Qatar, , pp. ?,
Nov 2008.
13. Amir
Jahangard Refsanjani and Seyed-Hassan Mirian-Hosseinabadi, RIAL: Redundancy Reducing Inlining Algorithm to Map
XML DTD to Relations, ISE2008-International
Conference on Innovation in Software Engineering , Viena,
Austria, , pp. 25-31,
Dec 2008.
12. Naeem
Esfahani, Seyed-Hassan Mirian-Hosseinabadi and Kamyar Rafati, Real-Time Analysis Process Patterns, CSICC2008- The 13th International Computer Society of
Iran Computer Conference ,
Kish Island, Iran, Springer-Communications in
Computer and Information Science, 2009, Volume 6, Part 2, 777-781, DOI:
10.1007/978-3-540-89985-3_101, pp. 777-781,
March 2008.
11. Hamid
Bagheri,Vajih Montaghami, Gholamreza Safi and Seyed-Hassan Mirian-Hosseinabadi,
An Evaluation Method for Aspectual Modeling
of Distributed Software Architectures, AICCSA-08- The 6th ACS/IEEE International Conference on Computer Systems
and Applications(Software Systems and Applications Track) , Doha,
Qatar, , pp. ?,
March 2008.
10. Hossein
Keramati and Seyed-Hassan Mirian-Hosseinabadi, Integrating Software Development Security Activities
with Agile Methodologies, AICCSA-08-
The 6th ACS/IEEE International Conference on Computer Systems and
Applications(Software Systems and Applications Track) , Doha,
Qatar, , pp. ?,
March 2008.
9. Hamid
Bagheri and Seyed-Hassan Mirian-Hosseinabadi, Injecting security as aspectable NFR into Software Architecture,
APSEC07- 14th Asia-Pacific Software Engineering Conference , Nagoya, Japan,
IEEE Computer Society- Conference Publishing
Services, pp. 310-317, Dec
2007.
8. Hamid
Bagheri, Hesam Chiniforooshan Esfahani and Seyed-Hassan Mirian-Hosseinabadi,
An Aspect Enhanced Method of NFR Modeling in
Software Architecture, ICIT 2007-
10th International Conference on Information Technology , Rourkela,
India, , pp. ?,
Dec 2007.
7. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Nondeterminism in Formal Development of Concurrent
Programs: A Constructive Approach, LPAR06-
13th International Conference on Logic for Programming Artificial Intelligence
and Reasoning ,
Phnom Penh, Cambodia, , pp. ?, Nov 2006.
6. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Making
Nondeterminism Explicit in Constructive Z, AWCVS-2006, 1st Asian Working Conference on Verified Software , Macao SAR, China,
UNU-IIST(United Nations University International
Institute for Software Technology) Report No. 348, pp. 34-47,
Oct 2006.
5. Hesam
Chiniforooshan Esfahani and Seyed-Hassan Mirian-Hosseinabadi, A Scalable Agent-Based Workflow Management System for
Business Process Management Environmen, Multi-Agent Systems And Software Architecture(MASSA06)- The Special Track
at Net.ObjectDays ,
Erfurt, Germany,
, pp. 59-70, Sep 2006.
4. Hassan
Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, An Approach to Nondeterminism in Translation of CZ Set
Theory into Martin-Lofs Theory of Types, FSEN2005-The First IPM International Workshop on Foundations of Software Engineering , Tehran, Iran,
ELSEVIER-Electronic Notes in Theoretical Computer
Science(Volume 159), pp. 117-137, May
2006.
3. Mahdi
Niamanesh, Seyed-Hassan Mirian-Hosseinabadi, Reza Zakeri, A Dynamic Reconfigurable Model for Software Architecture using B-Method,
First International Conference on Modeling,
Simulation and Applied Optimization , Sharjeh, UAE, , pp. , Feb
2005.
2. Seyed-Hassan
Mirian-Hosseinabadi and Arash Jalali, Multiple
Promotion in Z, The First
International EuroAsian Conference on Information and Communication Technology
(EuroAsia ICT 2002) ,
Shiraz, Iran,
, pp. 9-13, Oct 2002.
1. Seyed-Hassan
Mirian-Hosseinabadi and Marjan Sirjani, A Calculus for Real-Time Specification Statements, The First International EuroAsian Conference on
Information and Communication Technology (EuroAsia ICT 2002) , Shiraz,
Iran, , pp. 15-19,
Oct 2002.
Create Date: 1380/12/27(March 2003)
Update Date: 1400/12/14(March 2022)