Search
Now showing items 1-1 of 1
Generating runtime verification specifications based on static code analysis alerts
(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 ...
Share this page