Seyed-Hassan Mirian-Hosseinabadi

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 15

Top Venues

Inf. Softw. Technol.

CoRR

Autom. Softw. Eng.

J. Log. Algebraic Methods Program.

University of Essex, Colchester, UK (PHD)

Education History

University of Essex, Colchester, UK

PHD

Publications

Zohreh Mafi, Seyed-Hassan Mirian-Hosseinabadi
Regression test selection in test-driven development. Autom. Softw. Eng. 31 (1) (2024)
Mehran Rivadeh, Seyed-Hassan Mirian-Hosseinabadi
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application. Softw. Syst. Model. 22 (3) (2023)
Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi
Sharif-TaaWS: a tool to automate unit testing of web services. Autom. Softw. Eng. 30 (1) (2023)
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi
Using causal inference and Bayesian statistics to explain the capability of a test suite in exposing software faults. CoRR (2023)
Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi
Generating test as a web service (TaaWS) through a method-based attribute grammar. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Mohsen Mahdieh
Test case prioritization using test case diversification and fault-proneness estimations. Autom. Softw. Eng. 29 (2) (2022)
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Mohsen Mahdieh
Test case prioritization using test case diversification and fault-proneness estimations. CoRR (2021)
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi
An ensemble-based predictive mutation testing approach that considers impact of unreached mutants. Softw. Test. Verification Reliab. 31 (7) (2021)
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, Sajad Jalali
Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness. Inf. Softw. Technol. 129 (2021)
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali
Incorporating fault-proneness estimations into coverage-based test case prioritization methods. Inf. Softw. Technol. 121 (2020)
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi
The Threat to the Validity of Predictive Mutation Testing: The Impact of Uncovered Mutants. CoRR (2020)
Khashayar Etemadi Someoliayi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi
Program State Coverage: A Test Coverage Metric Based on Executed Program States. SANER (2019)
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali
Incorporating fault-proneness estimations into coverage-based test case prioritization methods. CoRR (2019)
Mohammad Tanhaei, Jafar Habibi, Seyed-Hassan Mirian-Hosseinabadi
A Feature Model Based Framework for Refactoring Software Product Line Architecture. J. Comput. Sci. Technol. 31 (5) (2016)
Mohammad Tanhaei, Jafar Habibi, Seyed-Hassan Mirian-Hosseinabadi
Automating feature model refactoring: A Model transformation approach. Inf. Softw. Technol. 80 (2016)
Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi
Lightweight formalization and validation of ORM models. J. Log. Algebraic Methods Program. 84 (4) (2015)
Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi
Event-driven web application testing based on model-based mutation testing. Inf. Softw. Technol. 67 (2015)
Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi
A model-driven approach to semi-structured database design. Frontiers Comput. Sci. 9 (2) (2015)
Maryam Nooraei Abadeh, Seyed-Hassan Mirian-Hosseinabadi
Delta-based regression testing: a formal framework towards model-driven regression testing. J. Softw. Evol. Process. 27 (12) (2015)
Shohreh Ajoudanian, Seyed-Hassan Mirian-Hosseinabadi
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy. J. Log. Algebraic Methods Program. 84 (5) (2015)
Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi
Generating semantically valid test inputs using constrained input grammars. Inf. Softw. Technol. 57 (2015)
Saeed Khalafinejad, Seyed-Hassan Mirian-Hosseinabadi
Translation of Z specifications to executable code: Application to the database domain. Inf. Softw. Technol. 55 (6) (2013)
Alireza Sadeghi, Seyed-Hassan Mirian-Hosseinabadi
Mbtdd: Model Based Test Driven Development. Int. J. Softw. Eng. Knowl. Eng. 22 (8) (2012)
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
Towards a Calculus for Nondeterministic Schemas in Z. Int. J. Softw. Eng. Knowl. Eng. 22 (6) (2012)
Maryam Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hoda Mashayekhi, Jafar Habibi
Mining Distributed Frequent Itemsets Using a Gossip Based Protocol. UIC/ATC (2012)
Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi
A Z Approach to Formalization and Validation of ORM Models. DEIS (2011)
Marzieh Esna-Ashari, Hamid R. Rabiee, Seyed-Hassan Mirian-Hosseinabadi
Reliability of separation of duty in ANSI standard role-based access control. Sci. Iran. 18 (6) (2011)
Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi
Analyzing Chor Specifications by Translation into FSP. Electron. Notes Theor. Comput. Sci. 255 (2009)
Zahra Aghakasiri, Seyed-Hassan Mirian-Hosseinabadi
Workflow Change Patterns: Opportunities for Extension and Reuse. SERA (selected papers) (2009)
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
Nondeterminism in Constructive Z. Fundam. Informaticae 88 (1-2) (2008)
Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi
An evaluation method for aspectual modeling of distributed software architectures. AICCSA (2008)
Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi
Integrating software development security activities with agile methodologies. AICCSA (2008)
Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi
RIAL: Redundancy Reducing Inlining Algorithm to Map XML DTD to Relations. CIMCA/IAWTIC/ISE (2008)
Naeem Esfahani, Seyed-Hassan Mirian-Hosseinabadi, Kamyar Rafati
Real-Time Analysis Process Patterns. CSICC (2008)
Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani
An Aspect Enhanced Method of NFR Modeling in Software Architecture. ICIT (2007)
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. Electron. Notes Theor. Comput. Sci. 159 (2006)
Hesam Chiniforooshan Esfahani, Seyed-Hassan Mirian-Hosseinabadi
A Scalable Agent-Based Workflow Management System for Business Process Management Environments. Multiagent Systems and Software Architecture (2006)
Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner
Constructive Z. J. Log. Comput. 8 (1) (1998)

Seyed-Hassan Mirian-Hosseinabadi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Seyed-Hassan Mirian-Hosseinabadi