A Visual Interactive Debugger Based on Symbolic Execution
| 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 | Association for Computing Machinery (ACM) |
| Seiten | 143-146 |
| Nachgewiesen in | Dimensions Scopus |