Hähnle, Reiner and Baum, Marcus and Bubel, Richard and Rothe, Marcel Pecheur, Charles and Andrews, Jamie and Nitto, Elisabetta Di (eds.) (2010):
A Visual Interactive Debugger Based on Symbolic Execution.
pp. 143-146, ACM, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, Antwerp, Belgium, September 20-24, 2010, DOI: 10.1145/1858996.1859022,
[Conference or Workshop Item]