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 ...