Author:
Song Kunjian,Gadelha Mikhail R.,Brauße Franz,Menezes Rafael S.,Cordeiro Lucas C.
Publisher
Springer Nature Switzerland
Reference45 articles.
1. Deitel, P.J., Deitel, H.M.: C++ How to Program: Introducing the New C++14 Standard. Prentice Hall (2016)
2. Cordeiro, L.C., de Lima Filho, E.B., de Bessa, I.V.: Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst. Theory Appl. 5(1), 1–24 (2020). https://doi.org/10.1049/iet-cps.2018.5006
3. Miller, M.: Trends and challenges in the vulnerability mitigation landscape. USENIX Association (2019)
4. Fan, J., Li, Y., Wang, S., Nguyen, T.N.: A C/C++ code vulnerability dataset with code changes and CVE summaries. In: Proceedings of the 17th International Conference on Mining Software Repositories, pp. 508–512 (2020)
5. Common Vulnerabilities and Exposures database. https://cve.mitre.org/
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献