[Lecture Notes in Computer Science] Tests and Proofs Volume 10889 || Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report

• 作者Dubois, Catherine; Wolff, Burkhart
• 文件大小316.62KB
• 发表时间2018
• DOI10.1007/978-3-319-92994-1_8
• 页码139-156