KIT | KIT-Bibliothek | Impressum | Datenschutz

A Visual Interactive Debugger Based on Symbolic Execution

Hähnle, Reiner; Baum, Marcus; Bubel, Richard; Rothe, Marcel



Originalveröffentlichung
DOI: 10.1145/1858996.1859022
Scopus
Zitationen: 13
Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2010
Sprache Englisch
Identifikator KITopen-ID: 1000122387
Erschienen in Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 20-24 September 2010, Antwerp, Belgium
Veranstaltung 25th IEEE/ACM International Conference on Automated Software Engineering (2010), Antwerpen, Belgien, 20.09.2010 – 24.09.2010
Verlag ACM
Seiten 143-146
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page