Generating runtime verification specifications based on static code analysis alerts. - Yunus Kiliç; Hasan Sözer (SAC, 2017)