TU Darmstadt / ULB / TUbiblio

Symbolic Execution Debugger (SED)

Hentschel, Martin and Bubel, Richard and Hähnle, Reiner Bonakdarpour, Borzoo and Smolka, Scott (eds.) (2014):
Symbolic Execution Debugger (SED).
In: LNCS, In: Proceedings of Runtime Verification 2014, Springer, pp. 255--262, [Conference or Workshop Item]

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 and Smolka, Scott
Creators: Hentschel, Martin and Bubel, Richard and Hähnle, Reiner
Title: Symbolic Execution Debugger (SED)
Language: German
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.

Title of Book: Proceedings of Runtime Verification 2014
Series Name: LNCS
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2014-0835
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item