Browsing Computer Science by Subject "Model transformations"
Now showing items 1-2 of 2
-
Generating runtime verification specifications based on static code analysis alerts
(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 ... -
Integrated static code analysis and runtime verification
(Wiley, 2015-10)Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false ...
Share this page