Visual Interactive Debugger Based on Symbolic Execution
Paper in proceeding, 2010

We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state debugger. It allows to start debugging of source code at any code location without the need to write a fixture as well as to visualize all possible symbolic execution paths and all symbolic states up to a finite depth. A code-based test generation facility is integrated. © 2010 ACM.

Symbolic execution

Reverse debugging

State visualisation

Test generation

Author

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

M. Baum

Karlsruhe Institute of Technology (KIT)

Richard Bubel

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Markus Rothe

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Published in

25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press

p. 143-146
978-1-4503-0116-9 (ISBN)

Categorizing

Subject Categories (SSIF 2011)

Software Engineering

Computer Science

Identifiers

DOI

10.1145/1858996.1859022

ISBN

978-1-4503-0116-9

More information

Latest update

7/22/2019