Behrouz Tork Ladani

Acceptance of Ms. Atefeh Nirumand’s paper in Software: Practice and Experience Journal
0
Sep
09

Acceptance of Ms. Atefeh Nirumand’s paper in Software: Practice and Experience Journal

By MDSERG Admin | Acceptance Paper . News
بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل
0
Jul
12

بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل

By MDSERG Admin | Papers in Persian
تولید خودکار موارد آزمون جهت ارزیابی صحت پیاده‌سازی سیاست‌های کنترل دسترسی
0
Jul
12

تولید خودکار موارد آزمون جهت ارزیابی صحت پیاده‌سازی سیاست‌های کنترل دسترسی

By MDSERG Admin | Papers in Persian
آزمون فاز اکتشافی جهت کشف خطاهای نرم‌افزاری
0
Jul
12

آزمون فاز اکتشافی جهت کشف خطاهای نرم‌افزاری

By MDSERG Admin | Papers in Persian
توصیه رفاقتی برای بهبود مدیریت اعتماد در شبکه‌های اقتضایی حمل و نقل
0
Jul
12

توصیه رفاقتی برای بهبود مدیریت اعتماد در شبکه‌های اقتضایی حمل و نقل

By MDSERG Admin | Papers in Persian
خودکارسازی تبدیل مدل جهت تسهیل وارسی رفتار پویای سیستم
0
Jul
12

خودکارسازی تبدیل مدل جهت تسهیل وارسی رفتار پویای سیستم

By MDSERG Admin | Papers in Persian
استفاده از بررسی مدل در سیستم های کنترل ترافیک: یک کاربرد عملی
0
Jul
12

استفاده از بررسی مدل در سیستم های کنترل ترافیک: یک کاربرد عملی

By MDSERG Admin | Papers in Persian
An automatic test case generator for evaluating implementation of access control policies
0
Jun
29

An automatic test case generator for evaluating implementation of access control policies

By MDSERG Admin | Papers in English
Towards automatic generation of formal specifications for UML consistency verification
0
Jun
28

Towards automatic generation of formal specifications for UML consistency verification

By MDSERG Admin | Papers in English
Acceptance of Ms. Safarzadeh and Ms. Taghizadeh’s paper in ISeCure Journal
0
Mar
03

Acceptance of Ms. Safarzadeh and Ms. Taghizadeh’s paper in ISeCure Journal

By MDSERG Admin | Acceptance Paper . News