Generating runtime verification specifications based on static code analysis alerts.

Yunus Kili, Hasan Szer

Browse the full SAC paper archive.