Seyed-Hassan Mirian-Hosseinabadi

According to our database, Seyed-Hassan Mirian-Hosseinabadi authored at least 38 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Regression test selection in test-driven development.

Zohreh Mafi, Seyed-Hassan Mirian-Hosseinabadi

Autom. Softw. Eng., June, 2024

2023

Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application.

Mehran Rivadeh, Seyed-Hassan Mirian-Hosseinabadi

Softw. Syst. Model., 2023

Using causal inference and Bayesian statistics to explain the capability of a test suite in exposing software faults.

Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi

CoRR, 2023

Sharif-TaaWS: a tool to automate unit testing of web services.

Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi

Autom. Softw. Eng., 2023

2022

Generating test as a web service (TaaWS) through a method-based attribute grammar.

Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi

Int. J. Softw. Tools Technol. Transf., 2022

Test case prioritization using test case diversification and fault-proneness estimations.

Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Mohsen Mahdieh

Autom. Softw. Eng., 2022

2021

An ensemble-based predictive mutation testing approach that considers impact of unreached mutants.

Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi

Softw. Test. Verification Reliab., 2021

Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness.

Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, Sajad Jalali

Inf. Softw. Technol., 2021

2020

Incorporating fault-proneness estimations into coverage-based test case prioritization methods.

Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali

Inf. Softw. Technol., 2020

The Threat to the Validity of Predictive Mutation Testing: The Impact of Uncovered Mutants.

Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi

CoRR, 2020

2019

Program State Coverage: A Test Coverage Metric Based on Executed Program States.

Khashayar Etemadi Someoliayi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

2016

A Feature Model Based Framework for Refactoring Software Product Line Architecture.

Mohammad Tanhaei, Jafar Habibi, Seyed-Hassan Mirian-Hosseinabadi

J. Comput. Sci. Technol., 2016

Automating feature model refactoring: A Model transformation approach.

Mohammad Tanhaei, Jafar Habibi, Seyed-Hassan Mirian-Hosseinabadi

Inf. Softw. Technol., 2016

2015

Delta-based regression testing: a formal framework towards model-driven regression testing.

Maryam Nooraei Abadeh, Seyed-Hassan Mirian-Hosseinabadi

J. Softw. Evol. Process., 2015

Lightweight formalization and validation of ORM models.

Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi

J. Log. Algebraic Methods Program., 2015

Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy.

Shohreh Ajoudanian, Seyed-Hassan Mirian-Hosseinabadi

J. Log. Algebraic Methods Program., 2015

Generating semantically valid test inputs using constrained input grammars.

Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi

Inf. Softw. Technol., 2015

Event-driven web application testing based on model-based mutation testing.

Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi

Inf. Softw. Technol., 2015

A model-driven approach to semi-structured database design.

Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi

Frontiers Comput. Sci., 2015

2013

Translation of Z specifications to executable code: Application to the database domain.

Saeed Khalafinejad, Seyed-Hassan Mirian-Hosseinabadi

Inf. Softw. Technol., 2013

2012

Mbtdd: Model Based Test Driven Development.

Alireza Sadeghi, Seyed-Hassan Mirian-Hosseinabadi

Int. J. Softw. Eng. Knowl. Eng., 2012

Towards a Calculus for Nondeterministic Schemas in Z.

Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi

Int. J. Softw. Eng. Knowl. Eng., 2012

Mining Distributed Frequent Itemsets Using a Gossip Based Protocol.

Maryam Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hoda Mashayekhi, Jafar Habibi

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

2011

Reliability of separation of duty in ANSI standard role-based access control.

Marzieh Esna-Ashari, Hamid R. Rabiee, Seyed-Hassan Mirian-Hosseinabadi

Sci. Iran., 2011

A Z Approach to Formalization and Validation of ORM Models.

Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the Digital Enterprise and Information Systems - International Conference, 2011

2010

Architectural Driven Approach for Software Product Line Testing.

Mohammad Tanhaei, Shahrouz Moaven, Jafar Habibi, Seyed Hassan Mirian

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2009

Analyzing Chor Specifications by Translation into FSP.

Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Workflow Change Patterns: Opportunities for Extension and Reuse.

Zahra Aghakasiri, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the Software Engineering Research, 2009

2008

Nondeterminism in Constructive Z.

Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi

Fundam. Informaticae, 2008

Real-Time Analysis Process Patterns.

Naeem Esfahani, Seyed-Hassan Mirian-Hosseinabadi, Kamyar Rafati

Proceedings of the Advances in Computer Science and Engineering, 2008

RIAL: Redundancy Reducing Inlining Algorithm to Map XML DTD to Relations.

Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Integrating software development security activities with agile methodologies.

Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

An evaluation method for aspectual modeling of distributed software architectures.

Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

An Aspect Enhanced Method of NFR Modeling in Software Architecture.

Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani

Proceedings of the 10th International Conference on Information Technology, 2007

2006

A Scalable Agent-Based Workflow Management System for Business Process Management Environments.

Hesam Chiniforooshan Esfahani, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the Multiagent Systems and Software Architecture, 2006

2005

An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types.

Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

1998

Constructive Z.

Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner

J. Log. Comput., 1998

1997

Constructive Z.

Seyed-Hassan Mirian-Hosseinabadi

PhD thesis, 1997