Seyed-Hassan Mirian-Hosseinabadi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2023

Sharif-TaaWS: a tool to automate unit testing of web servicesElahe Habibi, Seyed-Hassan Mirian-Hosseinabadi. ASE, 30(1):1, 2023. [doi]

Formal translation of YAWL workflow models to the Alloy formal specifications: a testing applicationMehran Rivadeh, Seyed-Hassan Mirian-Hosseinabadi. SoSyM, 22(3):941-968, 2023. [doi]

2022

Generating test as a web service (TaaWS) through a method-based attribute grammarElahe Habibi, Seyed-Hassan Mirian-Hosseinabadi. STTT, 24(4):511-527, 2022. [doi]

Test case prioritization using test case diversification and fault-proneness estimationsMostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Mohsen Mahdieh. ASE, 29(2):50, 2022. [doi]

2021

Statement frequency coverage: A code coverage criterion for assessing test suite effectivenessAlireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi, Sajad Jalali. INFSOF, 129:106426, 2021. [doi]

An ensemble-based predictive mutation testing approach that considers impact of unreached mutantsAlireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi. stvr, 31(7), 2021. [doi]

2020

Incorporating fault-proneness estimations into coverage-based test case prioritization methodsMostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi, Ali Nosrati, Sajad Jalali. INFSOF, 121:106269, 2020. [doi]

2019

Program State Coverage: A Test Coverage Metric Based on Executed Program StatesKhashayar Etemadi Someoliayi, Sajad Jalali, Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi. WCRE 2019: 584-588 [doi]

2016

A Feature Model Based Framework for Refactoring Software Product Line ArchitectureMohammad Tanhaei, Jafar Habibi, Seyed-Hassan Mirian-Hosseinabadi. jcst, 31(5):951-986, 2016. [doi]

Automating feature model refactoring: A Model transformation approachMohammad Tanhaei, Jafar Habibi, Seyed-Hassan Mirian-Hosseinabadi. INFSOF, 80:138-157, 2016. [doi]

2015

Delta-based regression testing: a formal framework towards model-driven regression testingMaryam Nooraei Abadeh, Seyed-Hassan Mirian-Hosseinabadi. SMR, 27(12):913-952, 2015. [doi]

Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in AlloyShohreh Ajoudanian, Seyed-Hassan Mirian-Hosseinabadi. jlp, 84(5):640-667, 2015. [doi]

Event-driven web application testing based on model-based mutation testingElahe Habibi, Seyed-Hassan Mirian-Hosseinabadi. INFSOF, 67:159-179, 2015. [doi]

Generating semantically valid test inputs using constrained input grammarsHossein Keramati, Seyed-Hassan Mirian-Hosseinabadi. INFSOF, 57:204-216, 2015. [doi]

A model-driven approach to semi-structured database designAmir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi. fcsc, 9(2):237-252, 2015. [doi]

Lightweight formalization and validation of ORM modelsAmir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi. jlp, 84(4):534-549, 2015. [doi]

2013

Translation of Z specifications to executable code: Application to the database domainSaeed Khalafinejad, Seyed-Hassan Mirian-Hosseinabadi. INFSOF, 55(6):1017-1044, 2013. [doi]

2012

Mining Distributed Frequent Itemsets Using a Gossip Based ProtocolMaryam Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hoda Mashayekhi, Jafar Habibi. uic 2012: 780-785 [doi]

Towards a Calculus for Nondeterministic Schemas in ZHassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi. ijseke, 22(6):839, 2012. [doi]

Mbtdd: Model Based Test Driven DevelopmentAlireza Sadeghi, Seyed-Hassan Mirian-Hosseinabadi. ijseke, 22(8):1085-1102, 2012. [doi]

2011

Reliability of separation of duty in ANSI standard role-based access controlMarzieh Esna-Ashari, Hamid R. Rabiee, Seyed-Hassan Mirian-Hosseinabadi. scira, 18(6):1416-1424, 2011. [doi]

A Z Approach to Formalization and Validation of ORM ModelsAmir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi. deis 2011: 513-526 [doi]

2009

Workflow Change Patterns: Opportunities for Extension and ReuseZahra Aghakasiri, Seyed-Hassan Mirian-Hosseinabadi. sera 2009: 265-275 [doi]

2008

2007

An Aspect Enhanced Method of NFR Modeling in Software ArchitectureHamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani. IEEEcit 2007: 240-242 [doi]

2006

A Scalable Agent-Based Workflow Management System for Business Process Management EnvironmentsHesam Chiniforooshan Esfahani, Seyed-Hassan Mirian-Hosseinabadi. massa 2006: 59-70

An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf s Theory of TypesHassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi. ENTCS, 159:117-137, 2006. [doi]

1998

Constructive ZSeyed-Hassan Mirian-Hosseinabadi, Raymond Turner. logcom, 8(1):49-70, 1998.

1997

Constructive ZSeyed-Hassan Mirian-Hosseinabadi. PhD thesis, University of Essex, Colchester, UK, 1997. [doi]

Sign in or sign up to see more results.

runs on WebDSL