Browsing by Author "Kılıç, Yunus"
Now showing items 1-2 of 2
-
Generating runtime verification specifications based on static code analysis alerts
Kılıç, Yunus (2017-12)There are various approaches in order to find bugs in a software system. One of these approaches is static code analysis, which tries to achieve this goal by analyzing code without executing it. Another complementary ... -
Generating runtime verification specifications based on static code analysis alerts
Kılıç, Yunus; Sözer, Hasan (ACM, 2017)Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ...
Share this page