Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code

Hongzhe Li, Jaesang Oh, Heejo Lee. Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code. IEICE Transactions, 99-D(9):2385-2389, 2016. [doi]

Abstract

Abstract is missing.