Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report.

Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles

Browse the full TAP paper archive.