دانلود رایگان مقالات نشریه ISI دانش برنامه نویسی کامپیوتر

مقالات دوره انتشار 97 - قسمت 4

تست جهش مبتنی بر مدل از طریق بررسی پیکربندی نمادین

Model-based mutation testing via symbolic refinement checking

22 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

نسل کشی داده های معتبر و معتبر برای روش های اعتبارسنجی رشته با استفاده از جستجو های وب و عبارات منظم

Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions

21 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

پیش بینی قابلیت اطمینان برای سیستم های نرم افزاری مبتنی بر مولفه: کار با خطاهای همزمان و تبلیغاتی

Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors

32 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

شماره های قبلی این نشریه را هم ببینید :