|
|
|
|
توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی آزمای رفتار حین اجرای نرم افزارهای حساس به ایمنی
|
|
|
|
|
|
|
|
نویسنده
|
بابامیر مرتضی ,جلیلی سعید
|
|
منبع
|
شريف - 1386 - دوره : 23 - شماره : 38 - صفحه:81 -102
|
|
|
|
|
|
|
|
آدرس
|
دانشگاه تربیت مدرس, دانشکده فنی و مهندسی, گروه کامپیوتر, ایران, دانشگاه تربیت مدرس, دانشکده فنی و مهندسی, گروه مهندسی کامپیوتر, ایران
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|