fsinfo.cs.tu-dortmund.de/_media/studis/ba-david-mehren.pdf
OCI-based Vulnerability Containers with Metadata for Automated Evaluation of Security Analysis Tools
items with trends like the Internet of Things, software security alsomoves into the spotlight. Since 2016, the number of pub‑ licly disclosed security vulnerabilities has steadily risen [1]. The automated [...] R. Breu, and A. Pretschner, “Chapter one ‑ security testing: A survey,” in Advances in computers, 2016, vol. 101, pp. 1–51, doi: 10.1016/bs.adcom.2015.11.003.
[24] T. Ball, “The concept of dynamic analysis [...] symbolic analysis framework,” in Tools and algorithms for the construction and analysis of systems, 2016, pp. 442–459, doi: 10.1007/978‑3‑662‑49674‑ 9_26.
[41] K. HavelundandT. Pressburger, “Model checking …