Browsing Computer Science by Author "Kılıç, Yunus"
Now showing items 1-1 of 1
-
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