Seyed‐Hassan Mirian‐Hosseinabadi

Sharif University of Technology

8H指数

46论文数

319被引数

收录论文 8

发表时间

Coverage metrics for actor model programs: A model-based approach 演员模型程序的覆盖率指标：一种基于模型的方法

Information and Software Technology

IF4.3

2025-08-22

PREAI

Sajad Jalali; Seyed-Hassan Mirian-Hosseinabadi

Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness 语句频率覆盖率: 用于评估测试套件有效性的代码覆盖率标准

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2021-01-01

PREAI

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

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

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2020-05-01

OAAI

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

Automating feature model refactoring: A Model transformation approach 自动化特征模型重构: 一种模型转换方法

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2016-12-01

PREAI

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

Event-driven web application testing based on model-based mutation testing 基于模型变异测试的事件驱动web应用测试

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2015-11-01

PREAI

Habibi, Elahe; Mirian-Hosseinabadi, Seyed-Hassan

A model-driven approach to semi-structured database design 一种模型驱动的半结构化数据库设计方法

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2015-01-26

PREAI

Jahangard-Rafsanjani, Amir; Mirian-Hosseinabadi, Seyed-Hassan

Generating semantically valid test inputs using constrained input grammars 使用受约束的输入语法生成语义有效的测试输入

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2015-01-01

PREAI

Keramati, Hossein; Mirian-Hosseinabadi, Seyed-Hassan

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

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2013-06-01

PREAI

Khalafinejad, Saeed; Mirian-Hosseinabadi, Seyed-Hassan

研究方向