Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
eds.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Conference or Workshop Item, Bibliographie
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.
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2014 |
| Editors: | Bonakdarpour, Borzoo ; Smolka, Scott |
| Creators: | Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner |
| Type of entry: | Bibliographie |
| Title: | Symbolic Execution Debugger (SED) |
| Language: | German |
| Date: | September 2014 |
| Publisher: | Springer |
| Book Title: | Proceedings of Runtime Verification 2014 |
| Series: | LNCS |
| 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. |
| Identification Number: | TUD-CS-2014-0835 |
| Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
| Date Deposited: | 31 Dec 2016 10:40 |
| Last Modified: | 16 May 2018 12:06 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum