Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
We present the Symbolic Execution Debugger for sequential Java programs. Based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all possible program execution paths are explored simultaneously. To support program comprehension execution paths as well as intermediate states are visualized.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2014 |
| Herausgeber: | Bonakdarpour, Borzoo ; Smolka, Scott |
| Autor(en): | Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner |
| Art des Eintrags: | Bibliographie |
| Titel: | Symbolic Execution Debugger (SED) |
| Sprache: | Deutsch |
| Publikationsjahr: | September 2014 |
| Verlag: | Springer |
| Buchtitel: | Proceedings of Runtime Verification 2014 |
| Reihe: | LNCS |
| Kurzbeschreibung (Abstract): | We present the Symbolic Execution Debugger for sequential Java programs. Based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all possible program execution paths are explored simultaneously. To support program comprehension execution paths as well as intermediate states are visualized. |
| ID-Nummer: | TUD-CS-2014-0835 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 31 Dez 2016 10:40 |
| Letzte Änderung: | 16 Mai 2018 12:06 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum