Singh, R.G., Lopez, C.T., Marr, S., Boix, E.G., Scholliers, C., Rigger, M., Christakis, M., 2019. Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact).. https://doi.org/10.4230/darts.5.2.4