1. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209–224. USENIX Association (2008)
2. Chalupa, M., Strejček, J., Vitovská, M.: Joint forces for memory safety checking revisited. Int. J. Softw. Tools Technol. Transf. 22, 115–133 (2020). https://doi.org/10.1007/s10009-019-00526-2
3. Chalupa, M., Vitovská, M., Strejček, J.: Symbiotic 5: Boosted instrumentation-(competition contribution). In: Beyer, D., Huisman, M. (eds.) TACAS, volume 10806 of Lecture Notes in Computer Science, pp. 442–446. Springer, Berlin (2018)
4. De Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: TACAS, volume 4963 of LNCS, pp. 337–340. Springer (2008)
5. Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. In: International Symposium on Programming, volume 167 of Lecture Notes in Computer Science, pp. 125–132. Springer (1984)