TU Darmstadt / ULB / TUbiblio

A Visual Interactive Debugger Based on Symbolic Execution

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

Item Type: Conference or Workshop Item
Erschienen: 2010
Editors: Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di
Creators: Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Type of entry: Bibliographie
Title: A Visual Interactive Debugger Based on Symbolic Execution
Language: English
Date: 2010
Publisher: ACM
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: 20.09.2010-24.09.2010
DOI: 10.1145/1858996.1859022
URL / URN: http://doi.acm.org/10.1145/1858996.1859022
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 27 Apr 2018 11:02
Last Modified: 22 Nov 2018 08:25
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details