1. Baranová, Z., Barnat, J., Kejstová, K., Kučera, T., Lauko, H., Mrázek, J., Ročkai, P., Štill, V.: Model checking of C and C++ with DIVINE 4. In: ATVA 2017, Volume 10482 of LNCS, pp. 201–207. Springer. https://divine.fi.muni.cz/2017/divine4 (2017)
2. Beyer, D.: Reliable and reproducible competition results with BenchExec and witnesses report on SV-COMP 2016. In: TACAS, pp. 887–904. Springer (2016). https://doi.org/10.1007/978-3-662-49674-9_55
3. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209–224. USENIX Association (2008)
4. Chipounov, V., Kuznetsov, V., Candea, G.: The S2E platform: design, implementation, and applications. ACM Trans. Comput. Syst. 30(1), 1–49 (2012). https://doi.org/10.1145/2110356.2110358
5. Chirigati, F., Shasha, D., Freire, J.: Reprozip: using provenance to support computational reproducibility. In: Theory and Practice of Provenance, pp. 1:1–1:4. USENIX Association, Berkeley (2013). http://dl.acm.org/citation.cfm?id=2482949.2482951