بابامیر, سید مرتضی, جلیلی, سعید. (1386). توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی. مهندسی عمران, دوره 23(38 - ویژه مهندسی برق و کامپیوتر), 81-101.

سید مرتضی بابامیر; سعید جلیلی. "توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی". مهندسی عمران, دوره 23, 38 - ویژه مهندسی برق و کامپیوتر, 1386, 81-101.

بابامیر, سید مرتضی, جلیلی, سعید. (1386). 'توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی', مهندسی عمران, دوره 23(38 - ویژه مهندسی برق و کامپیوتر), pp. 81-101.

بابامیر, سید مرتضی, جلیلی, سعید. توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی. مهندسی عمران, 1386; دوره 23(38 - ویژه مهندسی برق و کامپیوتر): 81-101.