Busse, F., Nowack, M., Cadar, C., 2020. Running symbolic execution forever, in: . ACM.. https://doi.org/10.1145/3395363.3397360