Browse by Person
![]() | Up a level |
Number of items: 1.
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.
ACM, In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, Antwerp, Belgium, September 20-24, 2010, pp. 143-146, DOI: 10.1145/1858996.1859022,
[Online-Edition: http://doi.acm.org/10.1145/1858996.1859022],
[Conference or Workshop Item]