Hähnle, Baum, Bubel, Rothe, 2010. A visual interactive debugger based on symbolic execution, in: . ACM Press.. https://doi.org/10.1145/1858996.1859022