Seyed-Hassan Mirian-Hosseinabadi

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