بهروز ترک لادانی

VAnDroid: A framework for vulnerability analysis of Android applications using a model‐driven reverse engineering technique

VAnDroid: A framework for vulnerability analysis of Android applications using a model‐driven reverse engineering technique

By MDSERG Admin | مقالات انگلیسی
پذیرش مقاله‌ی خانم عاطفه نیرومند در مجله‌ی Software: Practice and Experience

پذیرش مقاله‌ی خانم عاطفه نیرومند در مجله‌ی Software: Practice and Experience

By MDSERG Admin | اخبار . پذیرش مقاله
An automatic test case generator for evaluating implementation of access control policies

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

By MDSERG Admin | مقالات انگلیسی
Towards automatic generation of formal specifications for UML consistency verification

Towards automatic generation of formal specifications for UML consistency verification

By MDSERG Admin | مقالات انگلیسی
بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل

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

By MDSERG Admin | مقالات فارسی
تولید خودکار موارد آزمون جهت ارزیابی صحت پیاده‌سازی سیاست‌های کنترل دسترسی

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

By MDSERG Admin | مقالات فارسی
آزمون فاز اکتشافی جهت کشف خطاهای نرم‌افزاری

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

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

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

By MDSERG Admin | مقالات فارسی
خودکارسازی تبدیل مدل جهت تسهیل وارسی رفتار پویای سیستم

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

By MDSERG Admin | مقالات فارسی
استفاده از بررسی مدل در سیستم های کنترل ترافیک: یک کاربرد عملی

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

By MDSERG Admin | مقالات فارسی