Browsing ÖZYEĞİN ÜNİVERSİTESİ by Author "3ad539aadc0b2908bbfb8133f9341ebf"
Now showing items 1-1 of 1
-
Generating runtime verification specifications based on static code analysis alerts
Kiliç, Yunus (ÖZYEĞİN ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Yazılım hatalarının bulunması amacıyla kullanılan birçok yöntem bulunmaktadır. Buyöntemlerden biri olan statik kod analizi koddaki hataların, kodun çalıştırılmadanortaya çıkarılmasını sağlamaktadır. Bunu tamamlayıcı nitelikte ...