Constructive Z. - Seyed-Hassan Mirian-Hosseinabadi (1997)

Constructive Z. - Seyed-Hassan Mirian-Hosseinabadi; Raymond Turner (J. Log. Comput., 1998)

An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. - Hassan Haghighi; Seyed-Hassan Mirian-Hosseinabadi (FSEN, 2005)

A Scalable Agent-Based Workflow Management System for Business Process Management Environments. - Hesam Chiniforooshan Esfahani; Seyed-Hassan Mirian-Hosseinabadi (Multiagent Systems and Software Architecture, 2006)

An Aspect Enhanced Method of NFR Modeling in Software Architecture. - Hamid Bagheri; Seyed-Hassan Mirian-Hosseinabadi; Hesam Chiniforooshan Esfahani (ICIT, 2007)

An evaluation method for aspectual modeling of distributed software architectures. - Hamid Bagheri; Vajih Montaghami; Gholamreza Safi; Seyed-Hassan Mirian-Hosseinabadi (AICCSA, 2008)

Integrating software development security activities with agile methodologies. - Hossein Keramati; Seyed-Hassan Mirian-Hosseinabadi (AICCSA, 2008)

RIAL: Redundancy Reducing Inlining Algorithm to Map XML DTD to Relations. - Amir Jahangard Rafsanjani; Seyed-Hassan Mirian-Hosseinabadi (CIMCA/IAWTIC/ISE, 2008)

Real-Time Analysis Process Patterns. - Naeem Esfahani; Seyed-Hassan Mirian-Hosseinabadi; Kamyar Rafati (CSICC, 2008)

Nondeterminism in Constructive Z. - Hassan Haghighi; Seyed-Hassan Mirian-Hosseinabadi (Fundam. Informaticae, 2008)

Workflow Change Patterns: Opportunities for Extension and Reuse. - Zahra Aghakasiri; Seyed-Hassan Mirian-Hosseinabadi (SERA (selected papers), 2009)

Analyzing Chor Specifications by Translation into FSP. - Nima Roohi; Gwen Salaün; Seyed-Hassan Mirian-Hosseinabadi (FOCLASA, 2009)

Architectural Driven Approach for Software Product Line Testing. - Mohammad Tanhaei; Shahrouz Moaven; Jafar Habibi; Seyed Hassan Mirian (Software Engineering Research and Practice, 2010)

A Z Approach to Formalization and Validation of ORM Models. - Amir Jahangard Rafsanjani; Seyed-Hassan Mirian-Hosseinabadi (DEIS, 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)

Mining Distributed Frequent Itemsets Using a Gossip Based Protocol. - Maryam Bagheri 003; Seyed-Hassan Mirian-Hosseinabadi; Hoda Mashayekhi; Jafar Habibi (UIC/ATC, 2012)

Towards a Calculus for Nondeterministic Schemas in Z. - Hassan Haghighi; Seyed-Hassan Mirian-Hosseinabadi (Int. J. Softw. Eng. Knowl. Eng., 2012)

Mbtdd: Model Based Test Driven Development. - Alireza Sadeghi; Seyed-Hassan Mirian-Hosseinabadi (Int. J. Softw. Eng. Knowl. Eng., 2012)

Translation of Z specifications to executable code: Application to the database domain. - Saeed Khalafinejad; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 2013)

A model-driven approach to semi-structured database design. - Amir Jahangard Rafsanjani; Seyed-Hassan Mirian-Hosseinabadi (Frontiers Comput. Sci., 2015)

Event-driven web application testing based on model-based mutation testing. - Elahe Habibi; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 2015)

Generating semantically valid test inputs using constrained input grammars. - Hossein Keramati; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 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)

Lightweight formalization and validation of ORM models. - Amir Jahangard Rafsanjani; Seyed-Hassan Mirian-Hosseinabadi (J. Log. Algebraic Methods Program., 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)

Automating feature model refactoring: A Model transformation approach. - Mohammad Tanhaei; Jafar Habibi; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 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)

Program State Coverage: A Test Coverage Metric Based on Executed Program States. - Khashayar Etemadi Someoliayi; Sajad Jalali; Mostafa Mahdieh; Seyed-Hassan Mirian-Hosseinabadi (SANER, 2019)

The Threat to the Validity of Predictive Mutation Testing: The Impact of Uncovered Mutants. - Alireza Aghamohammadi; Seyed-Hassan Mirian-Hosseinabadi (CoRR, 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)

Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness. - Alireza Aghamohammadi; Seyed-Hassan Mirian-Hosseinabadi; Sajad Jalali (Inf. Softw. Technol., 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)

Test case prioritization using test case diversification and fault-proneness estimations. - Mostafa Mahdieh; Seyed-Hassan Mirian-Hosseinabadi; Mohsen Mahdieh (Autom. Softw. Eng., 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)

Sharif-TaaWS: a tool to automate unit testing of web services. - Elahe Habibi; Seyed-Hassan Mirian-Hosseinabadi (Autom. Softw. Eng., 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)

Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application. - Mehran Rivadeh; Seyed-Hassan Mirian-Hosseinabadi (Softw. Syst. Model., 2023)

Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing. - Seyed-Hassan Mirian-Hosseinabadi (CoRR, 2024)

Regression test selection in test-driven development. - Zohreh Mafi; Seyed-Hassan Mirian-Hosseinabadi (Autom. Softw. Eng., 2024)

Coverage metrics for actor model programs: A model-based approach. - Sajad Jalali; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 2025)