Publications

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)