fsinfo.cs.tu-dortmund.de/_media/studis/ba-david-mehren.pdf
OCI-based Vulnerability Containers with Metadata for Automated Evaluation of Security Analysis Tools
usedwithout a full operating system inside them, running only one applica‑ tion process per container. In 2015 theOpenContainer Initiative (OCI)was launched to standardize the formats and technologies used. This [...] [12] T. Weber, S. Conchon, D. Déharbe, M. Heizmann, A. Niemetz, and G. Reger, “The SMT competi‑ tion 2015–2018,” SAT, vol. 11, no. 1, pp. 221–259, Sep. 2019, doi: 10.3233/SAT190123.
[13] H. Barbosa, J. Hoenicke [...] 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,” SIGSOFT Softw. Eng. Notes, vol. 24, no. 6 …
