کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6905187 | 862813 | 2015 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations
ترجمه فارسی عنوان
یک راه حل متا اکتیویتی برای رد خودکار از سیستم های نرم افزاری پیچیده که از طریق تغییرات گراف مشخص شده است
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
چکیده انگلیسی
- The main problem of model checking is state space explosion.
- One solution to overcome this problem is using meta-heuristic algorithms.
- We propose a hybrid approach based on PSO and GSA to cope with this problem.
- The experimental results show better performance in comparison to other approaches.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Soft Computing - Volume 33, August 2015, Pages 136-149
Journal: Applied Soft Computing - Volume 33, August 2015, Pages 136-149
نویسندگان
Vahid Rafe, Maryam Moradi, Rosa Yousefian, Amin Nikanjam,