TU Darmstadt / ULB / TUbiblio

A Visual Interactive Debugger Based on Symbolic Execution

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, DOI: 10.1145/1858996.1859022, [Online-Edition: http://doi.acm.org/10.1145/1858996.1859022],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2010
Editors: Pecheur, Charles and Andrews, Jamie and Nitto, Elisabetta Di
Creators: Hähnle, Reiner and Baum, Marcus and Bubel, Richard and Rothe, Marcel
Title: A Visual Interactive Debugger Based on Symbolic Execution
Language: English
Publisher: ACM
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010
Event Location: Antwerp, Belgium
Event Dates: September 20-24, 2010
Date Deposited: 27 Apr 2018 11:02
DOI: 10.1145/1858996.1859022
Official URL: http://doi.acm.org/10.1145/1858996.1859022
Identification Number: HBBR10
Export:

Optionen (nur für Redakteure)

View Item View Item